12、动态描述符与拉姆齐描述符的逻辑探索

动态描述符与拉姆齐描述符的逻辑探索

1. 动态自认知信念

自认知信念可分为静态和动态两类。对于静态自认知信念，虽期望将其纳入信念集，但不应在其为真时就自动包含。例如，一个相信命题 (p) 的主体，可能相信也可能不相信 (B¬B¬Bp)。

而动态自认知信念对自认知全知论的要求更为苛刻。它要求主体不仅对自己当前的信念状态有准确认知，还需知晓在任何（任意长的）输入序列下，自己的信念将如何变化。显然，这在形式模型中是不现实的。

因此，对动态自认知信念的现实处理，需要在自认知无知和自认知全知之间找到平衡，即自认知不完全性论点：主体的信念集应能回答部分而非全部关于信念改变操作后其信念状态的问题。

通常，对于单步且无需撤回高度根深蒂固信念的改变，动态自认知信念的覆盖度最高。比如，若得知皇家马德里以 5 - 1 战胜格拉纳达竞技，我们能较好地预估自己信念集的变化；但如果是格拉纳达竞技以 13 - 0 战胜皇家马德里，就较难确定信念集的改变；若面对一系列与自身强烈信念相悖的陈述，就更难预测信念集的最终状态。

在基于距离的模型中，可假设主体对仅使其信念集与当前信念集保持较小距离的信念改变有真实的自认知信念，而对于使信念集远离当前状态的改变则不然。

多数对自认知信念的处理都假定这些信念是真实的，但实际上我们在这些问题上并非绝对无误。所以，错误的自认知信念也应能被纳入信念集，且其纳入不应（至少不总是）使信念集不一致。

2. 拉姆齐描述符

2.1 条件句的分类

条件句有多种类型，林德斯特伦和拉宾诺维茨提出的简单分类法很实用，他们将条件句分为本体条件句和认知（信念）条件句。本体条件