Synthese 151 (2) (2006)
|Abstract||In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is ‘fact p is true and you don’t know that’, after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and ‘philosophical puzzles’ reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Nina Gierasimczuk & Jakub Szymanik (2011). Invariance Properties of Quantifiers and Multiagent Information Exchange. In M. Kanazawa (ed.), Proceedings of the 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878. Springer.
Joseph Agassi (1970). Positive Evidence in Science and Technology. Philosophy of Science 37 (2):261-270.
Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev (2011). Everything is Knowable – How to Get to Know Whether a Proposition is True. Theoria 78 (2):93-114.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Hans Van Ditmarsch & Barteld Kooi (2006). The Secret of My Success. Synthese 153 (2):201 - 232.
Added to index2009-01-28
Total downloads12 ( #93,239 of 548,969 )
Recent downloads (6 months)0
How can I increase my downloads?