Esta obra muestra dos propósitos que se complementan: por un lado expone los rasgos fundamentales de una disciplina exacta, como la lógica formal; y por el otro desentraña algunos aspectos de la compleja estructura lógica del lenguaje ordinario, tal como se expresa espontáneamente con todos los equívocos que provienen de la carga semántica de los vocablos.