Lógica matemática II: Clásica intuicionista y modal

Diseñado para estudiantes de matemáticas, computación, filosofía o lingüística, tanto a nivel licenciatura como posgrado, este segundo volumen provee un tratamiento completo, a la vez didáctico y riguroso, del cálculo de predicados en sus versiones clásica, intuicionista y modal. Después de un capítulo inicial en donde se enfocan de manera intuitiva las principales nociones y objetivos de la lógica, el lector es introducido a los lenguajes formales para la lógica de predicados clásica y a las definiciones semánticas de consecuencia lógica y validez. Más adelante se examinan una gran variedad de técnicas sintácticas (tableaux, sistemas axiomáticos, deducción natural) para capturar esas nociones semánticas y se prueba en cada caso la adecuación de las mismas (teoremas de corrección y completud). Con la idea de mostrar la gran fecundidad de la lógica, un capítulo posterior examina una ampliación de la lógica clásica (las lógicas modales), materia fundamental de numerosas aplicaciones. Hacia el final del texto, se explora el cálculo de predicados intuicionista que no solamente tuvo una enorme importancia filosófica, sino que proporciona un ejemplo de lo que es una lógica realmente distinta de la lógica clásica y contribuye así esclarecer los fundamentos de esta última.

Aunque este volumen presupone el anterior, se ha hecho un esfuerzo para reducir los conocimientos necesarios para su lectura, de tal manera que las referencias al tomo I son escasas.