维格纳朋友推广的语境模态逻辑

量子力学自诞生以来就一直受到逻辑审视。量子系统的行为与经典系统根本不同，常常似乎指向量子力学中的逻辑不一致性，据称会导致实验测量预测中的矛盾——尽管这种矛盾从未实现。近期对量子力学逻辑良定义性进行此类探究的一个例子是Frauchiger-Renner思想实验，该实验声称要证明量子力学在逻辑上不一致。在本文中，我们表明，通过考虑量子系统中的语境性（如Kochen-Specker定理所预测的），Frauchiger和Renner提出的所谓矛盾在逻辑上变得不可达。