第一章　引言

量化理论是关于量词的语义解释的理论。自然语言中的量词很多，但经典逻辑中的量词只有两个，一个是全称量词，另一个是特称量词，量化理论主要是关于这两个量词的语义解释的理论。现代逻辑学之父弗雷格在逻辑史上第一次发现了量词—变元理论，并建立了逻辑史上第一个谓词逻辑的句法系统，从此以后对量词的语义解释成了现代逻辑和语言哲学的核心问题，不同的量化理论将会导致对真、指称、同一、意义等概念的不同看法，不同的量化理论也会在逻辑学内部产生不同影响，如承认或否认高阶逻辑和模态逻辑。正如逻辑学家安格尔所指出的那样：“量化理论的核心地位是由其自身的概念结构以及其中主要概念的本质和范围所决定的。”[1]

而围绕量词，一个有意思的现象是，全称量词和特称量词也是传统逻辑的两个基本量词，而关于这两个基本量词，传统逻辑却并没有形成像现代逻辑一样的量化理论。而这种状况的形成与量词在传统逻辑和现代逻辑中的特点和作用的不同密切相关：在传统逻辑中，量词是用来表示主项的范围的，量词只是作用于词项；而在现代逻辑中，量词与变元密切相关，量词是用来约束变元的，量词与约束变元相互指涉，变元反过来表明量词作用的范围和数量，量词是作用在句子上的。量词的这种特点一方面使得现代逻辑的语言表达能力大为增强；另一方面也使得对量词的解释要涉及指称、谓述、意义等很多哲学问题，量化理论由此成为现代逻辑的核心理论。

在正式地讨论量化理论之前，笔者将首先关注量词。亚里士多德和弗雷格分别是传统逻辑和现代逻辑的创始人，全称量词和特称量词在其各自所建立的逻辑体系中都占据着非常重要的位置。从亚里士多德和弗雷格的视角看待量词，然后从量词的角度再反观传统逻辑和现代逻辑，是本章第一节所要关注的主要问题。而作为引言篇，本章将对主要的术语，如对象量化和替换量化进行解释和界定，并且，本章将讨论本书的研究思路和基本内容等，这些内容分别构成了本章的第二节、第三节和第四节。