Free choice and contextually permitted actions
type: Item
instance of: scholarly article
title: Free choice and contextually permitted actions
zbMATH Open document ID: 0860.03021
DOI: 10.1007/BF00370675
author: R. Wieringa
author: Frank Dignum
author: John-Jules Meyer
published in: Studia Logica
publication date: 1997-04-21T00:00:00Z
review text: This paper offers a solution to the paradox of free-choice permission, that \(Pp\to P (p\vee q)\). This is often resolved by distinguishing two permission operators, a `weak' permission, \(P_w\), which satisfies \(P_w (p\vee q) \equiv P_w p\vee P_w\) \(q\), and a `strong' permission, \(P_s\), which satisfies \(P_s (p\vee q) \equiv P_s p \& P_s q\). Free-choice permission is supposed to be the latter, and for it the above entailment does not hold. Nevertheless, \(P_s p \to P_s(p \& q)\) now holds instead, which is probably worse. This paper presents a more sophisticated notion of free-choice permission within the framework of a general logic of action statements that allows a limiting of the contexts in which an action is permitted and the introduction of an operator `only', so that one may assert that only \(\alpha\) is performed in a context. On this basis the strong permission operator seems more benign when one interprets ordinary language assertions that an act \(\alpha\) is performed as expressing that only \(\alpha\) is performed, for then the above entailment for strong permission seems unproblematic.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 929968
zbMATH Keywords: deontic logic
zbMATH Keywords: paradox of free-choice permission
zbMATH Keywords: logic of action statements
reviewed by: Louis F. Goble
MaRDI profile type: Publication
cites work: Q4343991
cites work: Q3898475
cites work: A theory for nondeterminism, parallelism, communication, and concurrency
cites work: Q3745260
cites work: Q4570894
cites work: Q4570895
cites work: First-order dynamic logic
cites work: Q4385540
cites work: Q3783262
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: Q3203001
cites work: A deontic logic of action
cites work: The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
cites work: Actors, actions, and initiative in normative system specification
cites work: Q5560264
description: scientific article; zbMATH DE number 929968