Reconstituting beta graphs into an efficacious system

Abstract
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)
Reprint years 2004
DOI 10.1023/A:1008303204427
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,798
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
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.
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.
Incompatibilism and the Logic of Transfer.Danilo šuster - 2004 - Acta Analytica 19 (33):45-54.

Monthly downloads

Added to index

2009-01-28

Total downloads

14 ( #336,800 of 2,178,017 )

Recent downloads (6 months)

1 ( #317,027 of 2,178,017 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums