Conflicting imperatives and dyadic deontic logic

Abstract Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J.F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines dyadic deontic operators accordingly, and provides a sound and (weakly) complete axiomatic system for such deontic semantics.

[1]  B. Hansson.  An analysis of some deontic logics , 1969 .

[2]  Risto Hilpinen,et al.  Deontic Logic: An Introduction , 1970 .

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

[4]  Alexander Bochman,et al.  Brave Nonmonotonic Inference and Its Kinds , 2003, Annals of Mathematics and Artificial Intelligence.

[5]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[6]  Alexander Bochman,et al.  A Logical Theory of Nonmonotonic Inference and Belief Change , 2001, Artificial Intelligence.

[7]  A. Montefiore.  NORM AND ACTION , 1964 .

[8]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .

[9]  Alexander Bochman,et al.  Credulous Nonmonotonic Inference , 1999, IJCAI.

[10]  Gerhard Brewka,et al.  Belief revision in a framework for default reasoning , 1989, The Logic of Theory Change.

[11]  Leendert van der Torre,et al.  Reasoning about obligations: defeasibility in preference-based deontic logic , 1997 .

[12]  Risto Hilpinen,et al.  Deontische Logik Und Semantik , 1977 .

[13]  David Makinson,et al.  Bridges between Classical and Nonmonotonic Logic , 2003, Log. J. IGPL.

[14]  Ruth Barcan Marcus,et al.  Moral Dilemmas and Consistency , 1980 .

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

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

[17]  Jörg Hansen.  Sets, Sentences, and Some Logics about Imperatives , 2001, Fundam. Informaticae.

[18]  John F. Horty,et al.  Nonmonotonic Foundations for Deontic Logic , 1997 .

[19]  E. J. Lemmon,et al.  Review: G. H. von Wright, A Note on Deontic Logic and Derived Obligation , 1957 .

[20]  Wolfgang Spohn,et al.  An analysis of Hansson's dyadic deontic logic , 1975, J. Philos. Log..

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

[22]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[23]  Alan Donagan,et al.  Consistency in Rationalist Moral Systems , 1984 .

[24]  David Lewis,et al.  Ordering semantics and premise semantics for counterfactuals , 1981, J. Philos. Log..

[25]  Lars Lindahl,et al.  Logical Theory and Semantic Analysis , 1974 .

[26]  Dale Jacquette,et al.  Moral dilemmas, disjunctive obligations, and Kant's principle that ‘ought’ implies ‘can’ , 1991, Synthese.

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

[28]  N. Rescher.  An axiom system for deontic logic , 1958 .

[29]  Pierre Siegel,et al.  A Representation Theorem for Preferential Logics , 1996, KR.

[30]  David O. Brink,et al.  Moral conflict and its structure , 1994 .

[31]  A. Kratzer.  Conditional Necessity and Possibility , 1979 .

[32]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[33]  Hans Rott.  Belief Contraction in the Context for the General Theory of Rational Choice , 1993, J. Symb. Log..

[34]  R Fox,et al.  Moral dilemmas. , 1998, Journal of the Royal Society of Medicine.

[35]  Vincent Risch,et al.  Preferential Logics are X-logics , 2001, J. Log. Comput..

[36]  Lou Goble,et al.  Preference semantics for deontic logic part II – Multiplex models , 2004 .

[37]  Stefan Brass,et al.  On the Semantics of Supernormal Defaults , 1993, IJCAI.

[38]  Arnim von Stechow,et al.  Semantics From Different Points of View , 1979 .

[39]  Robert Walter,et al.  Allgemeine Theorie der Normen , 1979 .

[40]  Jörg Hansen,et al.  Problems and results for logics about imperatives , 2004, J. Appl. Log..

[41]  Lou Goble,et al.  Preference semantics for deontic logic part I — Simple models , 2003 .

[42]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[43]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[44]  T. J. Smiley.  Review: Erik Stenius, The Principles of a Logic of Normative Systems , 1971 .

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

[46]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .