Nonmonotonic Foundations for Deontic Logic

Ever since its inception in the work of G. H. von Wright (von Wright, 1951), deontic logic has been developed primarily as a species of modal logic. I argue in this paper, however, that, at least for certain purposes, the techniques recently developed within the field of nonmonotonic logic may provide a better theoretical framework for the formal study of normative reasoning than the usual modal treatment.

[1]  J. Hintikka.  Deontic Logic and its Philosophical Morals , 1969 .

[2]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

[3]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[4]  Craig Boutilier.  Conditional logics for default reasoning and belief revision , 1992 .

[5]  J. Sartre.  L'existentialisme est un humanisme , 1947 .

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

[7]  G. Ryle,et al.  Contemporary aspects of philosophy , 1976 .

[8]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

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

[10]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

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

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

[13]  David S. Touretzky,et al.  A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance , 1991, IJCAI.

[14]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[15]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[16]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

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

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

[19]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[20]  P. Foot,et al.  Moral Realism and Moral Dilemma , 1983 .

[21]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[22]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[23]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[24]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

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

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

[27]  D. Raffman,et al.  Marcus, Ruth Barcan , 1996 .

[28]  Bas C. van Fraassen,et al.  The logic of conditional obligation , 1972, J. Philos. Log..

[29]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[30]  J. Sartre,et al.  Existentialism Is a Humanism , 2007, Existentialism Is a Humanism.