WikiJournal Preprints/Semantics of an imperative logic

From Wikiversity
Jump to navigation Jump to search
Crystal Clear app clock.svg
This article is actively undergoing a major change or expansion for a short while.

As a courtesy, please do not edit this page while this message is displayed. The person who added this notice will be listed in its edit history or has placed their signature above.

If this page has not been edited recently, please leave a note on their User Talk Page.

This message is intended to help reduce confusion.

WikiJournal Preprints logo.svg

WikiJournal Preprints
Open access • Publication charge free • Public peer review

WikiJournal User Group is a publishing group of open-access, free-to-publish, Wikipedia-integrated academic journals. <seo title=" Wikiversity Journal User Group, WikiJournal Free to publish, Open access, Open-access, Non-profit, online journal, Public peer review "/>

<meta name='citation_doi' value=>

Article information

Author: Trace Fleeman y Garcia[i]

, Wikidata [[:d:|]] Missing or empty |title= (help)


A number of problems have been raised in regards to the construction of an imperative logic, i.e. a formal system which can incorporate imperative statements as well as those normally utilized in logic. This paper applies a performative theory of truth to these problems, by placing imperative statements in a seperate system anterior to classical logic, by [stuff]. The latter half of this paper is a study of imperative statements as they occur in informal logic.

Introduction[edit | edit source]

Example image.png

 Image caption text goes here

name of image creator, CC-BY 3.0

Manuscript text goes here

Imperative logic[edit | edit source]

Performance theory of truth[edit | edit source]

Semantics of an imperative logic[edit | edit source]

The 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[edit | edit source]

While 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[edit | edit source]

A 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[edit | edit source]

Acknowledgements[edit | edit source]

Any people, organisations, or funding sources that you would like to thank.

Competing interests[edit | edit source]

Any conflicts of interest that you would like to declare. Otherwise, a statement that the authors have no competing interest.

Ethics statement[edit | edit source]

An ethics statement, if appropriate, on any animal or human research performed should be included here or in the methods section.

References[edit | edit source]