逻辑遇见 Wigner 的朋友（及其朋友们）

我们重新审视 Wigner 朋友思想实验及其一些较新的变体与扩展，例如 Frauchiger-Renner（FR）悖论。我们讨论文献中提出的各种解决方案，聚焦于几个问题：在这些情景中，多重态赋值在认知解释上的正确含义是什么？在何种条件下可以将经典观察者纳入量子态描述，且仍与传统量子力学相容？在何种条件下，一个系统可被另一背景观察者承认为额外的“观察者”？多主体认知逻辑（允许主体间“知识传递”）的标准公理何时可应用于量子物理观察者？在论文最后部分，我们针对这些问题提出一种新的回答，勾勒该回答的一种具体形式化实现，并应用它来对 Wigner 朋友型悖论给出一种有原则的解决方案。