Logic of Violations: A Gentzen System for Reasoningwith Contrary-To-Duty Obligations
AbstractIn 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.
How to Cite
GOVERNATORI, Guido; ROTOLO, Antonino. Logic of Violations: A Gentzen System for Reasoningwith Contrary-To-Duty Obligations. The Australasian Journal of Logic, [S.l.], v. 4, jan. 2006. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1780>. Date accessed: 20 aug. 2019. doi: https://doi.org/10.26686/ajl.v4i0.1780.