4、信念变更中的问题与思考

信念变更中的问题与思考

1. 黑箱内部的问题

1.1 可能世界模型的问题

在基于球体的可能世界修正模型中，原始信念集 K 被假定为所有具有最大似真性的可能世界的交集。这意味着以 K 为子集的所有可能世界都具有同等的似真性。然而，这与我们的直觉相悖。例如，我们当前的信念集 K 既不包含“比邻星 b 有智慧生命”（p）这一陈述，也不包含其否定（¬p）。根据球体模型，包含 K ∪ {¬p} 和 K ∪ {p} 的可能世界是同样似真的，但实际上我们可能认为 ¬p 比 p 更似真。

此外，将似真性概念应用于单个可能世界也存在困难。每个可能世界对于语言中的每个句子 q，要么 q 属于该世界，要么 ¬q 属于该世界，这意味着在这些可能世界中，我们会对语言中的每个陈述都能自信地给出“真”或“假”的判断，这显然不符合我们的实际认知体验。

1.2 成功条件与交集

我们之前讨论了收缩（输入句子的缺失）和修正（输入句子的存在）这两个成功条件，它们都具有在交集下保持的特性。即对于所有非空集合 X，如果 X 中的每个元素都具有某个属性，那么它们的交集 X 也具有该属性。这使得选择 - 交集方法在收缩和修正操作中可行。

然而，并非所有的成功条件都能在交集中保持。例如，在一个法律案件中，检察官指控被告犯有谋杀罪或过失杀人罪。法官苏珊确信被告杀害了受害者，但难以判定是谋杀还是过失杀人。程序法不允许做出析取判决，因此她必须确定被告是犯了谋杀罪（m）还是过失杀人罪（v）。这种信念转变的成功条件可以描述为她要么相信被告犯了谋杀罪，要么相信被告犯了过失杀人罪。这与她已经相信的“被告犯了谋杀罪或过失杀人罪”（m ∨ v）不同。这种信念变化可以形式化为选择修