Cantor悖论释疑——数学基础四大逻辑悖论理论性重释之四
自19世纪末提出并至今尚没有任何解决迹象，西方科学世界针对数学基础逾越一个多世纪的争论源自Cantor提出的集合论悖论。集合论悖论的存在是客观的。不可能因为一系列称之为公理化假设的人为认定的提出，就能够否定悖论的真实存在。如果说，一切悖论最终归咎于逻辑的不当和错误，那么，导致集合论悖论的原因在于：集合论颠倒了性质和对象之间的逻辑依存关系。因此，不仅仅经典集合论的“概括原则”需要作出修正，而且经典集合论的“外延原则”同样需要作出修正。这样做，不仅仅为了保证集合的两个构造原则逻辑相容，还为了避免空洞概念的出现。
集合论 悖论 数学基础 逻辑主体 有限论域
杨本洛 宋文淼
上海交通大学自然科学基础研究组 中国科学院电子研究所
国内会议
纪念欧拉诞辰300周年暨《几何原本》中译400周年数学史国际会议
成都
中文
154-165
2007-10-11（万方平台首次上网日期，不代表论文的发表时间）