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