形式逻辑（第二版）教学课件.pptx

形式逻辑（第二版）;课程目的：通过逻辑基本知识的学习、基本

技能的训练，把握标准，运用方

法，养成习惯，正确推理，有效

论证，提高抽象思维能力。

教学课时：学时

;;1.1逻辑学的对象与内容;1.1.2逻辑学的产生与发展;内容;归纳逻辑InductiveLogics;逻辑分支一览表N.RescherTopicsinPhilosophicalLogic;1.1.3逻辑学研究对象;3.思维形式是逻辑常项和逻辑变项的统一;思维形式的规律;逻辑方法;1.2逻辑学的性质与作用;1.2.2逻辑学的作用;1.4逻辑学的研究与学习;语言;1.4.2逻辑学的学习方法;;推理的构成成分可以分析到命题，也可以进一步分析到词项。;2.1.1词项;2.1.2命题;命题形式是命题内容在真假方面的联系方式;模态命题;2.2推理的组成部分;2.3推理的逻辑性质;2.3.1推理的有效性;推理的内容真假与形式对错之关系;2.3.2推理的可靠度;2.4推理的种类;模态推理;;;构成;复合命题形式中的逻辑常项在传统逻辑中以特定的自然语词来表示，在现代逻辑中以符号来表示。它决定复合命题的种类、逻辑性质等，成为逻辑研究的重点。;种类;3.1.2联言命题;在日常生活中，联言命题常用省略的语言形式表达。;真值;事理关系、心理关系与逻辑关系;3.1.3选言命题;在日常生活中，选言命题也可用省略的语言形式表达。;结构与形式;真值;结构与形式;真值;选言命题的几个问题;p;3.1.4假言命题;在日常生活中，假言命题也可以省略的语言形式表达。;条件关系;结构与形式;真值;结构与形式;真值;充分条件与必要条件的关系;结构与形式;真值;3.1.5负命题;用语言表达时，否定词不一定出现在原命题前面。;真值;3.1.6多重复合命题;3.2.1联言推理;p并且q，所以p;组合式;3.2.2选言推理;相容选言推理;不相容选言推理;（p∨q）∧p→?q;3.2.3假言推理;肯定

前件

式;现代逻辑对充分条件假言推理形式的刻画;肯定

前件

式;现代逻辑对必要条件假言推理形式的刻画;肯定

前件

式;现代逻辑对充要条件假言推理形式的刻画;3.2.4负命题推理;并非(p并且q)，所以非p或者非q;现代逻辑??负命题推理形式的刻画;写出负命题的等值命题之方法;3.2.5假言易位推理;(p→q)→(q←p);3.2.6假言联锁推理;充分条件假言联锁推理;假设前提推理法;3.2.7假言选言推理;如果p，那么r；如果q，那么r；p或者q；所以r;现代逻辑对二难推理形式的刻画;3.2.7归谬推理;3.2.8反三段论推理;3.3复合命题演绎推理的综合运用;;真值联结词;1．一元真值联结词;以命题为变项、以真值联结词为逻辑常项组成的命题形式。也可称为命题公式。;又称为永真式，无论其中的命题变项取什么真值，该真值形式的真值总是真的。例如p→p、p∨?p等都是重言式，前者是重言蕴涵式，后者是重言析取式。;等值关系;4.2.1真值形式性质的判定;以(p∨q)∧r为例;;真值表法;归谬赋值法（简化真值表法）;;;[2]用真值表判定下列真值形式之间是否具有等值关系或矛盾关系。;4.3命题演算;4.3.2命题的自然推理;1.p?q;;;词项的内涵;3.1.2词项的种类;单独词项;集合词项;正词项;3.1.3词项外延间的关系;全同关系;真包含关系;真包含于关系;交叉关系;全异关系;矛盾关系;5.2.1性质命题概述;主项;5.2.2性质命题种类;5.2.3性质命题的真假情况;5.2.4性质命题的真假关系;;;;;;5.2.5主、谓项的周延性;;5.3性质命题直接推理;5.3.1对当推理;(2)由假推真：由一性质命题假，推相应另一性质命题真。;(3)由真推真：由一性质命题真，推相应另一性质命题真;5.3.2变形推理;换质推理和换位推理的交互运用;文恩图解对性质命题直接推理的检验;5.4三段论;结构;形式;省略三段论;5.4.2三段论规则;导出规则;1）两个特称前提不能必然推出结论;导出规则证明示例;5.4.2三段论格与式;