Comprensión de la lógica formal: Vol 1: Teoría y procedimientos de decisión para la lógica proposicional

Título original:

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Contenido del libro:

Este texto, volumen I de una obra en dos volúmenes, examina en profundidad la lógica proposicional estándar (también llamada clásica).

Se trata de una obra teórica que aspira a una presentación filosóficamente exploratoria y técnicamente rigurosa. Se utilizan ejemplos y ejercicios detallados para desentrañar minucias técnicas, consolidar la comprensión y señalar enigmas y desafíos lógico-filosóficos; gracias a esta característica, el texto también puede utilizarse para estudiar la lógica formal de manera rigurosa.

El estudio de la lógica proposicional puede recompensar al estudiante dedicado y paciente desvelando misterios técnicos del pensamiento crítico y la resolución de problemas, arrojando luz sobre conceptos relevantes en el estudio del razonamiento, mostrando cómo funcionan las potentes herramientas y métodos formales en las aplicaciones y desvelando las criptas del análisis lógico. Puede perfeccionar conocimientos que contribuyan tanto a la comprensión del funcionamiento de la lógica como a la preparación para futuras actividades en el estudio del razonamiento formal.

Este texto abarca ciertos temas y mecanismos de decisión que suelen estar ausentes de los textos de Lógica y que sólo pueden explorarse a través del conocimiento de partes cada vez mayores de la bibliografía existente. Entre los temas raramente tratados en el presente texto se incluyen: análisis de mundos posibles, analiticidad y no cognitivismo, investigaciones detalladas de las relaciones lógicas, sistemas gramaticales y computacionales alternativos, tablas de verdad para el flujo dinámico de información y tablas de verdad corregidas, árboles semánticos negativos y positivos, formas normales y mapas de Karnaugh, deducción natural intuicionista, normalización y armonía en sistemas teóricos de prueba y lógica dialógica.