第5章演绎推理(一)PPT课件下载推荐.ppt

1、品不是有交换价值的。（2）（2）所所有有的的鲸鲸都都不不是是鱼鱼，因因为为鱼鱼都都是是通通过过腮腮呼呼吸吸的的，而而鲸鲸都都不不是通过腮呼吸的。是通过腮呼吸的。（3）（3）如如果果小小张张的的学学习习是是努努力力的的并并且且他他的的学学习习方方法法也也是是正正确确的的，那那么么，小小张张就就能能学学好好外外语语。小小张张的的学学习习是是努努方方的的，但但是是，他他未未能能学学好外语。所以，小张的学习方法不是正确的。好外语。（4）（4）铜铜是是导导体体，它它的的原原子子中中含含有有自自由由电电子子；铁铁是是导导体体，它它的的原原子子中中含含有有自自由由电电子子；汞汞是是导导体体，它它的的原原子子

2、中中含含有有自自由由电电子子；水水是是导导体体，它它的的原原子子中中含含有有自自由由电电子子。铜铜、铁铁、汞汞、水水只只是是导导体体的的部部分分分分子子，但但是是没没有有发发现现有有导导体体原原子子中中不不合合有有自自由由电电子子。所所以以，一一切切导导体体的原子中都是含有自由电子的。的原子中都是含有自由电子的。（5）（5）地地球球与与火火星星都都是是太太阳阳系系的的行行星星。它它们们的的体体积积、温温度度、与与太太阳阳的的距距离离等等都都是是相相近近的的。地地球球为为大大气气层层所所包包围围，火火星星也也为为大大气气层层所所包包围围。地地球球上上有有水水分分。火火星星上上也也有有水水分分。地

3、地球球上上有有生生命命，所所以以火火星上也有生命存在。星上也有生命存在。推推理理由由两两大大部部分分组组成成，即即由由前前提提和和结结论论组组成成。前前提提是是推推理理所所根根据的已知命题，结论是推理所得出的新命题。例如，据的已知命题，结论是推理所得出的新命题。例如，（1）（1）因因为为所所有有的的商商品品都都有有交交换换价价值值的的，所所以以，并并非非有有的的商商品品不不是有交换价值的是有交换价值的。（2）（2）所所有有的的鲸鲸都都不不是是鱼鱼，因因为为鱼鱼都都是是通通过过腮腮呼呼吸吸的的，而而鲸鲸都都不不是通过腮呼吸的是通过腮呼吸的。小小张张的的学学习习是是努努力力的的，但但是是，他他未未

4、能能学学好外语好外语。所以所以，小张的学习方法不是正确的小张的学习方法不是正确的。形形式式逻逻辑辑不不研研究究推推理理的的具具体体内内容容。形形式式逻逻辑辑的的推推理理理理论论的的研研究究对对象象是是各各种种推推理理形形式式、判判别别一一推推理理形形式式是是否否正正确确的的方方法法以以及及正正确确推推理的规则。理的规则。所谓所谓推理形式，就是推理的前提与结论之间的联系方式推理形式，就是推理的前提与结论之间的联系方式。例如：。推理推理（1）（1）的形式为：的形式为：SAP SAP SOPSOP推理推理（3）（3）的形式为的形式为;（p（p q）q）r,p r,p r r q q 二、推理与语句群

5、二、推理与语句群 推推理理是是由由语语句句群群或或复复合合语语句句来来表表达达的的。推推理理不不能能离离开开语语句句群群或或复复合合句句而而单单独独存存在在。这这就就如如同同概概念念不不能能离离开开语语词词、命命题题不不能能离离不不开开语语句而单独存在一样。句而单独存在一样。另另一一方方面面：也也正正如如概概念念与与语语词词有有区区别别、命命题题与与语语句句有有区区别别一一样样，推推理理与与语语句句群群、复复合合语语句句也也是是具具有有区区别别的的。推推理理与与语语句句群群、复复合合语语句句的的区区别别主主要要表表现现在在，并并非非所所有有的的语语句句群群和和复复合合语语句句都都表表达达推推理

6、理。只只有有具具有有推推断断关关系系的的语语句句群群和和复复合合语语句句才才表表达达推推理理，不不具具有有推推断断关关系的语句群和复合语句一般不表达推理，例如：系的语句群和复合语句一般不表达推理，例如：形式逻辑是工具学科，形式逻辑是没有阶级性的。形式逻辑是工具学科，所以，形式逻辑是没有阶级性的。这两个复合语句中，前一个不表达推理而后一个表达推理。在在汉汉语语中中，离离开开特特定定的的语语境境看看一一个个句句群群或或复复合合语语句句是是否否具具有有推推断断关关系系、是是否否表表达达推推理理，就就是是看看它它是是否否含含有有“因因为为”、“所所以以”、“因因此此”等等关关联联词词。在在分分析析推推

7、理理时时应应当当注注意意，“因因为为”、“由由于于”、“既既然然”等等之之后后是是前前提提，“所所以以”、“因因此此”、“可可见见”、“从从而而”等之后是结论：等之后是结论：（6）（6）因为因为（前提前提），所以，所以（结论结论）。（7）（7）（前提前提），所以，所以（结论结论）。（8）（8）（结论结论），因为，因为（前提前提）。例如，例如，（1）（1）因因为为所所有有的的商商品品都都有有交交换换价价值值的的（前前提提），所所以以，并并非非有有的的商品不是有交换价值的商品不是有交换价值的（结论结论）。（2）（2）所所有有的的鲸鲸都都不不是是鱼鱼（结结论论），因因为为鱼鱼都都是是通通过过腮腮呼呼

8、吸吸的的，而而鲸都不是通过腮呼吸的鲸都不是通过腮呼吸的（前提前提）。小小张张的的学学习习是是努努方方的的，但但是是，他他未未能能学学好外语好外语（前提前提）。所以所以，小张的学习方法不是正确的，小张的学习方法不是正确的（结论结论）。三、推理的分类三、推理的分类 根根据据不不同同的的标标准准，可可以以对对推推理理进进行行不不同同的的划划分分。本本书书所所采采取取的推理分类可以下表来加以表示：的推理分类可以下表来加以表示：直接推理直接推理三段论三段论性质命题的推理性质命题的推理关系推理关系推理简单命题的推理简单命题的推理复合命题的推理复合命题的推理演绎推理演绎推理归纳推理归纳推理类比推理类比推理

9、推推理理划划分分为为演演绎绎推推理理、归归纳纳推推理理与与类类比比推推理理的的标标准准是是前前提提与与结结论论的的断断定定范范围围（或或者者说说前前提提到到结结论论的的思思维维过过程程）不不同同。演演绎绎推推理理是是从从一一般般性性的的前前提提得得出出个个别别性性的的结结论论的的推推理理。归归纳纳推推理理是是从从个个别别性性的的前前提提得得出出一一般般性性结结论论的的推推理理。类类比比推推理理是是从从个个别别性性的的前前提提得得出出个个别别性性的的结结论论，或或者者从从一一般般性性的的前前提提得得出出一一般般性性的的结结论论的的推推理理。前前述述的的推推理理（1）（1）、（2）（2）、（3）（

10、3）都是演绎推理，都是演绎推理，（4）（4）是归纳推理，是归纳推理，（5）（5）是类比推理。是类比推理。对于推理，还可以根据别的标准来进行划分或分类。比如，对于推理，还可以根据别的标准来进行划分或分类。比如，可根据推理的前提是一个还是多个，分可根据推理的前提是一个还是多个，分直接推理与间接推理。直接推理与间接推理。可可根根据据推推理理是是否否依依据据了了模模态态命命题题之之间间的的关关系系，分分模模态态推推理理与与非模态推理非模态推理。再再如如，根根据据推推理理的的前前提提与与结结论论之之间间是是否否存存在在蕴蕴涵涵关关系系，分分必必然然性性推推理理与与非非必必然然性性推推理理。必必然然性性推

11、推理理的的前前提提与与结结论论之之间间存存在在有有蕴涵关系。蕴涵关系。蕴蕴涵涵关关系系是是两两命命题题形形式式之之间间的的一一种种真真假假关关系系。所所谓谓p p蕴蕴涵涵q q，是说，如果是说，如果p p真则真则q q为真为真。因因此此，所所谓谓必必然然性性推推理理，也也就就是是前前提提真真则则结结论论为为真真的的推推理理。若若一一推推理理前前提提为为p p1 1 、p p2 2、p p3 3p pk k，结结论论为为q q，若若 p p1 1 p p2 2 p p3 3 p pk k为为真真则则q q为为真真，则则该该推推理理为为必必然然性性推推理理。非非必必然然性性推推理理的的前前提提与与

12、结结论论间间不不存存在在蕴蕴涵涵关关系系，即即是是说说，非非必必然然性性推推理理的的前前提提真真时时其其结结论可能为真，也可能为假。论可能为真，也可能为假。正正确确的的演演绎绎推推理理都都是是必必然然性性推推理理，归归纳纳推推理理、类类比比推推理理大大都都是非必然性推理。非必然性推理也可称作是非必然性推理。非必然性推理也可称作“或然性推理或然性推理”。四、正确推理的条件四、正确推理的条件 命命题题有有真真假假之之分分，形形式式逻逻辑辑对对于于命命题题的的研研究究主主要要侧侧重重于于命命题题形形式式的的真真假假情情况况及及真真假假关关系系。推推理理没没有有真真、假假之之分分，但但推推理理有正确与

13、不正确的区别。有正确与不正确的区别。正正确确的的推推理理必必须须满满足足两两个个条条件件：其其一一，前前提提真真；其其二二推推理形式正确。理形式正确。所所谓谓推推理理形形式式正正确确，对对于于不不同同类类型型的的推推理理来来说说，其其要要求求是是不不同同的的。对对于于演演绎绎推推理理而而言言，推推理理形形式式正正确确就就是是前前提提与与结结论论间间有有蕴蕴涵涵关关系系，即即前前提提真真则则结结论论为为真真。换换句句话话说说，推推理理形形式式正正确确的演绎推理也就是必然性的推理。的演绎推理也就是必然性的推理。正正确确的的推推理理形形式式也也叫叫有有效效的的推推理理形形式式，或或有有效效式式。一一

14、个个演演绎绎推推理理，如如果果它它的的推推理理形形式式是是有有效效式式，它它的的前前提提是是真真命命题题那那么，它的结论也一定是真命题。么，它的结论也一定是真命题。不不正正确确的的推推理理形形式式也也叫叫非非有有效效的的推推理理形形式式，或或非非有有效效式式。对对于于演演绎绎推推理理来来说说，其其形形式式非非有有效效，也也就就是是它它的的前前提提与与结结论论之之间间没有蕴涵关系，前提真时结论可能为真也可能为假。没有蕴涵关系，前提真时结论可能为真也可能为假。综综上上所所述述，我我们们可可以以将将演演绎绎推推理理正正确确与与否否与与其其推推理理形形式式、前前提以及结论之间的情况概略地表示为下表：提以及结论之间的情况概略地表示为下表：推理正确不正确不正确不正确推理形式有效式有效式非有效式 非有效式前提真假真假结论真真假不定 真假不定 真假不定 由由此此可可见见，对对于于演演绎绎推推理理来来说说，推推理理形形式式为为有有效效式式