逻辑学第4-5章 节 模态推理.ppt

第四章 模态推理 第一节 模态命题概述 第二节 模态对当关系及其推理 第三节 模态命题与非模态命题的关系及推理 第一节 模态命题概述 一、什么是狭义模态命题（真值模态命题） 二、真值模态命题的逻辑分析 三、真值模态命题的种类 四、真值模态命题的真与假 一、什么是狭义（真值）模态命题 模态逻辑通常将包含“必然”或“可能”这两个模态词的命题称为真值模态命题。 中国现代化目标必然会实现 形式主义必然不是马克思主义 明天可能下雨 金字塔可能不是地球人建造的 二、真值模态命题的逻辑分析 中国现代化目标必然会实现 “中国现代化目标会实现”是必然的 p是必然的 Lp 二、真值模态命题的逻辑分析 金字塔可能不是地球人建造的 “金字塔不是地球人建造的”是可能的 非p是可能的 M?p 第二节 模态对当关系及其推理 反 对 差 差 矛 盾 等 等 下 反 对 Lp L?p Mp M?p 第二节 模态对当关系及其推理 反 对 差 差 矛 盾 等 等 下 反 对 Lp L?p Mp M?p 1. 真 真 2. 真 假 3. 假 真 4. 假 假 ?Lp? M?p ?L?p? Mp ?Mp? L?p ?M?p? Lp 第二节 模态对当关系及其推理 反 对 差 差 矛 盾 等 等 下 反 对 Lp L?p Mp M?p 写出下列推理的形式，指出是否有效，为什么？ ① 海战并非必然发生，所以海战必然不发生。 ② 明天可能不下雨，所以明天不可能下雨。 ① ?Lp┣ L?p 无效 ② M?p┣ ?Mp 无效 第三节 模态命题与非模态命题的关系及推理 反 对 差 差 矛 盾 等 等 下 反 对 Lp L?p Mp M?p p ?p 第五章 逻辑基本规律 第一节 逻辑基本规律概述 第二节 同一律① 第三节 矛盾律② 第四节 排中律③ 第一节 逻辑基本规律概述 一、逻辑基本规律的含义 二、为什么称这三条规律为逻辑基本规律 第二节 同一律 一、同一律的内容和要求 二、违反同一律要求的逻辑错误 三、同一律的作用和应注意的问题 一、同一律的内容和要求 同一律的内容是：在同一思维过程中，每一思想与其自身是同一的。 一、同一律的内容和要求 同一律的逻辑要求是： 在同一思维过程中，任一概念或任一命题都必须保持自身的同一。 二、违反同一律要求的逻辑错误 违反同一律要求的逻辑错误： 混淆概念或偷换概念 转移论题或偷换论题 三、同一律的作用和应注意的问题 同一律在思维或论证过程中的主要作用在于保证思维的确定性 第三节 矛盾律 一、矛盾律的内容和要求 二、违反矛盾律要求的逻辑错误 三、矛盾律的作用和应注意的问题 一、矛盾律的内容和要求 矛盾律的内容是：在同一思维过程中，两个互相否定的思想不能同真，必有一假。 一、矛盾律的内容和要求 矛盾律的逻辑要求： 在同一思维过程中，对于不能同真的命题不能同时予以肯定。 不能同真命题 矛盾关系 反对关系 二、及违反矛盾律要求的逻辑错误 违反矛盾律的逻辑错误： 自相矛盾或逻辑矛盾 三、矛盾律的作用和应注意的问题 矛盾律的主要作用在于保证思维具有无矛盾性。