History and Philosophy of Logic 19 (2):101-106 (1998)
|Abstract||One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Ahti-Veikko Pietarinen (2005). Compositionality, Relevance, and Peirce's Logic of Existential Graphs. Axiomathes 15 (4):513-540.
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3):227-250.
Ahti-Veikko Pietarinen (2006). Peirce's Contributions to Possible-Worlds Semantics. Studia Logica 82 (3):345 - 369.
Don D. Roberts (1973). The Existential Graphs of Charles S. Peirce. The Hague,Mouton.
Sun-Joo Shin (1994). Peirce and the Logical Status of Diagrams. History and Philosophy of Logic 15 (1):45-68.
Esther Ramharter & Christian Gottschall (2011). Peirce's Search for a Graphical Modal Logic (Propositional Part). History and Philosophy of Logic 32 (2):153 - 176.
P. N. Johnson-Laird (2002). Peirce, Logic Diagrams, and the Elementary Operations of Reasoning. Thinking and Reasoning 8 (1):69 – 95.
Eric M. Hammer (1998). Semantics for Existential Graphs. Journal of Philosophical Logic 27 (5):489-503.
Robert W. Burch (1994). Game-Theoretical Semantics for Peirce's Existential Graphs. Synthese 99 (3):361 - 375.
Added to index2010-08-10
Total downloads4 ( #188,845 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?