Los métodos de la lógica

Los métodos de la lógica del profesor W. V. Quine es un clásico en cuanto a manuales de teoría lógica se refiere. 

El tema central del estudio son las teorías lógicas de enunciados y de predicados, tanto monádicas como poliádicas, aunque también reviste gran importancia la teoría de la demostración, o de la prueba que da razón de ser a la lógica, el método de deducción natural, que elimina el recurso repetitivo de los axiomas mediante el uso de reglas de inferencia de gran sencillez. Sin embargo el método principal de Quine es la demostración por reducción al absurdo.

Añade un buen número de cuestiones metateóricas, como son verdad e interpretación, teorema de Löwenheim, completitud del cálculo deductivo, cálculo alternativo, formas normales y cuestiones relativas a la decidibilidad de las teorías lógicas estudiadas.

Destaca en este sentido la exposición de la decidibilidad de la lógica de predicados de primer orden, y fundándose en la teoría deductiva empleada, la claridad del diagnóstico sobre la indecibilidad general y de algunas clases de esquemas o fórmulas, de la lógica de predicados poliádica.

Todo expuesto con claridad y elegancia.