【SEP】数学与哲学虚构主义（一） (11-3)

2、如果像“4是偶数”这样的语句应该按字面意思来理解，这个语句是真的。那么实际上一定存在着它们所涉及的那种对象；例如：“4是偶数”应该被理解为对数字4的性质做出的直接断言，如果这句话从字面上看是真的，那么实际上一定存在着数字4这样的东西；因此，从1和2来看：

3、如果“4是偶数”这样的语句是真的，那么就有数学对象这样的东西；

4、如果有数学对象这样的东西，那么它们就是抽象对象，即非时空对象；例如，如果有数字4这样的东西，那么它就是一个抽象对象，而不是物理或心理对象；

5、但是根本不存在抽象物体这种东西。因此，根据否后律由4和5可以得出结论：

6、没有数学对象这种东西。因此，根据否后律由3和6可知：

7、“4是偶数”这样的语句不是真的（但由于虚构主义者给出的看法正是不是真的，所以虚构主义是正确的）。

这个论证中的三个推论（即3、6、7）都是非常明确有效的，所以唯一的问题是四个基本前提1、2、4和5是否为真。而这个论证方式的好处是，从这些前提出发，每一个都可以成为不同于虚构主义的版本。因此，1至7中的论证实际上是一个更长的论证的外壳，其中包括支持其基本前提的分论证，同时也包括反对虚构主义的各种替代方案。

鉴于此，我们可以说，从虚构主义出发有五种方向（或者说，有五种方案）。否定1的人可以称为释义唯名论者（Paraphrase Nominalism）；否定2的人可以称为紧缩真理唯名论者；否定4的人也是紧缩真理唯名论者；否定5的人是柏拉图主义者。为了激发他们的观点，虚构主义者需要提供反对所有观点的论证。

虚构主义者在这里最简单的工作是驳斥各种反柏拉图主义的观点。所有这些观点——释义唯名论、紧缩真理唯名论、物理主义和心理主义——都可以理解为（如同虚构主义）对柏拉图主义的反应。柏拉图主义是一种非常有吸引力的观点，因为它为数学实践和数学话语提供了一种极其自然和谐的说明。但尽管如此，许多哲学家仍不认可柏拉图主义，因为他们无法接受其本体论。换句话说，他们根本不相信有抽象对象这种东西。正因为如此，在数学哲学领域所做的许多工作都致力于避免陷入柏拉图主义。特别是释义唯名论、紧缩真理唯名论、物理主义和心理主义，它们都可以从这些方面来理解。它们都试图破坏关于数学语句真理条件的柏拉图主义观点。但是，正如下文将明确指出的那样，所有这些观点都存在着严重的问题。这就是虚构主义的作用：它给予数学语句的真理条件的柏拉图主义观点，但仍然否认柏拉图主义者的本体论论证，即存在着抽象对象。这使得虚构主义与其他反柏拉图主义的观点有一个重要的不同。我们可以通过注意到柏拉图主义涉及两个不同的论题：一个是语义论题，另一个是本体论题来体会这一点。语义论是关于普通数学语句的真理条件的经验性假说，本体论是关于抽象对象存在的深层形而上学假说。每一个版本的反柏拉图主义都拒绝柏拉图主义者的本体论假说，所有非虚构主义版本的反柏拉图主义也都拒绝语义论。虚构主义是唯一不拒绝语义论的反柏拉图主义观点。这就是为什么虚构主义会比其他版本的反柏拉图主义显得更有吸引力的原因，因为柏拉图主义者的语义假说是极其可信的，而且动机良好。因此，拒绝这一假说的反柏拉图主义的版本会显得不可信和没有动机。

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