Abstract
Iterated admissibility embodies a minimal criterion of rationality in interactions. The epistemic characterization of this solution has been actively investigated in recent times: it has been shown that strategies surviving \(m+1\) rounds of iterated admissibility may be identified as those that are obtained under a condition called rationality and m assumption of rationality in complete lexicographic type structures. On the other hand, it has been shown that its limit condition, with an infinity assumption of rationality (\(R\infty AR\)), might not be satisfied by any state in the epistemic structure, if the class of types is complete and the types are continuous. In this paper we analyze the problem in a different framework. We redefine the notion of type as well as the epistemic notion of assumption. These new definitions are sufficient for the characterization of iterated admissibility as the class of strategies that indeed satisfy \(R\infty AR\). One of the key methodological innovations in our approach involves defining a new notion of generic types and employing these in conjunction with Cohen’s technique of forcing.
Similar content being viewed by others
Notes
A strategy \(s_i\) strictly dominates another \(s^{\prime }_i\) if \(s_i\) yields player i a strictly better payoff than \(s^{\prime }_i\), independently of what all the other players decide. In turn, an action \(s_i\) weakly dominates \(s^{\prime }_i\) if i’s payoff with \(s_i\) is at least great as her payoff of choosing \(s^{\prime }_i\), no matter what the other players choose, while for some of the choices of the others it is strictly larger. These relations are defined for pure strategies, but weak dominance can be extended to cases in which a mixed strategy dominates a given pure strategy.
Continuity of the definition of types has no counterpart here since no topology is defined over the class of strategy-type pairs.
Abusing language, we will also allow the arguments of \(\pi _i\) to be mixed strategies, i.e. probability distributions over either \(S_i\) or \(\prod _{j \ne i}S_j\).
This is a weaker version of the concept of assumption in Lexicographic Probability Systems, namely that \(E_{-i}\) is believed only when \((S_{-i} \times T_{-i}) \setminus E_{-i}\) has been discarded. Another way of viewing this is noticing that all that player i knows, according to type \(t_i\) at the k-th level of attention is \(F^k\), belonging to the sequence \(P_i[t_i]\).
In what follows, \([i \ \text{ is } \text{ rational }]_{|S_i \times T_i}\) is the projection of the event \([i \ \text{ is } \text{ rational }]\) on \(S_i \times T_i\).
Notice the similarities between this notion and event-rationality (Barelli and Galanis 2013).
Recall that the range of each \(F^k\) in \(P_{i}[t_i]\) is the class of actions and types of the other players, \(\prod _{j \ne i} S_j \times T_j\). We denote with \(s_{-ij}\) (\(t_{-ij}\)) an element in \(\prod _{k \ne i, k \ne j} S_k\) (\(\prod _{k \ne i, k \ne j} T_k\)).
The definition of \(\curlyeqprec \) (not to be confused with the preference relation \(\preceq \)) depends on the intended application. Here, as in the problem of the convergence of the core in a market economy with infinite agents, we do not need a condition of incompatibility (Lewis 1990).
See Dirk Bergemann and Joan Feigenbaum’s course notes in https://zoo.cs.yale.edu/classes/cs455/fall08/2008/gt2.pdf.
References
Aumann, R., & Brandenburger, A. (1995). Epistemic conditions for Nash equilibrium. Econometrica, 63, 1161–1180.
Barelli, P., & Galanis, S. (2013). Admissibility and event-rationality. Games and Economic Behavior, 77, 21–40.
Barwise, J., & Robinson, A. (1970). Completing theories by forcing. Annals of Mathematical Logic, 2, 119–142.
Bodanza, G., & Tohmé, F. (2009). Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack. Journal of Applied Logic, 7, 403–420.
Brandenburger, A. (2007). The power of paradox: some recent developments in interactive epistemology. International Journal of Game Theory, 35, 465–492.
Brandenburger, A., & Friedenberg, A. (2009). Self-admissible sets. Journal of Economic Theory, 145, 785–811.
Brandenburger, A., & Keisler, J. (2006). An impossibility theorem on beliefs in games. Studia Logica, 84, 211–240.
Brandenburger, A., Friedenberg, A., & Keisler, J. (2008). Admissibility in games. Econometrica, 76, 307–352.
Burgess, J. (1977). Forcing. In J. Barwise (Ed.), Handbook of Mathematical Logic. Amsterdam: North-Holland.
Caterina, G., & Gangle, R. (2010). Consequences of a diagrammatic representation of Paul Cohen’s forcing technique based on C.S. Peirce’s existential graphs. Studies in Computational Intelligence, 314, 429–443.
Caterina, G., & Gangle, R. (2016). Iconicity and abduction. Berlin: Springer.
Catonini, E., De Vito, N. (2018). Common assumption of cautious rationality and iterated admissibility. Working Paper. https://www.hse.ru/mirror/pubs/share/217794168.
Chow, T. (2009). A beginners guide to forcing. Contemporary Mathematics, 479, 25–40.
Cohen, P. (1966). Set theory and the continuum hypothesis. Boston: Addison-Wesley.
Fagin, R., Geanakoplos, J., Halpern, J., & Vardi, M. (1999). The hierarchical approach to modeling knowledge and common knowledge. International Journal of Game Theory, 28, 331–365.
Fagin, R., Halpern, J., & Vardi, M. (1991). A model-theoretic analysis of knowledge. Journal of the ACM, 38, 382–428.
Harsanyi, J. (1967). Games with incomplete information played by “Bayesian” players, part I. The Basic Model, Management Science, 14, 159–182.
Hatchuel, A., Weil, B. (2007). Design as forcing: deepening the foundations of CK theory. Proceedings of the 16th International Conference on Engineering Design.
Jech, T. (2008). What is forcing? Notices of the AMS, 55, 692–693.
Jech, T. (2002). Set theory. Berlin: Springer.
Kanamori, A. (2008). Cohen and set theory. Bulletin of Symbolic Logic, 14, 351–378.
Keisler, J., Lee, B. S. (2015). Common assumption of rationality.Working paper. https://www.math.wisc.edu/~keisler/car-2015-web.pdf.
Kohlberg, E., & Mertens, J.-F. (1986). On the strategic stability of equilibria. Econometrica, 54, 1003–1037.
Lee, B. S. (2016). Admissibility and assumption. Journal of Economic Theory, 163, 42–72.
Lewis, A. A. (1990). On the independence of core-equivalent results from Zermelo–Fraenkel set theory. Mathematical Social Sciences, 19, 55–95.
Moss, L., & Viglizzo, I. (2004). Harsanyi type spaces and final coalgebras constructed from satisfied theories. Electronic Notes in Theoretical Computer Science, 106, 279–295.
Nash, J. (1950). Equilibrium points in N-person games. PNAS, 36, 48–49.
Nash, J. (1951). Non-cooperative games. Annals of Mathematics, 54, 286–295.
Pacuit, E., Roy, O. (2017). Epistemic foundations of game theory. In E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/epistemic-game/.
Perea, A. (2012). Epistemic game theory: reasoning and choice. Cambridge: Cambridge University Press.
Pearce, D. (1984). Rational strategic behavior and the problem of perfection. Econometrica, 52, 1029–1050.
Pietarinen, A. (Ed.). (2007). Game theory and linguistic meaning. Bingley (UK): Emerald.
Tohmé, F. (2005). Existence and definability of states of the world. Mathematical Social Sciences, 49, 81–100.
Tohmé, F., Caterina, G., Gangle, R. (2012). Forcing iterated admissibility in strategic belief models. arXiv:1205.0444 (also in http://www.diagrammaticphilosophy.com/TohmeCaterinaGangleForcingIA.pdf.
van Benthem, J. (2008). ‘Games that make Sense’, Logic, Language and Multi-Agent Interaction. In K. Apt & R. van Rooij (Eds.), New Perspectives in Games and Interaction. Amsterdam: Amsterdam. University Press.
von Neumann, J., & Morgenstern, O. (1944). Theory of games and economic behavior. New Jersey: Princeton University Press.
Wesley, E. (1976). Borel preferences in markets with a continuum of traders. Journal of Mathematical Economics, 3, 155–165.
Yang, C.-C. (2015). Weak assumption and iterative admissibility. Journal of Economic Theory, 158, 87–101.
Acknowledgements
Tohmé was supported by the National Research Council of Argentina Grant PIP 112-200801-00804, Universidad Nacional del Sur’s PGI 24/E115 and by the EU H2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 690974 for the project MIREL: MIning and REasoning with Legal texts. Endicott College provided extra funding during the preparation of this paper. We are grateful to Adam Brandenburger, Andrés Perea, Esteban Peralta, Marciano Siniscalchi, Joel Sobel and an anonymous referee for their useful comments and criticisms. Previous versions of this paper can be found online (Tohmé et al. 2012).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Tohmé, F., Caterina, G. & Gangle, J. Iterated Admissibility Through Forcing in Strategic Belief Models. J of Log Lang and Inf 29, 491–509 (2020). https://doi.org/10.1007/s10849-020-09317-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-020-09317-4