近日，中心主任郭美云教授与其博士生韩琳琳共同撰写的The epistemic logic of forgetting: forgetting awareness and forgetting truth values（关于遗忘的认知逻辑：遗忘觉知和遗忘真值）一文发表于中科院期刊分区人文学科哲学大类分区二区Top期刊Synthese（《综合》杂志，该杂志也被SSCI, SCI 以及A&HCI等共同收录）。

01

文章摘要

本文探讨了认知逻辑中两种不同的遗忘形式：遗忘原子命题的真值以及遗忘原子命题的觉知。文中表明，与这两种遗忘类型相对应的模态算子在合取和析取运算下保持封闭性。我们给出了互模拟的定义，并证明了在我们的语言下互模拟蕴含模态等价。本文给出了遗忘认知逻辑（FEL）的公理系统，并证明了其可靠性。利用这些公理和规则，我们得到了两个类似于时态认知逻辑（ETL）中“无奇迹”性质的定理。此外，通过应用归约公理，证明了FEL可归约到觉知逻辑（AL），从而证明了其完全性。

02

在线链接

https://doi.org/10.1007/s11229-026-05473-5

（韩琳琳/文图，郭美云/审核，彭子骄/发布）