A Yabloesque paradox in epistemic game theory
Abstract
The Brandenburger–Keisler paradox is a selfreferential paradox in epistemic game theory which can be viewed as a twoperson version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a nonself referential paradox, which created a significant impact. This paper gives a Yabloesque, nonselfreferential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper constructs a paraconsistent model satisfying the paradoxical statement.
Keywords
Yablo’s Paradox The Brandenburger–Keisler paradox Epistemic game theory Paraconsistent logic1 Introduction
In this paper, we present a direct application of Yablo’s Paradox to a problem in epistemic game theory using the language of propositional bimodal logic. Yablo’s paradox, according to its author, is a nonselfreferential paradox and it has created a significant attention in the literature, especially from the perspectives of truth theory and fixedpoint logics. Here, we extend the discussion to theory of games and give a Yabloesque, nonselfreferential paradox within the context of epistemic game theory.
We have two specific goals in this work. The first is to apply Yablo’s argument to a field which can provide some further insight for the discussions regarding the selfreferentiality of Yablo’s paradox. As we discuss later on, it is not entirely obvious whether Yablo’s paradox is genuinely selfreferential. Therefore, presenting different approaches to the paradox within different formal frameworks is a reasonable direction to pursue. Our second goal is to give a nonclassical solution, that is a paraconsistent model, for the game theoretical Yabloesque paradox. Therefore, this paper suggests a newly formulated paradox in epistemic game theory and a paraconsistent model for it. The two goals of the current work are closely connected both logically and game theoretically. The logical connection is clear. We give a direct application of paraconsistency and address the challenge of developing paraconsistent models with immediate applications. Therefore, the current work contributes to the discussions on the ontological possibilities of paraconsistency. Game theoretical connection, on the other hand, suggests the possibility of developing reallife game models where such paradoxical cases may arise. This connection offers additional tools and techniques for game theory. From a broader perspective, therefore, our programmatic goal for studying game theoretical paradoxes is to take a first step towards understanding paraconsistent games—games that can have nontrivial inconsistent models where agents may possess inconsistent knowledge or may make inconsistent moves.
The choice of epistemic game theory is not arbitrary. Some years ago, a selfreferential paradox was identified in epistemic game theory by Brandenburger and Keisler (2006). The game theoretical contribution of the current paper is complementary to the work of Brandenburger and Keisler where we now suggest a nonselfreferential paradox in epistemic game theory.
In what follows, we start with reviewing first the Brandenburger–Keisler paradox, then Yablo’s paradox, followed by a brief overview of the literature.
1.1 The Brandenburg–Keisler paradox
and the question if “Ann believes that Bob’s assumption is wrong”, where Bob’s assumption is the sentence that “Ann believes that Bob’s assumption is wrong” is considered.Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong.
If the answer to the above question is a “yes”, then Ann does believe that Bob’s assumption is wrong, which means that she believes that the statement “Bob’s assumption is wrong” is wrong. Therefore, Ann believes that Bob’s assumption is correct. But, initially she believed that this assumption was wrong. This creates a contradiction. On the other hand, if the answer is “no”, then she does not believe that Bob’s assumption is wrong, which means that Ann believes that Bob’s assumption is correct. However, this contradicts the assumption that “Ann believes that Bob’s assumption is wrong”. This is a contradiction, too. Both possible answers to the question create a contradiction. Thus, we obtain a paradox. The BK paradox, as the above reasoning demonstrates, can be seen as a twoperson liar’s paradox. The paradox is indeed selfreferential, expressible with a fixedpoint operator (Abramsky and Zvesper 2015). The paradox shows that players’ beliefs and assumptions cannot completely be modeled, that is “not every description of belief can be represented” with belief structures (Brandenburger and Keisler 2006).
Following, there have been several attempts to represent the BK paradox in different frameworks including a hybrid logical (Pacuit 2007), an algebraic and categorical theoretical (Abramsky and Zvesper 2015), and a paraconsistent and nonwellfounded set theoretical (Başkent 2015) approaches. Even if the paradox was given for two players, it can also be extended to countablymany players (Abramsky and Zvesper 2015). Furthermore, similar to various nonclassical logical solutions suggested for liar paradoxes, there has been suggested a variety of nonclassical models which satisfy the BK paradox (Başkent 2015).
The BK paradox is formalized using a bimodal language and relational models. We briefly review the logical framework on which we shall build our new paradox. The model \(M = (U^{a}, U^{b}, R^{ab}, R^{ba}, V)\) is called a belief model where \(U^a\) and \(U^b\) are the set of possible worlds (sometimes called “type spaces”) for players Ann and Bob, respectively; \(R^{ab} \subseteq U^{a} \times U^{b}\) and \(R^{ba} \subseteq U^{b} \times U^{a}\), and V is a valuation function defined in the standard way. The expression \(R^{ab}(x, y)\) represents that in state x, Ann believes that the state y is possible for Bob, and vice versa for \(R^{ba}(y, x)\). We put \(R^{ab}(x) = \{ y : R^{ab}(x, y) \}\), and similarly for \(R^{ba}(y)\). At a state x, we say Ann believes \(P \subseteq U^{b}\) if \(R^{ab}(x) \subseteq P\). It is important to note that the belief relation \(R^{ij}\) is given for \(i \ne j\) disallowing selfreferentiality for beliefs. In other words, the selfreferentiality we consider is not directly about the beliefs of agents about themselves.
The assumption modality is worth revisiting. It can be argued that the assumption modality, as it stands, does not precisely express what is usually meant by an assumption in formal sciences and game theoretical reasoning. Rather, it suggests a form of belief, a strongest belief perhaps.^{1} Reading the assumption modality as the “strongest belief” does not affect our results in this work. Nevertheless, for pragmatic reasons, we will adhere to the original terminology and call the relevant modality as the assumption modality.
Based on this framework, it was shown that not every configuration of beliefs and assumptions are representable in belief models, such as the BK paradox (Brandenburger and Keisler 2006). We refer the reader to the original work for the technical details of the impossibility result.
1.2 Yablo’s paradox and its impact
The scheme of this paradox is not new. To the best of our knowledge, the first analysis of a paradox with the same pattern was suggested by Yuting (1953).
The paradox received significant attention in the literature, including a truth theoretical debate over whether it is genuinely a selfreferential paradox. However, it is not our focus here to discuss the truththeoretical conditions of the paradox. Nevertheless, we hope that the game theoretical analysis will have some potential to shed light on the truth theoretical debate. Notwithstanding, in what follows we briefly review some of the discussions on the paradox.
Ketland showed that the paradox is \(\omega \)inconsistent and gave a general scheme for Yablolike sentences with \(\omega \)inconsistency (Ketland 2005). Furthermore, Barrio showed that Yablo’s Paradox in firstorder arithmetic has a model and not inconsistent, but it is \(\omega \)inconsistent (Barrio 2010). It is easy to see how. Since every finite set of \(S_n\) sentences is satisfiable, then, by compactness there exists a model for the Yablo sentences. By \(\omega \)inconsistency, it can be argued that the model we are looking for is a nonstandard model of arithmetic. We will discuss categoricity in due time.
The relation between liarlike circular paradoxes and Yablo’s paradox received significant attention as the aforementioned relation is far from being trivial. As Hardy puts it “Is Yablo’s paradox Liarlike? In some ways yes, and in other ways no” (Hardy 1995). Priest, however, offers another analysis regarding the infinitary language that it requires, and suggests a reading of the paradox that does indeed involve circularity (Priest 1997). Sorensen disagrees and point out the hierarchical view of Tarskian truth theory arguing that Yablo’s paradox in effect “exploit[s] an alternative pattern of semantic dependency” (Sorensen 1998). Beall extends the discussion on the selfreferentiality of the paradox and argues on the noncircularity of the paradox even if he thinks that Sorensen’s arguments do not address Priest’s point accurately (Beall 2001).
There have been a variety of applications of Yablo’s paradox in logic. Goldstein presents a set theoretical Yabloesque paradox for class membership (Goldstein 1994). A further interesting application of Yablo argument is Goldstein’s investigation of the concept by using Fibonacci sequences to illustrate the underspecification of the truth conditions of he paradox (Goldstein 2006) Leitgeb, on the other hand, suggests a Yabloesque paradox for nonwellfounded definitions which underlines the set theoretical limitations of the logical toolbox (Leitgeb 2005). Picollo discusses the paradox from a secondorder logical perspective generalizing the \(\omega \)inconsistency results (Picollo 2013). Another line of generalization is concerned with the nonwellfoundedness of Yablo sentences and relates it to similar discussions in foundational set theory (Bernardi 2001). Nonwellfounded Yablo chains form a topological space which can be viewed as the underlying idea of Bernardi’s topological approach to the paradox (Bernardi 2009). Cook, on the other hand, considers Yablo’s paradox and gives Currylike versions of the paradox (Cook 2009). Beall, moreover, gives a nonmodal Yabloesque curry paradox which initially triggers Cook’s approach which we have mentioned (Beall 1999).
In the following, we first introduce the argument, followed by its formalization. Before proving the impossibility result, we discuss an instantiation of the paradoxical sentence for illustrative purposes. Consequently, we present a brief discussion on how the new paradox relates to major issues in logic. Finally, we propose a paraconsistent model for the paradoxical sentence, observing under which conditions the new paradox can be satisfied.
2 A nonself referential epistemic game theoretical paradox
2.1 The argument
What does the above statement mean in an epistemic game theoretical framework? First of all, it is a game with \(\omega \)many players as the statement is \(\omega \)inconsistent. It is not difficult to imagine a situation that can illustrate the situation game theoretically. Let us give an example similar to Sorensen (1998). While discussing Yablo’s paradox, Sorensen gives the wellknown queue example, which is the Yablo argument in a dual form. He considers an infinite queue of students where each students think “Some of the students behind me are now thinking an untruth” [ibid]. Sorensen shows that this is a paradoxical situation.
Now, similarly, imagine a queue of players, where players are conveniently named after numerals, holding beliefs about each player behind them, but not about themselves. In this case, each player i believes that each player \(k > i\) behind them has an assumption about each other player \(l > k\) behind them, and i believes that each k’s assumption is false. This statement is perfectly perceivable for games, and involves a specific configuration of players’ beliefs and assumptions, which is expressible in the language. However, as we shall show, similar to Yablo’s paradox and the BK paradox, this configuration of beliefs is impossible. Moreover, the paradox is more complex than Sorensen’s.
It is so because, for example, Student 7 is certainly subject to some students’ beliefs in more than one way, and the relation between different students with assumptions about Student 7 is strong, perhaps too strong. For instance, it is believed by Student 3 what Student 5 assumes about Student 7 is untrue. Moreover, it is also the case that Student 4 believes what Student 6 assumes about Student 7 is untrue. This is where the assumption modality makes a formal difference and associates the assumptions of Student 5 and 6 with each other. The assumption modality precisely identifies the set of possible worlds at which the assumption is true. By doing so, the assumptions of Student 5 and Student 6 about Student 7 are satisfied at the very same set of possible worlds to which they both have access. Therefore, since the same sentence is assumed by different students in the queue, the same set of possible worlds are forced to be available to all these students by the definition of the assumption modality. This setup introduces an additional level of formal and semantical complexity to the paradox which cannot be eliminated by replacing the problematic part with a predicate (such as untrue). The reason stems from the interactive nature of the paradox and how different students assuming the same untruth are identified using the semantics of the assumption modality. As we shall discuss later on, the assumption modality is indispensable in this version of the paradox as the paradoxical situation does not appear using only the belief modality.^{2}
Now, we can observe why the set of sentences given at the beginning of this section is not selfreferential. For each \(n \in \omega \), the predicates in \(A_n\) ranges over \(m > n\), but not over n. The sentence \(A_n\) does not contain any predicate about player n.^{3}
However, if each \(A_n\) is untrue, they can be assumed untrue in some model. But, if for all n, n’s assumption is untrue, then \(A_1\) is indeed true. Yet, we just argued that each \(A_n\) is untrue. Contradiction. Thus, the paradox has no model.
Some remarks about the above reasoning are in order. First, the initial inconsistency occurs since players whose numerals are large enough can be accessed by the modalities both from the sentence which was initially assumed true and from the sentence that is assumed to be untrue (by the initially assumed true sentence). And this creates a contradiction, similar to Yablo’s original arguments. This fact relates the paradox to nonwellfoundedness as observed by Yuting (1953). Moreover, it is important to note that the informal argument above requires nonfinite resources to prove the contradiction. Our semantic approach, however, shows that the infinitary set of sentences given above has no classical model, reasoning at the level of metalanguage.^{4} In what follows, we shall set aside the proof theoretical and computational concerns and follow a semantical approach to argue that there is no classical model for our paradox.
Next, more importantly, in game theory, players are entitled to have their own beliefs and two players may coherently have contradictory beliefs. However, notice that the above contradiction is a contradiction about the truth of a statement, not about the belief of some truth.
2.2 Formal matters
Let us be more formal now.
The extended belief model is a tuple \(M = ( \{U^{i}\}_{i \in I}, \{R^{ij}\}_{i\ne j \in I}, V)\) where \(R^{ij} \subseteq U^{i} \times U^{j}\) and V is a valuation function defined in the standard way. As before, the expression \(R^{ij}(x, y)\) represents that in state x, the player i believes that the state y is possible for player j. As before, we prevent (a trivial form of) selfreference by disallowing players having beliefs about themselves. This is indeed one of the points of paraconsistent approaches to the classical BK paradox (Başkent 2015).
For a formula \(\varphi \) in the language given, \(\varphi \) denotes the set of states which satisfies \(\varphi \). Formally, \(\varphi  = \{ w \in \cup _{i \in I} U^i: w \models \varphi \}\). Additionally, \(\varphi _i = \{ w \in U^{i} : w \models \varphi \}\). We call \(\varphi ^M\) the extension of \(\varphi \) in model M. We omit the superscript when it is obvious.
Here, \(A_1\) is the assumption that the player 1 believes that all the other players \(k>1\) believe that k’s assumption \(A_l\) about player \(l>k\) is untrue. Similarly, for all other players.
2.3 An illustrative instantiation
As we mentioned earlier, first we will exemplify how the argument runs in order to make our formal reasoning easier to follow. For this reason, let us first take \(n=3\) as a workout case, before giving it for an arbitrary n. When necessary, for clarity in the notation we will write \(\Box ^{n\cdot m}\) for \(\Box ^{nm}\)—and similarly for \(R^{nm}\).
The argument can easily be extended to other disjunct in Statement 2 and their disjuncts. Thus, Statement 2 cannot have a consistent model. Therefore, each \(A_n\) is false. As we observed earlier, then \(A_n\)s are also true by definition. This is the paradox.^{5}
2.4 The proof
Let us now go back to the formal argument. In what follows, we shall present a semantical approach to show how the set of sentences in Sentence 1 cannot have a standard model.
We first start with the following lemmata where \(\equiv \) denotes the logical equivalence in the usual sense.
Lemma 2.1
 1.
\(\heartsuit ^{ij} \varphi \rightarrow \Box ^{ij} \varphi \)
 2.
\(\heartsuit ^{ij} (\varphi \wedge \psi ) \equiv \heartsuit ^{ij} \varphi \wedge \heartsuit ^{ij} \psi \)
 3.
\(\Box ^{ij}(\heartsuit ^{jk} \varphi \wedge \heartsuit ^{jl}\psi ) \equiv \Box ^{ij} \heartsuit ^{jk} \varphi \wedge \Box ^{ij} \heartsuit ^{jl}\psi \).
 4.
\(\Diamond ^{ij}(\heartsuit ^{jk} \varphi \vee \heartsuit ^{jl} \psi ) \equiv \Diamond ^{ij}\heartsuit ^{jk} \varphi \vee \Diamond ^{ij} \heartsuit ^{jl} \psi \)
 5.
\(\heartsuit ^{ij} (\Box ^{jk} \varphi \wedge \Box ^{jl} \psi ) \equiv \heartsuit ^{ij} \Box ^{jk} \varphi \wedge \heartsuit ^{ij} \Box ^{jl} \psi \)
Proof
The proofs follow immediately from the semantical definitions and the basic facts for the modal operators. \(\square \)
Lemma 2.2
If \(w \models A_n\), then for all p, q with \(n< p < q\); \(w \models \Box ^{np} \heartsuit ^{pq} \lnot A_q\).
Proof
The proof follows immediately from the semantical definitions of the modalities, \(A_n\) and Lemma 2.1. \(\square \)
Lemma 2.2 has some interesting consequences. For example, if \(w \models A_3\), then we have both \(w \models \Box ^{3 \cdot 4} \heartsuit ^{4 \cdot 6} \lnot A_6\) and \(w \models \Box ^{3\cdot 5} \heartsuit ^{5\cdot 6} \lnot A_6\). If there is a v such that \(wR^{3\cdot 4}v\), then \(R^{4\cdot 6}(v) = \lnot A_6\). Moreover, if there is another \(v' \ne v\) such that \(wR^{3\cdot 4}v'\), then \(R^{4\cdot 6}(v) = \lnot A_6 = R^{4\cdot 6}(v')\). Similar argumentation shows that \(R^{5\cdot 6}(u) = \lnot A_6 = R^{5\cdot 6}(u')\) for some \(u, u'\) with \(w R^{5\cdot 6} u\). We can generalize this result as follows.
Theorem 2.3
If \(w \models A_n\), then for all \(p, p', q\) with \(n< p < q\) and \(n< p' < q\); we have \(R^{pq}(v) = R^{p'q}(v')\) for all \(v \in U^p\) and all \(v' \in U^{p'}\).
Proof
By Lemma 2.2, we observe that \(w \models A_n\) implies both \(w \models \Box ^{np} \heartsuit ^{pq} \lnot A_q\) and \(w \models \Box ^{np'} \heartsuit ^{p'q'} \lnot A_q\) for \(n< p < q\) and \(n< p' < q'\).
Then, \(\forall v \in U^p\), \(wR^{np}v\) implies that \(v \models \heartsuit ^{pq} \lnot A_q\). However, the last statement means that \(\forall u . (vR^{pq}u \leftrightarrow u \models \lnot A_q)\). Then, we observe that \(\lnot A_q = R^{pq}(v)\). Similarly, \(\forall v' \in U^{p'}\), \(wR^{np'}v\) implies that \(v' \models \heartsuit ^{p'q} \lnot A_q\) which yields that \(R^{pq}(v)=R^{p'q}(v')\). The choices of v and \(v'\) were arbitrary, thus the result follows. \(\square \)
Corollary 2.4
If \(w \models A_n\), then \(\Box ^{np} \heartsuit ^{pq} \varphi \leftrightarrow \Box ^{np'} \heartsuit ^{p'q} \varphi \) for \(n< p < q\) and \(n< p' < q\).
Now, assume that \(w \models A_n\) for some arbitrary n. Game theoretically, this means that player n believes that all the other players after him assume that the assumptions of each player after them are false.
This method easily generalizes to each and every disjunct in Sentence 4 and then to each and every conjunct in Sentence 3. The choice of n was arbitrary, thus each \(A_n\) in Statement 1 fails.
So far, this simply shows that the configuration of beliefs and assumptions about players given in Statement 1 is false.
But, if each \(A_i\) is false then each \(\lnot A_i\) is true. Then, \(\heartsuit ^{kl}\lnot A_l\) for each \(l >k\) is satisfiable in some model: simply add a state \(x_l\) into \(U^l\) which is accessible from some \(U^k\) state such that \(x_l \models A_l\). Thus, \(\bigwedge _{l > k} \heartsuit ^{kl}\lnot A_l\) is satisfiable in some model. In a similar way, make every state in \(U^k\) that can see a \(U^l\) state accessible from \(U^1\) for each \(k>1\). This makes \(\bigwedge _{k>1} \Box ^{1 \cdot k}\{ \bigwedge _{l > k} \heartsuit ^{kl}\lnot A_l \}\) satisfiable. But, that is \(A_1\) which we previously thought false. Contradiction.
Therefore, the configuration of beliefs and assumptions about players given in Statement 1 is semantically impossible—it cannot have a classical model.
This is a nonselfreferential extension of the Brandenburger–Keisler paradox to \(\omega \)many players in a Yabloesque fashion.
2.5 Discussion
The formal results we have presented so far have some immediate relevance to various major issues in logic and games, such as \(\omega \)categoricity and infinitary games. Without any doubt, these issues are deep and complicated, and they have been argued for or against countless times within the context of Yablo’s paradox. In what follows, we only consider the issues that are directly relevant to our current work, highlighting the fact that the YBK paradox suggests further insights for these issues. While doing so, we will also identify some open questions in the subject, promising future research directions. Furthermore, the following discussion gives it a context when we present a paraconsistent model for the paradox.
2.5.1 Assumption modality and the diagonal formula
More formally, as Yablo also argued, what we would have in this case is a “downward facing tree with \(\omega \) branches descending from each node” which satisfies the \(A'\) sentences, as illustrated below (Yablo 2004). We leave the details to the reader to construct such a tree model for Sentence 6.
This case, however, is compatible with Sorensen’s queue example (Sorensen 1998). Particularly, from Sorensen’s queue sentence “Some of the students behind be are now thinking an untruth”, it can be obtained the sentence “Some of the students behind me are now thinking about an untruth that the students behind them are thinking”. As these thoughts and beliefs are not necessarily associated to each other in any way due to the lack of “assumptions”, Sentence 6 can be viewed as a nested, infinitary Sorensen queue.
This procedure is very common. Indeed, a similar approach for Yablo’s paradox was also given by Cook (2014).
Finally, the following result sums up the discussion.
Theorem 2.5
Let M be a belief model. Let \(M \models A'_i\) for each \(i \in \omega \) where \(A'_i = \bigwedge _{k> i}\Box ^{i \cdot k} \{ \bigwedge _{l > k} \Box ^{k \cdot l}\lnot A'_l \}\). Then, there exists a sentence \(\delta \) such that \(M \not \models \delta \).
The Sentence \(\delta \) is essential to construct the Gödelian selfreferentiality using the truth predicate in the standard way. The truth theoretical narration of this discussion falls outside the scope of this work, thus omitted.
Nevertheless, the above discussion immediately relates the YBK paradox to \(\omega \)categoricity.
2.5.2 Categoricity
As argued by Ketland, the Yablo sentences are not satisfiable on the standard model of arithmetic, thus they are “\(\omega \)inconsistent” (Ketland 2005). This observation suggests that the YBK paradox can be satisfied in a game model with \(\omega + 1\) players, a nonstandard model for the game. As every finite set of \(A_n\)s in Sentence 1 are satisfiable, by compactness, there must exist a model for the YBK sentences.
For completeness of our arguments, let us first see how every finite set of \(A_n\)s are satisfiable. In the original Yablo’s paradox, this is an easy task. For a finite set of Yablo sentences \(\{ S_{f(1)}, \dots , S_{f(n)} \}\) where f is an strictly increasing injective indexing function, a model can be given as follows. As f is strictly increasing, the sentence with the highest index is \(S_{f(n)}\). Let \(S_{f(n)}\) be true. Therefore, for each \(k > f(n)\), \(S_k\) is untrue. Then, let all the other \(S_{f(i)}\) for \(i < n\) be false. As \(f(i) < f(n)\) for \(i < n\), \(S_{f(i)}\) cannot hold for \(i < n\) as \(S_{f(n)}\) is true. In conclusion, in a finite set of Yablo sentences, simply let the sentence with the highest index be true, then the rest will be false. This is a model for a finite set of Yablo Sentences.
For the YBK sentences, we reason similarly. Given a finite set of assumptions \(\{ A_{f(1)}, \dots , A_{f(n)} \}\) where f is an strictly increasing injective indexing function, we force \(A_{f(n)}\) be true and the rest false. Thus, every finite set of \(A_n\)s are satisfiable, and as we argued, then there exists a nonstandard model of the YBK paradox, which can be constructed similarly as in Ketland (2005). The details of this procedure is very similar to the Yablo case and left to the reader.
The topic of \(\omega \)consistency has been discussed not only from the view point of cardinality but also from the perspectives of first and secondorder logics and their proof theories. As observed by Barrio and Picollo in various occasions, Yablo’s paradox behave differently in first and secondorder languages (Barrio 2010; Barrio and Picollo 2013; Picollo 2013). This difference stems from the compactness theorem and relates heavily to the categoricity results of truth theories and the failure of wellfoundedness principle (Forster 2004). These observations constitute a significant discussion regarding whether \(\omega \)categoricity should be required from truth theories, either in first or secondorder case. Moreover, it clarifies the differences between proof theoretical and semantical approaches to the mathematical analysis of paradoxes.
YBK paradox opens up a new direction for these discussions and relates the truth theoretical debate to a game theoretical framework. The relation between \(\omega \)categoricity and game theoretical rationality, for example, is an unexplored and intriguing direction, which we leave for future work.
It is however an open question whether the first or secondorder formalizations of the YBK paradox would behave differently or whether the YBK sentence (or even the BK sentence) would not be paradoxical in secondorder logic. The mathematical complexity of this research direction relies on van Benthem’s theorem regarding the identification between bisimulation invariance of firstorder logic and modal logic. Since a similar bisimulation invariance result is given between the secondorder logic and modal fixedpoint languages, a secondorder reiteration of the YBK paradox necessarily requires a modal fixedpoint language. In conclusion, the arguments we have presented so far demonstrates the logical breadth and depth of the YBK paradox and identifies some open questions in the field to stimulate future research.
2.5.3 Infinite games
Mathematical approaches for omegaconsistency focuses heavily on the formal aspects of the paradox. However, in this work the YBK paradox is formulated within the context of game theory. Therefore, the “game theoretical” aspects of the paradox raise some important issues for infinitary games.
Similar to Leitgeb’s example, players possessing Yabloesque beliefs about other players are indeed infinitary: “[their] mental capacities are infinite in two respects: (1) they are able to bear in mind infinitely long linguistic items, and (2) they can hold infinitely may linguistic items before their minds” (Leitgeb 2005). Therefore, our games may be found unreasonable.
This is a valid criticism. Yet, this relates to even broader issues in logic and games, including epistemic omniscience (if an agent knows \(\varphi \), he knows its deductive closure) and common knowledge (which has an infinitary definition). Briefly put, our approach is no exception to the problems of defining simple and foundational concepts in a logical framework.
Additionally, as it was underlined several times earlier, limitations of set theory (including the wellfoundedness principle) affects the way the paradoxes are formalized, and game theoretical paradoxes are no exception (Heifetz 1996; Başkent 2015). Therefore, creating infinitary chains of beliefs and assumptions, with or without wellfoundedness, seems to be a problematic point as nonwellfounded set theory do not seem to remedy selfreferential paradoxes (Moss 2005).
Moreover, the YBK paradox enjoys a kind of exhaustiveness which is game theoretically not immediate to give an account for. As it is formulated in Sentence 1 and observed further in Lemma 2.2, the paradox forces each player to have beliefs about every other player after him in such a way that these players will have assumptions about all the players after them. This seems too much to ask for game theoretically. Or is that so?
On the contrary, it is relatively easy to find game theoretical examples discussing selfreferentiality and/or nonwellfoundedness. Another simple game theoretical example, similar to Sorensen’s, for the YBK paradox might be a queue of people waiting to checkin to Hilbert’s Hotel. The Hotel is thought of having infinitely many number of rooms, precisely \(\omega \)many. Then, it can be imagined that the people anxiously waiting to check in to the hotel may have beliefs about the other people waiting behind them. Moreover, those beliefs can reasonably contain some assumptions about these people. For example, a player i can believe that some other person \(j > i\) behind him may assume that he himself will get the last room with a perfect view, so that \(\forall k. k > j\) will have an assumption that their rooms will not have a perfect view. The YBK paradox then appears if their beliefs and assumptions are arranged in the way given in Sentence 1. Notice, however, this is very similar to Priest’s claim about the selfreferentiality of the Yablo paradox that is each person in the queue has the same thought (Priest 1997).
Therefore, there are games and game theoretical situations involving infinitaryness and nonwellfoundedness, and more importantly they appear quite naturally. The YBK paradox presents an interesting example regarding similar issues, with much more mathematical and logical sophistication.Consider games between two players A and B. We use the word ‘game’ in two different meanings, to denote both a game in general and any particular competition between A and B. Given a game G, we will say ‘a game of G’, to denote a single competition which proceeds according to the rules of G. Call a game G founded if every game of G must terminate after finitely many moves, that is, following the rules, it is impossible for a game of G to go on for ever, even if a priori there is no fixed bound on the lengths of games of G.
Now, define the hypergame as follows: player A chooses a founded game G, then player B makes the first move in G and the game continues according to the rule of G. (Of course, there are simple winning strategies for A, but we are not concerned with them  in fact, we only specify legal moves, while the result of the game, who wins and who loses, has no importance.) Does this game have an end? Since G is founded, the answer is obviously ‘yes’. In other words, hypergame is a founded game. As a consequence, in a game of hypergame, player A can choose the hypergame itself as a founded game, giving B the right to choose the founded game. But, if B decides to be as bizarre as A and also chooses hypergame, and A in turn repeats ‘let’s play hypergame’, and so on, we get an unfounded game in which both players move according to the rules of a founded game.
The mathematical aspects of the YBK paradox are related to various other issues in logic, including fixed points. As we argued regarding the \(\omega \)(in)consistency, Yablo’s paradox (and perhaps also the YBK paradox) produce different results in first and secondorder cases (Picollo 2013). First and secondorder logics relate to modal paradoxes in a special way. The reason is that the bisimulation invariant fragment of firstorder logic is indeed the classical modal logic, and the bisimulation invariant fragment of secondorder logic is precisely the modal fixedpoint logic. This immediately raises the possibility of representing the YBK paradox with modalfixed points. Such extensions fall outside the scope of the current paper, thus left for future work.
Within this tradition, Bernardi’s program investigates the mathematical connection between infinitary (that is nonfounded games) and fixedpoints (that is selfreferentiality) in depth (Bernardi and D’Agostino 1996; Bernardi 2001). Such approaches give infinitariness a deeper conceptual meaning and relate it directly to nonwellfoundedness in set theory. In fact, it is argued in Bernardi and D’Agostino (1996) that the method of diagonalization arises from selfreferential paradoxes, as also argued in Yanofsky (2003). Nevertheless, this pattern is more familiar and much older than it looks. More generally, a singlepage paper by Yuting gave essentially a similar paradox already in Yuting (1953). Yet, as mentioned in a footnote in Yuting (1953), the scheme of this paradox can be traced back to Quine’s Mathematical Logic of 1951. What Yuting discussed was to give a paradox using nonwellfounded sequences, which is, in fact, the basic idea behind most of such paradoxes. Indeed, such an approach was also given to analyze the BK paradox (Başkent 2015).
Now, what is important for our purposes is the fact that both the BK paradox and the liar paradox can be expressed by fixedpoints. In paraconsistent logic, which allows nontrivial inconsistencies, there are certain structures that can work with such fixedpoints and express inconsistencies in a sound way (Başkent 2015). In what follows, we consider topological spaces as a working case of such structures and construct a model that satisfies the YBK paradox, extending the use of topological models for paraconsistency from selfreferential paradoxes to nonselfreferential ones. This ties up the discussion and concludes the formal treatment of the YBK paradox by using a formal structure that has strong mathematical precision for various systems of logic and their semantics as well as for fixedpoints.
3 A paraconsistent model
Our semantical treatment and the discussion which followed it establish the YBK paradox as a genuine and complex paradox. However, from a nonclassical logical view point, this is not the end of the story. It is important to observe how an inconsistencytolerant system can model the paradox. Our formal approach therefore sheds lights on the debate whether Yablo’s paradox (or the YBK paradox) is indeed selfreferential. From a pragmatic perspective, our work complements an earlier attempt which suggested a paraconsistent model for the BK paradox (Başkent 2015). By applying the similar constructions to the YBK paradox, we verify the formal strength of paraconsistent game models which serves our general agenda of understanding paraconsistent games.
We will work with topological models which generate natural models for paraconsistent logics (Goodman 1981). What makes topological models stronger is that they are versatile. With some intuitive assumptions, they can give semantics for (classical) modal logics, intuitionistic logic and paraconsistent logic.
It is, however, important to note how our approach differs from Bernardi’s (Bernardi 2009, 2001). A natural approach to logical paradoxes is to study them by using fixedpoints. As Yablolike paradoxes can be viewed as an infinite sequences of 0s and 1s, this collection of sequences can be considered as a topological space. Thus, a topological investigation of truthvalue sequences and their fixedpoints relate the paradox directly to topological paradoxes.
Our line of research, however, is semantical. Topological spaces can also be viewed as the underlining structure for the extensions of logical formulas, which in turn create a paradox. Thus, replacing the formulas with their topological and set theoretical extensions promises a more structural analysis of the paradox and the role of logic in these paradoxes. This is the direction we are pursuing in this work.

S and \(\emptyset \) are in \(\sigma \),

\(\sigma \) is closed under arbitrary unions and finite intersections.
Topological spaces are central in various approaches to paraconsistent logics and their algebraic structures. For example, Lawvere discussed the role of boundary operator in coHeyting algebras, which can be viewed as the algebraic structures of some paraconsistent logics (Lawvere 1991). From a topological perspective, the boundary operator \(\partial (O)\) is essential to give semantics for paraconsistent logics in topological spaces (Goodman 1981; Mortensen 2000; Başkent 2013).
In the topological semantics for the classical modal logic, the operators \(\mathsf {Int}\) and \(\mathsf {Clo}\) are identified by \(\Box \) and \(\Diamond \) modalities as follows: \(\Box \varphi  := \mathsf {Int}(\varphi )\). That is, the extension of a \(\Box \varphi \) is defined as the interior of the extension of \(\varphi \). Similarly, we put \(\Diamond \varphi  := \mathsf {Clo}(\varphi )\). Therefore, in classical logic, modal operators necessarily generate open or closed sets. Nevertheless, ground formulas (formulas with no modalities appearing in them) do not necessarily generate opens or closeds sets in classical logic.
But it is possible to stipulate that the extensions of propositional variables to be closed sets. This stipulation works well with conjunction and disjunction as the finite intersection (and respectively, the union) of closed sets is closed. However, negation has to be handled carefully as the complement of a closed set is not necessarily closed, but open. Therefore, we define a special negation, a paraconsistent negation, \({{\sim }}\) as the closure of the complement. Then, what we obtain is a coHeyting algebra (Başkent 2013, 2015).
Now we construct a paraconsistent model for the YBK paradox. For agent i, we take the corresponding nonempty type space \(S_i\) and define topologies with closed sets \(\sigma _i\). For example, for Player 3, the type space will be denoted by \(S_3\) with a topology \(\sigma _3\). In order to make this approach interactive, we define a function \(s^{ij} \subseteq S_i \times S_j\) which associates states for player i with the states of j. For example, for player i, at states from \(S_i\), \(s^{ij}\) returns a closed set \(K \in \sigma _j\). We write \(s^{ij}(w, K)\) means that at state \(w \in S_i\), player i believes that states \(k \in K\) are possible for j.
Now at \(u_l\), include \((u_l, K_{1p})\)in \(s^{lp}\) for all \(p > l\). Thus, we have \(s^{lp}(u_l, K_{1p})\). By construction of \(A_1\) (hence of each \(A_i\)), each \(v_p \in K_{1p}\) satisfies \(\bigwedge _{q > p} \heartsuit ^{pq} {\sim } A_q\), hence \(\heartsuit ^{pq} {\sim } A_q\) for each \(q > p\). Similarly, include \((v_p, x_q)\) for each \(x_q \in \partial (A_q)\) into \(s^{pq}\) in a way that \(s^{pq}(v_p, \partial ({\sim }A_q))\). Thus, \(v_p \models {\sim }\heartsuit ^{pq}{\sim }A_q \wedge \heartsuit ^{pq}{\sim }A_q\). We constructed a model in which we have \(w_1 \models A_1\).
This methodology can be extended inductively for each assumption \(A_i\) which in turn builds the countermodel that satisfy each and every formula in Sentence 1. We skip the technical details of this straightforward generalization process. The crucial observation is that the extension of a \(\heartsuit \)formula uniquely identifies with the extension of the formula in question. However, some of the points in that extension may also satisfy the negation of the formula in question in paraconsistent models. This makes it quite straightforward to construct the countermodel.
Bernardi defines unfounded chains for a sequence \((x_n)_{n \in \omega }\) and a function f, if \(fx_{n+1} = fx_n\) for every n (Bernardi 2001). The curious task of studying unfounded chains in paraconsistent topologies within epistemic game theoretical framework is left for future work.
So far, what we have achieved is to set up an adequate model in which YBK sentence can be satisfied. This point supports both the paraconsistent and modal agendas by suggesting an inconsistencyfriendly system in game theory and a direct application of modal logic of games, respectively.
4 Conclusion
Paradoxes of game theory are intriguing both for philosophical logic and epistemic game theory. The current work relates closely to philosophical logic by extending the discussion on interactive paradoxes and the theory of truth, and to epistemic game theory by presenting an interesting epistemic game theoretical paradox. However, it is perfectly possible to view the YBK paradox as a modal logical argument, stripping it from its epistemic game theoretical content. Therefore, our presentation can very well be considered as a modal extension of Yablo’s paradox.
It is important to note that the formal discussion we have presented here is illuminating for seeing whether Yablo’s paradox is indeed selfreferential or not, echoing Priest’s arguments. The version we developed does not look selfreferential at first glance, akin to the original paradox, yet Priest’s arguments regarding the selfreferential nature of the paradox somehow crystallizes here when we develop the countermodels.
The way we developed the game theoretical reading of Yablo’s paradox by no means suggest that our method is the only way to obtain a multiplayer iteration of Yablo’s paradox or the only way to obtain a nonselfreferential variation of the BK paradox. The plurality of such possibilities already point out a wide variety of future work possibilities which may shed some light on the algebraic or structural analysis of nonselfreferential paradoxes.
An interesting direction to pursue along these lines is developing a Curryesque epistemic game theoretical paradox in which negation and falsity predicates are not used. The relation between the Curry and Yablo paradoxes are studied heavily (for instance, see Cook (2009)), therefore it remains to study its impact and applications of Yablurry paradoxes (as Cook calls them in Cook (2009)) in games.
Footnotes
 1.
The original formulation of the BK paradox uses the term assumption to describe strongest beliefs. These are the beliefs that perfectly match with the set of accessible states from the current one. Therefore, it can be suggested that the term assumption is slightly misleading. Even if that is not our concern for the purposes of the current work, there is some truth in this argument. In order not to make terminology more complicated, we chose to stick to the current naming conventions for the modalities. I am thankful to Eric Pacuit for drawing my attention to this point.
 2.
In Sorensen (1998), Sorensen’s queue example uses the modality think in an informal way. It is not clear if it can be formalized or if it can have a complete semantics in a modal or firstorder framework. From a formalist perspective, the current paper supplements Sorensen’s approach by introducing additional formal elements to the discussion. The beliefs and assumptions discussed in this paper are not just doxastic elements but also welldefined modal operators with clear semantics and proof theory.
 3.
As argued by Priest, the sentences contain quantification \(\forall m > n\) which may be viewed selfreferential (Priest 1997).
 4.
I am grateful to the referee for bringing this matter to my attention.
 5.
As pointed out by one of the referees of this journal, it is important to notice the nonfinitistic nature of this reasoning in this argument. We show that there is no classical model for the given sentence, not proving a contradiction—which would require nonfinitistic resources obviously.
 6.
In order to prevent any possible confusion, we denote the following assumptions with \(A'_n\) instead of \(A_n\).
Notes
Acknowledgments
I am grateful to Leon Horsten for directing me to categoricity results. I acknowledge the constructive comments of the referees which helped improve the paper.
References
 Abramsky, S., & Zvesper, J. (2015). From lawvere to Brandenburger–Keisler: Interactive forms of diagonalization and selfreference. Journal of Computer and System Sciences, 81(5), 799–812.CrossRefGoogle Scholar
 Barrio, E. A. (2010). Theories of truth without standard models and Yablo’s sequences. Studia Logica, 96(3), 375–391.CrossRefGoogle Scholar
 Barrio, E. A., & Picollo, L. M. (2013). Notes on \(w\)inconsistent theories of truth in secondorder languages. Review of Symbolic Logic, 6(4), 733–741.CrossRefGoogle Scholar
 Başkent, C. (2013). Some topological properties of paraconsistent models. Synthese, 190(18), 4023–4040.CrossRefGoogle Scholar
 Başkent, C. (2015). Some nonclassical approaches to the Brandenburger–Keisler paradox. Logic Journal of the IGPL, 23(4), 533–552.CrossRefGoogle Scholar
 Beall, J. C. (1999). Completing sorensen’s menu: A nonmodal yabloesque curry. Mind, 108(431), 737–739.CrossRefGoogle Scholar
 Beall, J. C. (2001). Is Yablo’s paradox noncircular. Analysis, 61(3), 176–187.CrossRefGoogle Scholar
 Bernardi, C. (2001). Fixed points and unfounded chains. Annals of Pure and Applied Logic, 109(3), 163–178.CrossRefGoogle Scholar
 Bernardi, C. (2009). A topological approach to Yablo’s paradox. Notre Dame Journal of Formal Logic, 50(3), 331–338.CrossRefGoogle Scholar
 Bernardi, C., & D’Agostino, G. (1996). Translating the hypergame paradox: Remarks on the set of founded elements of a relation. Journal of Philosophical Logic, 25(5), 545–557.CrossRefGoogle Scholar
 Brandenburger, A., & Keisler, H. J. (2006). An impossibility theorem on beliefs in games. Studia Logica, 84, 211–240.CrossRefGoogle Scholar
 Cook, R. T. (2009). Curry, Yablo and duality. Analysis, 69(4), 612–620.CrossRefGoogle Scholar
 Cook, R. T. (2014). The Yablo paradox. Oxford: Oxford University Press.CrossRefGoogle Scholar
 Forster, T. (2004). The significance of Yablo’s paradox without selfreference. Logique et Analyse, 47(185–8), 461–462.Google Scholar
 Goldstein, L. (1994). A Yabloesque paradox in set theory. Analysis, 54(4), 223–227.CrossRefGoogle Scholar
 Goldstein, L. (2006). Fibonacci, Yablo and the cassationist approach to paradox. Mind, 115(460), 867–890.CrossRefGoogle Scholar
 Goodman, N. D. (1981). The logic of contradiction. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 27(8–10), 119–126.CrossRefGoogle Scholar
 Hardy, J. (1995). Is Yablo’s paradox liarlike? Analysis, 55(3), 197–198.CrossRefGoogle Scholar
 Heifetz, A. (1996). Nonwellfounded type spaces. Games and Economic Behavior, 16, 202–217.CrossRefGoogle Scholar
 Ketland, J. (2005). Yablo’s paradox and \(\omega \)inconsistency. Synthese, 145(3), 295–302.CrossRefGoogle Scholar
 Lawvere, F. W. (1991). Intrinsic coheyting boundaries and the leibniz rule in certain toposes. In A. Carboni, M. Pedicchio, & G. Rosolini (Eds.), Category theory (Vol. 1488, pp. 279–281)., Lecture Notes in Mathematics Berlin: Springer.CrossRefGoogle Scholar
 Leitgeb, H. (2005). Paradox by (nonwellfounded) definition. Analysis, 65(4), 275–278.CrossRefGoogle Scholar
 Mortensen, C. (2000). Topological seperation principles and logical theories. Synthese, 125(1–2), 169–178.CrossRefGoogle Scholar
 Moss, L. S. (2005). Nonwellfounded set theory. In Zalta, E. N. (ed.), The Stanford Encyclopedia of Philosophy. Fall 2009 edition. http://plato.stanford.edu/archives/fall2009/entries/nonwellfoundedsettheory.
 Pacuit, E. (2007). Understanding the Brandenburger–Keisler belief paradox. Studia Logica, 86(3), 435–454.CrossRefGoogle Scholar
 Picollo, L. M. (2013). Yablo’s paradox in secondorder languages: Consistency and unsatisfiability. Studia Logica, 101(3), 601–617.CrossRefGoogle Scholar
 Priest, G. (1997). Yablo’s paradox. Analysis, 57(4), 236–242.CrossRefGoogle Scholar
 Sorensen, R. A. (1998). Yablo’s paradox and kindred infinite liars. Mind, 107(425), 137–155.CrossRefGoogle Scholar
 Yablo, S. (1985). Truth and reflection. Journal of Philosophical Logic, 14(3), 297–349.CrossRefGoogle Scholar
 Yablo, S. (1993). Paradox without selfreference. Analysis, 53(4), 251–252.CrossRefGoogle Scholar
 Yablo, S. (2004). Circularity and paradox. In T. Bolander, V. F. Hendricks, & S. A. Pedersen (Eds.), Selfreference (pp. 165–183). Stanford: CSLI Publications.Google Scholar
 Yanofsky, N. S. (2003). A universal approach to selfreferential paradoxes, incompleteness and fixed points. The Bulletin of Symbolic Logic, 9(3), 362–386.CrossRefGoogle Scholar
 Yuting, S. (1953). Paradox of the class of all grounded classes. The Journal of Symbolic Logic, 18(2), 114.CrossRefGoogle Scholar
 Zwicker, W. S. (1987). Playing games with games: The hypergame paradox. The American Mathematical Monthly, 94(6):507–514. June–July 1987.Google Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.