数学对象存在吗？

「任何令人满意的数学真理理论，都必须同时兼容一套可行的知识论——而这正是困难所在。」——保罗·贝纳塞拉夫《数学真理》（1973）

"存在无穷多个素数"是真的。那么"素数"是什么？ 它不在任何地方、不在任何时刻、不与任何东西发生因果作用。可我们又确实发现了关于它的事实——而且这些事实似乎不由我们决定：无论谁来算，2⁵⁷⁸⁸⁵ⁱ⁶¹ − 1 是不是素数只有一个答案。

这个张力是数学哲学的全部内容：数学看起来既像被发现的，又像不可能被发现的。

破除误解#

第一个误解：以为这是在问"数学有没有用"。 数学的有效性无人怀疑，问题在于这种有效性需要什么样的形而上学代价。有用不蕴含存在——虚构人物在解释文学史时也很有用。

第二个误解：以为"数学是人造的"就解决了问题。 如果数学只是约定，为什么它会约束我们？没有人可以约定出"存在最大的素数"。任何把数学还原为约定的方案，都必须解释这种不由人的顽固性。

第三个误解：以为这个争论对数学实践没有影响。 它影响的是什么算作证据：集合论中大基数公理的取舍、构造性数学对排中律的限制、以及计算机辅助证明是否算证明——每一处都预设了关于数学对象与数学知识的某个立场。

一、贝纳塞拉夫的两难：两种要求互相拆台#

这个问题在弗雷格那里曾有一个具体的形态。1879 年他发表《概念文字》，试图把算术还原为纯逻辑；1902 年，就在第二卷《算术基本法则》付印之际，罗素的信指出他的系统允许推出"属于自身当且仅当不属于自身的集合"，整个系统就此崩塌。这场灾难常被读成逻辑主义的终结，但它真正确立的是：数学对象不可能只是逻辑的外壳——要么它们有自己的存在方式，要么连算术的地位都需要重新解释。

1973 年，贝纳塞拉夫把整个问题压缩成了一个两难。任何数学哲学都要同时满足两条：

1. 语义学的统一：数学语句应当与普通语句用同一套语义解释。"存在大于 7 的素数"与"存在大于 7 座的城市"在语法上完全平行，因此前者也应被理解为断言某些对象存在。
2. 知识论的可行：我们必须能解释我们如何获得数学知识。当时被广泛接受的知识论要求认知者与被认知对象之间存在某种因果联系。

难处在于：满足第一条就把数学对象放在了时空之外，从而无法满足第二条；满足第二条就必须放弃第一条的自然语义。

这个两难的力量在于它不假定任何一方是对的——它只是指出两个我们都想要的东西无法兼得。此后半个世纪的数学哲学，基本上就是各家在这道题上给出的不同妥协。

这篇论文还有一个常被忽略的精确之处。贝纳塞拉夫明确说，第二条要求来自当时占上风的因果知识论——知识需要认知者与被认知者之间存在恰当的因果联系。他并不认为这条知识论必然正确，而是指出：只要接受它，柏拉图主义就要付知识论的代价；想不付，就得给出替代的知识理论。 这正是后来争论的分界线：柏拉图主义者主攻知识论替代方案，反柏拉图主义者主攻语义替代方案。

二、四条主要路线#

柏拉图主义最符合数学家的工作感受——他们几乎一致地说自己在"发现"而非"发明"。它的代价是知识论：一个不在因果网络中的对象，如何进入我们的信念？当代的回应通常放弃"因果知识论"这一前提，主张数学知识来自逻辑与直观的可靠过程，而这需要一套独立的辩护。哥德尔本人的回答最激进：我们确实"感知"数学对象，凭借一种与感性知觉不同的数学直觉——多数哲学家认为这只是把难题换了个名字，但它在集合论实践者中始终有市场。

虚构主义（菲尔德 1980）反其道而行：数学语句字面上为假，就像"福尔摩斯住在贝克街"为假一样，但它们在数学这个"故事"中为真。菲尔德的雄心是证明数学在科学中是可有可无的——他做了一个技术上极为艰难的工作：不使用数值的牛顿引力理论。它证明了这条路在原则上可行，但把它推广到现代物理（尤其是量子力学）至今没有成功。

菲尔德方案的技术核心是保守性：他要论证，在一个只谈具体物理对象的理论中加入数学，不会推出任何关于物理对象的、原本推不出的结论。如果这一点成立，数学就是一台不产出新事实的推理加速器——方便，但原则上可以绕行。 批评集中在两点：保守性结果的证明本身要用到更强的数学，虚构主义者似乎自己先承诺了数学；以及现代物理的数学结构嵌入得太深，至今没有人给出可用的无数学版本。

结构主义（贝纳塞拉夫本人的另一条思路，以及后来的沙皮罗、雷斯尼克）指出一个关键观察：数字 3 是什么并不重要，重要的是它在自然数序列中的位置。 这个观察来自他 1965 年《数不可能是的什么》中的著名例子：两个孩子在不同的集合论传统里学算术，一个学到 3 是集合 {∅, {∅}, {∅, {∅}}}，另一个学到 3 是 {{{∅}}}；两人后来在一切算术问题上意见一致，但若追问"3 究竟是哪个集合"，两人学到的"算术"会给出不同答案。既然数学从不裁决这个问题，数字就不是任何特定对象，而是序列中的位置。 这条路优雅地绕开了一部分问题，但把负担转移到了"结构本身是否存在"——结构若存在，我们同样有知识论难题；结构若不存在，结构主义就近似于一种伪装过的虚构主义。

三、不可或缺性论证：最有力的柏拉图主义辩护#

蒯因与普特南给出的论证不诉诸直观，而诉诸科学实践。它的前提是蒯因的自然主义本体论标准（1948 年《论有什么》提出）：判定"我们相信什么存在"的正确方法不是内省，而是看我们最好的理论在量词范围内承诺了什么；普特南 1971 年《逻辑哲学》把这条标准明确用到数学上。

1. 我们应当对我们最好的科学理论所不可或缺地量化的一切承担本体论承诺；
2. 数学实体在最好的科学理论中是不可或缺的；
3. 所以我们应当承认数学实体存在。

它的力量在于把数学的存在问题绑定到科学实在论上：如果你因为电子在最好的理论中不可或缺而相信电子存在，那么同样的标准要求你相信实数存在。拒绝数学对象而保留电子，需要说明这条双重标准的理由。

马蒂（1997）从科学实践内部提出了一个不同的异议：科学家自己从不把"理论量化到了什么"当作本体论承诺的依据——他们在方便时引入虚构的设定（理想流体、无摩擦平面）而毫无不安。如果不可或缺性论证想对科学保持自然主义的忠诚，它对科学共同体实际信念的刻画就得更准确。

反驳集中在第 2 步。菲尔德的纲领正是试图证明数学可被消去；另一条反驳（马蒂与莱恩）更釜底抽薪：科学理论中数学的作用是表征性的而非解释性的——它像地图上的坐标网，不可缺少，但不因此说明网格线真实存在。

科利万（2001）则把论证反过来升级：数学不只是被科学使用，它还在某些科学解释中扮演解释性角色——而科学实在论者恰恰以"最佳解释的推论"作为承认实体存在的标准。如果数学参与解释是真的，那么拒绝数学对象的科学实在论者要付出的，就不只是一条双重标准，而是他自己的存在判据。

四、这场争论在数学内部的回响#

它并不只发生在哲学系：

• 大基数公理：集合论中一系列强公理无法从标准公理证明，接受它们的理由部分是"它们让理论更丰富、后果更自然"。这个辩护方式可追溯至哥德尔 1947 年《什么是康托尔的连续统问题？》：他明确主张公理的辩护可以像物理假说一样来自"成果"。但哥德尔本人是坚定的柏拉图主义者，而这条方法论在虚构主义者手里同样可用——"成果"只需要数学有用，不需要数学为真——所以它对两难的裁决力其实有限。
• 构造性数学：直觉主义拒绝对无穷对象无条件使用排中律，因为"存在"意味着"能构造出来"。这是本体论立场直接改变了什么算作证明。 布劳威尔在二十世纪初的立场更彻底：数学不是关于既成对象的知识，而是心智构造的活动——在他的框架里，"存在一个永远不能被构造的数"本身就是假陈述。
• 计算机辅助证明：四色定理与开普勒猜想的证明依赖人力无法逐步复核的计算（前者由阿佩尔与哈肯 1977 年完成，后者由黑尔斯 1998 年宣布证明、2014 年经 Flyspeck 项目完成机器形式化验证）。如果数学真理是关于抽象对象的客观事实，那么证明的可读性只是实用要求；如果数学真理由人类的证明活动构成，问题就严重得多。

这三处都说明：形而上学立场不是数学的装饰，它在争议地带真的会改变判断。

五、最诚实的现状#

没有一条路线是无代价的，而这本身是这个问题最可靠的结论。柏拉图主义要为知识论买单，虚构主义要为有效性买单，结构主义把问题推后一步，形式主义解释不了意外。

值得注意的是数学家群体的实际态度：在工作时几乎所有人都是柏拉图主义者（"这个结构有它自己的性质，我在探索它"），在被追问时许多人转向形式主义（"不过是符号游戏罢了"）。这种分裂不是不严谨，而是准确反映了这个问题的状态——我们有一套极其成功的实践，却没有一套能配得上它的形而上学。

还有一个冷静的观察：这场争论一个多世纪以来的推进，主要发生在负担的重新分配上——每一代新立场都让对方多出一块需要解释的地盘，而没有一方被证明错误。这本身就是哲学进展在这个领域特有的形状。

跨域连接#

• 哥德尔不完备定理：不完备性常被误读为支持某一方，实际上它对双方都有话说——它表明任何足够强的形式系统都有为真而不可证的语句，这削弱了"数学真理=可证性"的形式主义等式；但它并不证明抽象对象存在，因为"为真"在这里是相对于标准模型而言的，而模型的地位恰恰是争论所在。
• 集合论：集合论既是数学的通用基础，也是这场争论最激烈的现场——同一个自然数可以用多种集合编码，实践对此的无动于衷是结构主义最好的证据；而连续统假设的独立性提出了更尖锐的问题：如果它既不能被证明也不能被否证，那么它是否有确定的真值？回答取决于你是否相信存在一个唯一的集合宇宙。
• 网络科学：应用数学中反复出现的"同一套形式结构描述完全不同的现象"（社交网络、神经连接、电网、引文），是不可或缺性论证的日常版本——要么承认这些系统确实共享某种抽象结构，要么解释为何一个虚构的框架能如此可靠地跨领域迁移；这个经验现象比任何思辨都更能让人体会柏拉图主义的吸引力。
• 大语言模型：模型在数学推理上的表现给了这场争论一个新的探针——如果数学能力可以从文本统计中大量涌现，这更像形式主义所描述的符号操作；但模型在需要真正新颖构造的问题上的失败，又提示"看出结构"与"操作符号"可能不是同一件事，而这正是双方分歧的核心。
• 什么是真实的？：数学对象是实在论争论中最纯粹的样本——它剥离了感官证据、因果作用与实用检验，只剩下"我们的最好理论要求它存在"这一条理由；因此对数学对象的态度，往往能准确预测一个人对理论实体、道德事实与可能世界的态度，它是形而上学立场的试金石。

参考文献#

1. Benacerraf, Paul. "Mathematical Truth." The Journal of Philosophy, vol. 70, no. 19, 1973, pp. 661–679.
2. Benacerraf, Paul. "What Numbers Could Not Be." The Philosophical Review, vol. 74, no. 1, 1965, pp. 47–73.
3. Field, Hartry. Science Without Numbers: A Defence of Nominalism. Princeton University Press, 1980.
4. Putnam, Hilary. Philosophy of Logic. Harper & Row, 1971.
5. Shapiro, Stewart. Philosophy of Mathematics: Structure and Ontology. Oxford University Press, 1997.
6. Quine, W. V. O. "On What There Is." The Review of Metaphysics, vol. 2, no. 5, 1948, pp. 21–38.
7. Leng, Mary. Mathematics and Reality. Oxford University Press, 2010.
8. Gödel, Kurt. "What Is Cantor's Continuum Problem?" The American Mathematical Monthly, vol. 54, no. 9, 1947, pp. 515–525.

延伸阅读#

1. Maddy, Penelope. Naturalism in Mathematics. Oxford University Press, 1997.
2. Colyvan, Mark. The Indispensability of Mathematics. Oxford University Press, 2001.
3. Balaguer, Mark. Platonism and Anti-Platonism in Mathematics. Oxford University Press, 1998.