Algebraic Methods in Philosophical Logic
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.
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)