Deontic logic
From The Art and Popular Culture Encyclopedia
|
Related e |
|
Featured: |
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. 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.
The term deontic is derived from the Ancient Greek δέον déon (gen.: δέοντος déontos), meaning "that which is binding or proper."
[edit]
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Deontic logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
