直觉主义解决集合论悖论的方案

摘要：

直觉主义者认为,集合论悖论的产生与接受实无穷、排中律和非直谓性有关.因此,为了解决集合论悖论,直觉主义者要求承认潜无穷、拒斥排中律、接纳直谓性.基于这种直觉主义思想建立的直觉主义集合论和构造性集合论,是直觉主义解决集合论悖论的两种方案.它们与逻辑主义学派的类型论方案和形式主义学派的公理化方案具有相同的地位.

关键词：集合论悖论、实无穷、恶性循环、直觉主义集合论、构造性集合论

所属期刊栏目：40

分类号：N0(自然科学理论与方法论)

资助基金：国家社科基金重点项目“基于哲学逻辑的集合论研究”16AZD036

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

页数：共6页

页码：59-64