A theory of permission based on the notion of derogation
type: Item
instance of: scholarly article
title: A theory of permission based on the notion of derogation
zbMATH Open document ID: 1198.03035
author: Audun Stolpe
published in: Journal of Applied Logic
publication date: 2010-06-11T00:00:00Z
review text: This paper, based on the author's doctoral thesis [Norms and norm-dynamics. Philosophy Department, University of Bergen, Norway (2008)], proposes a major modification of the treatment of positive permission in the framework of input/output logics. When a normative code contains an explicit permission that is inconsistent with the set of all its obligations, input/output logic under its present formulation [\textit{D. Makinson} and \textit{L. van der Torre}, ``Permission from an input/output perspective'', J. Philos. Log. 32, No.~4, 391--416 (2003; Zbl 1028.03017)] treats the code as a whole as inconsistent. The author proposes to avoid such explosion by prioritizing positive permissions over obligations, by means of an AGM-style belief contraction on the obligations. This step, accompanied by certain other changes in the formulation designed to avoid a contested property of `input weakening', leads to formal concepts of `exemption' and `antithetic' (positive) permission in a normative system, introduced to replace the Makinson/van der Torre notions of static and dynamic (positive) permission respectively. The paper then examines the precise relationship between the two new kinds of positive permission, as well as with the explicitly given positive permissions and the negative ones.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5720214
zbMATH Keywords: permission
zbMATH Keywords: input/output logic
zbMATH Keywords: contraction
zbMATH Keywords: policy specification
zbMATH Keywords: information accountability
MaRDI profile type: Publication
full work available at URL: j.jal.2010.01.001
OpenAlex ID: W2134349791
cites work: Variations in Access Control Logic
cites work: Q5638252
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Conditional obligation and positive permission for agents in time
cites work: Q3867808
cites work: Q4680552
cites work: Reversing the Levi identity
cites work: Q4938866
cites work: Input/output logics
cites work: Constraints for input/output logics
cites work: Q4440545
cites work: Permission from an input/output perspective
cites work: The dynamic logic of permission
cites work: Q5692402
DOI: 10.1016/J.JAL.2010.01.001
Recommended article: Relevance, Derogation and Permission
Recommended article: Q5878382
Recommended article: Permission from an input/output perspective
Recommended article: Abstract Interfaces of Input/Output Logic
Recommended article: Computing strong and weak permissions in defeasible logic
Recommended article: Q4440545
Recommended article: Reasoning About Permission and Obligation
Recommended article: Q4329191
Recommended article: Free choice permission, legitimization and relating semantics
Recommended article: Q5271378
description: scientific article; zbMATH DE number 5720214