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

Frank Thomas Sautter

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.


Palabras clave


diagrama; información; reducción al absurdo; diagram; information; reductio ad absurdum

Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.


Representaciones. Revista de Estudios sobre Representaciones en Arte, Ciencia y Filosofía. ISSN 1669-8401

leminhot@gmail.com