Logic of Violations: A Gentzen System for Reasoningwith Contrary-To-Duty Obligations

  • Guido Governatori School of Information Technology and Electrical Engineering, The University of Queensland, Australia
  • Antonino Rotolo CIRSFID, University of Bologna, Italy

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.

Author Biographies

Guido Governatori, School of Information Technology and Electrical Engineering, The University of Queensland, Australia
Antonino Rotolo, CIRSFID, University of Bologna, Italy
Published
2006-01-25
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 oct. 2019. doi: https://doi.org/10.26686/ajl.v4i0.1780.