直言三段论的公理 直言三段论的规则 直言三段论的格与式 直言三段论的省略式 学习目标：
1. 掌握直言命题的定义与结构； 2. 掌握直言命题的种类； 3. 掌握逻辑方阵；
4. 理解直言命题中词项的周延性；
5. 理解主谓项相同的四种命题间的真假关系； 6. 掌握对当关系直接推理的原理与方法； 7. 掌握命题变形直接推理的原理与方法； 8. 掌握三段论的结构与规则； 9. 理解三段论的格与式； 10.理解三段论的省略式。 知识单元FA2：命题逻辑（核心） 参考学时：4学时
知识点： 判断、语句与命题 原子命题与复合命题 联言命题 选言命题 假言命题 负命题
一般复合命题与真值形式 联言推理 选言推理 假言推理 二难推理
一般命题推理及其判定 真值表方法 归谬赋值法 学习目标：
1. 理解判断、语句与命题之间的关系；
2. 掌握复合命题、联言命题、选言命题、假言命题、负命题等一般复合命题的结构与原理； 5
3. 掌握一般复合命题的真值形式；
4. 掌握联言推理、选言推理、假言推理、二难推理等一般命题推理形式与原理； 5. 掌握真值表方法、归谬赋值法的判定方式与方法； 6. 掌握一般命题推理的实际推理运用。 知识单元FA3：归纳逻辑（核心） 参考学时：2学时
知识点： 归纳推理和方法 归纳与演绎的关系 古典归纳逻辑 现代归纳逻辑 完全归纳推理 不完全归纳推理 求同法 求异法 求同求异并用法 共变法 剩余法 概率推理 统计推理 类比推理 学习目标：
1. 理解之间归纳与演绎的关系；
2. 了解古典归纳逻辑、现代归纳逻辑一般常识； 3. 掌握完全归纳推理、不完全归纳推理的原理与方法；
4. 理解并掌握求同法、求异法、求同求异并用法、共变法、剩余法的穆勒求因果五法；5. 掌握概率推理、统计推理、类比推理的原理与方法。 知识单元FA4：模态逻辑（核心） 参考学时：2学时
知识点： 模态与模态逻辑 客观模态 主观模态 逻辑模态 非逻辑模态 狭义模态
6
广义模态 模态命题及其特性 模态命题形式
模态命题之间的对当关系 模态命题推理 模态三段论 学习目标：
1. 理解模态与模态逻辑的基本内涵；
2. 了解模态的种类：客观模态与主观模态、逻辑模态与非逻辑模态、狭义模态与广义模态；3. 理解模态命题形式；
4. 掌握模态命题之间的对当关系，会利用模态方阵与其拓展形式（模态六角阵图）； 5. 从模态方阵与模态六角阵图，掌握直观模态命题推理形式； 6. 掌握模态三段论与直言三段论的关系、五种组合方式及规则。 知识单元LU1：基本规律（核心） 参考学时：4学时
知识点：
同一律 矛盾律 排中律 充足理由律 学习目标：
1. 理解同一律的内涵及核心作用； 2. 掌握同一律的要求与违反同一律的错误； 3. 理解矛盾律的内涵；
4. 掌握矛盾律的要求与违反矛盾律的错误； 5. 理解悖论； 6. 理解排中律的内涵；
7. 掌握排中律的要求与违反排中律的错误； 8. 掌握矛盾律与排中律的区别； 9. 理解充足理由律的内涵；
10.掌握充足理由律的要求与违反充足理由律的错误。 知识单元LU2：证明与反驳（核心） 参考学时：4学时
知识点： 证明的结构
7
证明与推理的联系与区别 演绎证明 归纳证明 直接证明 间接证明 证明的规则 反驳论题 反驳论据 反驳证明方式 直接反驳 间接反驳 归谬法 反证法 选言证法 学习目标：
1. 理解证明（推知）是获得新知识的基本形式之一； 2. 理解构成证明的三要素； 3. 掌握证明与推理的联系与区别；
4. 理解并掌握演绎推理与归纳推理在证明中的作用； 5. 掌握直接证明与间接证明； 6. 掌握证明的规则； 7. 理解反驳也是一种证明； 8. 掌握反驳的三种类型；
9. 理解并会运用归谬法、反证法、选言证法进行证明与反驳。
四、教学方法与手段
1．教学方法和教学手段
教学方法——采用启发式、讨论式、练习式等多种行之有效的教学方法，加强师生之间、学生之间的交流，引导学生独立思考，强化逻辑思维训练。
教学手段---多媒体辅助手段恰当运用，不可过多，只能辅助教学，不能代替教学。可以采用计算机辅助教学的，主要有：概念的种类与概念间的关系、逻辑方阵、主谓项相同的四种命题间的真假关系、对当关系直接推理、命题变形直接推理、模态方阵与模态六角阵图、直观模态命题推理形式；影像资料放映、逻辑学人物简介、逻辑学史简介；书写量过大难于板书的内容、大量表格、资料、数据、图形的展示、集体答疑、复习课等。
2．课程主要教学方式的学时分配
8
相关推荐：
loading