雅布洛(2005,2002a,2002b)也进一步论证了这样的观点(值得注意的是,他在这里的观点很大程度上借鉴了沃尔顿(1990)的工作)。雅布洛声称,数学在科学中是作为一种表征性的辅助工具出现的,而要做好这一点,并不需要是真的。但他的观点有些不同,因为他认为柏拉图主义式的经验理论语句,至少是这些语句中的典型,事实上是真的,因为它们的真理内容是唯名论的。举个简单的例子,看下面这个语句:
(M)火星卫星的数量是2。雅布洛认为,像(M)这样的语句的典型语句类似于普通的比喻(figurative)表达的例子,就像这样的语句:(A)妈妈平均有2.4个孩子。
(A)的句法形式似乎表明它所指的是一个实际的对象,即所谓的“普通妈妈”,但它并非如此。这样理解它就会误解人们在说像(A)这样的语句时的意思。因此,根据雅布洛的观点,虽然看起来(M)是在部分地对一个被称为2的实际对象提出主张,但实际上并非如此。相反,(M)的真正内容(即这类语句的典型语句的真正含义)是有两颗火星卫星。当然,这种说法(即有两个火星卫星)并不是关于数字2或任何其他抽象对象的说法,它在唯名论上是可容许的。那么,总而言之,这里的想法是,关于纯数学的虚构主义者可以认可关于混合数学语句的释义唯名论观点。
值得注意的是,雅布洛似乎也认为,至少有时,纯数学语句有真的内容(即,真的说了些什么)是名副其实的。例如,他认为有时像“3+2=5”这样的语句说的是:如果有3个F和2个G,那么(除非重叠)就有5个F或G。此外,雅布洛有时似乎暗示了这样一种观点:有时,当我们说出“3是质数”这样的语句时,我们真正说的是“3是质数”根据算术的理论(或故事、游戏)是真的或可以接受的。然而,并不清楚雅布洛对这个观点有多认真。无论如何,似乎很清楚,如果他认可这个观点的话,他认为它只在某些语境中是真的,即只在某些纯数学语句中是真的。不管雅布洛的观点是什么,不过,重要的是要注意到,这种一般的观点(即认为纯数学语句有真的内容,或者真的说了些什么,是唯名论的和真的观点)根本不是虚构主义的观点,因为这种观点在这里已经被定义了。它们更多的是释义唯名论的版本,所以它们要受到第1.2节中给出的反对该观点的论证。我们将在第2.3节中(非常简短地)回到雅布洛的观点是否真的是虚构主义的一个版本的问题上。)
有关雅布洛的观点,请参阅普莱巴尼(2018)贝托、普莱巴尼(2015)。
值得注意的是,唯名论简易进路的支持者并不只是因为他们的观点比菲尔德的观点“更容易”,或者因为它不涉及对我们的经验理论可以被唯名论化这一有争议的说法的承诺。梅利亚、雅布洛和巴拉格尔都认为,这种观点独立地优于菲尔德的观点,因为它更符合实际的科学实践。
还值得注意的是,对蒯因和普特南的不可或缺性论证的简易进路对策是由那些反对虚构主义的人发展起来的,例如:索伯(1993)、麦迪(1995、1997)、莫滕森(1998)和阿祖尼(2004)。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。