《形式逻辑》(第二版)樊明亚主编_PPT文件 (1).pptVIP

5.5.2 关系的性质 自返性 对称性 传递性 关系的性质 自返 反自返 非自返 在论域中 R (x，x) 在论域中? R (x，x) 在论域中有R (x，x)也有? R (x，x) 一元的性质 自返性 关系能否自涉的性质 关系能否逆序的性质 关系能否移转的性质 关系在推理方面的性质 对称 反对称 非对称 在论域中 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 一般形式 本例形式 推理规则 媒介项至少周延一次 周延性不能扩大 性质命题应是肯定的 关系的性质不是对称的，则关系者项的顺序不能改变 前提中关系的质与结论中关系的质应相同 我们打击犯罪行为， 小偷小摸行为不是犯罪行为， 所以，我们不打击小偷小摸行为。 谓词逻辑是命题逻辑的扩展，它在命题逻辑的基础上进而分析出命题的内部组成成分即个体词、谓词和量词。谓词逻辑着重研究量词的逻辑性质和关于量词的推理规律，因此又可称为量词逻辑。在谓词逻辑中，不仅有命题变项，还有个体变项、谓词变项。将量词只用于个体变项的谓词逻辑称为狭谓词逻辑或一阶谓词逻辑，一阶谓词逻辑也是数理逻辑的基础部分，但比命题逻辑的推导能力、解释能力更强，也更复杂。在本章中，我们只介绍其初步知识，并结合介绍文恩图解，以略知如何更严密、广泛地进行简单命题演绎推理的原理与方法。 谓词逻辑是关于量词之推理规律的现代逻辑理论 此章从略，第二节内容已作为5.5在前讲述 模态逻辑作为一种非经典逻辑，以我们前面所介绍的经典逻辑为基础，进而研究涉及模态词的命题及其演绎推理。在它的引发下产生了哲学逻辑或应用逻辑这类目前最活跃的逻辑学科群体。因此，了解模态逻辑有着重要的意义。其中又应重视狭义模态逻辑的学习，掌握基本理论和方法，从而举一反三，使广义模态逻辑的学习事半功倍。 模态逻辑是关于模态词之推理规律的逻辑理论， 7.1.1 模态词 英语modal的音译，导源于拉丁文modalis，原意为程度、样式等 表达模态概念的语词 模态词 狭义模态词 广义模态词 反映事物或认识的必然性、可能性等，涉及到命题的真假的强弱程度 反映事物或认识存在、发展的其他各种程度、样式、趋势等，与命题的真假程度没有直接关系 真值模态词或真势模态词 非真值模态词或非真势模态词 如“必然”、“可能” 等 如涉及道义的“应当”，涉及认知的“知道” 等 7.1 模态逻辑概述 包含有模态词的命题 模态命题 狭义模态命题 广义模态命题 模态命题 简单模态命题 复合模态命题 以包含的模态词种类为