蒯因本体论承诺(浅析奎因的本体论承诺)

所谓本体论是指对对世界的起源和性质的研究，即存在和对象本身的科学。按照奎因，的说法，本体论既简单又复杂。原因很简单，我们可以用三个英语词来问这个问题：“有什么？”(“存在什么？”)，而对可以用一个词来回答这个问题，那就是“一切”，而且每个人都会承认这个答案是真实的。事实上，这只是意味着有东西存在。本体论之所以复杂，是因为当涉及到具体的例子时，人们总是有不同的看法。因此，这个问题一直没有得到解决。

为了避免误解，奎因指出本体论实际上包含两个不同层次的问题：一是事实问题，它把世界看作对的形象，讨论“实际存在什么”的问题，如物理对形象的存在，如“神庙”、“桌子”和“椅子”；另一个是承诺问题，它以语言为对，的形象，讨论“理论或学说决定什么存在”的问题，即理论或学说承诺什么存在的问题。奎因认为，前者是关于“本体论的事实”，也就是说，现实世界中实际上存在着某种东西；后者是关于语言使用中的“本体论承诺”。它们属于两个根本不同的研究领域，有着本质的区别。因此，在谈到本体论时，奎因主张回避前者，即本体论事实问题，他认为这是一个科学家需要努力研究的领域。倡导对本体论承诺的研究，关注一个理论或学说承诺存在什么，从而避免传统哲学中关于存在什么的无休止的争论，把关于本体论事实的争论变成关于语言的争论，把存在的问题从事实转向承诺。

第二，本体论承诺

奎因强调的本体论承诺只与某种理论或学说所说的东西方之间存在的东西有关，而与现实世界中存在的东西无关。根据奎因，的承诺是一个理论上的协议。当某一理论或学说断言某一事物的存在时，它实际上承诺了包含该事物的本体论，也就是说，它同意该事物存在于该理论或学说中。例如，当有人说“存在”时，这个人承诺一个包含飞马；的本体；当有人说“有超过一百万个素数”时，他承诺一个包含素数的本体。

第三，本体论承诺的承担者

因为本体论承诺是一种断言某物存在的理论或学说。因此，我们不可避免地会想到一个问题，那就是，在一个理论中，是什么因素使它做出本体论承诺？或者，在理论上，本体论承诺的承担者是什么？

(一)奎因是本体论承诺的承担者

一些哲学家认为一个单独的名词或名称是本体论承诺的承担者，也就是说，当我们认为包含某个词或名称的陈述是有意义的时，我们已经假设了这个词所指的对象的存在。

然而，奎因不同意这一观点。他用罗素描述理论和一阶逻辑分析法驳斥了这一观点。根据奎因，的说法，对这个名字与本体论完全无关，因为一个单一的名词或名词可以被描述为转化，而罗素已经证明了这种描述是可以消除的。例如，“柏拉图”这个名字可以改写为对“《理想国》的作者”的描述，而“《理想国》的作者是哲学家”这句话可以通过一阶逻辑分析变成合取命题：“至少有一个X写了《理想国》，这个X是哲学家。”在这个命题中，只剩下单个变量、量词和谓词，而描述被删除了。因此，奎因证明了一个单一的名词或名称不是本体论承诺的承担者。

(二)奎因也是本体论承诺的承担者

一些哲学家认为谓词作为某些事物的共同属性而存在。例如，在他们看来，“有红房子、红玫瑰和红夕阳”有一个共同点，那就是属性“红色”的全部含义。因此，这些哲学家认为属性的存在比红房子、红玫瑰和红日落的存在更明显和普通。

根据奎因，的说法，人们可以承认有红色的房子、红色的玫瑰和红色的日落，但否认它们有任何共同之处。因为抽象名词不是事物的名称，尽管它们可以被一个谓词代替，这个谓词并不表示一个单一的实体。例如，抽象名词“红性”可以用谓词“red”或“red对image”来表示。虽然“红色”或“红色对象”这两个词适用于各种各样的个体事物，如对，的红房子、红玫瑰和红日落，但没有其他东西(无论是个体的还是非个体的)是用“红性”这个词来命名的。因此，在奎因看来，谓词不足以让我们做出本体论承诺。

(3)奎因指出：“存在是约束变量的值。”

在奎因逐一驳斥和否定了对的个别术语、名称和谓词之后，他终于提出了著名的口号“存在就是约束变量的值”。奎因指出：“我们参与本体论承诺的唯一途径是通过限制变量的使用来作出本体论承诺。”所谓的“约束变量”是带有量词和数量约束的变量。比如“某物”和“一切”都是约束变量。奎因在《论何物存在》中明确指出：“我们的整个本体论，不管它可能是什么样的本体论，都在这些数量变量的范围之内：‘有某物’，‘无’和‘一切’。只有当并且仅当我们的判断是真的，我们必须把所谓的假定的事物看作是在我们的变量所涉及的事物的范围之内，我们才能确信一个特殊的本体论。例如，“有些狗是白色的”意味着有些东西是狗和白色的；为了使这种说法正确，约束变量“某些东西”中涉及的东西必须包括一些白色的狗，但不是狗或白色的。

因此，奎因认为，本体论承诺的承担者是约束变量的价值。在本体论中，我们关注约束变量的值不是为了知道什么存在，而是为了知道在我们或他人的陈述或学说中存在什么。如果你想使陈述或理论的结论为真，你必须把陈述或理论的假设包含在理论的约束变量中。