Introducción a la lógica simbólica y sus aplicaciones

Opiniones de los lectores

El libro se considera un clásico de la lógica simbólica, alabado por su profundidad y la integración de diversos temas relacionados. Sin embargo, se considera un reto, especialmente para quienes no tienen una sólida formación matemática.

⬤ Sólida presentación de la lógica simbólica
⬤ cubre muchos temas relacionados con claridad
⬤ considerado un clásico y una contribución significativa a la filosofía
⬤ útil para comprender conceptos más profundos en lógica
⬤ tratamiento exhaustivo de las teorías axiomáticas.

⬤ Difícil de entender para los no matemáticos
⬤ algunos lo encuentran pedante y anticuado
⬤ carece de cobertura de ciertos métodos modernos en lógica
⬤ no incluye aplicaciones prácticas como la deducción natural o la recursividad.

(basado en 8 opiniones de lectores)

Título original:

Introduction to Symbolic Logic and Its Applications

Contenido del libro:

Este libro es una de las introducciones más claras, completas y rigurosas a la lógica simbólica moderna disponibles en cualquier idioma. El profesor Carnap, autoridad mundial en lógica simbólica, desarrolla el tema desde conceptos elementales y ejercicios sencillos hasta la construcción y análisis de una serie de lenguajes lógicos relativamente complejos.

A continuación considera, con gran detalle, la aplicación de la lógica simbólica a la clarificación y axiomatización de diversas teorías de las matemáticas, la física y la biología. Temas como la naturaleza y el uso de constantes y variables, predicados, conectivos sentenciales, tablas de verdad, oraciones universales y existenciales, definiciones, identidad, isomorfismo, sistemas sintácticos y semánticos y las relaciones entre ellos, el sistema de tipos, variedades de relaciones, el orden lineal, los operadores especiales, las estructuras y los números cardinales, las descripciones, los conceptos finitos e infinitos, la continuidad, los lenguajes de cosas, los lenguajes de coordenadas, los sistemas de axiomas para la teoría de conjuntos, la aritmética, la geometría, la topología espacio-temporal, los conceptos biológicos y muchos otros temas.

La lógica de las relaciones recibe un tratamiento especialmente extenso. Se incluyen cientos de problemas, ejemplos y ejercicios para que los estudiantes practiquen las técnicas de la lógica simbólica y su uso.