编辑推荐：
摘要：研究人员采用一种受柏拉图启发的方法论实在论立场，通过论证数学中存在与真理的顺序与日常语言相反，从而打破了贝纳塞拉夫的困境。研究表明，方法论实在论既区别于形而上学实在论，也区别于非实在论（包括唯名论、形式主义和虚构主义），并且出于相同的原因而与它们各自不同
摘要：研究人员采用一种受柏拉图启发的方法论实在论立场，通过论证数学中存在与真理的顺序与日常语言相反，从而打破了贝纳塞拉夫的困境。研究表明，方法论实在论既区别于形而上学实在论，也区别于非实在论（包括唯名论、形式主义和虚构主义），并且出于相同的原因而与它们各自不同。方法论实在论假定数学存在是数学真理的结果，而后者之所以面临著名的困境，是因为它们假定数学真理是形而上学或神话学意义上“固定”的数学存在，或者逻辑上“固定”的数学一致性的结果。
论文解读：从柏拉图方法论到数学结构主义实在论——打破贝纳塞拉夫困境
一、研究背景与问题
数学哲学中长期存在一场看似无休止的争论，即数学实在论与非实在论之争。一方是形而上学实在论者，主张数学对象存在于某种独立于我们的领域中，正是凭借对这些对象的指称，关于它们的陈述才为真。另一方是非实在论者，认为任何此类实在论立场在认识论上都站不住脚，因此应运用唯名论、形式主义或虚构主义的方式来解释关于这些对象的谈论。这一争论的核心困境由贝纳塞拉夫在其1973年的著名论文中提出：要么接受共享的塔尔斯基语义学（Tarskian semantics）而成为形而上学实在论者，从而面临无法解释的认识论通达问题；要么拥有合理的因果认识论而成为非实在论者，却无法维持共享语义学。两种立场似乎都被这一困境所阻遏。
二、研究内容与结论
为了突破这一僵局，研究人员旨在开辟一条更符合数学实践的中点实在论立场，通过厘清方法论考量与形而上学考量的区别来实现这一目标。研究得出的核心结论是：方法论实在论假定数学存在是数学真理的结果，而非实在论则假定数学真理是形而上学的或神话学意义上“固定”的数学存在或逻辑上“固定”的一致性的结果。基于此，研究人员成功打破了贝纳塞拉夫的困境。
三、关键技术方法
本研究主要采用以下关键理论方法：
- 1.
柏拉图的假设法（hypothetical method）：将数学家的假设法与哲学家的辩证法区分开来，数学家为解决数学问题，将假设当作仿佛是真的第一原理来使用，由此向下推理至结论。
- 2.
希尔伯特的公理法（axiomatic method）：将柏拉图的假设法转换为当代数学的公理方法，不再从仿佛为真的假设出发，而是从仿佛一致的公理出发，并将公理本身视为稳定定义。
- 3.
结构主义转向（structuralist shift）：从将数学对象视为独立存在的实体，转向将其视为结构中的位置（positions）。
- 4.
范畴论作为组织语言：将范畴论用作谈论各类结构本身的方法论框架，而非本体论基础。
- 5.
相对一致性证明：在元层次上，将相对一致性视为一致性制造者（consistency-maker），以保证公理的可满足性。
四、研究结果
第2节：柏拉图的方法论实在论
通过详细解读柏拉图的《理想国》和《美诺篇》，研究人员指出柏拉图清晰地区分了数学方法与哲学方法。数学家的假设法始于将假设当作仿佛真的第一原理，并由此向下推理至解决问题所需的结论；哲学家的辩证法则是从一个作为假设的假设向上推理至一个无假设的第一原理。由于方法不同，其对象也必然不同：数学对象是被假设的对象，是思想的对象；哲学对象（即型相forms）是稳定的形而上学对象。因此，在数学中，仿佛存在是仿佛真理的结果，即真理是存在制造者（truth is an existence-maker）；而在哲学中，真理是存在的结果，即存在是真理制造者（existence is a truth-maker）。柏拉图本人并非数学柏拉图主义者。
第3节：方法论结构主义
研究人员将柏拉图的假设法延伸至当代数学的公理方法，并提出了方法论结构主义的解释。当数学家说某个数学对象存在时，这意味着为了解决数学问题，他们将公理当作仿佛一致的第一原理来处理，使得满足公理的陈述可被当作仿佛为真，进而他们将这些陈述视为锚定于稳定定义的对象，即作为满足公理的任何结构中的位置。这种方法论立场不同于形式主义的“如果-那么主义”（if-thenism）和哲学化的结构主义，它避免了在元层次上对形而上学理论的依赖。研究人员特别指出，范畴论应被用作组织各类结构本身的语言框架，而非本体论基础，并采取多元论的逻辑路线。
第4节：打破贝纳塞拉夫困境
研究人员运用方法论实在论来打破贝纳塞拉夫困境。在元层次上，研究人员将相对一致性视为一致性制造者；在数学内部的对象层次上，一致性被视为真理制造者，真理则被视为存在制造者。因此，数学对象不是形而上学对象，研究人员拥有合理的认识论：通过公理方法和在解决数学问题中的成功应用来认识数学对象。同时，与形而上学实在论一样，研究人员拥有共享的塔尔斯基语义学。然而，数学语言与日常语言的关键区别在于，数学中真理与存在的解释顺序是相反的：真理是存在制造者，而日常语言中存在是真理制造者。通过与虚构主义的对比，研究人员进一步澄清了方法论实在论与虚构主义的区别：前者的“仿佛”一致性是通过数学上的相对一致性证明来证成的，而后者的“仿佛”存在则源于非实在论的哲学立场。
五、总结与结论
研究结论表明，方法论实在论既区别于形而上学实在论，也区别于非实在论（包括唯名论、形式主义和虚构主义），并且出于相同的原因而与它们各自不同。方法论实在论假定数学存在是数学真理的结果，而后者都假定数学真理是形而上学或神话学意义上“固定”的数学存在，或者逻辑上“固定”的一致性的结果。通过这一中点立场，贝纳塞拉夫困境被成功打破：数学对象既不是实在论者的形而上学对象，也不是虚构主义者的神话学对象，即使数学中真理与存在的顺序与日常语言相反，数学话语与日常话语仍然拥有共享的语义学。
