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

C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para laLógica Proposicional Clásica: los Gráficos Entitativos y el Sistema Alfade los Gráficos Existenciales. Ambos utilizan el mismo conjunto compuestopor seis reglas de inferencia. Modifico estos sistemas de maneraque se requieren sólo c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Sautter, Frank Thomas
Formato: Artículo revista
Lenguaje:Español
Publicado: Facultad de Filosofía y Humanidades 2017
Materias:
diagrama
información
reducción al absurdo
diagram
information
reductio ad absurdum
Acceso en línea:https://revistas.unc.edu.ar/index.php/repr/article/view/17397
Aporte de:
Representaciones. Revista de Estudios sobre Representaciones en Arte, Ciencia y Filosofía de Universidad Nacional de Córdoba
Descripción
Sumario:C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para laLógica Proposicional Clásica: los Gráficos Entitativos y el Sistema Alfade los Gráficos Existenciales. Ambos utilizan el mismo conjunto compuestopor seis reglas de inferencia. Modifico estos sistemas de maneraque 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 forClassical Propositional Logic: the Entitative Graphs and the Alpha Systemof the Existential Graphs. Both use the same set consisting of sixrules of inference. I modify these systems so that each of them requiresonly four of these rules of inference, namely, those in which thereis no loss of information.

Ejemplares similares