Review of Symbolic Logic 13 (3):509-540 (2020)

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020318000187
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,214
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

The Mathematical Analysis of Logic.George Boole - 1950 - Philosophy 25 (95):350-353.
Exploring the Beta Quadrant.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):941-970.

View all 12 references / Add more references

Citations of this work BETA

Abduction and Diagrams.Ahti-Veikko Pietarinen - forthcoming - Logic Journal of the IGPL.
To Peirce Hintikka’s Thoughts.Ahti-Veikko Pietarinen - 2019 - Logica Universalis 13 (2):241-262.
Notational Differences.Francesco Bellucci & Ahti-Veikko Pietarinen - 2020 - Acta Analytica 35 (2):289-314.
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

Hypersequent Calculi for Intuitionistic Logic with Classical Atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
New Sequent Calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Semantical Study of Some Systems of Vagueness Logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
Peirce’s Logic.Francesco Bellucci & Ahti-Veikko Pietarinen - 2015 - Internet Encyclopedia of Philosophy.
Paraconsistent Sequential Calculi.V. M. Popov - 1988 - Bulletin of the Section of Logic 17 (3/4):148-153.
Sufficient Conditions for Cut Elimination with Complexity Analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
Note on Grammatical Translations of Logical Calculi.Stanislaw Krajewski - 1992 - Archive for Mathematical Logic 31 (4):259-262.


Added to PP index

Total views
37 ( #307,186 of 2,507,561 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,561 )

How can I increase my downloads?


My notes