可以说,紧缩唯名论者正在改变辩论的规则。他们指出,数学家推导出“有F”这样的语句,但鉴于量词承诺和本体论承诺应加以区分,他们坚持认为有关对象并不存在。这种策略与之前讨论的唯名论版本中的策略有根本的不同。它相当于否定了不可或缺性论证的第一个前提(我们应该在本体论上致力于所有并且只有那些对我们关于世界的最佳理论不可或缺的实体)。即使对数学实体的量化对于我们关于世界的最佳理论是不可或缺的(因此,紧缩唯名论者接受了论证的第二个前提),这一事实并不意味着这些实体存在。毕竟,鉴于对不可或缺性论证的第一个前提的拒绝,我们可以对不存在的对象进行量化。
但是,紧缩唯名论者真的改变了辩论的规则吗?如果蒯因的本体论承诺的标准提供了这样的规则,那么他们就是。但我们为什么要承认蒯因的标准发挥了这样的作用呢?紧缩唯名论者挑战了本体论辩论中这一深入人心的假设。通过这样做,他们为数学哲学中一种独特形式的唯名论的发展铺平了道路。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。