Métodos algebraicos en lógica filosófica

Título original:

Algebraic Methods in Philosophical Logic

Contenido del libro:

Este exhaustivo texto demuestra cómo diversas nociones de lógica pueden considerarse nociones de álgebra universal.

Está dirigido principalmente a lógicos de las matemáticas, la filosofía, la informática y la lingüística interesados en la lógica algebraica, pero también es accesible a quienes no tengan formación en logística. La premisa del texto es que los resultados algebraicos estándar (representaciones) se traducen en resultados lógicos estándar (completitud) e identifica clases de álgebras apropiadas para estudios de lógica clásica y no clásica, entre las que se incluyen: gaggles, distributoides, gaggles parciales y tonoides.

También se discute la idea de que la lógica se basa fundamentalmente en la información, siendo sus elementos principales las proposiciones, que pueden entenderse como conjuntos de estados de información. La lógica se considera en varios sentidos, como sistemas de teoremas, relaciones de consecuencia y relaciones de consecuencia simétricas.