Studia Logica 57 (1):91 - 115 (1996)
We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Gentle Murder, or the Adverbial Samaritan.James William Forrester - 1984 - Journal of Philosophy 81 (4):193-197.
Ideality, Sub-Ideality and Deontic Logic.Andrew J. I. Jones & Ingmar Pörn - 1985 - Synthese 65 (2):275 - 290.
Citations of this work BETA
Equivalence of Defeasible Normative Systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
Obligations and Prohibitions in Talmudic Deontic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.
Similar books and articles
Defeasible Reasoning and Logic Programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.
Two Approaches to the Formalisation of Defeasible Deontic Reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
The Epistemic Basis of Defeasible Reasoning.Robert L. Causey - 1991 - Minds and Machines 1 (4):437-458.
Well-Founded Semantics for Defeasible Logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.
Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations.Lennart Åqvist - 1967 - Noûs 1 (4):361-379.
A Theory of Hierarchical Consequence and Conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
Added to index2009-01-28
Total downloads32 ( #161,319 of 2,172,662 )
Recent downloads (6 months)4 ( #75,840 of 2,172,662 )
How can I increase my downloads?