deontic logic

Also found in: Dictionary, Wikipedia.
Related to deontic logic: epistemic logic
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to deontic logic

the modal logic of obligation and permissibility

Related Words

References in periodicals archive ?
It means that known from deontic logic operator "it is obligatory that" is reduced to the modal operator "it is necessary that.
We do not know this precarious situation, that von Wright illustrates, to have been solved by alternative versions of deontic logic but by simply ignoring the appeal to principles.
Deontic Logic in Computer Science--Normative System Specification.
In the example used above, drivers would build representations for A is compulsory or B is not allowed and operate on them by using general knowledge about the relationship between negation and the is compulsory and is allowed operators, in a similar way to deontic logic inference rules (Cheng and Holyoak, 1985; Rips, 1994).
He considers deontic logic as presented by Paul McNamara (2006) and provides linguistic considerations and natural language syntactic and semantic analysis.
In standard deontic logic, there is no resource for showing that one obligation is more pressing than another, or that some obligations are not performed.
This is a use of deontic logic which includes the modelling of obligations, prohibitions, and permissions (Boulmakoul, 2002).
On the other hand, a deontic logic can be informally conceived in the following fashion: let [phi] be a formula of the @-logic and [?
It suggested that the proper formalism for argumentation was to be found in deontic logic, which was fashionable at that time.
The thesis is arguably implausible if deontic logic as standardly understood is supposed to be a formal modal theory of inference for expressions of moral obligation and permission.
In [sections]2, I turn to an informal sketch of a simple interpreted model-theoretic framework that combines the two most familiar approaches to standard deontic logic, and thereby allows for a specification of truth conditions for all the concepts identified in [sections]1.
The DEONTIC component draws on the modal operations used in deontic logic to distinguish prescriptive from nonprescriptive statements (see Hilpinen 1971, 1981; Wright 1951).
While Gowans is certainly a philosopher writing for other philosophers, he does so with painstaking clarity and with just enough personality showing through to help the reader weather the occasional intrusions of deontic logic and other formalized bits.
6) Their commitment stems from their acceptance of principles of standard deontic logic that rule out irresoluble conflicts.
A deontic logic of this kind has been provided before, by George Schlesinger (Schlesinger |1985 (a)~, |1985 (b)~), and I will have a word to say later in further explication of that.