Descripción
Introducción a la teoría de la lógica
Resumen del libro
Este manual ofrece una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. Escrito por José Luis Zalabardo, el libro está diseñado para lectores que desean un estudio serio de la disciplina, pero que carecen de los conocimientos matemáticos avanzados que suelen presuponerse en otros textos. La obra integra las herramientas necesarias de la teoría de conjuntos y presenta los métodos principales de definición y prueba, con especial atención a las definiciones inductivas y recursivas. Incluye cientos de ejercicios prácticos que facilitan la asimilación de los contenidos.
¿De qué trata?
La obra desarrolla de forma progresiva los pilares de la lógica moderna. Comienza con la teoría básica de conjuntos como fundamento matemático indispensable. A continuación, aborda la sintaxis y semántica de la lógica proposicional y de primer orden, explicando cómo se construyen y evalúan las expresiones lógicas. Se presenta un sistema deductivo basado en el cálculo de secuentes, seguido de los teoremas de consistencia y completud, que establecen la relación entre la validez sintáctica y semántica. El libro también explora temas avanzados como la cardinalidad, las limitaciones expresivas de la lógica de primer orden (con especial atención a los teoremas de Löwenheim y Skolem), los modelos no estándar de la aritmética, la decidibilidad, las teorías completas, la categoricidad y la eliminación de cuantificadores.
Temas principales
- Teoría básica de conjuntos como fundamento para la lógica
- Sintaxis y semántica de la lógica proposicional y de primer orden li>Sistemas deductivos basados en el cálculo de secuentes
- Teoremas de consistencia y completud
- Limitaciones expresivas de la lógica de primer orden: teoremas de Löwenheim y Skolem
- Modelos no estándar de la aritmética
- Decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores
¿Para quién está recomendado?
Este libro está dirigido a estudiantes universitarios de filosofía, matemáticas o ciencias de la computación que deseen iniciarse en la lógica formal con un enfoque riguroso. También es adecuado para lectores autodidactas con interés en la lógica que necesiten una base matemática sólida, pero que aún no dominen los conceptos avanzados de teoría de conjuntos. Resulta especialmente útil para quienes buscan un texto que combine teoría, demostraciones y ejercicios prácticos.
Qué aporta este libro
- Proporciona las herramientas matemáticas necesarias (teoría de conjuntos) para comprender la lógica sin conocimientos previos avanzados
- Ofrece un sistema deductivo completo basado en el cálculo de secuentes, facilitando la comprensión de la demostración formal
- Incluye cientos de ejercicios que permiten practicar y consolidar los conceptos teóricos
- Aborda tanto los resultados clásicos (completud, consistencia) como temas avanzados (modelos no estándar, eliminación de cuantificadores)
- Presenta de forma clara las limitaciones de la lógica de primer orden, un aspecto crucial para entender sus alcances
Ficha técnica
- Autor: Zalabardo, José Luis
- Editorial: Alianza Editorial
- Idioma: Español
- Tema: FILOSOFIA: LOGICA
- Colección: ALIANZA UNIVERSIDAD
- Encuadernación: Bolsillo
- Fecha de edición: septiembre de 2002
- Número de páginas: 368
- Peso: 477 g
Valoración editorial
Se trata de un manual de referencia para el estudio introductorio de la lógica formal, destacable por su capacidad para hacer accesibles conceptos técnicos complejos sin sacrificar el rigor. La inclusión de las herramientas matemáticas necesarias y la abundancia de ejercicios lo convierten en una opción sólida tanto para el aula como para el estudio individual. Su enfoque en el cálculo de secuentes y en las limitaciones expresivas de la lógica de primer orden aporta una perspectiva completa que va más allá de los textos introductorios habituales.