形式逻辑第二版樊明亚形式逻辑第二版樊明亚主编课件文件.ppt

课程目的：通过逻辑基本知识的学习、基本 技能的训练，把握标准，运用方 法，养成习惯，正确推理，有效 论证，提高抽象思维能力。 教学课时： 学时 教 材：樊明亚主编《形式逻辑》（第二版） 授课教师： 参考书目： 邮箱：fmy53@ 手机 1.1 逻辑学的对象与内容 1.1.2 逻辑学的产生与发展 1.1.3 逻辑学研究对象 推理尤其是推理形式是逻辑学研究的主体，不同逻辑系统正是由于所研究的推理及其形式不同、用于研究推理及其形式之方法的不同而形成的，逻辑的学习重点也因此而包含上述两个方面的内容。为此，首先应了解推理的种类、构成成分、以及逻辑性质等一般性知识，为进一步的学习打下基础。在这些知识当中，有关概念、命题的知识是预备知识，因为推理主要由命题构成，而命题归根结底又由概念构成。 2.1.1 词项 词项是概念及其语言形式的统一体 2.1.2 命题 命题是反映对象情况的思维形态 2.2 推理的组成部分 金属是导体， 铜是金属， 所以，铜是导体 2.3 推理的逻辑性质 推理在形式方面确定前提与结论之间真假联系程度的性质 2.3.1 推理的有效性 即推理形式的有效性，指推理形式是否具有从真前提必然推出真结论的性质。 推理的内容真假与形式对错之关系 2.3.2 推理的可靠度 即推理形式的可靠度，指推理形式具有从真前提或然推出真结论的可靠程度。 2.4 推理的种类 对称 反对称 非对称 在论域中 R (x，y) 就R (y ，x) 在论域中R (x，y) 但? R (y ，x) 在论域中R (x，y)有R (y ，x)也有? R (y ，x) 传递 反传递 非传递 在论域中 R (x，y) 且R (y ，z)，就R (x ，z) 在论域中R (x，y)且R (y ，z)，但? R (x ，z) 在论域中R (x，y)且R (y ，z)，有R (x ，z)也有? R (x ，z) 二元的性质 三元的性质 对称性 传递性 5.5.3 关系推理 纯关系推理 只包括关系命题的推理,以关系的性质为基础 1）对称关系推理 [R为对称关系] R（a ,b） 所以，R（b ,a） [ R（a ,b）→R（b ,a）] R（a ,b） R（b ,a） 2）反对称关系推理 [R为反对称关系] R（a ,b） 所以， ? R（b ,a） [ R（a ,b）→ ? R（b ,a）] R（a ,b） ?R（b ,a） 所有x R所有y 所以,所有y R所有x 若关系者项均为普遍词项,则传统逻辑刻画形式可为： [R为对称关系] 3）传递关系推理 [R为传递关系] R（a ,b） R（b ,c ） 所以，R（a ,c） [ R（a ,b）∧R（b ,c）→ R（a ,c）] R（a ,b）∧R（b ,c） R（a ,c） 4）反传递关系推理 [R为反传递关系] R（a ,b） R（b ,c） 所以， ? R（a ,c） [ R（a ,b）∧R（b ,c）→ ?R（a ,c）] R（a ,b）∧R（b ,c） ?R（a ,c） 若关系者项均为普遍词项,则传统逻辑刻画形式可为： [R为传递关系] 所有x R所有y 所以,所有x R所有z 所有y R所有z 混合关系推理 推理中有关系命题也有性质命题。这里介绍大前提为关系命题，小前提为性质命题，借助媒介项得出关系命题结论的演绎推理，即关系三段论。 (关系三段论) 我们反对不正义的战争， 伊拉克战争是不正义的战争， 所以，我们反对伊拉克战争。 所有x R所有y 所有z是y 所以,所有x R所有z 媒介项 大前提 小前提 结 论 所有x R所有y a 是y 所以,所有x R a 一般形式 本例形式 推理规则 媒介项至少周延一次 周延性不能扩大 性质命题应是肯定的 关系的性质不是对称的，则关系者项的顺序不能改变 前提中关系的质与结论中关系的质应相同 我们打击犯罪行为， 小偷小摸行为不是犯罪行为， 所以，我们不打击小偷小摸行为。 谓词逻辑是命题逻辑的扩展，它在命题逻辑的基础上进而分析出命题的内部组成成分即个体词、谓词和量词。谓词逻辑着重研究量词的逻辑性质和关于量词的推理规律，因此又可称为量词逻辑。在谓词逻辑中，不仅有命题变项，还有个体变项、谓词变项。将量词只用于个体变项的谓词逻辑称为狭谓词逻辑或一阶谓词逻辑，一阶谓词逻辑也是数理逻辑的基础部分，但比命题逻辑的推导能力、解释能力更强，也更复杂。在本章中