Some Non-Classical Approaches to the Branderburger-Keisler Paradox

In this paper, we discuss a well-known self-referential paradox in epis-temic game theory, the Brandenburger -Keisler paradox. We approach the paradox from two different perspectives: non-well-founded set theory and paraconsistent logic.

[1]  Jonathan A. Zvesper,et al.  From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference , 2015, J. Comput. Syst. Sci..

[2]  Jenny Donovan,et al.  “Vicious Circles” , 2014, Qualitative health research.

[3]  Johan van Benthem,et al.  Multimo dal Logics of Products of Topologies , 2007, Stud Logica.

[4]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[5]  H. Keisler,et al.  ADMISSIBILITY IN GAMES , 2008 .

[6]  Johan van Benthem,et al.  Logic in Games , 2014 .

[7]  John-Jules Ch. Meyer,et al.  Dialogue Games for Inconsistent and Biased Information , 2004, LCMAS.

[8]  Peter Hilton,et al.  Category Theory, Homology Theory and their Applications II , 1969 .

[9]  Chris Mortensen.  Topological Separation Principles And Logical Theories , 2004, Synthese.

[10]  Gonzalo E. Reyes,et al.  Bi-Heyting algebras, toposes and modalities , 1996, J. Philos. Log..

[11]  Darko Sarenac,et al.  The Geometry of Knowledge , 2003 .

[12]  F. W. Lawvere,et al.  Diagonal arguments and cartesian closed categories , 1969 .

[13]  Ahti-Veikko Pietarinen,et al.  Games: Unifying Logic, Language, and Philosophy , 2009 .

[14]  David Ripley,et al.  Paraconsistent Logic , 2015, J. Philos. Log..

[15]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[16]  J. Robert G. Williams.  Degree Supervaluational Logic , 2011, Rev. Symb. Log..

[17]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[18]  Merlijn Sevenster,et al.  Independence-friendly logic , 2011 .

[19]  Lloyd Humberstone.  The modal logic of 'all and only' , 1987, Notre Dame J. Formal Log..

[20]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[21]  Jonathan A. Zvesper,et al.  A Note on Assumption-Completeness in Modal Logic , 2008, LOFT.

[22]  E. Pacuit.  Understanding the Brandenburger-Keisler Belief Paradox , 2006 .

[23]  D. Harrison,et al.  Vicious Circles , 1995 .

[24]  Walter Alexandre Carnielli,et al.  The Dialogical Approach to Paraconsistency , 2004, Synthese.

[25]  N. Costa,et al.  Paraconsistent Logics and Paraconsistency , 2007 .

[26]  H. Jerome Keisler,et al.  An Impossibility Theorem on Beliefs in Games , 2006, Stud Logica.

[27]  G. Priest.  What is so bad about contradictions , 1998 .

[28]  Merlijn Sevenster,et al.  Independence-Friendly Logic - a Game-Theoretic Approach , 2011, London Mathematical Society lecture note series.

[29]  Eric Pacuit,et al.  Understanding the Brandenburger-Keisler Paradox , 2007, Stud Logica.

[30]  Aviad Heifetz.  Non-well-founded-Type Spaces , 1996 .

[31]  Dmitri Mirimanoff,et al.  Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles , 1917 .

[32]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[33]  S. Jaskowski.  A propositional calculus for inconsistent deductive systems , 2004 .

[34]  Stephen Yablo,et al.  Paradox without Self-Reference , 1993 .

[35]  Nicolas D. Goodman,et al.  The Logic of Contradiction , 1981, Math. Log. Q..

[36]  Alessandro Facchini,et al.  Aspects of Universal Logic , 2004 .

[37]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .

[38]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[39]  Noson S. Yanofsky,et al.  A universal approach to self-referential paradoxes, incompleteness and fixed points , 2003, Bull. Symb. Log..

[40]  Alexander Katovsky,et al.  Category Theory , 2010, Arch. Formal Proofs.

[41]  W. Carnielli,et al.  Logics of Formal Inconsistency , 2007 .

[42]  Robert B. Ash,et al.  Information Theory , 2020, The SAGE International Encyclopedia of Mass Media and Society.

[43]  Penelope Maddy,et al.  The philosophy of logic , 2012, Bull. Symb. Log..

[44]  Shahid Rahman,et al.  From Games to Dialogues and Back , 2009, Games: Unifying Logic, Language, and Philosophy.

[45]  François George,et al.  On Contradiction , 1978, Telos.

[46]  Michael F. Worboys,et al.  The Algebraic Structure of Sets of Regions , 1997, COSIT.

[47]  John C. Harsanyi,et al.  Games with Incomplete Information Played by "Bayesian" Players, I-III: Part I. The Basic Model& , 2004, Manag. Sci..

[48]  Can Baskent.  Some topological properties of paraconsistent models , 2013, Synthese.

[49]  Johan van Benthem,et al.  Modal logics for product topologies , 2006 .

[50]  F. W. Lawvere,et al.  Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes , 1991 .

[51]  Martin Meier,et al.  Hierarchies of beliefs for compact possibility models , 2005 .