A Non-Self-Referential Paradox in Epistemic Game Theory

Ahmad Karimi


The beliefs of other people about our own beliefs affect our decision making strategies (and beliefs). In epistemic game theory, player’s beliefs about other players’ beliefs are formalized, and the way how people may reason about other players (before they make their final choice in a game) is explored. In this paper, we introduce a non-self-referential paradox (called “Yablo-like Brandenburger-Keisler paradox”) in epistemic game theory which shows that modeling players’ epistemic beliefs and assumptions in a complete way is impossible. We also present an interactive temporal (belief and) assumption logic to give an appropriate formalization for this Yablo–like Brandenburger-Keisler paradox. Formalizing the new paradox turns it into a theorem in the interactive temporal assumption logic.

Słowa kluczowe: non-self-referential paradox, Brandenburger–Keisler paradox, Yablo’s paradox, temporal assumption logic, interactive models

[1] S. Abramsky and J. Zvesper, From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, Journal of Computer and System Sciences 81 (2015), 799–812.

[2] C. Başkent, Some Non-classical Approaches to the Brandenburger-Keisler Paradox, Logic Journal of IGPL 23 (2015), 533–552.

[3] J.C. Beall, Is Yablo’s Paradox Non-Circular? Analysis 61 (2001), 176–187.

[4] G. Bonanno, A Simple Modal Logic for Belief Revision, Synthese 147 (2005), 193–228.

[5] A. Brandenburger and H. Jerome Keisler, An Impossibility Theorem on Beliefs in Games, Studia Logica 84 (2006), 211–240.

[6] S. Bringsjord and B. van Heuveln, The ‘Mental Eye’ Defence of an Infinitized Version of Yablo’s Paradox, Analysis 63 (2003), 61–70.

[7] O. Bueno and M. Colyvan, Yablo’s Paradox and Referring to Infinite Objects, Australasian Journal of Philosophy 81 (2003), 402–412.

[8] O. Bueno and M. Colyvan, Paradox without Satisfaction, Analysis 63 (2003), 152–156. 

[9] C. Cieśliński and R. Urbaniak, Gödelizing the Yablo Sequence, Journal of Philosophical Logic 42 (2013), 679–695.

[10] A. Karimi and S. Salehi, Diagonalizing by Fixed-Points, Preprint arXiv:1303.0730, 2014.

[11] A. Karimi and S. Salehi, Theoremizing Yablo’s Paradox, Preprint arXiv:1406.0134, 2014.

[12] J. Ketland, Bueno and Colyvan on Yablo’s paradox, Analysis 64 (2004), 165–172.

[13] J. Ketland, Yablo’s Paradox and ω-Inconsistency, Synthese 145 (2005), 295–302.

[14] F. Kröger and S. Merz, Temporal Logic and State Systems, Springer 2008, ISBN 9783540674016.

[15] F.W. Lawvere, Diagonal Arguments and Cartesian Closed Categories, Lecture Notes in Mathematics 92 (1969), 134–145.

[16] G. Leach-Krouse, Yablifying the Rosser Sentence, Journal of Philosophical Logic 43 (2014), 827–834.

[17] E. Pacuit, Understanding the Brandenburger-Keisler Paradox, Studia Logica 86 (2007), 435–454.

[18] G. Priest, Yablo’s Paradox, Analysis 57 (1997), 236–242.

[19] R.A. Sorensen, Yablo’s Paradox and Kindred Infinite Liars, Mind 107 (1998), 137–155.

[20] S. Yablo, Truth and Reflection, Journal of Philosophical Logic 14 (1985), 297–349.

[21] S. Yablo, Paradox Without Self-Reference, Analysis 53 (1993), 251–252.

[22] S. Yablo, “Circularity and Paradox”, in: T. Bolander, V.F. Hendricks, and S.A. Pedersen (eds.), Self-Reference CSLI Publications; 139–157, 2004.

Czasopismo ukazuje się w sposób ciągły on-line.
Pierwotną formą czasopisma jest wersja elektroniczna.