New foundations for imperative logic I: Logical connectives, consistency, and quantifiers

Noûs 42 (4):529-572 (2008)
  Copy   BIBTEX

Abstract

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic.

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
786 (#9,984)

6 months
51 (#18,354)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Vranas
University of Wisconsin, Madison

Citations of this work

A Preference Semantics for Imperatives.William B. Starr - 2020 - Semantics and Pragmatics 20.
Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Moral Cognitivism Vs. Non-Cognitivism.Mark van Roojen - 2013 - Stanford Encyclopedia of Philosophy 2013 (1):1-88.
The Meaning of Imperatives.Nate Charlow - 2014 - Philosophy Compass 9 (8):540-555.

View all 30 citations / Add more citations