Studia Logica 101 (1):157-191 (2013)
Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs.
|Keywords||Proof theory Natural deduction Diagrammatic reasoning Euler diagrams|
|Categories||categorize this paper)|
References found in this work BETA
What is a Logic Translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
Citations of this work BETA
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Similar books and articles
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Euler's Visual Logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289 - 291.
The Forgotten Individual: Diagrammatic Reasoning in Mathematics.Sun-Joo Shin - 2012 - Synthese 186 (1):149-168.
Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning.Keith Stenning & Oliver Lemon - 1999 - Philosophical Explorations.
Theories of Diagrammatic Reasoning: Distinguishing Component Problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction.Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (3):851-859.
Corrigendum to "Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction".Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (4):1415-1416.
And so On...: Reasoning with Infinite Diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
Main Problems of Diagrammatic Reasoning. Part I: The Generalization Problem. [REVIEW]Zenon Kulpa - 2009 - Foundations of Science 14 (1-2):75-96.
Identity of Proofs Based on Normalization and Generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.Atsushi Shimojima & Yasuhiro Katagiri - 2013 - Cognitive Science 37 (2):211-254.
Added to index2012-07-19
Total downloads32 ( #158,660 of 2,158,667 )
Recent downloads (6 months)1 ( #354,589 of 2,158,667 )
How can I increase my downloads?