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

Intuitionistic Epistemic Logic and Truth of Varying Degrees

作　　者：程华清 Huaqing Cheng(School of Liberal Arts,Anhui Normal University)

机构地区：[1]安徽师范大学文学院

出　　处：《逻辑学研究》2023年第1期55-67,共13页Studies in Logic

基　　金：教育部人文社会科学研究青年基金项目“直觉主义认知逻辑及其哲学意蕴研究”(21YJC72040001);国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046)。

摘　　要：直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路,还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释,以“直觉主义知识就是证实的结果”作为核心观点,接纳A→KA和KA→??A。IEL的预期解释借助“证实”概念给出了“直觉主义知识KA的证明”的定义,并以此扩展BHK解释。但直觉主义逻辑依赖于直觉主义数学,这使得BHK解释的核心在于对构造性证明的要求,基于此,IEL的预期解释偏离了BHK解释的初衷,进而IEL未能达到预期构建目标。通过对KA作新解读,能引出直觉主义真和经典真之间不同程度的真,IEL系统的一些重要内定理也将获得新理解。此外,关于IEL系统对应问题的一个猜测被提出来。The intuitionistic epistemic logic system IEL offers a new way of resolving Church–Fitch paradox,moreover,it inspires studies on intuitionistic epistemology.It attempts to establish IEL in maintaining BHK interpretation.Based on the view of“intuitionistic knowledge be regarded as the result of verification”,both A→KA and KA→??A hold in IEL.In the intended interpretation of IEL,it defines“proof of intuitionistic knowledge KA”in virtue of“verification”,and BHK interpretation gets extended in this way.However,it should be noted that“constructive proof”plays a core role in BHK interpretation because intuitionistic logic relies on intuitionistic mathematics,this results in the deviation between the intended interpretation of IEL and BHK interpretation.So IEL fails to reach its original purpose.In addition,by giving new interpretations for KA,different types of the truth of varying degrees arise.Furthermore,some important theorems of IEL acquire new understandings.Moreover,a conjecture on the correspondence problem concerning IEL is given.

关 键 词：直觉主义认知逻辑 BHK解释 真 中间逻辑 

分 类 号：B81[哲学宗教—逻辑学]