Journal of Logic, Language and Information 8 (3):273-295 (1999)
Logicians have strongly preferred first-order natural deductive systems over Peirce's Beta Graphs even though both are equivalent to each other. One of the main reasons for this preference, I claim, is that inference rules for Beta Graphs are hard to understand, and, therefore, hard to apply for deductions. This paper reformulates the Beta rules to show more fine-grained symmetries built around visual features of the Beta system, which makes the rules more natural and easier to use and understand. Noting that the rules of a natural deductive system are natural in a different sense, this case study shows that the naturalness and the intuitiveness of rules depends on the type of representation system to which they belong. In a diagrammatic system, when visual features are discovered and fully used, we have a more efficacious deductive system. I will also show that this project not only helps us to apply these rules more easily but to understand the validity of the system at a more intuitive level.
|Keywords||efficacy existential graphs natural deductive system naturalness transformation rules visual features visual intuitiveness|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Remarks on the Iconicity and Interpretation of Existential Graphs.Risto Hilpinen - 2011 - Semiotica 2011 (186):169-187.
Similar books and articles
Aligning Semantic Graphs for Textual Inference and Machine Reading.Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chloe Kiddon & Christopher D. Manning - unknown
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Euler's Visual Logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
A Weak Variation of Shelah's I[Ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.
A Labelled Natural Deduction System for Linear Temporal Logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Wie Natürlich Ist Das System der Natürlichen Deduktion?Roger Schmit - 2004 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 35 (1):129-145.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Added to index2009-01-28
Total downloads14 ( #336,800 of 2,178,017 )
Recent downloads (6 months)1 ( #317,027 of 2,178,017 )
How can I increase my downloads?