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

Authors

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

DOI:

https://doi.org/10.26686/ajl.v4i0.1780

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

Downloads

Published

2006-01-25