Understanding the Brandenburger-Keisler Paradox
Understanding the Brandenburger-Keisler Paradox
复制标题
理解勃兰登堡-凯斯勒悖论
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
E. Pacuit
中科院分区：
文献类型：
--
作者：
E. Pacuit
Adam Brandenburger和H.杰罗姆凯斯勒最近发现了一个两人罗素式的悖论。他们证明了以下信念的配置是不可能的：安相信鲍勃假设安相信鲍勃的假设是错误的。在[7]中，提出了一个模态逻辑解释这个悖论。我们的想法是引入两个模态算子，旨在代表代理人的信念和假设。本文的目的是进一步分析，并从模态逻辑学家的角度研究这一悖论。特别是，我们表明，悖论可以被看作是一个定理的适当的混合逻辑。
Adam Brandenburger and H. Jerome Keisler have recently discovered a two person Russell-style paradox. They show that the following configurations of beliefs is impossible: Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong. In [7] a modal logic interpretation of this paradox is proposed. The idea is to introduce two modal operators intended to represent the agents’ beliefs and assumptions. The goal of this paper is to take this analysis further and study this paradox from the point of view of a modal logician. In particular, we show that the paradox can be seen as a theorem of an appropriate hybrid logic.