WikiJournal Preprints/Semantics of an imperative logic
This article is an unpublished pre-print not yet undergoing peer review.
To submit this article for peer review, please:
Article information
Abstract
Introduction
edit
name of image creator, CC-BY 3.0
Manuscript text goes here
Imperative logic
editPerformance theory of truth
editSemantics of an imperative logic
editThe essential premise of this paper is that imperatives are anterior to propositions. Imperatives are necessarily social phenomena, the parallel between the performative act of truth in Strawson's theory should be clear. They are used to structure the space in which propositions inhabit, in fact their sole function is to establish propositions. Thus the imperative operator carries a meaning incredibly similar to the truth function in F. P. Ramsey's theory of truth, which is an important precursor. That is, within classical logic, can only be
Imperative statements in informal logic and natural language
editWhile classical logic does not normally concern itself with commands, other logics do regularly utilize imperatives. In mathematical logic, proof by contradiction is usually rendered in natural language with imperative statements:
Suppose .[1]
While perhaps overly-simplistic, suppose (and assume) are imperatives. They do not have a logic value, but are rather artifacts of natural language. The above statement would simply be rendered as in formal logic, a simple deceleration.
This highlights the actual function of the imperative as anterior to the logical content. Our formalization of imperatives
Problems with imperative logic
editA major flaw in this conception of imperative logic is that it greatly simplifies imperative statements (which in natural language are incredibly complex and diverse) to a simple operator on a proposition.
Additional information
editAcknowledgements
editAny people, organisations, or funding sources that you would like to thank.
Competing interests
editAny conflicts of interest that you would like to declare. Otherwise, a statement that the authors have no competing interest.
Ethics statement
editAn ethics statement, if appropriate, on any animal or human research performed should be included here or in the methods section.