TY - JOUR
T1 - Logic of violations
T2 - A Gentzen system for reasoning with contrary-to-duty obligations
AU - Governatori, Guido
AU - Rotolo, Antonino
PY - 2006/1
Y1 - 2006/1
N2 - 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.
AB - 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.
UR - https://www.mendeley.com/catalogue/57718188-9715-3818-a14a-0eaf364d6531/
U2 - 10.26686/ajl.v4i0.1780
DO - 10.26686/ajl.v4i0.1780
M3 - Article
SN - 1448-5052
VL - 4
JO - The Australasian Journal of Logic
JF - The Australasian Journal of Logic
ER -