Reasoning with Imperatives Using Classical Logic

Sorites 3:7-11 (1995)
Download Edit this record How to cite View on PhilPapers
As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. Traditionally, imperatives have been handled with deontic logics, not the logic of propositions which bear truth values. Yet, an imperative is issued by the speaker to cause (stay) actions which change the state of affairs, which is, in turn, described by propositions that bear truth values. Thus, ultimately, imperatives affect truth values. In this paper, we put forward an idea that allows us to reason with imperatives using classical logic by constructing a one-to-one correspondence between imperatives and a particular class of declaratives.
No keywords specified (fix it)
PhilPapers/Archive ID
Upload history
Archival date: 2013-06-01
View other versions
Added to PP index

Total views
360 ( #19,296 of 65,583 )

Recent downloads (6 months)
16 ( #42,723 of 65,583 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.