Lógica de predicados

Opiniones de los lectores

El libro es un examen formal y riguroso de la lógica de predicados, centrado en sus fundamentos filosóficos más que en su aplicación práctica. Aunque puede ser valioso para el estudio avanzado de la filosofía o la lógica, carece de ejercicios prácticos y herramientas de aprendizaje que son esenciales para los principiantes o aquellos que buscan aplicar la lógica de predicados directamente.

⬤ Proporciona amplia información sobre los fundamentos filosóficos de la lógica de predicados.
⬤ Adecuado para cursos de grado o postgrado de división superior.
⬤ Puede ser interesante para aquellos profundamente comprometidos con la lógica y sus supuestos.

⬤ No es una guía práctica para aprender a usar la lógica de predicados.
⬤ Los ejercicios están insuficientemente conectados con la aplicación práctica y no se proporcionan respuestas.
⬤ Precio elevado comparado con otros textos de lógica más accesibles y prácticos.

(basado en 3 opiniones de lectores)

Título original:

Predicate Logic

Contenido del libro:

Las formas y el alcance de la lógica se basan en supuestos sobre cómo el lenguaje y el razonamiento conectan con la experiencia. En este volumen, un análisis del significado y la verdad proporciona una base para el estudio de la lógica proposicional y de predicados moderna.

Los capítulos sobre lógica proposicional, análisis sintáctico de proposiciones y significado, verdad y referencia proporcionan una base para los criterios que pueden utilizarse para juzgar las formalizaciones de argumentos del lenguaje ordinario. Más de 120 ejemplos prácticos de formalizaciones de proposiciones y argumentos ilustran el alcance y las limitaciones de la lógica moderna, como se analiza en los capítulos sobre identidad, cuantificadores, nombres descriptivos, funciones y lógica de segundo orden.

El capítulo sobre lógica de segundo orden ilustra cómo las diferentes concepciones de predicados y proposiciones no conducen a una base común para la cuantificación sobre predicados, como sí lo hacen para la cuantificación sobre cosas. Este volumen, que destaca por la claridad de su presentación y se complementa con numerosos ejercicios, es adecuado para filósofos, lingüistas, matemáticos e informáticos que deseen comprender mejor las herramientas que utilizan para formalizar el razonamiento.