Peirce’s calculi for classical propositional logic

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


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.



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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

47 (#346,646)

6 months
7 (#486,337)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ahti-Veikko Pietarinen
Hong Kong Baptist University
Minghui Ma
Sun Yat-Sen University

Citations of this work

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.
Peirce’s Dragon-Head Logic.Minghui Ma & Ahti-Veikko Pietarinen - 2022 - Archive for History of Exact Sciences 76 (3):261-317.
Notational Differences.Francesco Bellucci & Ahti-Veikko Pietarinen - 2020 - Acta Analytica 35 (2):289-314.

View all 8 citations / Add more citations

References found in this work

The Mathematical Analysis of Logic.George Boole - 1950 - Philosophy 25 (95):350-353.
Oh the Algebra of Logic.C. S. Peirce - 1880 - American Journal of Mathematics 3 (1):15-57.

View all 12 references / Add more references