存在是不是个属性？哲学家已经吵了两百年
内容提要
哲学界围绕“存在”是否为属性争论两百年。一派认为“存在”是谓词，描述事物属性；另一派（康德、弗雷格、罗素、奎因）视其为量词，非属性。文章指出两派各有局限，实为自然语言与形式语言规则冲突，但“存在”与“无”的区别不可回避，任何讨论都预设此区别。
延伸解读
自然语言与形式语言的规则冲突
文章指出，两派争论的根源在于自然语言和形式语言（逻辑）的规则不兼容。在日常语言中，“存在”像形容词一样修饰对象，而在逻辑系统中，它被设计为量词或操作符。逻辑学家用人工语言规则否定自然语言习惯，反方则用自然语言直觉否定人工语言设计，双方都在用各自的规则裁判对方的游戏。理解这一点，有助于避免在讨论中混淆两种语言层次。
量词派的隐藏预设
量词派将“存在”转化为存在量词∃x，看似避免了“不存在的东西也有属性”的难题，但文章指出，∃x的使用预设了论域中对象的存在可能性。论域中必须有“马”这个选项，意味着马被承认为“可能有的东西”，这本身就是一种存在相关属性。因此，量词并未消灭“存在作为属性”，只是将其藏入论域预设中，这一批评值得关注。
“存在”与“无”的区别不可回避
文章强调，无论两派如何争论，一个朴素事实不可回避：任何谈论都预设了被谈论对象与“无”之间的区别。椅子存在与“什么都没有”不同，这种区别是实实在在的。即使逻辑系统再精密，也无法完美解释“这把椅子跟没有的区别”这句话。这一观点提醒读者，在哲学讨论中，基本直觉有时比形式化工具更根本。
Q&A
存在是不是一个属性？哲学界对此有哪些主要观点？
哲学界对此争论了两百年。一派认为存在是属性，即一阶谓词，可以直接描述事物；另一派以康德、弗雷格、罗素、奎因为代表，认为存在不是属性，而是量词或逻辑操作符。两派各有局限，实际上反映了自然语言与形式语言规则的冲突。
为什么逻辑学家认为存在不是属性？
逻辑学家认为如果存在是属性，会导致荒谬结论，如“上帝不存在”意味着上帝缺少一个属性，但缺少存在的东西还能叫上帝吗？另外，“独角兽存在”会让不存在的东西拥有属性。因此，存在被重新解释为量词，如∃x(Hx)，表示存在某个x是马，从而避免这些麻烦。
存在量词∃x在逻辑中如何表示存在？它有什么预设？
存在量词∃x表示“存在某个x”，例如“马存在”写成∃x(Hx)。但量词的使用预设了论域中可能有马，即马具有“可存在性”，这本身就是一种存在相关属性。因此，量词并没有消灭存在作为属性，只是把它藏进了论域的预设里。
谓词派如何论证存在是属性？
谓词派认为，任何能被当作主语的东西都必须与“无”区分开，要么实存，要么具有潜能。这种区分本身就是一种属性。例如，指着一把椅子说它存在，就是在说它与“无”有区别，这个区别就是椅子的存在性。
文章认为两派争论的根源是什么？
文章认为争论的根源在于自然语言和形式语言规则的冲突。在自然语言中，“存在”像形容词一样使用；在形式语言中，它被设计为量词。两派各自用自己语言的规则去否定对方，但实际上是两套规则不兼容，没有谁对谁错。
文章对“存在”争论的最终结论是什么？
文章认为两派都不是全对。逻辑学家把“好用”当成“正确”，而谓词派把预设直接等同于“存在是普通属性”。真正不可回避的事实是：任何谈论都预设了被谈论对象与“无”的区别。这个区别是实实在在的，但“存在”在自然语言和形式语言中的功能不同，两套规则不兼容。
“方的圆”这个例子在文章中说明了什么？
“方的圆”能作为概念被讨论，是因为“方”和“圆”本身是可能的、有定义的，组合它们的原材料是可能的。因此，它虽然既不是实际存在也不是可能存在，但至少占据了“可被提及”的位置，这已经是一种存在相关状态。这反驳了“既不是实际也不是可能”的东西可以完全脱离存在的观点。
