Synthese 171 (2):321 - 355 (2009)

Authors
Abstract
In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in context x. Formulae of the form [x!ψ]φ mean that φ is the case after every possible occurrence of the event x!ψ. Semantically, public announcements diminish the space of possible worlds accepted by agents and sets of agents. The announcement of ψ in context x makes all ¬ψ-Worlds inaccessible to the agents in such context. In this logic, if the set of accessible worlds of G in context x is empty, then the agents in G are not functioning as members of x, they do not identify themselves with x. In such a situation the agents in G may have the possibility to join x. To model this we introduce here a second kind of dynamic modal operator of acceptance shifting of the form G:x↑ψ. The latter means that the agents in G shift (change) their acceptances in order to accept ψ in context x. Semantically, they make ψ-worlds accessible to G in the context x, which means that, after such operation, G is functioning as member of x (unless there are no ψ-worlds). We show that the resulting logic has a complete axiomatization in terms of reduction axioms for both dynamic operators. In the paper we also show how the logic of acceptance and its dynamic extension can be used to model some interesting aspects of judgement aggregation. In particular, we apply our logic of acceptance to a classical scenario in judgment aggregation, the so-called 'doctrinal paradox' or 'discursive dilemma' (Pettit, Philosophical Issues 11: 268-299, 2001; Kornhauser and Sager, Yale Law Journal 96: 82-117, 1986)
Keywords Philosophy   Metaphysics   Philosophy of Language   Logic   Epistemology   Computer Science, general   Philosophy of Science
Categories (categorize this paper)
DOI 10.1007/s11229-009-9645-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,901
Through your library

References found in this work BETA

View all 56 references / Add more references

Citations of this work BETA

Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.

Add more citations

Similar books and articles

A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Moore Problems in Full Dynamic Doxastic Logic.Krister Segerberg - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.
Diversity of Agents and Their Interaction.Fenrong Liu - 2009 - Journal of Logic, Language and Information 18 (1):23-53.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Methodological Considerations on the Logical Dynamics of Speech Acts.Tomoyuki Yamada - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:277-282.
Dynamics of Lying.Hans van Ditmarsch - 2014 - Synthese 191 (5):1-33.

Analytics

Added to PP index
2009-08-17

Total views
83 ( #126,019 of 2,439,039 )

Recent downloads (6 months)
1 ( #434,440 of 2,439,039 )

How can I increase my downloads?

Downloads

My notes