直觉主义认知逻辑与不同程度的真

逻辑学研究 2023 年第 1 期，55–67   文章编号：1674­3202(2023)­01­0055­13

作者：程华清

摘要：直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路，还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释，以“直觉主义知识就是证实的结果”作为核心观点，接纳A→KA和KA→¬¬A。IEL的预期解释借助“证实”概念给出了“直觉主义知识KA的证明”的定义，并以此扩展BHK解释。但直觉主义逻辑依赖于直觉主义数学，这使得BHK解释的核心在于对构造性证明的要求，基于此，IEL的预期解释偏离了BHK解释的初衷，进而IEL未能达到预期构建目标。通过对KA作新解读，能引出直觉主义真和经典真之间不同程度的真，IEL系统的一些重要内定理也将获得新理解。此外，关于IEL系统对应问题的一个猜测被提出来。

关键词：AGM 理论；绿蓝悖论；枚举归纳

中图分类号：B81   文献标识码：A