现代逻辑：谓词逻辑.docVIP

第五章 非形式的一阶谓词逻辑 本章和下一章都属于现代谓词逻辑。这一章主要介绍一阶谓词逻辑的基本概念、形式结构和语义，是一阶谓词演算的理论基础。 §1 从传统谓词逻辑到现代谓词逻辑 传统谓词逻辑主要是研究性质命题及其推理(以三段论为核心)的逻辑。在传统谓词逻辑中，所有的命题都是仅仅具有如下四种形式的命题： A——所有的S都是P E——所有的S都不是P I——有些S是P O——有些S不是P 至于具有“这个S是P”和“这个S不是P”之形式的命题则被笼统地处理成相应的A命题和E命题。无疑，对于可以分析成这种形式的命题来说，传统谓词逻辑中的方法很有实用性。但这种分析方法同时也存在着很大的局限性和过于笼统化。试看如下命题： (1)张三比李四年纪大。 (2)上海位于南京和杭州之间。 (3)有的提案得到了所有议员的欢迎。 它们和具有上述A、E、I、0四种形式的命题有着明显的区别，称为关系命题，即表达个体对象之间是否具有某种关系。由这些命题构成的推理称为关系推理。例如： 张三比李四年纪大， 李四比王五的年纪大 所以，张三此王五的年纪大。 直观上看，这个推理是有效的，并且其有效性正在于命题的内部结构。类似这个推理的关系推理显然应该成为着重分析命题内在逻辑结构的谓词逻辑的研究对象。但关系命题和关系推理都超出了传统谓词逻辑力所能及的范围。传