存在之物与存在之本质

本主题探讨何为存在以及如何确定存在之物。它讨论了“存在”是否指代个体的属性，是否由逻辑量词捕捉，或者是否分裂为多种意义。

Definition

对存在的研究关注某物“是”的意义，以及我们据以确定某一理论或世界观所接受实体的标准。

Scope

涵盖存在谓词的分析、弗雷格-罗素的量化解释、奎因的本体论承诺标准、存在的单义性与多义性之争，以及真负存在句的难题。

Core questions

• 存在是客体所具有的属性，还是量词所表达的东西？
• “存在”是否只有一个单一的、明确的意义？
• 如果“X不存在”似乎需要X来指称，那么它如何能是真的？
• 我们根据什么标准来判断一个理论所承诺的是什么？

Key concepts

• 存在谓词
• 存在量词
• 本体论承诺
• 负存在句
• 存在的单义性

Key theories

弗雷格-罗素量化观

存在不是个体的第一阶谓词，而是由存在量词表达的第二阶属性；说老虎存在，就是说老虎这个概念被实例化了。

奎因的承诺标准

我们对我们最好的理论所量化的实体负有本体论承诺：存在就是成为一个约束变量的值。

History

康德在其对本体论论证的批判中否认存在是一个实在的谓词。弗雷格和罗素在新逻辑中将存在形式化为量词。奎因将本体论承诺视为规范化理论的问题，当代元本体论则争论存在是“薄”的还是“厚”的。

Debates

存在是单义的吗？

奎因主义者认为，存在只有一个由量词捕捉的意义；多元论者和新迈农主义者则认为，不同种类的事物以不同的方式存在。

Key figures

• Gottlob Frege
• Bertrand Russell
• W. V. O. Quine
• Immanuel Kant
• Peter van Inwagen

Seminal works

• quine1948
• frege1884

Frequently asked questions

“存在”是否像“是红色的”一样是一个谓词？

根据主流的弗雷格-罗素观点，不是：存在是由量词表达的，而不是像颜色那样归属于个体。一些哲学家对此持异议，并将存在视为一种真实的属性。