Caterina, Gianluca and Gangle, Rocco and Tohme, Fernando
(2022)
Native diagrammatic soundness and completeness proofs for
Peirce's Existential Graphs (Alpha).
[Preprint]
Abstract
Peirce's diagrammatic system of Existential Graphs (EG) is a logical proof system corresponding to the Propositional Calculus (PL). Most known proofs of soundness and completeness for EG 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, along with two
separate completeness proofs that are constructive in the sense that we provide an algorithm in each case to construct an EG 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.
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
|
View Item |