El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. Se ha insistido mucho a lo largo del texto en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicios.

Introducción a la lógica matemática que se diferencia de los textos estándar que presuponen la verdad o la validez incuestionables de la lógica clásica o aristotélica (la que no admite grados de verdad ni contradicciones) . Con este libro el estudiante se adentra en la lógica sin tener que presuponer nada en ese sentido; va descubriendo paulatinamente un abanico de lógicas, de las cuales la clásica es una de ellas, la más simple. El lector va así vislumbrando una inagotable pluralidad de lógicas posibles, algunas de las cuales vienen desarrolladas sintáctica y semánticamente.

Tal vez ninguna disciplina haya sido puesta tantas veces en tela de juicio como la lógica tradicional. Esta obra intenta oficiar de «pacificadora» en los conflictos entre los diversos enfoques de la materia procurando combinar una doctrina correcta de la lógica -definida como la ciencia autónoma de las condiciones objetivas de la inferencia válida- con una pedagogía apropiada y dar cabida, con abundancia de material ilustrativo, al formalismo realista de Aristóteles, la penetración científica de Pierce, la eficiencia pedagógica de Dewey y el rigor matemático de Russell. Así, aunque se señalan las limitaciones de la lógica aristotélica, se dedica bastante espacio a conceptos tradicionales a menudo omitidos en los textos que versan sobre el estado actual de la materia. Esta obra fundamental sobre métodos de investigación ha ejercido gran influencia sobre múltiples concepciones analíticas en las ciencias sociales. Presenta una introducción a la lógica formal, una interesante discusión sobre lógica matemática e inferencia probabilística y trata de la lógica aplicada y de los problemas de los métodos en ciencia.