David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
|Through your library||Configure|
Similar books and articles
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Eric Hammer & Sun-Joo Shin (1998). Euler's Visual Logic. History and Philosophy of Logic 19 (1):1-29.
William J. Mitchell (2004). A Weak Variation of Shelah's I[Ω₂]. Journal of Symbolic Logic 69 (1):94-100.
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW] Journal of Logic, Language and Information 13 (1):1-23.
Roger Schmit (2004). Wie Natürlich Ist Das System der Natürlichen Deduktion? Journal for General Philosophy of Science 35 (1):129-145.
Danilo šuster (2004). Incompatibilism and the Logic of Transfer. Acta Analytica 19 (33):45-54.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Added to index2009-01-28
Total downloads5 ( #175,692 of 1,003,876 )
Recent downloads (6 months)1 ( #64,406 of 1,003,876 )
How can I increase my downloads?