Abstract
The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution.
Similar content being viewed by others
Notes
Dynamic epistemic logics are not the only modal logics to have been proposed that are not closed under uniform substitution. Other examples include Buss’s (1990) modal logic of “pure provability,” Aqvist’s (1973) two-dimensional modal logic (see Segerberg 1973), Davies and Humberstone’s (1980), two-dimensional logic of “actually” and “fixedly,” Carnap’s (1946) modal system for logical necessity (see Ballarin 2005; Schurz 2005), an epistemic-doxastic logic proposed by Halpern (1996), and the full computation tree logic CTL\(^*\) (see Reynolds 2001). Among propositional logics, inquisitive logic (Mascarenhas 2009; Ciardelli 2009) is a non-uniform example, as is the combined classical-intuitionistic logic of del Cerro and Herzig (1996). In some cases, the substitution-closed set of validities—the substitution core—turns out to be another known system. For example, the substitution core of Carnap’s system C is S5 (Schurz 2005), and the substitution core of inquisitive logic is Medvedev Logic (Ciardelli 2009, Sect.3.4).
Those who do not like to speak this way about sentences should understand us as saying that \(\psi \) can be truly uttered at the one time but not at the other.
Principles 5 and 6 are schematically valid for the single-agent language interpreted over transitive structures. However, they are not schematically valid for the single-agent language interpreted over arbitrary (reflexive, symmetric, Euclidean) structures or for the multi-agent language interpreted over partition models.
Of course, the true announcement of a sentence such as ‘no one has ever made an announcement in this room’ may result in the sentence becoming false, but it is not a pkea sentence.
Although ‘I have a gift...’ is not eternal in the sense of Sect. 1.1, it could easily be eternalized.
For alternative axiomatizations of PAL, see the recent study by Wang (2011).
Later we will lift the assumption that \(\mathcal{M }\) is a quasi-partition, when considering a language with infinitely many agents.
We say that \(\varphi \) is schematically valid over a class \(\mathbb F \) of frames iff for all substitutions \(\sigma ,\,\sigma (\varphi )\) true at all points in all models based on frames in \(\mathbb F \).
We say that the theory of a class \(\mathbb F \) of frames has the effective finite model property iff there is an effective procedure such that given a formula \(\varphi \) that is not in the theory, the procedure outputs a finite model in which \(\varphi \) is false.
We are asumming, as usual in epistemic logic, that the model class is not restricted so as to prohibit agents from having universal accessibility relations.
To represent \(j\)’s beliefs in the model \(\mathcal{N }\) of Fig. 4, we can simply add another relation (as if for another agent) \(\{\langle x,y\rangle , \langle y,y\rangle , \langle z,y\rangle \}\), reflecting that \(j\) believes that possibility \(y\) is the actual situation.
Here we assume that in \(x,\,j\)’s belief that the answer isn’t 10.5 can constitute knowledge even if she believes that she doesn’t know it isn’t 10.5. The example could be complicated to remove this assumption, but it would not affect our main point.
Another way to see that \(K_jp\rightarrow \langle p\rangle K_jp\) and even \(K_jp\rightarrow \langle K_jp\rangle K_jp\) are not schematically valid (even over models with symmetric accessibility relations, unlike \(R_j\) in Fig. 4) is to observe that \(K_j(p\wedge \lnot K_jK_jp)\rightarrow \langle p\wedge \lnot K_jK_jp\rangle \lnot K_j(p\wedge \lnot K_jK_jp)\) and \(K_j(p\wedge \lnot K_jK_jp)\rightarrow \langle K_j(p\wedge \lnot K_jK_jp)\rangle \lnot K_j(p\wedge \lnot K_jK_jp)\) are valid and their antecedents are satisfiable without transitivity. Are they schematically valid?
References
Aqvist, L. (1973). Modal logic with subjunctive conditionals and dispositional predicates. Journal of Philosophical Logic, 2, 1–76.
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2008). ‘Knowable’ as ‘known after an announcement’. The Review of Symbolic Logic, 1, 305–334.
Ballarin, R. (2005). Validity and necessity. Journal of Philosophical Logic, 34, 275–303.
Baltag, A., L. Moss, S. Solecki: 1998, The logic of public announcements, common knowledge and private suspicions. In: I. Gilboa (Ed.): Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98). Morgan Kaufmann, pp. 43–56.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.
Buss, S. R. (1990). The modal logic of pure provability. Notre Dame Journal of Formal Logic, 31(2), 225–231.
Carnap, R. (1946). Modalities and quantification. The Journal of Symbolic Logic, 11(2), 33–64.
Ciardelli, I. A. (2009). Inquisitive semantics and intermediate logics. Master’s thesis, University of Amsterdam. ILLC Master of Logic Thesis Series MoL-2009-11.
Davies, M., & Humberstone, L. (1980). Two notions of necessity. Philosophical Studies, 38, 1–30.
del Cerro, L. F., & Herzig, A. (1996). Combining classical and intuitionistic logic—or: Intuitionistic implication as a conditional. In F. Baader & K. Schulz (Eds.), Frontiers of combining systems (pp. 93–102). Dordrecht: Kluwer Academic Publishers.
Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambrige: MIT Press.
Fitch, F. B. (1963). A logical analysis of some value concepts. The Journal of Symbolic Logic, 28(2), 135–142.
Gerbrandy, J., & Groenevelt, W. (1997). Reasoning about information change. Journal of Logic, Language and Information, 6(2), 147–169.
Halpern, J. Y. (1996). Should knowledge entail belief? Journal of Philosophical Logic, 25, 483–494.
Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. New York: Cornell University Press.
Holliday, W. H.: (2012). ‘Hintikka’s anti-performatory effect and Fitch’s Paradox of knowability’. Manuscript.
Holliday, W. H. (2013a). Epistemic closure and epistemic logic I: Relevant alternatives and subjunctivism. Forthcoming: Journal of Philosophical Logic.
Holliday, W. H. (2013b). Epistemic logic and epistemology. In S. O. Hansson & V. F. Hendricks (Eds.), Handbook of formal philosophy. Berlin: Springer.
Holliday, W. H., T. Hoshi, & T. F. Icard, III.(2011). Schematic validity in dynamic epistemic logic: Decidability. In H. van Ditmarsch, J. Lang, & S. Ju (eds.): Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI-III), Vol. 6953 of Lecture Notes in Artificial Intelligence (pp. 87–96). Berlin: Springer.
Holliday, W. H., T. Hoshi, & T. F. Icard, III. (2012). A uniform logic of information dynamics. In T. Bolander, T. Braüner, S. Ghilardi, & L. Moss (Eds.): Advances in Modal Logic, Vol. 9. College Publications, (pp. 348–367).
Holliday, W. H. & T. F. Icard, III. (2010). Moorean phenomena in epistemic logic. In: L. Beklemishev, V. Goranko, & V. Shehtman (Eds.) Advances in modal logic, (Vol. 8 pp. 178–199). College Publications.
Hoshi, T., & Yap, A. (2009). Dynamic epistemic logic with branching temporal structures. Synthese, 169(2), 259–281.
Mascarenhas, S. (2009). Inquisitive Semantics and Logic. Master’s thesis, University of Amsterdam. ILLC Master of Logic Thesis Series MoL-2009-18.
Meyer, J.-J. Ch. & W. van der Hoek. (1995). Epistemic logic for AI and computer science, Vol. 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.
Moore, G. E. (1942). A reply to my critics. In P. A. Schilpp (Ed.), The philosophy of G.E. Moore (pp. 535–677). Evanston: Northwestern University.
Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.): Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (pp. 201–216). Oak Ridge National Laboratory.
Quine, W. V. O. (1960). Word and object. Cambridge: MIT Press.
Reynolds, M. (2001). An axiomatization of full computation tree logic. The Journal of Symbolic Logic, 66(3), 1011–1057.
Schurz, G. (2005). Logic, matter of form, and closure under substitution. In M. Bilkova and L. Behounek (Eds.), The Logica Yearbook (pp. 33–46). Filosofia.
Segerberg, K. (1973). Two-dimensional modal logic. Journal of Philosophical Logic, 2(1), 77–96.
van Ditmarsch, H. (2003). The Russian cards problem. Studia Logica, 75, 31–62.
van Benthem, J. (2004). What one may Ccme to know. Analysis, 64(2), 95–105.
van Benthem, J. (2006). One is a lonely number: Logic and communication. In Z. Chatzidakis, P. Koepke, & W. Pohlers (Eds.), Logic Colloquium \(^{\prime }\)02 (pp. 96–129). Peters: ASL and A.K.
van Benthem, J. (2006b). Open problems in logical dynamics. In D. Gabbay, S. Goncharov, & M. Zakharyashev (Eds.), Mathematical problems from applied logic I (pp. 137–192). Berlin: Springer.
van Ditmarsch, H., & Kooi, B. (2006). The secret of my success. Synthese, 151, 201–232.
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., & Iliev, P. (2011). Everything is knowable—how to get to know whether a proposition is true. Theoria, 78(2), 93–114.
van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press.
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Berlin: Springer.
Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press.
Wang, Y. ( 2011). On axiomatizations of PAL. In H. van Ditmarsch, J. Lang, S. Ju (eds.), Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI-III) Vol. 6953 of Lecture Notes in Artificial Intelligence (pp. 314–327). Berlin: Springer.
Acknowledgments
We wish to thank Johan van Benthem for stimulating our interest in the topic of this article and the anonymous referees for helpful comments. This article is based on our earlier conference paper (Holliday et al. 2011) presented at the 2011 LORI-III Workshop in Guangzhou, China. We are grateful to the workshop organizers and participants for valuable discussion.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Holliday, W.H., Hoshi, T. & Icard, T.F. Information dynamics and uniform substitution. Synthese 190 (Suppl 1), 31–55 (2013). https://doi.org/10.1007/s11229-013-0278-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-013-0278-0