二、“存在”、“是”、“变元”和本体论

正如上一部分我们所看到的，日常理解的“存在”仍然具有经验上的规定性，比如，时间上的规定性、空间上的规定性。王太庆不赞成用“存在”来翻译“Being”的一个理由就是认为存在和时间、空间不可分。但不可否认的是，“存在”即使不是最抽象的概念，也是一个高度抽象的概念，过去把“Being”翻译成“存在”，也正是基于这个概念的这种高度抽象性。此外，即使是“Being”这个词的希腊文原文，除了系词用法以外，也确实有存在用法。所以，从“存在”到“是”，是我们理解本体论的一个关键。对此，笔者有两点看法。

其一，从“存在”到“是”是本体论最终排除经验规定性而达到逻辑规定性的一个过程。诚如王太庆所言，“存在”常常是和“时空”联系在一起的。而时间和空间，自康德以来一直到斯特劳森，都被认为是经验的框架，经验所及的任何东西，都是在时空之中的。“存在”正是依凭它和时间、空间这样一种概念上的联系而仍然与经验保持着最后一点关联，这也是为什么我们可以仍然有意义地来谈论某物不存在的原因。而要达到本体论上的逻辑规定性，就必须连这最后一点点的经验关联也一并排除。于是我们可以看到，在巴门尼德那里，就要论证“是”的不变性，因为：“希腊人的观念，变包括变异和空间的运动。巴门尼德正是从这两方面来说明‘是’是不变的。”也就是说，巴门尼德的论证，正是要排除时间和空间上的规定性。此外，根据语言学的研究，希腊文“是”的印欧语词根之一是bhu，有“生成”的意思，而在柏拉图那里，他便有意识地把“是”中的这层意思剔除出去了。而到了黑格尔那里，他更是明确地把“是”界定为纯粹的无规定性，“在它无规定性的直接性中，它仅仅等于它自己……它是纯无规定性和空。

在现代分析哲学中，由于现代逻辑的突破性进展，出现了新的谓词逻辑，“存在”虽然仍可以是一个传统意义上的语法谓词，但却不是一阶逻辑意义上的谓词，在一阶谓词逻辑中，“存在”成为一个量词。美国分析哲学家蒯因则更是在此基础上提出了“存在就是成为变元的值”(to be is to be the value of a variant)的本体论承诺学说。从表面上看，这些分析哲学家从现代逻辑的角度对“存在”的讨论似乎与传统哲学本体论对“是”的讨论不一样，但仔细分析起来，却是一脉相承的，这种一脉相承恰恰就体现在这种逻辑的传统上。无论是巴门尼德、柏拉图还是黑格尔，都是要摆脱一切经验规定性而达到纯粹的逻辑规定性，但他们使用的始终是自然语言。而现代逻辑的特点就是符号化和形式化，通过使用一套人工语言，实现语形和语义的完全分离。这种语形和语义分离的过程，正是摆脱经验规定性的过程。对于谓词逻辑中的一个变元来说，它就是一个符号而已，“变项的运用是表示整个推理系列中关于‘任一’的某种运用的自我同一性”。这恰恰就如黑格尔所说，“它仅仅等于自己”，而在变元的值域确定以前，它就是纯粹无规定性的。

通过对分析哲学和传统哲学的比较，本体论的逻辑规定性就进一步明显地展现在我们面前了。