逻辑学第4-5章模态推理课件

1、逻辑学第4-5章模态推理第一节 模态命题概述一、什么是狭义模态命题（真值模态命题）二、真值模态命题的逻辑分析三、真值模态命题的种类四、真值模态命题的真与假一、什么是狭义（真值）模态命题模态逻辑通常将包含“必然”或“可能”这两个模态词的命题称为真值模态命题。 中国现代化目标必然会实现 形式主义必然不是马克思主义 明天可能下雨 金字塔可能不是地球人建造的二、真值模态命题的逻辑分析中国现代化目标必然会实现“中国现代化目标会实现”是必然的p是必然的Lp二、真值模态命题的逻辑分析金字塔可能不是地球人建造的“金字塔不是地球人建造的”是可能的非p是可能的Mp三、真值模态命题的种类基本模态命题必然命题可能命题

2、必然肯定命题必然否定命题可能肯定命题可能否定命题LpLpMpMp四、真值模态命题的真与假Lp为真，当且仅当在所有可能世界中p都为真；Lp为假，当且仅当至少在一个可能世界中p为假Mp为真，当且仅当至少在一个可能世界中p为真Mp为假，当且仅当在所有可能世界中p都为假。 第二节 模态对当关系及其推理反 对差 差矛 盾等 等下 反 对Lp LpMp Mp第二节 模态对当关系及其推理反 对差 差矛 盾等 等下 反 对Lp LpMp Mp1. 真 真2. 真 假3. 假 真4. 假 假Lp Mp Lp MpMp Lp Mp Lp第二节 模态对当关系及其推理反 对差 差矛 盾等 等下 反 对Lp LpMp

3、Mp写出下列推理的形式，指出是否有效，为什么？ 海战并非必然发生，所以海战必然不发生。 明天可能不下雨，所以明天不可能下雨。 Lp Lp 无效 Mp Mp 无效第三节 模态命题与非模态命题的关系及推理反 对差 差矛 盾等 等下 反 对Lp LpMp Mppp第五章 逻辑基本规律第一节 逻辑基本规律概述第二节 同一律第三节 矛盾律第四节 排中律第一节 逻辑基本规律概述一、逻辑基本规律的含义二、为什么称这三条规律为逻辑基本规律第二节 同一律一、同一律的内容和要求二、违反同一律要求的逻辑错误三、同一律的作用和应注意的问题一、同一律的内容和要求同一律的内容是：在同一思维过程中，每一思想与其自身是同一的

4、。一、同一律的内容和要求同一律的逻辑要求是： 在同一思维过程中，任一概念或任一命题都必须保持自身的同一。二、违反同一律要求的逻辑错误违反同一律要求的逻辑错误： 混淆概念或偷换概念 转移论题或偷换论题三、同一律的作用和应注意的问题同一律在思维或论证过程中的主要作用在于保证思维的确定性第三节 矛盾律一、矛盾律的内容和要求二、违反矛盾律要求的逻辑错误三、矛盾律的作用和应注意的问题一、矛盾律的内容和要求矛盾律的内容是：在同一思维过程中，两个互相否定的思想不能同真，必有一假。一、矛盾律的内容和要求矛盾律的逻辑要求： 在同一思维过程中，对于不能同真的命题不能同时予以肯定。不能同真命题矛盾关系反对关系二、及

5、违反矛盾律要求的逻辑错误违反矛盾律的逻辑错误： 自相矛盾或逻辑矛盾三、矛盾律的作用和应注意的问题矛盾律的主要作用在于保证思维具有无矛盾性。第四节 排中律一、排中律的内容和要求二、违反要求排中律的逻辑错误三、排中律的作用和应注意的问题一、排中律的内容和要求排中律的内容： 在同一思维过程中，两个互相矛盾的思想不能都假，必有一真。一、排中律的内容和要求排中律的逻辑要求： 在同一思维过程中，对于两个不能同假的命题不能同时予以否定。不能同假命题矛盾关系下反对关系违反排中律要求的逻辑错误： 模棱两可（应称“模棱两不可”）二、违反排中律要求的逻辑错误排中律的主要作用在于保证思想的明确性。三、排中律的作用和应注意的问题不同点矛盾律排中律内容互相否定的思想不能同真，必有一假互相矛盾的思想不能同假，必有一真要求对不能同真命题不能同时肯定对不能同假命题不能同时否定适用范围矛盾和反对矛盾和下反对错误表现“两肯定”或“一肯定一否定”“两否定”错误名称“两可”“两不可”作用由真推假（间接反驳的根据）由假推真（间接证明的根据）例题：指出下列丙和丁的话是否违反逻辑基本规律的要求，为什么？甲：语句都表达命题 乙：有的语句不表达命题 丙：甲和乙的话都不对。我认为惟有纯疑问句不表达命题甲：战胜是传递关系 乙：战胜是非传递关系 丙：甲和乙说的都对 丁：甲和乙说的都不对 甲：如果姚明上场，火箭队就能赢 乙：只有