出处：哲学卷 • 逻 辑 学 • 总 论
| 词条 | 命题逻辑 |
| 释义 | 命题逻辑 命题逻辑 与“词项逻辑”相对。分析复合命题所包含的命题成分,着重研究命题联结词的性质而导出有关逻辑形式和规律的逻辑理论。它不涉及命题成分内部的结构,以此和谓词逻辑相区别。命题逻辑的公理化就是命题演算。古希腊的斯多亚学派最早提出的逻辑是命题逻辑的萌芽,直到20世纪初数理逻辑形成一门独立的学科,命题逻辑才获得巨大的发展。 出处：哲学卷 • 逻 辑 学 • 总 论 命题逻辑 以命题为基本逻辑形式的逻辑学的基础组成部分。它考察由简单命题和命题联结词构成的复合命题的形式结构,研究命题之间和命题形式之间的推理关系。它的显著特征是:在考察推理的逻辑结构和形式时,只把命题分析到其中所含的简单命题为止,不再把简单命题所包含的非命题成分(如个体词、谓词和量词)再分析出来。早在两千多年前,古希腊亚里士多德逻辑已涉及到一些命题逻辑的基本内容,斯多葛学派则对命题逻辑作过较深入的研究。19世纪末,德国逻辑学家弗雷格建立了公理化的经典命题逻辑系统,20世纪30年代,根岑(Gerhard 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。