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

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

2010-06-04

arxiv.org/abs/1006.0992v1

Mathematics

Logic

To appear in the Proceedings of LOFT 2010

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-637849