Lógica Proposicional tercera edición

Título original:

Propositional Logics Third Edition

Contenido del libro:

Lógica proposicional presenta la historia, filosofía y matemáticas de los principales sistemas de lógica proposicional. La lógica clásica, la lógica modal, la lógica multivaluada, el intuicionismo, la lógica paraconsistente y la implicación dependiente se examinan en capítulos separados.

Cada uno comienza con una motivación en los propios términos de los autores, seguida de la semántica formal estándar, la sintaxis y el teorema de completitud. Los capítulos sobre las distintas lógicas son en gran medida independientes, de modo que el libro puede utilizarse como referencia. Un apéndice resume la semántica formal y las axiomatizaciones de las lógicas.

El punto de vista que unifica la exposición es que las lógicas proposicionales comprenden un espectro. A medida que varía el aspecto de las proposiciones consideradas, varía la lógica.

Se demuestra que cada lógica se inscribe naturalmente en un marco general de semántica. Se presenta una teoría de las traducciones entre lógicas que permite nuevas comparaciones, y se dan las condiciones necesarias para que una traducción conserve el significado.

En esta tercera edición se ha reorganizado el material para facilitar el estudio del texto, y se ha añadido una nueva sección sobre lógicas paraconsistentes con semántica simple, que cuestiona los puntos de vista habituales sobre la naturaleza de las relaciones de consecuencia. El texto incluye ejemplos trabajados y cientos de ejercicios, desde problemas rutinarios a problemas abiertos, lo que hace que el libro, con su exposición clara y cuidadosa, sea ideal para cursos o para el estudio individual.