INVESTIGADORES
LEGRIS Javier
congresos y reuniones científicas
Título:
On the Ideas of Proof in Diagrammatic Logic
Autor/es:
JAVIER LEGRIS
Lugar:
HAGEN
Reunión:
Workshop; ON-LINE WORKSHOP Beweise. Historische und systematische Perspektiven Proofs. Historical and Systematic Perspectives; 2021
Institución organizadora:
INSTITUT FÜR PHILOSOPHIE, FERNUNIVERSITÄT IN HAGEN
Resumen:
The use of diagrams in mathematicalproofs has a noteworthy tradition, that stems from Euclidean geometry.Diagrammatic methods have been used for a long time to show the validity ofdeductive arguments in syllogistic and propositional logic. Their proceduresare generally conceived as decision methods: The validity/invalidity isvisualized bydrawings diagrams. However, they can be seen also as diagrammatic proofs. Inmathematics diagrammaticproofs strictosensu havebeen carried out for many domains. In them the construction and modificationsof diagrams in successive steps lead to the conclusion. In logic thisconception was adopted by Charles S, Peirce in his Existential Graphs. The aimof this talk is to elucidate these different ideas of diagrammatic proof and toanalyze the different functions diagrams have in them.
