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

哈姆金斯的集合论多宇宙观及其辩护策略(一) (7-1)

李娜,叶发扬

文章来源:《自然辩证法研究》2022年第12期

李娜,1978年2月入河南大学数学系读本科,后获理学学士学位,1989年7月获中国科学院软件研究所理学硕士学位。1983年起在河南大学政治系工作,1994年—2000年任河南大学政治系副教授,2000年任教授。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。

叶发扬,南开大学哲学院2020级逻辑学专业博士研究生,主要从事现代逻辑研究。

文章摘要

近年来,哈姆金斯的集合论多宇宙观受到广泛关注。

这种多宇宙观以集合论实践中的多样化模型和元数学上的不同集合概念断言为基点,诉诸类比论证、力迫的自然主义解释和理论的实用价值进行辩护。

通过对这三大策略的比较分析发现:实用价值辩护虽然成功但非辩护之根本,类比论证的结论是或然性的,而自然主义解释只是一种形而上学的哲学辩护,并未沿承传统方法对力迫的形式技术辩护进路。

在形式技术进路上,继续寻求解释集合力迫的新方法似乎举步维艰,而从技术源头上引入类力迫也许才是可行的备选方案。

关键词:哈姆金斯;集合论;多宇宙观;力迫扩张‬

全文推送

自康托尔(Georg Cantor)创立集合论以来,集合论单宇宙观(universe view)一直主导着集合论的发展。

它声称存在唯一绝对的集合概念和集合宇宙,真理亦是绝对的。

然而随着选择公理AC和连续统假设CH相继被哥德尔(Kurt Gödel)和科恩(Paul Cohen)证明独立于公理化集合论ZF,特别是力迫法的使用,爆发式地产生了诸多集合论模型。

由此单宇宙观愈发困难于集合论实践的解释,因而一种与之对立的哲学立场——集合论多宇宙观(multiverse view)应运而生。

近年来,多宇宙观与单宇宙观之争更是成为了集合论哲学的热议主题,关于多宇宙的研究成果也日臻丰硕。

如哈姆金斯(Joel David Hamkins)的实在论多宇宙、伍丁(W.Hugh Woodin)的脱殊多宇宙(generic-multi-verse)、斯蒂尔(John R.Steel)的多宇宙语言LMV和多宇宙理论MV。

其中受关注度最高、影响最大、直接挑战单宇宙观的当属哈姆金斯的多宇宙观。

其集合论多宇宙观被高度概括为:“存在多样化的不同集合概念,每个概念在相应的集合论宇宙中被实例化,表现出不同的集合论真理。”

本文旨在廓清哈姆金斯集合论多宇宙观的基本逻辑脉络,着重探究其主要的辩护策略及其困境,探索更适当的可能性辩护进路。

一、哈姆金斯集合论多宇宙观的两个逻辑基点

哈姆金斯集合论多宇宙观的提出,离不开两个重要的逻辑基点:一是集合论实践中存在的多样化模型,二是关于不同集合概念的元数学断言。

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

相关小说

超自然联盟社 连载中
超自然联盟社
童年女神蓝若冰
妖怪修仙者和外星发明家还有精灵魔法师再加上异能者合租同居在一个闹鬼别墅里面并组成超自然联盟团队一起生活再加冒险的故事
0.1万字9个月前
伽小婉联合爆迫星星球 连载中
伽小婉联合爆迫星星球
是凌风呀
我之前不听劝看了S18就那句“你能忪开我的手吗?”不是就你忪手是吧!炸了!把星星球炸了!
0.1万字8个月前
月光落下有朝阳 连载中
月光落下有朝阳
芋泥盒子
初来乍到,还请诸位多多关照,文笔不好,各位小哥哥小姐姐见谅哦年少的南时澈:眼神不屑,语气轻佻:你就是那个传说中奶凶奶凶的女魔头年少的寒姿:轻......
3.4万字8个月前
棠花殇,棠花缘 连载中
棠花殇,棠花缘
楠%
楚凌在李泽雨的怀中渐渐冷静下来,血红色的竖瞳渐渐恢复正常,那暴虐的戾气也渐渐消散,楚凌喃喃道:“泽?”随后没了动静…
30.3万字8个月前
晓月几时有 连载中
晓月几时有
阿殷
上来就穿,还要修炼?不要紧,咱慢慢来。冥王给我当外挂,一天一级就是这么牛。丹药、阵法、灵兽都来吧!本公主可是神!不服?来战?星族少主,冥王他......
8.6万字8个月前
宿主是只美人鱼 连载中
宿主是只美人鱼
霖汐汐子
【万人迷+美而不自知+无cp+无逻辑】海姝是一只绝无仅有的美人鱼因此被万物所偏爱,身边是一群群单纯的海洋生物,每天开心自在结果,本以为会一直......
5.7万字8个月前