谓词逻辑历史

形式逻辑的最根本部分，也是最基本的逻辑系统或理论。在谓词逻辑中，除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，研究由这些非命题成分组成的命题形式的逻辑性质和规律。谓词逻辑把命题逻辑作为子系统，但为了研究方便，同时也由于它具有某些重要的特殊性质，命题逻辑通常又作为一个独立的系统先研究，而在谓词逻辑部分则集中研究由非命题成分组成的命题形式和量词的逻辑性质与规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。此外，还包含高阶量词和高阶谓词的称为高阶逻辑。谓词逻辑也分为经典的谓词逻辑和非经典的谓词逻辑，后者包括作为子系统的非经典的命题逻辑。经典的一阶谓词逻辑是谓词逻辑的基本部分。第一个完整的谓词逻辑系统是G.弗雷格在1879年建立的。K.哥德尔等人系统地研究了谓词逻辑的元逻辑问题，证明了重要的定理。