睡美人噩梦的终结

理性主体如何根据新证据改变其对某些命题/假设的信念，是贝叶斯推断的核心。正如 van Fraassen 的反思原则 ([1984]) 所总结的那样，基本自然假设是：在没有新证据的情况下，信念不应改变。然而，有一些例子声称违反了这一假设。如果不解决此类例子提出的明显悖论，将证明贝叶斯方法的不一致性和/或不完整性；若不消除这种不一致性，该方法就不能被视为科学的。睡美人问题正是这样一个例子。现有的解决该问题的尝试分为三类。前两类都认同没有新证据，但在睡美人是否应该改变其信念以及为何改变的结论上存在分歧。第三类的特点在于认为毕竟涉及了新证据（尽管从初始视角看是隐藏的）。我的解决方案截然不同，不属于上述任何一类。我通过论证睡美人问题中呈现的两种不同信念程度实际上是对两个不同命题的信念，从而消解了该悖论，即无需解释信念的（不）改变。