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

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 440106 Logic  C1  780100 Non-oriented Research
Categories (categorize this paper)
DOI 10.26686/ajl.v4i0.1780
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Toleration and the Design of Norms.Luciano Floridi - 2015 - Science and Engineering Ethics 21 (5):1095-1123.
Obligation as Optimal Goal Satisfaction.Robert Kowalski & Ken Satoh - 2018 - Journal of Philosophical Logic 47 (4):579-609.

Add more citations

Similar books and articles

Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.
Changing the Modal Context.John Cantwell - 2008 - Theoria 74 (4):331-351.
The Duty to Criminalize.Alon Harel - 2015 - Law and Philosophy 34 (1):1-22.
A Cut-Free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
Chisholm's Paradox and Conditional Oughts.Catharine Saint Croix & Richmond Thomason - 2014 - Lecture Notes in Computer Science 8554:192-207.


Added to PP index

Total downloads
7 ( #648,360 of 2,302,572 )

Recent downloads (6 months)
2 ( #273,859 of 2,302,572 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature