On the dynamics of institutional agreements
Synthese 171 (2) (2009)
| 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 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 , meaning that the agents learn that is the case in context x . Formulae of the form 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 . 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1).
P. Balbiani & P. Seban (2011). Reasoning About Permitted Announcements. Journal of Philosophical Logic 40 (4):445-472.
Krister Segerberg (2006). Moore Problems in Full Dynamic Doxastic Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
Emiliano Lorini (2010). A Dynamic Logic of Agency II: Deterministic Dla {\Mathcal{Dla}} , Coalition Logic, and Game Theory. Journal of Logic, Language and Information 19 (3).
Nicoletta Fornara, Francesco Viganò, Mario Verdicchio & Marco Colombetti (2008). Artificial Institutions: A Model of Institutional Reality for Open Multiagent Systems. Artificial Intelligence and Law 16 (1):89-105.
Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. Journal of Logic, Language and Information 19 (1).
Analytics
Monthly downloads |
Added to index2009-08-17Total downloads6 ( #145,458 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
