Abstract
Peirce introduced Existential Graphs in late 1896, and they were systematically investigated in his 1903 Lowell Lectures. Alpha graphs for classical propositional logic constitute the first part of EGs. The second and the third parts are the beta graphs for first-order logic and the gamma graphs for modal and higher-order logics, among others. As a logical syntax, EGs are two-dimensional graphs, or diagrams, in contrast to the linear algebraic notations. Peirce's theory of EGs is not only a theory of logical syntax but also a proof theory for many logics. A set of transformation rules of graphs defines a proof system for a graphical logic. In this...
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2979/trancharpeirsoc.54.3.02
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,130
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Peirce’s Dragon-Head Logic.Minghui Ma & Ahti-Veikko Pietarinen - 2022 - Archive for History of Exact Sciences 76 (3):261-317.

Add more citations

Similar books and articles

Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Free Q-Distributive Lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.
Grabowski Lattices Are Generated by Graphs.A. Kolany - 2002 - Reports on Mathematical Logic:63-69.
Finiteness Conditions and Distributive Laws for Boolean Algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
Free Modal Lattices Via Priestley Duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
Logics for Extended Distributive Contact Lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.

Analytics

Added to PP index
2018-12-29

Total views
15 ( #697,724 of 2,506,408 )

Recent downloads (6 months)
1 ( #416,997 of 2,506,408 )

How can I increase my downloads?

Downloads

My notes