Semiotica 2011 (186):129-140 (2011)
| Abstract |
A linear notation for Charles S. Peirce's alpha and beta diagrammatic systems of existential graphs is presented. These two systems are equivalent to propositional and first-order logic. Some differences between the linear and graphical notation are analyzed, revealing some of the strengths and weaknesses of Peirce's system
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1515/semi.2011.049 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Semantics for Existential Graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
Game-Theoretical Semantics for Peirce's Existential Graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Reachability is Harder for Directed Than for Undirected Finite Graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
The Hardness of the Iconic Must: Can Peirce’s Existential Graphs Assist Modal Epistemology.Catherine Legg - 2012 - Philosophia Mathematica 20 (1):1-24.
A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics.Misao Nagayama & Mitsuhiro Okada - 2001 - Journal of Symbolic Logic 66 (4):1524-1542.
E-Type Interpretation Without E-Type Pronoun: How Peirce’s Graphs Capture the Uniqueness Implication of Donkey Pronouns in Discourse Anaphora.Chuansheng He - 2015 - Synthese 192 (4):1-20.
Interpolation in Fragments of Classical Linear Logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Planar and Braided Proof-Nets for Multiplicative Linear Logic with Mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
Compositionality, Relevance, and Peirce’s Logic of Existential Graphs.Ahti-Veikko Pietarinen - 2005 - Axiomathes 15 (4):513-540.
Peirce’s Contributions to Possible-Worlds Semantics.Ahti-Veikko Pietarinen - 2006 - Studia Logica 82 (3):345 - 369.
Towards a Characterization of Order-Invariant Queries Over Tame Graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
Syllogistic Logic in Linear Notation.Samuel M. Thompson - 1942 - Philosophy of Science 9 (4):362-366.
Analytics
Added to PP index
2013-12-17
Total views
16 ( #668,455 of 2,518,239 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,239 )
2013-12-17
Total views
16 ( #668,455 of 2,518,239 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,239 )
How can I increase my downloads?
Downloads
