新著新论|学院郭美云老师团队新作刊发在中科院Top期刊《Synthese》

发布时间： 2026-02-27 15:29:06 已阅读：

近日，我院哲学系郭美云教授与其博士生韩琳琳共同撰写的The epistemic logic of forgetting: forgetting awareness and forgetting truth values（关于遗忘的认知逻辑：遗忘觉知和遗忘真值）一文发表于中科院期刊分区人文学科哲学大类分区二区Top期刊Synthese。文章探讨了认知逻辑中两种不同的遗忘形式：遗忘原子命题的真值以及遗忘原子命题的觉知。文中表明，与这两种遗忘类型相对应的模态算子在合取和析取运算下保持封闭性。文中给出了互模拟的定义，并证明了在该语言下互模拟蕴含模态等价。该文给出了遗忘认知逻辑（FEL）的公理系统，并证明了其可靠性。利用这些公理和规则，得到了两个类似于时态认知逻辑（ETL）中“无奇迹”性质的定理。此外，通过应用归约公理，证明了FEL可归约到觉知逻辑（AL），从而证明了其完全性。