An Inconsistency-Adaptive Deontic Logic for Normative Conflicts

We present the inconsistency-adaptive deontic logic DPr, a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as OA ∧ O ∼A, OA ∧ P ∼A or even OA ∧ ∼OA. On the other hand, DPr still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DPr interprets a given premise set ‘as normally as possible’ with respect to SDL. Whereas some SDL-rules are verified unconditionally by DPr, others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of DPr.

[1]  John Holbo,et al.  Moral dilemmas and the logic of obligation , 2002 .

[2]  Göran Hermerén.  Manfred Moritz (1909–1990) , 2008 .

[3]  Richard Routley,et al.  Moral dilemmas and the logic of deontic notions , 1989 .

[4]  Dov M. Gabbay,et al.  Handbook of paraconsistency , 2007 .

[5]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[6]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[7]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[8]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[9]  Diderik Batens,et al.  A survey of inconsistency-adaptive logics , 2000 .

[10]  Gabriella Pigozzi,et al.  Ten Philosophical Problems in Deontic Logic , 2007, Normative Multi-agent Systems.

[11]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.

[12]  Peter K. Schotch,et al.  Non - Kripkean Deontic Logic , 1981 .

[13]  John F. Horty,et al.  Reasoning with Moral Conflicts , 2003 .

[14]  Pablo Noriega,et al.  Normative Multi-Agent Systems , 2013, Normative Multi-Agent Systems.

[15]  Edwin D. Mares.  Andersonian deontic logic , 2008 .

[16]  Frederik Van De Putte,et al.  Avoiding Deontic Explosion by Contextually Restricting Aggregation , 2010, DEON.

[17]  Hans Lycke.  Inconsistency-adaptive modal logics: on how to cope with modal inconsistency , 2010 .

[18]  Newton C. A. da Costa,et al.  On paraconsistent deontic logic , 1986 .

[19]  Christian Straßer,et al.  A deontic logic framework allowing for factual detachment , 2011, J. Appl. Log..

[20]  Yao-Hua Tan,et al.  Two-phase Deontic Logic , 2022 .

[21]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[22]  Audun Stolpe,et al.  A theory of permission based on the notion of derogation , 2010, J. Appl. Log..

[23]  H. Lycke.  Fitch–style natural deduction for modal paralogics , 2009 .

[24]  Diderik Batens,et al.  Recent results by the inconsistency-adaptive labourers. , 2007 .

[25]  Lou Goble,et al.  A logic for deontic dilemmas , 2005, J. Appl. Log..

[26]  Bernard Williams,et al.  Problems of the Self: Ethical consistency , 1973 .

[27]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[28]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[29]  Christian Straßer.  An adaptive logic framework for conditional obligations and deontic dilemmas , 2010 .

[30]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[31]  Lou Goble,et al.  Multiplex semantics for deontic logic , 2000 .

[32]  Christian Straßer,et al.  A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts , 2011, CLIMA.

[33]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..

[34]  Bernard Williams,et al.  Problems of the self : philosophical papers, 1956-1972 , 1973 .

[35]  J. Horty.  Agency and Deontic Logic , 2001 .

[36]  Diderik Batens,et al.  A Rich Paraconsistent Extension Of Full Positive Logic , 2004 .

[37]  Diderik Batens.  Frontiers of Paraconsistent Logic , 2000 .

[38]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[39]  Georg Henrik.  Deontic Logic: A Personal View , 1999 .

[40]  G. Priest.  In Contradiction: A Study of the Transconsistent , 1987 .

[41]  Barteld P. Kooi,et al.  Moral Conflicts between Groups of Agents , 2008, J. Philos. Log..