Abstract
In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent comes to know from the truthful announcement of the statements. We formalize EI in multi-agent Public Announcement Logic and characterize it by proving that two basic statements are the same in EI iff the logical equivalence of the two is common knowledge after a certain announcement. As a corollary applied to identity statements, \(a=b\) and \(a=a\) are different in EI iff \(a=b\) is not common knowledge. This may shed new light on the differences in cognitive value of \(a=a\) and \(a=b\), even when they are both known to be true, as long as \(a=b\) is not commonly known to all.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It is definitely possible to consider other communication methods which have different effects on the knowledge states of agents. The choice here is simple enough to make our points clear.
- 2.
Cf. [7] for a detailed technical discussion of the Moore sentences in this setting.
- 3.
In the context of Frege’s puzzle, a similar informal ‘dynamic’ conception of informativeness was briefly mentioned by [3], but not formalized precisely.
- 4.
False statements can also be informative in general if we are talking about belief.
- 5.
See [14] for a discussion on common knowledge. Here common knowledge of \(\phi \) means all the agents know \(\phi \) and all the agents know that all the agents know \(\phi \), and so on, ad infinitum.
- 6.
Rendsvig [10] also used the update mechanism to define the equality of informativeness of identity statements, but in a very strict way: \(\phi \) and \(\psi \) are equally informative if the corresponding announcements can delete the same states in the given model. Here we give a natural definition of informativeness itself, which induces a weaker notion of informational equivalence.
- 7.
Actually, \([\phi \vee \psi ] C(\phi \leftrightarrow \psi )\) can be formulated as a weaker version of common knowledge of \(\phi \leftrightarrow \psi \), which is called relativized common knowledge (cf. [13]).
- 8.
For example, ‘\(2^{57885161}-1\) is a prime number’ may have the same EI as ‘2 is a prime number’, although intuitively these two sentences should induce different knowledge updates if not all the tautologies are common knowledge.
References
Chalmers DJ (2004) Epistemic two-dimensional semantics. Philosophical Studies 118:153–226
Chalmers DJ (2011) The nature of epistemic space. In: Egan A, Weatherson B (eds) Epistemic Modality, Oxford University Press, pp 1–54
Fiengo R, May R (2002) Identity statements. In: Logical Form and Language, Clarendon Press, pp 169–203
Frege G (1892) Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik 100:25–50
Gerbrandy J, Groeneveld W (1997) Reasoning about information change. Journal of Logic, Language and Information 6(2):147–169
Groenendijk J, Stokhof M (1991) Dynamic predicate logic. Linguistics and Philosophy 14(1):39–100
Holliday WH, Icard TF (2010) Moorean phenomena in epistemic logic. In: Advances in Modal Logic, pp 178–199
Perry J (1988) Cognitive significance and new theories of reference. Noûs 22(1):1–18
Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp 201–216
Rendsvig RK (2012) Modeling semantic competence: a critical review of freges puzzle about identity. New Directions in Logic, Language, and Computation pp 152–162
Salmon N (1986) Frege’s Puzzle. The MIT Press
Stalnaker R (1978) Assertion. In: Cole P (ed) Syntax and Semantics, vol 9, New York Academic Press
van Benthem J, van Eijck J, Kooi B (2006) Logics of communication and change. Information and Computation 204(11):1620–1662
van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic Epistemic Logic. Springer
Veltman F (1996) Defaults in update semantics. Journal of Philosophical Logic 25(3):221–261
Wang Y, Fan J (2013) Knowing that, knowing what, and public communication: Public announcement logic with Kv operators. In: Proceedings of IJCAI, pp 1139–1146
Yagisawa T (1993) A semantic solution to frege’s puzzle. Philosophical Perspectives 7:135–154
Acknowledgments
We are grateful to Wen-fang Wang for his insightful comments on an earlier version of this paper. Yanjing Wang acknowledges support of the key project 12&ZD119 of the National Social Science Foundation of China.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wang, Y., Fan, J. (2015). Epistemic Informativeness. In: Ju, S., Liu, H., Ono, H. (eds) Modality, Semantics and Interpretations. Logic in Asia: Studia Logica Library. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47197-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-47197-5_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47196-8
Online ISBN: 978-3-662-47197-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)