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

集合论新公理探究的哲学思考(一) (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),接着再看更方便。

相关小说

双生姐妹之并蒂莲女神 连载中
双生姐妹之并蒂莲女神
瑾陈安琪
混沌之初,生有两朵并蒂莲,分为红莲和白莲,并蒂之莲,莲开并蒂,并蒂而生,相生相依,同生同灭。​后来并蒂莲化身为两位少女,一红一白,以姐妹相称......
0.5万字8个月前
秋天的猫叶草 连载中
秋天的猫叶草
站在台风眼的作家
这是一个关于猫,人和秋天草的童话,是一个大人心中的小孩为弥补儿时童年所创造,如果你和我一样,也想找回记忆中缺失的回忆,来猫叶草的书屋,我为你......
42.7万字8个月前
魔鬼情侣 连载中
魔鬼情侣
香汁桃桃
她,只是一个平淡无奇的贫穷女孩,回家途中救下了一个濒临死亡的男人,这男人竖着獠牙,浅浅的咬了女孩一口,竟奇迹般恢复了!女孩想起近日有关与“血......
13.5万字8个月前
殊途:我要把你弄脏 连载中
殊途:我要把你弄脏
食人龟-
【已签约】刚满18岁的女主成希烈,突然发现自己看到了平常看不到的东西——妖怪。而自己最好的朋友尼尼,竟然也是妖怪?她的人生从此发生翻天覆地的......
16.0万字8个月前
修仙模拟器:地狱开局也不怕 连载中
修仙模拟器:地狱开局也不怕
满城飞絮里
苏瑶,意外穿越修真界。她本普通人,却因神秘的人生模拟器,成为天选之女。由于体质特殊,苏瑶被迫进入声名狼藉的合欢宗。原以为这里是一群放浪形骸的......
1.1万字8个月前
丸野(暗恋) 连载中
丸野(暗恋)
樱桃弄丢了丸子
有甜有虐!更是日常!!
2.5万字8个月前