Makridis, Odysseus / Escritor
Este libro proporciona una introducción completa a los elementos esenciales de la lógica simbólica estándar (clásica). Los temas clave cubiertos incluyen: * La naturaleza caracterÃstica y el alcance de la lógica como disciplina * La construcción de una serie de lenguajes formales con nombres distintivos adecuados para la traducción formal * Modelos semánticos * La construcción de procedimientos de decisión * La ejecución de arreglos teóricos de prueba como los naturales Sistemas de deducción y secuencia de prueba El libro cubre tanto la semántica como la teorÃa de prueba de la lógica oracional estándar (proposicional) y la lógica de predicado (primer orden). Otros temas cubiertos incluyen: análisis de árboles, extracción de notaciones alternativas (por ejemplo, notación polaca), teorÃa de prueba al estilo de Fitch, sistemas de prueba de secuencia y 'árbol',
Un capÃtulo auxiliar sobre elementos de la teorÃa de conjuntos está convenientemente ubicado al final e incluye información sobre la sistematización de Zermelo-Fraenkel de la teorÃa de conjuntos. También se explora la filosofÃa de la lógica. Los ejercicios en el texto brindan instrucción sobre inducción matemática para la construcción de fórmulas, pruebas para determinar la forma correcta de la notación polaca y la completitud funcional.
La lógica simbólica es una lectura esencial para todos los estudiantes de filosofÃa que toman cursos de lógica formal de nivel intermedio y también atraerá a los estudiantes diligentes de lógica de primer año. El texto está repleto de ejercicios sobre la maquinaria formal y los aspectos filosóficos de la lógica.