Abstract
In 1989, Plaza introduced the “knowing value” operator \(\textsf{Kv}_id\) to characterize the “Mr. Sum and Mr. Product” puzzle in propositional modal logic. Previous research had primarily focused on the \(\textsf{Kv}d\) operator, which captures the idea of knowing the value of a designator d. This paper expands the scope of application for the \(\textsf{Kv}\) operator beyond designators to include predicates, interpreting the \(\textsf{Kv}P\) operator as denoting knowledge of the value of a predicate P. Additionally, we present two distinct semantics - MS (Mention-Some) semantics and MA (Mention-All) semantics - for the \(\textsf{Kv}P\) operator, and prove the strong completeness theorem for two axiom systems containing only the \(\textsf{Kv}P\) operator, as well as two axiom systems containing both the \(\textsf{Kv}P\) and \(\textsf{Kv}d\) operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
However, the mention-all interpretation proposed by Groenendijk and Stokhof does not imply exhaustiveness, which means the respondent of a question may contain false belief. For example, suppose there are only two cafes in 2 km, Starbucks and Costa. The answer “Starbucks, Costa and Peet’s” may also count as an answer of the question “What is the value of the predicate ‘cafes within 2 km’?” under Groenendijk and Stokhof’s mention-all interpretation. To avoid this, in this article, when we refer to “mention-all interpretation”, we actually mean the “strongly exhaustive interpretation” proposed in [10]. In this situation, the formulation of mention-all interpretation should be \(\forall x(\hat{K}Px\rightarrow \textsf{K}_IPx)\).
- 2.
It should be particularly noted that for the 0-ary predicate \(P^0\), \(V(P^0,w)\subseteq O^0=\{\varnothing \}\).
- 3.
As for 0-ary predicate \(P^0\), the semantics for formulas with \(P^0\) are:
-
\(\mathcal {M},w\models _{\text {MS}} P^0\) if and only if \(\mathcal {M},w\models _{\text {MA}} P^0\), if and only if \(\varnothing \in V(P,w)\),
-
\(\mathcal {M},w\models _{\text {MS}}\textsf{Kv}P\) if and only if for every possible world \(t\sim w\), we have \(\varnothing \in V(P,t)\),
-
\(\mathcal {M},w\models _{\text {MA}}\textsf{Kv}P\) if and only if for any possible world \(t\sim w\), we have \(V(P,t)=V(P,w)\).
-
- 4.
However, this does not imply that one operator has stronger expressive power than the other in MS semantics. Although the \(\textsf{Kv}\) operator can be combined with 0-ary predicates, it cannot express combinations of predicates within its scope (such as conjunction \(\wedge \), disjunction \(\vee \), etc.). Meanwhile, although logical connectives can be used within the scope of the \(\textsf{K}\) operator, we cannot express sentences such as “knowing the value of an n-ary predicate P” only using \(\textsf{K}\).
- 5.
From a semantic perspective, if there exist \(d_1,...,d_n\) such that \(\mathcal {M},w\vDash _{\text {MS}}\textsf{K}Pd_1...d_n\), then since \(d_i\) is a nonrigid designator, we may not have \(\mathcal {M},w\vDash _{\text {MS}}\textsf{Kv}P\).
- 6.
It should be noted that we do not need to construct possible world copies for MAP-Henkin sets here. This is because the definition of MAP-Henkin set ensures that every \(\lnot \textsf{Kv}P\in s\) in an MAP-Henkin set s has a corresponding MAP witness \(\hat{\textsf{K}} \lnot Pd_1...d_n\wedge \hat{\textsf{K}} Pd_1...d_n\in s\), which naturally leads to at least two distinct successor possible worlds of s.
References
Baltag, A.: To know is to know the value of a variable. In: Advances in Modal Logic (2016)
Baltag, A., van Benthem, J.: A simple logic of functional dependence. J. Philos. Log. 50(5), 939–1005 (2021)
Cohen, M., Tang, W., Wang, Y.: De re updates. In: Theoretical Aspects of Rationality and Knowledge (2021)
Ding, Y.: Epistemic logic with functional dependency operator. CoRR abs/1706.02048 (2017). http://arxiv.org/abs/1706.02048
van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B. (eds.): Handbook of Epistemic Logic. College Publications (2015)
van Eijck, J., Gattinger, M., Wang, Y.: Knowing values and public inspection. In: Ghosh, S., Prasad, S. (eds.) ICLA 2017. LNCS, vol. 10119, pp. 77–90. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54069-5_7
Groenendijk, J., Stokhof, M.: Studies on the semantics of questions and the pragmatics of answers. Ph.D. thesis, University of Amsterdam (1984)
Gu, T., Wang, Y.: “Knowing value” logic as a normal modal logic. In: Proceedings of the 11th Conference on Advances in Modal Logic, pp. 362–381. College Publications (2016)
Hamblin, C.L.: Questions in Montague English. In: Montague Grammar, pp. 247–259. Academic Press (1976)
Heim, I.: Interrogative semantics and Karttunen’s semantics for ‘know’. In: Proceedings of the Israeli Association for Theoretical Linguistics, pp. 128–144 (1994)
Ma, X., Guo, W.: W-js: a modal logic of knowledge. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence (I), pp. 398–401 (1983)
McCarthy, J.: First order theories of individual concepts and propositions. In: Machine Intelligence (1979)
Plaza, J.: Logics of public communications. In: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, pp. 201–216. Oak Ridge National Laboratory (1989)
Wang, X.: Epistemic logic with partial dependency operator. In: Blackburn, P., Lorini, E., Guo, M. (eds.) LORI 2019. LNCS, vol. 11813, pp. 385–398. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-60292-8_28
Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 499–533. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-62864-6_21
Wang, Y., Fan, J.: Knowing that, knowing what, and public communication: public announcement logic with KV operators. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, pp. 1147–1154. IJCAI/AAAI (2013)
Wang, Y., Fan, J.: Conditionally knowing what. Adv. Modal Logic 10 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Hong, B. (2023). Knowing the Value of a Predicate. In: Alechina, N., Herzig, A., Liang, F. (eds) Logic, Rationality, and Interaction. LORI 2023. Lecture Notes in Computer Science, vol 14329. Springer, Cham. https://doi.org/10.1007/978-3-031-45558-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-45558-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-45557-5
Online ISBN: 978-3-031-45558-2
eBook Packages: Computer ScienceComputer Science (R0)