Lógica simbólica

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Symbolic Logic

Contenido del libro:

Este libro proporciona una introducción exhaustiva a los elementos esenciales de la lógica simbólica estándar (clásica). Los temas clave tratados 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 distintos 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 la deducción natural y los sistemas de prueba-secuencia.

El libro abarca tanto la semántica como la teoría de la prueba de la lógica sentencial (proposicional) estándar y la lógica de predicados (de primer orden). Otros temas tratados son el análisis sintáctico de árboles, la extracción de notaciones alternativas (por ejemplo, la notación polaca), la teoría de la demostración al estilo de Fitch, los sistemas de demostración secuenciales y "arbóreos", las comparaciones y contrastes con la lógica intuicionista y las presentaciones de modelos de lógica de predicados. Un capítulo auxiliar sobre elementos de la teoría de conjuntos, convenientemente situado al final, incluye reflexiones sobre la sistematización Zermelo-Fraenkel de la teoría de conjuntos. También se explora la filosofía de la lógica.

Los ejercicios del texto proporcionan instrucciones sobre inducción matemática para la construcción de fórmulas, pruebas de la buena forma de la notación polaca y completitud funcional.

Lógica simbólica es una lectura esencial para todos los estudiantes de filosofía que sigan cursos de lógica formal de nivel intermedio, y también resultará atractiva para estudiantes diligentes de primer curso de lógica. El texto está repleto de ejercicios sobre la maquinaria formal y los aspectos filosóficos de la lógica.