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.
Logic of Violations: A Gentzen System for Reasoning with Contrary-to-Duty Obligations / G. Governatori; A. Rotolo. - In: THE AUSTRALASIAN JOURNAL OF LOGIC. - ISSN 1448-5052. - ELETTRONICO. - 4:(2006), pp. 193-215.
Logic of Violations: A Gentzen System for Reasoning with Contrary-to-Duty Obligations
GOVERNATORI, GUIDO;ROTOLO, ANTONINO
2006
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.