Graduate studies at Western
Studia Logica 57 (1):91 - 115 (1996)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Timothy R. Colburn (1991). Defeasible Reasoning and Logic Programming. Minds and Machines 1 (4):417-436.
Nellie Wieland (2011). Parental Obligation. Utilitas 23 (03):249-267.
Dov M. Gabbay & Karl Schlechta (2010). A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19 (1):3-32.
Bill Wringe (2010). Global Obligations and the Agency Objection. Ratio 23 (2):217-231.
Lennart Åqvist (1967). Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations. Noûs 1 (4):361-379.
Frederick Maier & Donald Nute (2010). Well-Founded Semantics for Defeasible Logic. Synthese 176 (2):243 - 274.
Robert L. Causey (1991). The Epistemic Basis of Defeasible Reasoning. Minds and Machines 1 (4):437-458.
Mark A. Brown (1996). A Logic of Comparative Obligation. Studia Logica 57 (1):117 - 137.
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
Robert A. Kowalski & Francesca Toni (1996). Abstract Argumentation. Artificial Intelligence and Law 4 (3-4):275-296.
Added to index2009-01-28
Total downloads9 ( #122,488 of 739,349 )
Recent downloads (6 months)1 ( #61,538 of 739,349 )
How can I increase my downloads?