A General Schema for Bilateral Proof Rules

Journal of Philosophical Logic (3):1-34 (2024)
  Copy   BIBTEX


Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself.

Similar books and articles

Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Bilateral Rules as Complex Rules.Leonardo Ceragioli - 2023 - Bulletin of the Section of Logic 52 (3):329-375.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Focusing Gentzen’s LK Proof System.Chuck Liang & Dale Miller - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 275-313.
Structural Rules in Natural Deduction with Alternatives.Greg Restall - 2023 - Bulletin of the Section of Logic 52 (2):109-143.
Connectives stranger than tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.


Added to PP

192 (#107,579)

6 months
192 (#19,545)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ryan Simonelli
University of Chicago

Citations of this work

No citations found.

Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2022 - Review of Symbolic Logic 15 (2):505-536.

View all 46 references / Add more references