## Abstract

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 by PC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to present PC as a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, in PC. 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 between PC and the alpha system.

Original language | English |
---|---|

Pages (from-to) | 509-540 |

Number of pages | 32 |

Journal | Review of Symbolic Logic |

Volume | 13 |

Issue number | 3 |

Early online date | 29 Oct 2018 |

DOIs | |

Publication status | Published - Sept 2020 |

## Scopus Subject Areas

- Mathematics (miscellaneous)
- Philosophy
- Logic

## User-Defined Keywords

- Primary 03F03
- 06D30
- 03G10
- Peirce
- algebra of Logic
- Boolean algebra
- sequent calculus
- illation
- consequence
- alpha graphs