直觉主义真与可知性悖论  

Intuitionistic Truth and Knowability Paradox

作　　者：李娜[1] 袁旭亮[1] Li Na;Yuan Xuliang

机构地区：[1]南开大学哲学院

出　　处：《哲学动态》2019年第2期111-118,共8页Philosophical Trends

基　　金：国家社会科学基金重点项目"基于哲学逻辑的集合论研究"(16AZD036)的阶段性成果

摘　　要：直觉主义坚持"存在即被构造",这一要求不仅提供了研究认知的新视角,也提供了解决可知性悖论的新思路。本文基于阿尔特莫夫和普罗托波佩斯库提出的直觉主义认知逻辑IEL,阐释并分析一种解决可知性悖论的新方法;随后,进一步讨论这种新方法的构造性特征以及由此带来的一些启示。

关 键 词：直觉主义真 可知性悖论 BHK-解释 证实 直觉主义认知逻辑 

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