A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study
Guido Governatori, Antonino Rotolo · 2002
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 system is tested against well-known contrary-to-duty paradoxes. 1