Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Top Cited Papers
- 10 March 2022
- journal article
- Published by Victoria University of Wellington Library in The Australasian Journal of Logic
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.Keywords
This publication has 0 references indexed in Scilit: