论文部分内容阅读
悖论在近几十年来已成为多学科所共同研究的课题,并且向不同的领域辐射。作为引发第三次数学危机的罗素悖论,在各类型悖论中具有极其重要的地位。首先从悖论的含义入手对罗素悖论的内容、产生原因以及解决方案即逻辑类型论进行了论述,分析了罗素悖论及其逻辑类型论在数理逻辑发展史上的贡献及缺陷,对罗素悖论进行深刻的哲学反思。由于逻辑类型论具有一定的缺陷,因此介绍了一种弗协调逻辑的站在超形式逻辑视角对待和解释悖论的方案。