论“存在”

On“Exist”

在一阶逻辑的形式语言中,“存在”是一阶量词,但作为谓词的“存在”也是可以表达的。肯定“存在”的量词用法并不意味着必须否定作为谓词的“存在”。蒯因消除单称句中的名字、将“存在”一律处理为量词的做法并不能解决“不存在”难题。承认在不同的理论之间的确有本体论承诺的差异,就必须承认“存在”的谓词用法。通过在逻辑语言中表示出不同意义的“存在”谓词,可以解决“不存在”难题。

“Exist”is a quantifier in the formal language of first-order logic,and“exist”as predicate can also be expressed in this language.To affirm the existential quantifier does not cause to deny“exist”as predicate.The approach Quine used by eliminating the proper name from a singular existential statement and treating all“exists”as quantifier cannot solve the“not exist”problem.Accepting the difference between ontological commitments of different theories means to accept the usage of“exist”as predicate.The“not exist”problem can be solved by representing different“exists”as predicate.