Imperative Bilateralism

In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 237-252 (2021)
  Copy   BIBTEX


This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding cognitivism about imperatives.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.
Imperatives and the More Generalised Tarski Thesis.Hannah Clark-Younger - 2014 - Thought: A Journal of Philosophy 3 (4):314-320.
Bilateralism and Community in Treaty Law and Practice–From Warriors, Workers and (Hook-) Worms.Kenneth J. Keith - 2011 - In Ulrich Fastenrath, Rudolf Geiger, Daniel-Erasmus Khan, Andreas Paulus, Sabine von Schorlemer & Christoph Vedder (eds.), From Bilateralism to Community Interest. Oxford University Press. pp. 754--767.
O Significado da Negação.Gonçalo Santos - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1137-1152.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.


Added to PP

232 (#87,217)

6 months
90 (#51,309)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kai Tanter
University of Melbourne

Citations of this work

No citations found.

Add more citations

References found in this work

General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.
Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.

View all 18 references / Add more references