Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

Governatori, Guido and Rotolo, Antonino (2006) Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4 1: 193-215.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Governatori, Guido
Rotolo, Antonino
Title Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations
Journal name Australasian Journal of Logic
ISSN 1448-5052
Publication date 2006
Sub-type Article (original research)
Volume 4
Issue 1
Start page 193
End page 215
Total pages 23
Editor G. Restall
Place of publication Australia
Publisher Australiasian Association for Logic
Collection year 2006
Language eng
Subject C1
440106 Logic
780100 Non-oriented Research
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.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Wed, 15 Aug 2007, 10:33:32 EST