一阶逻辑的发展历史

命题逻辑具有一定的局限性，无法判断一些常见的简单推理。为克服命题逻辑的这种局限性，引入了量词，以期达到表示个体与总体之间的内在联系和数量关系，这就是一阶逻辑的研究内容。一阶逻辑也称作一阶谓词逻辑或谓词逻辑。