Abstract
Peirce’s diagrammatic system of Existential Graphs (\(EG_{\alpha })\) is a logical proof system corresponding to the Propositional Calculus (PL). Most known proofs of soundness and completeness for \(EG_{\alpha }\) depend upon a translation of Peirce’s diagrammatic syntax into that of a suitable Frege-style system. In this paper, drawing upon standard results but using the native diagrammatic notational framework of the graphs, we present a purely syntactic proof of soundness, and hence consistency, for \(EG_{\alpha }\), along with two separate completeness proofs that are constructive in the sense that we provide an algorithm in each case to construct an \(EG_{\alpha }\) formal proof starting from the empty Sheet of Assertion, given any expression that is in fact a tautology according to the standard semantics of the system.
Similar content being viewed by others
Notes
Informally speaking, a subgraph of G is any collection of parts of G that can be inscribed within a sep which does not intersect any other sep.
A literal is either an atomic variable or a negated atomic variable.
In the sequence below, for the sake of brevity the two iterations for P and Q have been collapsed to a single one.
References
Bellucci, F., & Pietarinen, A. (2016). Existential Graphs as an instrument of logical analysis: Part I. Alpha. The Review of Symbolic Logic, 9(2), 209–237.
Brady, G., & Trimble, T. H. (2000). A categorical interpretation of C.S. Peirce’s propositional logic alpha. Journal of Pure and Applied Algebra, 49, 213–230.
Chiffi, D., & Pietarinen, A. (2020). On the logical philosophy of assertive graphs journal of logic. Language and Information, 29, 375–397.
Dau, F. (2006). Some Notes on Proofs with Alpha Graphs. Conceptual Structures: Inspiration and Application. ICCS 2006. Lecture Notes in Computer Science 4068.
Gangle, R., Caterina, G., & Tohmé, F. (2022). A generic figures reconstruction of Peirce’s Existential Graphs (Alpha). Erkenntnis, 87(2), 623–656.
Kalmár, L. (1935). Über die Axiomatisierbarkeit des Aussagenkalküls. Acta Scientiarum Mathematicarum, 7, 222–243.
Kauffman, L. (2001). Cybernetics & human knowing. Imprint Academic.
Ma, M., & Pietarinen, A. (2017). Proof analysis of Peirce’s Alpha system of graphs. Studia Logica, 305, 625–647.
Ma, M., & Pietarinen, A. (2020). Peirce Calculi for classical propositional logic. The Review of Symbolic Logic, 13(3), 1–32.
Roberts, D. D. (1973). The existential graphs of C.S. Peirce. Mouton.
Shin, S. J. (2002). The iconic logic of Peirce’s graphs. MIT Press.
Spencer-Brown, G. (1969). Laws of form. Allen & Unwin.
Zeman, J. (1997). Peirce’s Graphs. Conceptual structures: Fulfilling Peirce’s dream. ICCS 1997. Lecture Notes in Artificial Intelligence.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Caterina, G., Gangle, R. & Tohmé, F. Native diagrammatic soundness and completeness proofs for Peirce’s Existential Graphs (Alpha). Synthese 200, 471 (2022). https://doi.org/10.1007/s11229-022-03903-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03903-8