David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents, based on semantic information. The latter is produced by acts of observation or communication, that are described well by dynamic epistemic logics. What these logics do not describe, however, is how signiﬁcant information is also produced by acts of inference – and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and hence we also need a dynamic logic of inference steps showing what eﬀort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to deﬁne suitable information states of agents and matching notions of explicit knowledge, (b) how to deﬁne natural processes over these states that generate new explicit knowledge. To this end, we extend earlier epistemic “awareness models” into a dynamic system that includes acts of public observation, but also adding and dropping formulas from the currently ‘entertained’ set, we give a completeness theorem, and we show how this dynamics updates explicit knowledge. Similar ideas have been proposed before, but they were restricted to update with factual propositions; our new dynamic system applies to arbitrary formulas. We also extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
References found in this work BETA
No references found.
Citations of this work BETA
Johan Benthem & Ştefan Minică (2012). Toward a Dynamic Logic of Questions. Journal of Philosophical Logic 41 (4):633 - 669.
Johan Benthem (2012). The Logic of Empirical Theories Revisited. Synthese 186 (3):775 - 792.
Jan van Eijck & Yanjing Wang (2011). Composing Models. Journal of Applied Non-Classical Logics 21 (3-4):397-425.
Johan van Benthem & Ştefan Minică (2012). Toward a Dynamic Logic of Questions. Journal of Philosophical Logic 41 (4):633-669.
Johan van Benthem (2012). The Logic of Empirical Theories Revisited. Synthese 186 (3):775-792.
Similar books and articles
Johan van Benthem (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
Tomoyuki Yamada (2008). Methodological Considerations on the Logical Dynamics of Speech Acts. Proceedings of the Xxii World Congress of Philosophy 39:277-282.
Fenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1):23-53.
Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1):67-96.
Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt (2004). Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic. Studia Logica 78 (3):381 - 415.
Swarup Mohalik & R. Ramanujam (2010). Automata for Epistemic Temporal Logic with Synchronous Communication. Journal of Logic, Language and Information 19 (4):451-484.
Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard (2012). A Uniform Logic of Information Dynamics. In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
Tomoyuki Yamada (2008). Logical Dynamics of Some Speech Acts That Affect Obligations and Preferences. Synthese 165 (2):295 - 315.
Added to index2010-12-22
Total downloads5 ( #178,845 of 1,089,062 )
Recent downloads (6 months)2 ( #42,757 of 1,089,062 )
How can I increase my downloads?