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

Noûs 42 (4):529-572 (2008)
Download Edit this record How to cite View on PhilPapers
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.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
VRANFF
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA
Relevance, Communication and Cognition.Sperber, Dan & Wilson, Deirdre

View all 284 references / Add more references

Citations of this work BETA

View all 12 citations / Add more citations

Added to PP index
2009-01-28

Total views
513 ( #4,338 of 38,095 )

Recent downloads (6 months)
29 ( #13,330 of 38,095 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.