Introducción a la lógica modal

Opiniones de los lectores

El libro es una apreciada introducción a la lógica modal, elogiada por su claridad, sus ideas filosóficas y su enfoque estructurado. Sin embargo, muchos críticos han señalado un inconveniente importante: la falta de soluciones a los ejercicios, lo que ha dificultado la autoevaluación. El libro es accesible pero a veces desordenado, con errores ocasionales en los ejercicios. Aunque requiere conocimientos previos de lógica proposicional, se considera que merece la pena para los interesados en los aspectos filosóficos del tema.

⬤ Presentación clara y estructurada.
⬤ Atractivas discusiones filosóficas relacionadas con la lógica modal.
⬤ Bueno para aquellos con cierta formación en lógica simbólica.
⬤ Visión global de los conceptos de la lógica modal.
⬤ Muchos ejemplos de pruebas a lo largo del texto.

⬤ Falta de respuestas a los ejercicios, lo que dificulta la autoevaluación.
⬤ Algunos problemas de claridad y errores ocasionales en pruebas/ejercicios.
⬤ Considerado un poco desordenado con exceso de reglas en sistemas deductivos.
⬤ Puede no ser adecuado para principiantes sin conocimientos previos de lógica proposicional.

(basado en 13 opiniones de lectores)

Título original:

Introductory Modal Logic

Contenido del libro:

La lógica modal, desarrollada como una extensión de la lógica proposicional clásica y de la teoría de la cuantificación de primer orden, integra las nociones de posibilidad y necesidad y de implicación necesaria. Los argumentos cuya comprensión depende de algún conocimiento fundamental de la lógica modal siempre han sido importantes en filosofía de la religión, metafísica y epistemología.

Además, la lógica modal ha cobrado cada vez más importancia con el uso del concepto de «mundos posibles» en estas áreas. Introductory Modal Logic satisface la necesidad de un texto básico sobre lógica modal, accesible a los estudiantes de lógica simbólica elemental.

Kenneth Konyndyk presenta un tratamiento por deducción natural de la lógica modal proposicional y de la lógica modal cuantificada, información histórica sobre su desarrollo y discusiones sobre las cuestiones filosóficas que plantea la lógica modal. Caracterizado por explicaciones claras y concretas, ejemplos apropiados y ejercicios variados y desafiantes, Introductory Modal Logic pone tanto la lógica modal como la metafísica de los mundos posibles al alcance del estudiante de nivel introductorio.