【数理逻辑四】谓词逻辑及形式系统 【上】

谓词逻辑及形式系统（句法）【上】

 

一、简介

【谓词逻辑】是所有逻辑学的中心内容，包括亚里士多德的三段论（虽然那时谓词逻辑还没有产生）、弗雷格的谓词逻辑、以及后来的数理逻辑三大流派都是围绕【谓词逻辑】展开的。在所有现存的逻辑系统中，只有【谓词逻辑】毫无争议地占据逻辑学的中心位置，而任何其它逻辑系统都是【谓词逻辑】的扩展、延伸、改造。所以它在逻辑学中是相当重要的。

研究【谓词逻辑】，其基本方法和命题逻辑一样，词汇、句法和语义。所用的数学工具，最显著的就是加入了集合论。在某种程度上集合论就是谓词逻辑的灵魂。和集合论相关的，就是【关系】的概念；可以说如果把这两个概念搞清楚基本就抓住了【谓词逻辑】的实质。同时，在【命题逻辑】引入的函数概念，在【谓词逻辑】中有了更广泛的应用。可以说，集合、函数、关系是牵引【谓词逻辑】的三驾马车。

从内容上看，【谓词逻辑】的研究对象有两个：

1. 【谓词】：predicate
2. 【量词】、【量化】、带【量词】的表达式：quantifier, quantification、quantifying expression

【谓词】的概念比较古老，从亚氏逻辑开始就已经有相当深入的研究；而【量化】则是始于亚氏逻辑，到弗雷格的谓词逻辑建立才有了完整、全面的理论。同时【量化】也是现代逻辑的研究重点࿰