对现代逻辑中量词的逻辑哲学省察量词是现代逻辑的关键性概念，对量词的解释既是现代逻辑、也是现代哲学的重要问题。
首先，现代逻辑中的量词在本质上是一个二阶函数，量词的这种特点克服了传统逻辑量词的局限性，并使得现代逻辑的语言处理能力大为增强，但同时也使得对量词的语义解释涉及了很多概念和理论。
其次，两种对量词的解释方案——指称量化和替换量化，它们的不同特点造成了不同的逻辑后果和哲学后果。
最后，量词成为分析诸如真、指称以及本体论这些哲学概念的核心概念，逻辑也为哲学问题的解决提供了深刻的视角。
标签：量词—变元；对象量化；替换量化；本体论承诺量词是逻辑学的一个基本概念，传统逻辑围绕着量词做了很多的工作并形成了一系列的理论，但直到现代逻辑产生后，量词在逻辑学中的核心地位和价值才得到彰显和重视。
现代逻辑的两个基本研究路径——句法学和语义学都是围绕着量词概念而展开的，对量词的语义解释也与现代哲学中的真、指称、意义、同一、本体论等理论密切相关，量词由此成为现代逻辑的核心概念，对量词理论的关注也成为现代哲学的基本问题。
一、现代逻辑中量词的句法特点量词是用来表示数量的概念。
自然语言中的量词很多，如“所有的”“很多”“大多数”“一些”等，但逻辑作为一种追求真的普遍规律的科学，只选取了表示全部数量的全称量词（“所有的”）和表示部分数量的特称量词（“有些”）作为研究对象，后者也经常被称为存在量词，传统逻辑和现代逻辑的量词理论都是围绕着这两个量词而展开。
一个有意思的现象是，虽然全称量词和特称量词也是传统逻辑的基本量词，但围绕着这两个量词，传统逻辑并没有形成对应于现代逻辑的量化理论，也没有围绕着量词形成太多的其他相关理论；而量词却成为现代逻辑的核心概念，现代谓词逻辑甚至被称为量词逻辑，现代逻辑的很多理论，如真、指称等理论都和量词密切相关，而这种现象的出现是和传统逻辑与现代逻辑中量词的不同特点密切相关的。
在传统逻辑中，量词是与句子中的主语密切相关的，量词被用在主语的前面，用来表达主项所断定的对象的范围和数量。
传统逻辑中量词的这个特点是与日常语言表达方式密切相关的。
从古希腊逻辑发轫之初，人们主要关注的是形如“所有人都是会死的”，即“S是P”这样的主谓式句子的推理，在这样的推理中，推理形式和日常语言的形式是紧密相关的甚至是一致的。
“所有人都是会死的（Everyone is mortal）”在传统逻辑看来就是这样一个主谓式句子：“人”是这个句子的主语，“会死的”是这个句子的谓语，“所有人”这样的量词加诸句子的主语的前面，表达了主项的数量。
亚里士多德的三段论理论也建立在对这样的主谓式的性质命题的关注之上。
虽然三段论推理代表了传统逻辑的最高成就，但是推理形式过分依赖于日常语言形式还是使得传统逻辑的处理句子和推理的能力受到很大的局限。
首先，三段论不能处理包含单称词的语句的推理问题，虽然亚里士多德在划分命题类型的时候提及了单称命题，然而其在三段论推理中却排除掉单称命题。
其次，三段论只能处理主谓式的表达性质的句子的推理而不能处理表达关系的主谓宾结构的句子，即关系命题。
而实际上，关系命题和性质命题一样是我们日常语言的重要组成部分，不能处理关系命题使得传统逻辑的表达能力受到很大的局限。
最后，传统逻辑也处理不了包含多个量词的句子的推理。
传统逻辑的基本句式是“S是P”，A、E、I、O四类命题都建立在这个基本句式之上，其建立的方式就是加入否定词和两个量词。
这样一来，命题就有四种组合方式：全称肯定命题、全称否定命题、特称肯定命题和特称否定命题。
在命题的构成过程中，量词只可以加诸主项的前面，因此如果句子中出现两个量词，传统逻辑是无法表达的。
现代逻辑中的量词概念是弗雷格首先提出和引入的。
弗雷格引入量词—变元的做法分为两个步骤。
首先，弗雷格把数学中的函数概念引入到对句子的结构分析中去，用以表达句子中的概念词，即普遍词项（general terms）。
在弗雷格看来，函数在数学上虽然已经具有了很多引申的含义，而实际上函数最大的特点是其不饱和性，在任何一个函数解析式中，函数都是用来表示插入内容位置的符号，本身是不饱和的、有待补充的。
相对于自变元的每一次指派和代入，函数都将会产生一个相应的值。
概念在本质上也是不饱和的，与函数相同，对于每一个代入的专名，都将会产生或真或假的真值。
①因此，弗雷格对函数进行了扩展，并用函数的方式来表达概念。
其次，在引入函数的基础之上，弗雷格引入了量词—变元的概念。
在将“苏格拉底是会死的”这个包含个体词的语句处理为函数“Fa”的基础上，弗雷格进而思考如何处理“所有人都是会死的”这样的包含量词的语句。
对于形如“所有人都是会死的”这样的语句，传统逻辑认为“人”是这个语句的所表达的对象，而“会死的”表达的是人的一种性质，这个句子总体而言表达的是两个概念之间的关系。
传统逻辑的这种看法是基于一种语法上的顺序。
在一个句子中，位于一个句子前面的主语表达的是对象，而位于后面的谓词表达的是属性。
而弗雷格对这样的观点提出质疑和反驳。
在弗雷格看来，一个句子中主语与谓语的顺序体现的只是说话者的愿望——位于主语的事物是说话者希望别人关注的对象，这一点可以从主动语态句和被动语态句中体现出来：位于句子前面的那个主语是说话者强调的重点。
弗雷格认为，这样的主词谓词的区分只具有语法学的意义，而不具有逻辑学的意义，一个句子中主语和谓语的位置调换只要不影响一个句子的真值，都是可以容忍的，因此弗雷格在其理论中取消了传统意义的主语和谓语的区分。
在此基础上弗雷格进一步认为，个体词是一个句子真正的主语，“逻辑的基本关系考察就是一个对象处于一个概念之下的关系，概念之间的所有关系都可以化归为这种关系” ②。
形如“凡人皆有死”这样的语句，实际上表达的含义是：“对于任一事物x而言，如果x是人，那么x是会死的”，个体词是这个语句的真正的主语，而“人”这个语词虽然处于主语的位置，但它仍同“会死的”一样，是一个谓词，用来谓述个体词所指称的对象。
这样一来，这个句子中出现了两个概念词——“人”和“会死的”，这两个概念词谓述了同一个对象，并建立起了一种条件性——“如果一个对象是人，那么他是会死的”，而“所有的”代表了对象的数量和范围。
在此，弗雷格引进了量词—变元这个概念：“在一个判断的表达中，如果在自变元的位置上代入一个德文字母，并且在内容线上画出一个凹处，使得这个德文字母处于内容线的凹处，它就意味着这样一个判断：无论将什么看做其自变元，那个函数都是一个事实。
” ③弗雷格的符号系统因为印刷的不方便，已经被其后的逻辑学家所改进，上面所谓的量词—变元表达符号在现代逻辑中已经被x 所代替。
引进量词之后，“所有人都是会死的（Everyone is mortal）”这句话就可以表示为“对任一事物x而言，如果x是人，那么x是会死的”，用量化式可以表示为“x（Rx→Mx）”。
这样一来，普遍词“everyone”就显示出了与专名不一样的逻辑性质。
两种不同的关系——分子与类的关系以及类与类的关系，在弗雷格的形式语言中，也都得到了很好的刻画。
可以看出，在弗雷格所建立的现代逻辑符号体系中，量词具有不同于传统逻辑的重要特点。
首先，现代逻辑中的量词总是与变元联系在一起使用的，量词和变元之间是相互指涉的：量词总是用来约束变元的，变元反过来指明了量词的作用范围，变元也因此被称为约束变元。
这种特点在处理包含多个量词的语句的时候，优点就开始凸显出来。
对于一个形如“所有的参观者都喜欢某个展品”这样的包含两个量词的关系语句，传统逻辑是无能为力的，而现代逻辑将其含义分析为“对所有的参观者x而言，存在一个展品y，x喜欢y”，其做法是：用不同的变元x和y来表达不同类的事物，x和y分别被不同的量词所约束，x和y在量词辖域中的每一次出现都相应地表示了该量词的作用范围，于是，该语句用公式表示为xy （Fx→（Gy∧Hxy）），量词约束变元的方式使得现代逻辑可以清楚地表达不同量词的作用范围，从而使得包含多个量词甚至更复杂语句的表达和处理，在现代逻辑中成为一种可能。
现代逻辑中量词的这一特点，使得现代逻辑能够进一步处理包含多个量词的语句、表达关系的语句和包含个体词的语句，从而使得现代逻辑的表达能力大为增强。
这一点，也构成了现代逻辑的量词和传统逻辑的量词的最大不同。
其次，现代逻辑的量词是一个二阶函数，量词在整个表达式中作用于整个函项表达式而不仅仅只是作用于主项，这一点是现代逻辑的量词区别于传统逻辑中量词的另一个重要特征。
在传统逻辑中，“每一个”“有些”这样的量词在句子中作用于主语，用来表达主语所表达对象的数量。
而在弗雷格的概念文字中，量词是作用于函项的，弗雷格有时把量词称之为第二层函数，即以函数为自变元的函数。
量词的这种特点，使得它不是关于函项所表达的对象的断定，而是关于函项自身的断定。
量词是弗雷格用来表达普遍性的装置。
现代逻辑中量词的这一特征，具有深厚的哲学寓意和影响。
传统逻辑之所以认为量词只是作用于主语，是因为在传统逻辑看来，意义的最小单位是语词，逻辑学是通过研究语词外延之间的相互关系来研究推理的。
而在现代逻辑中，量词是一个二阶函数，每一次对函数的代入都会形成一个句子，而量词指明了句子之间的组合方式：一个全称量化式的真值等值于所有对自变元的代入所形成的句子的合取；而一个特称量化式真值等值于对自变元的代入所形成句子的析取，句子由此成为意义的最小单位。
并且，运用量词—变元所带来的视角，弗雷格第一次意识到个体词是所有句子的真正的主语，概念词无论处于主语或者谓语的位置，都是用来谓述个体词的，都是谓词。
这样一来，现代逻辑对语句的研究，第一次开始摆脱了语法学家所提供的视角和分类，而是深入到句子的深层结构中去，传统的哲学问题在此视角下开始呈现新的特点，新的分析哲学蓄势待发，哲学的语言转向由此开始。
二、对象量化量词—变元是现代逻辑系统中的句法学符号，与此相对应的量化理论（quantification theory），则是对量词—变元这些句法符号进行语义解释的理论。
在语义解释中，真是一个核心的概念，因此，对于量词而言，量化理论关心的就是包含量词的量化式在什么情况下取真值，什么情况下取假值。
弗雷格在发现量词—变元理论的同时，对量词也做出了解释，他关于量词的理论构成了逻辑史上的第一个量化理论。
在弗雷格看来，每个量化表达式都有确定的真值，一个句子的真值就是将量词域中的对象带入函数的结果。
对于一个全称表达式而言，如果带入的结果总是真的，全称表达式就是真的，而如果代入的结果有假，则全称量化陈述就是假的。
特称量词可以通过量词之间的互定义性，由全称量词加否定词得到。
根据量词之间的互定义性，对于一个特称表达式而言，如果至少有一个自变元的带入结果为真，则特称量化取真值，如果带入的结果都为假，则特称量化式取假值。