数学联邦政治世界观
超小超大

集合论新公理探究的哲学思考(一) (7-1)

朱敏

作者简介:朱敏,南京大学哲学系在读博士生。

人大复印:《科学技术哲学》2013 年 05 期

原发期刊:《世界哲学》2013 年第 2 期 第 151-159 页

关键词:集合论/ 新公理/ 证成/ 意向性/ 心智行动/

摘要:

究竟集合论是否需要新公理?

它们是真的吗?

我们如何知道?

自哥德尔提出新公理纲领以来,对这些问题的回答伴随着长期的争论。

有的逻辑学家基于自明性标准拒斥新公理,有的数学哲学家视新公理为“助探器”用于探索数学深度,也有集合论专家坚信新公理就是关于柏拉图集宇宙的真理。

本文通过对这些争论的分析,可以揭示出,无论是新公理的支持者还是反对者,都普遍认同“公理客观有效性不能脱离主体的主观意向性而存在”,因此,当我们具体考察新公理和它们的合理依据时,不应当在忽略数学家的心智活动下给出批评或支持新公理的意见。

集合论是否需要新公理的问题是当前数学哲学研究的热点问题之一。

该问题源于20世纪60年代集合论发展产生的独立性结果。

科恩发表于1963年和1964年的论文证明了连续统假设[简称CH]在策墨罗—弗兰克尔的标准集合论公理系统[简称ZFC]中不可证。

这个结果连同哥德尔于1938年得出的结论,表明CH独立于ZFC。

不仅如此,由哥德尔和科恩的技术产生的其他独立性命题,如所有投影集是否勒贝格可测、苏斯林假设、怀特海问题等等,根据ZFC也都是不可判定的。

引进新公理的目的就是为了解决它们。

但由此产生如下问题:

1.为什么被提议作为新公理的陈述确实是公理而不只是假设?

2.公理意指什么?

对这两个问题的回答在20世纪40年代末开始展开,50年代有人隐约地提出了连续统假设无意义的观点,60年代至80年代,人们主要在寻求新公理以及给出它们的辩护上做努力。

但引进的诸多新公理一直未能解决连续统假设问题,90年代后,有人对需要新公理解决独立性问题的观点提出了质疑。

本文将着力于呈现当代国外有关新公理哲学讨论的发展及其重要观点,在此基础上表明,新公理的辩护和反驳都不应当忽略数学家的主观意向性与公理的客观有效性之间的密切联系。

一、新公理纲领的提出

新公理纲领可追溯到哥德尔1931年关于算术不完全性定理的论文。

在该文的脚注48[a]中,他指出:“……不完全性的真正原因在于更高类型的形式可以继续进入超穷……每当添加合适的更高类型的公理时,构造的不可判定命题就可以判定。”①

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

这是越更越上头的狗血双女主剧情! 连载中
这是越更越上头的狗血双女主剧情!
皮总i
爱情不分性别,每个人都有爱的权利!男男女女生生世世轮回纠缠……
4.9万字8个月前
师兄,我才不要做炮灰 连载中
师兄,我才不要做炮灰
鹿鹿衔草
(停更)自带灾难buff?拿了女主剧本?师兄怎么对我这么好?重生到狗血玛丽苏的炮灰男二身上,白祈安发现自己触发一堆隐藏剧情。等等,这不是师兄......
8.6万字8个月前
妖王的冰山小王妃 连载中
妖王的冰山小王妃
玉米爱浪花
简介:公元14500年,地球上人、妖、魔和天族和睦相处,只是人族不知道还有其他三族的存在。一次意外,封印多年的黑暗之王再次现世,天、妖和魔族......
19.6万字8个月前
十二星座之梦清院 连载中
十二星座之梦清院
夕颜染橦
4.1万字8个月前
与第二人格抢身体 连载中
与第二人格抢身体
云雪飞燕
苏景默是一个平平无奇的高中毕业生,有一天他的身体里突然出现了第二人格。(/_\)大怨种怎么说呢?感觉那个第二人格有间接性失忆症,更无语的是,......
6.5万字8个月前
使魔大人请上座 连载中
使魔大人请上座
该用户已注销
努力不一定会获得成功,但不努力你一定是条咸鱼!作为圣魔道学院召唤系最没资质、也没什么背景,召唤六百多次却一直失败的废材学员,花间神月仍不言败......
12.8万字8个月前