出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 谓词逻辑 |
| 释义 | 谓词逻辑 谓词逻辑 数理逻辑的基本组成部分。将简单命题分解为主词、谓词和量词,研究其形式结构,导出有关的逻辑形式和规律的逻辑理论或体系。谓词逻辑的命题形式和基本推理规则都和量词的特征有密切联系,故亦称“量词的理论”或“量词的逻辑”。谓词逻辑的公理化就是谓词演算。弗雷格于19世纪末20世纪初建立了第一个初步自足的公理化的谓词逻辑系统。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 谓词逻辑 逻辑学的基础组成部分之一。它在考察命题和推理时,对简单命题再加以分解,分别其主词、谓词和量词,在此基础上研究命题的形式结构和命题之间的推理关系。与命题逻辑不同,简单命题不是谓词逻辑的最小单位,谓词逻辑比命题逻辑的研究更为精细和深入,它能够显示命题逻辑所不能包容的一大类有效的推理形式和逻辑规律。谓词逻辑的形式及规律和量词的特征有密切联系,因此又称为“量词逻辑”。在古代,亚里士多德的三段论体系就属于谓词逻辑。19世纪末,德国逻辑学家弗雷格建立了公理化的经典谓词逻辑系统,使谓词逻辑的研究进入了一个新的阶段。谓词逻辑包含狭谓词逻辑(亦称“一阶谓词逻辑”或“一阶逻辑”)和广义谓词逻辑(亦称“高阶谓词逻辑”或“高阶逻辑”)。随着各种非经典逻辑分支学科的兴起,对各种非经典的谓词逻辑的研究也不断深入,有关的元逻辑的研究也不断取得新进展。谓词逻辑的成果也推动了计算机科学、现代语言学、分析哲学和逻辑哲学的研究和发展。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。