Ambos libros exploran lógicas paraconsistentes, resaltando cómo desafían el principio de no contradicción en la construcción de nuevas estructuras lógicas.
Rivales de la lógica clásica
por Raymundo Morado
Ver sugerenciasSinopsis
Una compilación de recursos bibliográficos y temáticos sobre diversas lógicas del siglo XX que desafían o amplían la lógica clásica, incluyendo lógicas intuicionistas, cuánticas, paraconsistentes, relevantes y no-monotónicas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
La crítica al monopolio de la lógica clásica y el planteamiento paraconsistente en ambos textos revelan una visión compartida sobre la evolución de la lógica matemática.
Aunque se centra en la lógica formal aplicada a la inteligencia artificial, introduce conceptos que pueden vincularse a las alternativas contemporáneas a la lógica clásica.
La exploración de semánticas diversas en su interpretación muestra un enfoque similar en el análisis de cómo los operadores modales despliegan nuevas lógicas.
Al considerar lógicas no clásicas en el contexto de la inteligencia artificial, se alinea con la propuesta de expandir el campo de aplicación de la lógica.
La lógica constructiva presentada en este libro implica un rechazo al principio del tercero excluido, similar a las propuestas no clásicas discutidas por Morado.