A Diagrammatic Inference System with Euler Circles
Journal of Logic, Language and Information 21 (3):365-391 (2012)
| Abstract | Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem | |||||||||
| Keywords | Proof-theory Diagrammatic reasoning Euler diagram | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRyo Takemura (2013). Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Studia Logica 101 (1):157-191.
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Corin Gurr, John Lee & Keith Stenning (1998). Theories of Diagrammatic Reasoning: Distinguishing Component Problems. Minds and Machines 8 (4):533-557.
Eric Hammer & Sun-Joo Shin (1998). Euler's Visual Logic. History and Philosophy of Logic 19 (1):1-29.
Sun-Joo Shin (2012). The Forgotten Individual: Diagrammatic Reasoning in Mathematics. Synthese 186 (1):149-168.
Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
Ruggero Pagnan (2012). A Diagrammatic Calculus of Syllogisms. Journal of Logic, Language and Information 21 (3):347-364.
Ruggero Pagnan (2013). Syllogisms in Rudimentary Linear Logic, Diagrammatically. Journal of Logic, Language and Information 22 (1):71-113.
Iulian D. Toader (2004). On Frege's Logical Diagrams. In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer.
Zenon Kulpa (2009). Main Problems of Diagrammatic Reasoning. Part I: The Generalization Problem. Foundations of Science 14 (1-2):75-96.
Annalisa Coliva (2012). Human Diagrammatic Reasoning and Seeing-As. Synthese 186 (1):121-148.
Iulian D. Toader (2004). A Diagrammatic Reconstruction of Carnap's "Quasianalysis". Synthese 142 (1):43 - 59.
Nathaniel Miller (2006). A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. Journal of Philosophical Logic 35 (3):289 - 291.
Analytics
Monthly downloads |
Added to index2012-03-28Total downloads13 ( #87,789 of 548,976 )Recent downloads (6 months)1 ( #63,511 of 548,976 )How can I increase my downloads? |
My notes
Discussion
