La Introduccion a la logica formal pretende ofrecer unos fundamentos de logica que, sin ceder en su rigor tecnico, tienen una finalidad marcadamente didactica, acentuada con la incorporacion de un capitulo de ejercicios resueltos al final de la obra. Al analizar con detalle los problemas filosoficos suscitados por las investigaciones mas recientes, la obra rompe el tono criptico y cabalistico de los manuales que consideran la logica como un juego cerrado. De anadidura, la claridad expositiva y el talento literario del autor logran la dificil meta de que los temas propios de la logica resulten atrayentes y aun divertidos.

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.