混合逻辑推理在错误信念任务中的应用

本文的主要目的是利用混合模态逻辑的证明系统来形式化认知心理学中所谓的错误信念任务，从而探究认知与关于信念的逻辑推理之间的相互作用。我们考虑了 Smarties 任务的两个不同版本，分别涉及视角向他人和向另一时间的转换。我们的形式化揭示，尽管存在这种差异，Smarties 任务的两个版本具有完全相同的底层逻辑结构。我们还考虑了 Sally-Anne 任务，其逻辑结构更为复杂，预设了一条“惯性原则”，即除非有相反的信念，否则信念会随时间保持不变。