Two approaches to the formalisation of defeasible deontic reasoning (Q1922822)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two approaches to the formalisation of defeasible deontic reasoning |
scientific article |
Statements
Two approaches to the formalisation of defeasible deontic reasoning (English)
0 references
21 April 1997
0 references
This paper contrasts two ways of formalizing defeasible deontic reasoning. One is the method of Horty, which develops a special nonmonotonic logic for deontic statements. The other, which the author recommends, adds standard deontic principles to an existing nonmonotonic (non-deontic) logic, such as Reiter's default logic. Both types of system are designed to give a plausible analysis of moral dilemmas and possible conflicts of prima facie obligations. It is odd, then, that the second method accepts commitment to the principle \(\sim (OA \& O \sim A)\), though the author argues that this is acceptable.
0 references
formalisation of defeasible deontic reasoning
0 references
deontic logic
0 references
nonmonotonic logic
0 references
default logic
0 references
analysis of moral dilemmas
0 references
prima facie obligations
0 references
0 references