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.

Downloads

Download data is not yet available.

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: 24 jan. 2020. doi: https://doi.org/10.26686/ajl.v4i0.1780.