对现代逻辑中量词的逻辑哲学省察

量词是现代逻辑的关键性概念,对量词的解释既是现代逻辑、也是现代哲学的重要问题。首先,现代逻辑中的量词在本质上是一个二阶函数,量词的这种特点克服了传统逻辑量词的局限性,并使得现代逻辑的语言处理能力大为增强,但同时也使得对量词的语义解释涉及了很多概念和理论。其次,两种对量词的解释方案——指称量化和替换量化,它们的不同特点造成了不同的逻辑后果和哲学后果。最后,量词成为分析诸如真、指称以及本体论这些哲学概念的核心概念,逻辑也为哲学问题的解决提供了深刻的视角。