deontic logic

﻿
deontic logic
A logical calculus created by adding operators ‘O p ’ (it ought to be the case that p ) and ‘P p ’ (it is permissible that p ) to a basic system such as the propositional calculus, together with rules of inference for them. A deontic logic will study inferences between these forms, telling for instance whether Op & pq yield Oq, or whether Op → ¬O¬p . Principles such as these have proved controversial and there is no one ‘classical’ system of deontic logic. See also gentle murder, paradox of.

Philosophy dictionary. . 2011.

Look at other dictionaries:

• Deontic logic — is the field of 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… …   Wikipedia

• deontic logic — Branch of modal logic that studies the permitted, the obligatory, and the forbidden, which are characterized as deontic modalities (Greek, deontos: of that which is binding ). It seeks to systematize the abstract, purely conceptual relations… …   Universalium

• deontic logic — noun the modal logic of obligation and permissibility • Hypernyms: ↑modal logic …   Useful english dictionary

• deontic logic — noun a) The study of obligation, permission, and related concepts. b) A formal system capturing the concepts of obligation and permission. See Also: modal logic …   Wiktionary

• deontic — logic …   Philosophy dictionary

• deontic logics — deontic logic …   Philosophy dictionary

• logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• deontic — de·on·tic (dē ŏnʹtĭk) adj. Of, relating to, or concerning duties or obligations: deontic logic.   [Greek deon, deont , obligation, necessity. See deontology.] * * * …   Universalium