Permissive and regulative norms in deontic logic

• Published in: Journal of logic and computation 2024-06, Vol.34 (4), p.728-763
• Main Authors: Olszewski, Maya, Parent, Xavier, Van der Torre, Leendert
• Format: Article
• Language: English
• ISSN: 0955-792X; 1465-363X
• DOI: 10.1093/logcom/exad024

This article provides a systematic analysis of the well-known notions of weak and strong permission in input/output (I/O) logic. We extend the account of permission initially put forward by Makinson and Van der Torre to the whole family of I/O systems developed during the last two decades. The main contribution is a series of characterization results for strong permission, based on establishing the so-called non-repetition property. We also study an input/output logic not yet covered in the literature. It supports reasoning by cases—a natural feature of human reasoning. The output is not closed under logical entailment. At the same time, it avoids excess output using a consistency check—a technique familiar from non-monotonic logic. This makes it well suited for contrary-to-duty reasoning. The axiomatic characterization is in terms of a generalized OR rule. We discuss the implications of all this for our understanding of the notion of the coherence of a normative system. Topics for future research are identified.1