Logical dynamics of some speech acts that affect obligations and preferences
type: Item
instance of: scholarly article
title: Logical dynamics of some speech acts that affect obligations and preferences
zbMATH Open document ID: 1173.03019
author: Tomoyuki Yamada
published in: Synthese
publication date: 2009-06-16T00:00:00Z
review text: This paper describes a deontic preference language and logic DPL with formulas \(O_{(i,j)}\varphi\), to be read that it is obligatory for agent \(i\) with respect to authority \(j\) to see to it that \(\varphi\), and formulas \([pref]_i\varphi\), saying that \(i\) prefers it to be the case that \(\varphi\), or that all worlds that \(i\) considers at least as good as this world satisfy \(\varphi\). These are treated in a customary way. Following the lead of van Benthem and Liu's dynamic epistemic upgrade logic, DEUL, DPL is extended to the dynamic deontic preference logic DDPL by the addition of dynamic action modalities \([!_{(i,j)}\varphi]\) and \([\#_i\varphi]\), with \([!_{(i,j)}\varphi]\psi\) read to say that after a successful command by \(j\) to \(i\) to see to it that \(\varphi,\psi\) holds, and \([\#_i\varphi]\psi\) read that after an act causing \(i\) to prefer \(\varphi,\psi\) holds. Of particular interest are statements \([!_{(i,j)}\varphi]O_{(i,j)}\psi\), and even \([!_{(i,j)}\varphi]O_{(i,j)}\varphi\), representing the change in normative status of \(\psi\) (or \(\varphi)\) following a command to \(i\). DDPL is axiomatized and claimed to be sound and complete with respect to its semantics. Because the logic of \(O_{(i,j)}\varphi\) is essentially of type K, rather than D (or SDL), DDPL can accommodate deontic dilemmas without inconsistency, and it can avoid deontic explosion, but only in the case of a dilemma of the sort \(O_{(i,j)}\varphi \wedge O_{(i,k)}\neg\varphi\) when the authorities are different, when \(j\neq k\). The contrast between the modalities \(O_{(i,j)}\varphi\) and \([pref]_i\varphi\) and between their dynamic counterparts \([!_{(i,j)} \varphi]O_{(i,j)}\psi\) and \([\#_i\varphi]\psi\), is supposed to reflect Austin's distinction between illocutionary and perlocutionary speech acts, and DDPL is supposed to be a step toward a logical foundation for Austin's account in terms of conventional vs. causal effects. Philosophically, however, Aust…
reviewed by: Louis F. Goble
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5565228
zbMATH Keywords: dynamic deontic logic
zbMATH Keywords: speech acts
zbMATH Keywords: command
zbMATH Keywords: illocutionary act
zbMATH Keywords: perlocutionary act
zbMATH Keywords: conventional effect
zbMATH Keywords: obligation
zbMATH Keywords: preference
zbMATH Keywords: deontic dilemma
zbMATH Keywords: deontic explosion
zbMATH Keywords: dynamic modal logic
MaRDI profile type: Publication
full work available at URL: s11229-008-9368-9
OpenAlex ID: W2102161091
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: A Reduction from DLP to PDL
cites work: Q5635426
cites work: Reasoning about information change
cites work: A logic for deontic dilemmas
cites work: Dynamic predicate logic
cites work: Quandaries and the logic of rules
cites work: Moral dilemmas and nonmonotonic logic
cites work: Reasoning with Moral Conflicts
cites work: Moral conflicts between groups of agents
cites work: Foundations of Software Science and Computation Structures
cites work: Estimating Multivariate Variance and Covariance Components Using Quadratic and Bilinear Forms
cites work: Dynamic logic of preference upgrade
cites work: The dynamic logic of permission
cites work: Q4938868
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: Defaults in update semantics
cites work: Q4938865
DOI: 10.1007/S11229-008-9368-9
Recommended article: Q4511290
Recommended article: Modal Logics of Negotiation and Preference
Recommended article: Reasoning about actions and obligations in first-order logic
Recommended article: Deontic Logic in Computer Science
Recommended article: Q4329185
Recommended article: Channel Theoretic Reflections on Dynamic Logics of Speech Acts
Recommended article: Dynamic deontic logic and its paradoxes
description: scientific article; zbMATH DE number 5565228