From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference

DOI10.1007/978-3-642-32784-1_1zbMATH Open1328.03012arXiv1006.0992OpenAlexW3157999207WikidataQ57006498 ScholiaQ57006498MaRDI QIDQ2914673FDOQ2914673

Authors: Samson Abramsky, Jonathan Alexander Zvesper 

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Abstract: We analyze the Brandenburger-Keisler paradox in epistemic game theory, which is a `two-person version of Russell's paradox'. Our aim is to understand how it relates to standard one-person arguments, and why the `believes-assumes' modality used in the argument arises. We recast it as a fixpoint result, which can be carried out in any regular category, and show how it can be reduced to a relational form of the one-person diagonal argument due to Lawvere. We give a compositional account, which leads to simple multi-agent generalizations. We also outline a general approach to the construction of assumption complete models.

Full work available at URL: https://arxiv.org/abs/1006.0992

Recommendations

• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
• Understanding the Brandenburger-Keisler paradox
• Some non-classical approaches to the Brandenburger-Keisler paradox
• The diagonal argument and the Liar
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) 2-person games (91A05) Rationality and learning in game theory (91A26)

Cited In (4)

• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
• Substantive assumptions in interaction: a logical perspective
• Translating the hypergame paradox: Remarks on the set of founded elements of a relation
• Some non-classical approaches to the Brandenburger-Keisler paradox

This page was built for publication: From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914673)