An adaptive logic framework for conditional obligations and deontic dilemmas

Christian Straßer

DOI: http://dx.doi.org/10.12775/LLP.2010.005

Abstract


Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic conflicts by means of restricting the inheritance principle. One of the central problems for dyadic deontic logics is to properly treat the restricted applicability of the principle “strengthening the antecedent”. In most cases it is desirable to derive from an obligation A under condition B, that A is also obliged under condition B and C. However, there are important counterexamples. Goble proposed a weakened rational monotonicity principle to tackle this problem. This solution is suboptimal as it is for some examples counter-intuitive or even leads to explosion. The paper identifies also other problems of Goble’s systems. For instance, to make optimal use of the restricted inheritance principle, in many cases the user has to manually add certain statements to the premises. An adaptive logic framework based on CDPM is proposed which is able to tackle these problems. It allows for certain rules to be applied as much as possible. In this way counter-intuitive consequences as well as explosion can be prohibited and no user interference is required. Furthermore, for non-conflicting premise sets the adaptive logics are equivalent to Goble’s dyadic version of standard deontic logic.

Keywords


deontic logic; dyadic deontic logic; deontic conflicts; adaptive logic; defeasible reasoning; nonmonotonic logic

Full Text:

PDF

References


Diderik Batens, “A universal logic approach to adaptive logics”, Logica Universalis 1 (2007): 221–242.

Roderick M. Chisholm, “Contrary-to-duty imperatives and deontic logic”, Analysis 24 (1963): 33–36.

Newton Da Costa and Walter Carnielli, “On paraconsistent deontic logic”, Philosophia 16, 3 (1986): 293–305.

J. Forrester, “Gentle murder, or the adverbial samaritan”, The Journal of Philosophy 81 (1984): 193–197.

Lou Goble, “Dilemmas in deontic logic”. To appear.

Lou Goble, “Multiplex semantics for deontic logic”, Logic 5 (2000): 113–134.

Lou Goble, “Preference semantics for deontic logic, part I – simple models”, Logique et Analyse (2003): 383–418.

Lou Goble, “A proposal for dealing with deontic dilemmas”, pages 74–113 in: A. Lomuscio and D. Nute, editors, DEON, volume 3065 of Lecture Notes in Computer Science. Springer, 2004.

Lou Goble, “A logic for deontic dilemmas”, Journal of Applied Logic 3 (2005): 461–483.

John F. Horty, “Nonmonotonic foundations for deontic logic”, , pages 17–44 in: Defeasible Deontic Logic, 1997.

Sarit Kraus, Daniel J. Lehmann, and Menachem Magidor, “Nonmonotonic reasoning, preferential models and cumulative logics”, Artificial Intelligence 44 (1990): 167–207.

Daniel Lehmann and Menachem Magidor, “What does a conditional knowledge base entail?”, Artificial Intelligence 55, 1 (1992): 1–60.

David Lewis, Counterfactuals. Blackwell Publishers, December 2000.

Lutz Schröder and Dirk Pattinson, “Rank-1 modal logics are coalgebraic”, Journal of Logic and Computation, December 2008. Forthcoming. Online access http://dx.doi.org/10.1093/logcom/exn096.

Christian Straßer, “A deontic logic framework allowing for factual detachment”. Forthcoming.

Christian Straßer and Joke Meheus, “Avoiding deontic explosion by contextually restricting modal inheritance”. To appear.

Bas van Fraassen, “The logic of conditional obligation”, Journal of Philosophical Logic 1 (1972): 417–438.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism