直觉主义真与可知性悖论

摘要：

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

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

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金16AZD036

在线出版日期：2019-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：111-118