View source for Deontic logic

{{Short description|Field of philosophical logic}}
{{Use dmy dates|date=May 2024}}
'''Deontic logic''' is the field of [[philosophical logic]] that is concerned with [[obligation]], [[permission (philosophy)|permission]], and related concepts.  Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. It can be used to formalize [[imperative logic]], or [[deontic modality|directive modality]] in natural languages. Typically, a deontic logic uses ''OA'' to mean ''it is obligatory that A'' (or ''it ought to be (the case) that A''), and ''PA'' to mean ''it is permitted (or permissible) that A'', which is defined as <math>PA\equiv \neg O\neg A</math>.

In natural language, the statement "You may go to the zoo OR the park" should be understood as <math>Pz\land Pp</math> instead of <math>Pz\lor Pp</math>, as both options are permitted by the statement. When there are multiple agents involved in the [[domain of discourse]], the deontic modal operator can be specified to each agent to express their individual obligations and permissions. For example, by using a subscript <math>O_i</math> for agent <math>a_i</math>, <math>O_iA</math> means that "It is an obligation for agent <math>a_i</math> (to bring it about/make it happen) that <math>A</math>". Note that <math>A</math> could be stated as an action by another agent; One example is "It is an obligation for Adam that Bob doesn't crash the car", which would be represented as <math>O_{Adam}B</math>, where B="Bob doesn't crash the car".

==Etymology==
The term ''deontic'' is derived from the {{Langx|grc|δέον|translit=déon}} (gen.: {{Langx|grc|δέοντος|translit=déontos|label=none}}), meaning "that which is binding or proper."

==Standard deontic logic==
In [[Georg Henrik von Wright]]'s first system, obligatoriness and permissibility were treated as features of ''acts''.  Soon after this, it was found that a deontic logic of ''propositions'' could be given a simple and elegant [[Kripke semantics|Kripke-style semantics]], and von Wright himself joined this movement. The deontic logic so specified came to be known as "standard deontic logic," often referred to as '''SDL''', '''KD''', or simply '''D'''. It can be axiomatized by adding the following axioms to a standard axiomatization of classical [[propositional logic]]:

: <math>(\models A) \rightarrow (\models OA)</math>
: <math>O(A \rightarrow B) \rightarrow (OA \rightarrow OB)</math>
: <math>OA\to PA</math>

In English, these axioms say, respectively:

* If A is a [[Tautology (logic)|tautology]], then it ought to be that A (necessitation rule '''N'''). In other words, [[Contradiction|contradictions]] are not permitted.
* If it ought to be that A implies B, then if it ought to be that A, it ought to be that B (modal axiom '''K''').
* If it ought to be that A, then it is permitted that A (modal axiom '''D'''). In other words, if it's not permitted that A, then it's not obligatory that A.

''FA'', meaning it is forbidden that ''A'', can be defined (equivalently) as <math>O \lnot A</math> or <math>\lnot PA</math>.

There are two main extensions of '''SDL''' that are usually considered. The first results by adding an [[Alethic modality|alethic modal operator]] <math>\Box</math> in order to express the [[Kant]]ian claim that "[[ought implies can]]":

: <math> OA \to \Diamond A. </math>

where <math>\Diamond\equiv\lnot\Box\lnot</math>. It is generally assumed that <math>\Box</math> is at least a '''KT''' operator, but most commonly it is taken to be an '''S5''' operator. In practical situations, obligations are usually assigned in anticipation of future events, in which case alethic possibilities can be hard to judge. Therefore, obligation assignments may be performed under the assumption of different conditions on different [[Temporal logic#Motivation|branches of timelines]] in the future, and past obligation assignments may be updated due to unforeseen developments that happened along the timeline.

The other main extension results by adding a "conditional obligation" operator O(A/B) read "It is obligatory that A given (or conditional on) B". Motivation for a conditional operator is given by considering the following ("Good Samaritan") case. It seems true that the starving and poor ought to be fed. But that the starving and poor are fed implies that there are starving and poor. By basic principles of '''SDL''' we can infer that there ought to be starving and poor! The argument is due to the basic K axiom of '''SDL''' together with the following principle valid in any [[normal modal logic]]:

:<math>\vdash A\to B\Rightarrow\ \vdash OA\to OB.</math>

If we introduce an intensional conditional operator then we can say that the starving ought to be fed ''only on the condition that there are in fact starving'': in symbols O(A/B). But then the following argument fails on the usual (e.g. Lewis 73) semantics for conditionals: from O(A/B) and that A implies B, infer OB.

Indeed, one might define the unary operator O in terms of the binary conditional one O(A/B) as <math>OA\equiv O(A/\top)</math>, where <math>\top</math> stands for an arbitrary [[tautology (logic)|tautology]] of the underlying logic (which, in the case of '''SDL''', is classical). 

=== Semantics of standard deontic logic ===
The [[accessibility relation]] between possible world is interpreted as ''acceptability'' relations: <math>v</math> is an acceptable world (viz. <math>wRv</math>) if and only if all the obligations in <math>w</math> are fulfilled in <math>v</math> (viz. <math>(w\models OA)\to (v\models A)</math>).

=== Anderson's deontic logic ===
Alan R. Anderson (1959) shows how to define <math>O</math> in terms of the alethic operator <math>\Box</math> and a deontic constant (i.e. 0-ary modal operator) <math>s</math> standing for some sanction (i.e. bad thing, prohibition, etc.): <math>OA\equiv\Box(\lnot A\to s)</math>. Intuitively, the right side of the biconditional says that A's failing to hold necessarily (or strictly) implies a sanction.

In addition to the usual modal axioms (necessitation rule '''N''' and distribution axiom '''K''') for the alethic operator <math>\Box</math>, Anderson's deontic logic only requires one additional axiom for the deontic constant <math>s</math>: <math>\neg \Box s\equiv \Diamond \neg s</math>, which means that there is alethically possible to fulfill all obligations and avoid the sanction. This version of the Anderson's deontic logic is equivalent to '''SDL'''.

However, when modal axiom '''T''' is included for the alethic operator (<math>\Box A\to A</math>), it can be proved in Anderson's deontic logic that <math>O(OA \to A)</math>, which is not included in '''SDL'''. Anderson's deontic logic inevitably couples the deontic operator <math>O</math> with the alethic operator <math>\Box</math>, which can be problematic in certain cases.

==Dyadic deontic logic==
An important problem of deontic logic is that of how to properly represent conditional obligations, e.g. ''If you smoke (s), then you ought to use an ashtray (a). '' It is not clear that either of the following representations is adequate:

: <math>O(\mathrm{smoke} \rightarrow \mathrm{ashtray})</math>
: <math>\mathrm{smoke} \rightarrow O(\mathrm{ashtray})</math>

Under the first representation it is [[vacuously true]] that if you commit a forbidden act, then you ought to commit any other act, regardless of whether that second act was obligatory, permitted or forbidden (Von Wright 1956, cited in Aqvist 1994). Under the second representation, we are vulnerable to the gentle murder paradox, where the plausible statements (1) ''if you murder, you ought to murder gently'', (2) ''you do commit murder'', and (3) ''to murder gently you must murder'' imply the less plausible statement: ''you ought to murder''. Others argue that ''must'' in the phrase ''to murder gently you must murder'' is a mistranslation from the ambiguous English word (meaning either ''implies'' or ''ought''). Interpreting ''must'' as ''implies'' does not allow one to conclude ''you ought to murder'' but only a repetition of the given ''you murder''. Misinterpreting ''must'' as ''ought'' results in a perverse axiom, not a perverse logic. With use of negations one can easily check if the ambiguous word was mistranslated by considering which of the following two English statements is equivalent with the statement ''to murder gently you must murder'': is it equivalent to ''if you murder gently it is forbidden not to murder'' or ''if you murder gently it is impossible not to murder'' ?

Some deontic logicians have responded to this problem by developing dyadic deontic logics, which contain binary deontic operators:

: <math>O(A \mid B)</math> means ''it is obligatory that A, given B''
: <math>P(A \mid B)</math> means ''it is permissible that A, given B''.

(The notation is modeled on that used to represent [[conditional probability]].)  Dyadic deontic logic escapes some of the problems of standard (unary) deontic logic, but it is subject to some problems of its own.{{example needed|date=July 2020}}

==Other variations==
Many other varieties of deontic logic have been developed, including [[Non-monotonic logic|non-monotonic]] deontic logics, [[Paraconsistent logic|paraconsistent]] deontic logics, [[Dynamic logic (modal logic)|dynamic]] deontic logics, and hyperintensional deontic logics.

==History==

===Early deontic logic===
Philosophers from the Indian [[Mimamsa|Mimamsa school]] to those of [[Ancient Greece]] have remarked on the formal logical relations of deontic concepts<ref name=Greece>Huisjes, C. H., 1981, "Norms and logic," Thesis, University of Groningen.</ref> and philosophers from the late [[Medieval philosophy|Middle Ages]] compared deontic concepts with [[Alethic logic|alethic]] ones.<ref name=ones>{{cite book |last=Knuuttila |first=Simo |editor-last=Hilpinen |editor-first=Risto |year=1981 |title=New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics |chapter=The Emergence of Deontic Logic in the Fourteenth Century |series=Synthese Library |volume=152 |publisher=D. Reidel Publishing Company |location=Dordrecht, Holland |doi=10.1007/978-94-009-8484-4_10 |isbn=978-90-277-1346-9 |pages=225–248}}</ref>

In his ''Elementa juris naturalis'' (written between 1669 and 1671), [[Gottfried Wilhelm Leibniz]] notes the logical relations between the ''licitum'' (permitted), the ''illicitum'' (prohibited), the ''debitum'' (obligatory), and the ''indifferens'' (facultative) are equivalent to those between the ''possibile'', the ''impossibile'', the ''necessarium'', and the ''contingens'' respectively.<ref>R. Hilpinen (ed.), [https://books.google.com/books?id=7QwpBgAAQBAJ ''New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics''], Springer, 2012, pp. 3–4.</ref>

===Mally's first deontic logic and von Wright's first "plausible" deontic logic===
[[Ernst Mally]], a pupil of [[Alexius Meinong]], was the first to propose a formal system of deontic logic in his ''Grundgesetze des Sollens'' (1926) and he founded it on the syntax of Whitehead's and Russell's [[propositional calculus]]. Mally's deontic vocabulary consisted of the logical constants <math>\cup</math> and <math>\cap</math>, unary connective <math>!</math>, and binary connectives <math>f</math> and <math>\infty</math>.<br />
: * Mally read <math>!A</math> as "A ought to be the case".<br />* He read <math>A f B</math> as "A requires B" .<br />* He read <math>A \infty B</math> as "A and B require each other."<br />* He read <math>\cup</math> as "the unconditionally obligatory" .<br />* He read <math>\cap</math> as "the unconditionally forbidden".
Mally defined <math>f</math>, <math>\infty</math>, and <math>\cap</math> as follows:
: Def. <math>


f. A f B = A \rightarrow !B</math><br />Def. <math>\infty. A \infty B = (A f B) \& (B f A)</math><br />Def. <math>\cap.\rightarrow \cap=\lnot\cup
 </math>
Mally proposed five informal principles:
: (i)	If A requires B and if B requires C, then A requires C.<br />(ii)	If A requires B and if A requires C, then A requires B and C.<br />(iii)	A requires B if and only if it is obligatory that if A then B.<br />(iv)	The unconditionally obligatory is obligatory.<br />(v)	The unconditionally obligatory does not require its own negation.
He formalized these principles and took them as his axioms:
: I. <math>\rightarrow ((A f B) \& (B \rightarrow C)) \rightarrow (A f C)</math><br />II. <math>\rightarrow ((A f B) \& (A f C)) \rightarrow (A f (B \& C))</math><br />III. <math>\rightarrow (A f B) \leftrightarrow !(A \rightarrow B)</math><br />IV. <math>\rightarrow \exists \cup ! \cup</math><br />V. <math>\rightarrow \lnot (\cup f \cap)</math>
From these axioms Mally deduced 35 theorems, many of which he rightly considered strange. [[Karl Menger]] showed that <math>!A \leftrightarrow A</math> is a theorem and thus that the introduction of the ! sign is irrelevant and that A ought to be the case if A is the case.<ref name=A>{{cite book |last=Menger |first=Karl |year=1979 |title=Selected Papers in Logic and Foundations, Didactics, Economics |chapter=A Logic of the Doubtful on Optative and Imperative Logic |doi=10.1007/978-94-009-9347-1_9 |isbn=978-90-277-0321-7 |pages=91–102|publisher=Springer |location=Dordrecht }}</ref> After Menger, philosophers no longer considered Mally's system viable.

The first plausible system of deontic logic was proposed by [[Georg Henrik von Wright|G. H. von Wright]] in his paper ''Deontic Logic'' in the philosophical journal ''Mind'' in 1951. (Von Wright was also the first to use the term "deontic" in English to refer to this kind of logic although Mally published the German paper ''Deontik'' in 1926.) Since the publication of von Wright's seminal paper, many philosophers and computer scientists have investigated and developed systems of deontic logic. Nevertheless, to this day deontic logic remains one of the most controversial and least agreed-upon areas of logic.
G. H. von Wright did not base his 1951 deontic logic on the syntax of the propositional calculus as Mally had done, but was instead influenced by alethic [[modal logic]]s, which Mally had not benefited from. In 1964, von Wright published ''A New System of Deontic Logic'', which was a return to the syntax of the propositional calculus and thus a significant return to Mally's system. (For more on von Wright's departure from and return to the syntax of the propositional calculus, see ''Deontic Logic: A Personal View''{{Citation needed|date=June 2011}} and ''A New System of Deontic Logic''{{Citation needed|date=June 2011}}, both by Georg Henrik von Wright.) G. H. von Wright's adoption of the modal logic of possibility and necessity for the purposes of normative reasoning was a return to Leibniz.

Although von Wright's system represented a significant improvement over Mally's, it raised a number of problems of its own. For example, ''Ross's paradox'' applies to von Wright's deontic logic, allowing us to infer from "It is obligatory that the letter is mailed" to "It is obligatory that either the letter is mailed or the letter is burned", which seems to imply it is permissible that the letter is burned. The ''Good Samaritan paradox'' also applies to his system, allowing us to infer from "It is obligatory to nurse the man who has been robbed" that "It is obligatory that the man has been robbed". Another major source of puzzlement is ''Chisholm's paradox'', named after American philosopher and logician [[Roderick Chisholm]]. There is no formalisation in von Wright's system of the following claims that allows them to be both jointly satisfiable and logically independent:
* It ought to be that Jones goes (to the assistance of his neighbors).
* It ought to be that if Jones goes, then he tells them he is coming.
* If Jones doesn't go, then he ought not tell them he is coming.
* Jones doesn't go

Several extensions or revisions of Standard Deontic Logic have been proposed over the years, with a view to solve these and other puzzles and paradoxes (such as the Gentle Murderer and Free choice permission).

==Jørgensen's dilemma==
Deontic logic faces [[Jørgensen's dilemma]].<ref>{{cite journal|last=Jørgensen|first=Jørgen|title=Imperatives and Logic|journal=Erkenntnis|year=1937–38|volume=7|issue=1 |pages=288–96|doi=10.1007/BF00666538|url=https://link.springer.com/article/10.1007/BF00666538|jstor=20011886 |s2cid=118082575 }}</ref> This problem is best seen as a trilemma. The following three claims are incompatible:
* Logical inference requires that the elements (premises and conclusions) have truth-values.
* Normative statements do not have truth-values.
* There are logical inferences between normative statements.
Responses to this problem involve rejecting one of the three premises.

# Input/output logics reject the first premise.<ref>{{Citation |last=Makinson |first=David |title=What is Input/Output Logic? |date=2003 |work=Foundations of the Formal Sciences II |volume=17 |pages=163–174 |editor-last=Löwe |editor-first=Benedikt |url=http://link.springer.com/10.1007/978-94-017-0395-6_12 |series=Trends in Logic |place=Dordrecht |publisher=Springer Netherlands |doi=10.1007/978-94-017-0395-6_12 |isbn=978-90-481-6233-8 |last2=van der Torre |first2=Leendert |editor2-last=Malzkom |editor2-first=Wolfgang |editor3-last=Räsch |editor3-first=Thoralf}}</ref> They provide inference mechanism on elements without presupposing that these elements have truth-values.
# Alternatively, one can deny the second premise. One way to do this is to distinguish between the norm itself and a proposition about the norm. According to this response, only the proposition about the norm (as is the case for '''Standard Deontic Logic''') has a truth-value. For example, it may be hard to assign a truth-value to the argument "Take all the books off the table!", but <math>O</math>("Take all the books off the table"), which means "It is obligatory to take all the books off the table", can be assigned a truth-value, because it is in the [[Realis mood|indicative mood]].
# Finally, one can deny the third premise. But this is to deny that there is a logic of norms worth investigating.

==See also==
{{Portal|Philosophy}}
* [[Deontological ethics]]
* [[Free choice inference]]
* [[Moral reasoning]]
* [[Norm (philosophy)]]

==References==
{{Reflist}}

==Bibliography==
* [[Lennart Åqvist]], 1994, "Deontic Logic" in D. Gabbay and F. Guenthner, ed., ''Handbook of Philosophical Logic: Volume II Extensions of Classical Logic'', Dordrecht: Kluwer.
* Dov Gabbay, John Horty, Xavier Parent et al. (eds.)2013, ''Handbook of Deontic Logic and Normative Systems'', London: College Publications, 2013.
* Hilpinen, Risto, 2001, "Deontic Logic," in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic''. Oxford: Blackwell.
* {{cite journal |last=von Wright |first=G. H. |author-link=Georg Henrik von Wright |year=1951 |title=Deontic Logic |journal=Mind |volume=60 |pages=1–15}}

==External links==
*{{cite SEP |url-id=logic-deontic |title=Deontic Logic |last=McNamara |first=Paul}}
*{{cite SEP |url-id=mally-deontic |title=Mally's Deontic Logic |last=Lokhorst |first=Gert-Jan}}
* [http://www.iep.utm.edu/contrary-to-duty-paradox/ Contrary-to-Duty Paradox], ''[[Internet Encyclopedia of Philosophy]]''.

{{Non-classical logic}}

{{DEFAULTSORT:Deontic Logic}}
[[Category:Modal logic]]
[[Category:Philosophical logic]]
[[Category:Deontic logic]]