Gráficos de Peirce Sin Pérdida de Información

  • Frank Thomas Sautter UFSM / CNPq
Palabras clave: diagrama, información, reducción al absurdo, diagram, information, reductio ad absurdum

Resumen

C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para la
Lógica Proposicional Clásica: los Gráficos Entitativos y el Sistema Alfa
de los Gráficos Existenciales. Ambos utilizan el mismo conjunto compuesto
por seis reglas de inferencia. Modifico estos sistemas de manera
que se requieren sólo cuatro de estas reglas de inferencia, es decir,
aquellas en las que no hay pérdida de información.

C. S. Peirce has developed two diagrammatic systems of proof for
Classical Propositional Logic: the Entitative Graphs and the Alpha System
of the Existential Graphs. Both use the same set consisting of six
rules of inference. I modify these systems so that each of them requires
only four of these rules of inference, namely, those in which there
is no loss of information.

Biografía del autor/a

Frank Thomas Sautter, UFSM / CNPq

Obtuvo su título de Doctor en Filosofía en la Universidade Estadual de Campinas (Brasil), 2000. Actualmente ocupa el cargo de Profesor Asociado en el Departamento de Filosofía de la Universidade Federal de Santa María y es investigador del Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) de Brasil.

Publicado
2017-07-10
Sección
Articulos