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

数学多元论(一) (6-1)

是近年来数学哲学中逐渐流行的哲学立场。

数学多元论有不同的表述, 主要可分为实在论和反实在论意义上的多元论, 本文关注的主要是实在论意义上的多元论。

根据这种实在论立场, 任何一致的数学理论都刻画了本体论上具有相同地位的柏拉图世界, 其最典型的形态是集合论中的多宇宙论 (Set-theoretic Multiversism)。

与哥德尔 (K. Gödel) 和武丁 (W. H. Woodin) 等人所主张的单宇宙论 (Universism) (参见 Gödel; Woodin) 不同, 多宇宙论者认为存在多个甚至无穷个宇宙: V1 , V2 , ……这些集合宇宙与传统的单宇宙V具有相同的本体论地位。

它们的存在不仅可以解释许多数学结果 (如独立性问题), 而且在哲学上可以解决传统的单宇宙论所面临的著名的认识论问题———贝纳塞拉夫问题。

根据单宇宙论者的观点, 只存在一个唯一的柏拉图世界 (或集合论宇宙V), 且它们独立于我们的语言、 实践和心灵意志, 因此单宇宙论者无法解释我们关于V的信念的可靠性。

但对于多宇宙论者, 任何一个一致的数学理论都对应着一个独立存在的柏拉图世界, 数学信念的可靠性即一致性的可靠性, 后者很容易解释, 所以多宇宙论者可以很好地解决贝纳塞拉夫问题。

(参见Balaguer,1995; Linsky and Zalta)

多宇宙论者或多元论者可以解决贝纳塞拉夫问题是今天大多数哲学家的共识。

(参见Field, 1989; Clarke-Doane, 2020b; Warren, 2017)

本文将对这一共识提出挑战, 论证多宇宙论并不能有效地解释数学一致性的可靠性, 因此并不能成功地解决传统单宇宙论面临的贝纳塞拉夫问题。

在进入正式讨论之前, 我们有必要先简单介绍贝纳塞拉夫问题。

一 贝纳塞拉夫问题

贝纳塞拉夫问题有不同的表述, 其中最典型的是贝纳塞拉夫 (P. Benacerraf) 的原初表述和菲尔 德 (H.Field) 改善的表述。

(参见Benacerraf; Field, 1989) 根据贝纳塞拉夫原初的表述, 贝纳塞拉 夫问题可以构造如下:

(1) 如果柏拉图主义正确, 那么我们具有关于数学对象的知识;

(2) 任何合理的知识论都是因果性的;

(3) 数学对象是抽象的, 因此是因果惰性的 (causally inert);

(4) 所以我们不具有关于数学对象的知识;

(5) 所以柏拉图主义是错误的。

在过去50年里, 前提 (1) (2) (3) 都受到了柏拉图主义者 (或实在论者) 的各种质疑 (参见Steiner; Hale; Maddy; Linnebo), 其中对前提 (2) 的反驳是哲学家 (包括反柏拉图主义者) 公认为最主要的一个反驳。

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

相关小说

顾总历险记 连载中
顾总历险记
墨清愁
0.0万字8个月前
战陀聊天群(有CP) 连载中
战陀聊天群(有CP)
幻境之音
总之cp挺多的。
0.1万字8个月前
某天成为王的女儿之风华无双 连载中
某天成为王的女儿之风华无双
排骨小公举
一个奇怪的魔法世界,存在强大的国家,以及不知名的势力。传闻,幽昙婆罗族神圣神秘。百年诞生其圣女。只是,为何这一百年,出现两个?!灼灼其华与之......
3.1万字8个月前
天涯赤子心2 连载中
天涯赤子心2
月亮醒酒啦
根据电视剧大结局开始改编
1.0万字8个月前
灭魔之剑 连载中
灭魔之剑
心有灵犀_301988519
“幽冥帝君”你往哪里跑,把我的女人还给我,就算是神我也要灭了你……!”牛亮在爱情事业都失败的情况下,大受打击,飞奔到武夷山顶,三天三夜纹风不......
28.9万字8个月前
林深有只鹿 连载中
林深有只鹿
茶茶茶味奶茶
各自为王的妖族,被魔军击溃一角,剩余五大妖族联合对抗,用不屈傲骨谱写战歌。几段情深,在这十清九浊的沙场之上,谁又撕心裂肺,反目成仇?20年9......
11.9万字8个月前