Ambas obras presentan y analizan las lógicas paraconsistentes, ofreciendo nuevos enfoques sobre la contradicción en sistemas formales.
Sobre Sistemas Formales Inconsistentes
por Newton da Costa · 1963
Ver sugerenciasSinopsis
Una obra fundacional sobre la lógica paraconsistente, que investiga sistemas lógicos donde una contradicción no implica la explosión deductiva de trivialidad, permitiendo razonar con información inconsistente.
Sé el primero en valorar este libro.
Más de Newton da Costa
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora los cimientos de la matemática, incluyendo la lógica paraconsistente, permitiendo una reflexión sobre inconsistencias en sistemas matemáticos.
Profundiza en la lógica multivaluada, abordando la necesidad de fundamentos rigurosos que resuenan con la lógica paraconsistente de Costa.
Las bases de la aritmética: Una investigación lógico-matemática sobre el concepto de número
Gottlob Frege
1884·filosofia
Frege busca derivar principios aritméticos a partir de la lógica, un enfoque que complementa la investigación sobre contradicciones y consistencia.
Curry ofrece un tratado formal sobre la lógica matemática que se alinea con la exploración de sistemas formales en contextos inconsistentes.
Van Heijenoort analiza la evolución de la lógica matemática, mostrando cómo las nociones fundamentales pueden relacionarse con los sistemas inconsistente.