Reasoning with Imperatives Using Classical Logic

Sorites 3:7-11 (1995)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
FULRWI-3
Revision history
Archival date: 2013-06-01
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Added to PP index
2013-06-02

Total views
276 ( #12,538 of 43,016 )

Recent downloads (6 months)
30 ( #21,497 of 43,016 )

How can I increase my downloads?

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