Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
نویسندگان
چکیده
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.
منابع مشابه
A Gentzen System for Reasoning with Contrary-To-Duty Obligations. A Preliminary Study
In this paper we present a Gentzen system for reasoning with contraryto-duty obligations. The intuition behind the system is that a contraryto-duty is a special kind of normative exception. The logical machinery to formalize this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the s...
متن کاملA Formal Analysis of a Business Contract Language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a...
متن کاملAnnals of Mathematics and Artiical Inteligence 0 (2000) ?{? 1 Contrary-to-duty Reasoning with Preference-based Dyadic Obligations
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. In our preference-based interpretation of obligations`should be (done) if is (done)' is true if (1) no : ^ state is as preferable as an ^ state and (2) the preferred states are states. We show that this representation solves diierent problems of deontic logic. The rst part of the deenition is us...
متن کاملContrary-to-Duty Obligations
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 pro...
متن کاملA Paraconsistent Logic for Contrary-to-Duty Imperatives
Contrart-to-duty imperatives are those which tell us what we ought to do if we violate some of our obligations. In this work, we give an inconsistencyfriendly framework for contrary-to-duty imperatives and introduce three semantics for it: static, dynamic and topological. The static semantics uses the standard modal paraconsistent approach whereas the dynamic semantics views violations as dynam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005