Wigner 及其友邻：地图非疆域！多主体悖论中的语境性

多主体情景，如 Wigner 友邻与 Frauchiger-Renner 情景，当非经典形式体系必须处理主体间的知识时，会展现出矛盾的结果。此类悖论以多模态逻辑描述为对经典逻辑结构的违背。即便借助信任概念以关系方式处理知识，多主体情景中仍可出现矛盾结果。语境性处理定义在测量情景上的经验模型中的全局不一致性，即便存在局部一致性。在本工作中，我们更进一步，通过使用知识算子以完全关系化语言处理这些情景，从而表明在此类情形中信任等价于真理公理。我们借助多模态逻辑的拓扑语义，构建了从测量情景到多主体情景的翻译，证明逻辑语境性可被理解为因假定互知而对可靠性的违背。为应对矛盾，我们考虑假定分布式知识，其消除了此类违背，但代价是 lambda 依赖。最后，我们将多主体情景的主要例子翻译为其经验模型表示，确认语境性正是其矛盾结果的根源。