逻 辑 学6演绎推理.ppt

《逻 辑 学6演绎推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、逻辑学2005－2006（下）第五章演绎推理第一节推理概述一、什么是推理推理是由一个和几个已知判断推出另一个新的判的思维形式。例如：①马克思主义者是相信人民群众的，所以不相信人民群众的不是马克思主义者。②凡是真理都是不怕批评的，有的理论是怕批评的。所以，有的理论不是真理。③如果B是拿错了提包，就会回车上寻找自己的提包，B不回到车上寻找自己的提包，所以，B不是那错了提包。B或者是无意那错了提包，或者是故意偷别人的提包，B不是无意中拿错了提包，所以，B是有意偷别人的提包。④太平洋生产石油，大西洋生产石油，印度洋生产石油，北冰洋生产石油，以上大洋是地球上的全部大洋，所以地球

2、上的所有大洋都生产石油。二、推理的结构推理由前提、结论和联结项三部分组成。前提是作为推理依据的已知判断。如以上各例中横线上面的部分。结论是由前提推出的新判断。如以上各例中横线下面的部分。联结项是联结前提和结论的关联词。如以上各例中的“所以”。三、推理的逻辑要求一个正确的推理，应具备两个条件：一曰前提真实；二曰推理正确。前提不真实，结论很可能就是错误的。例如：①人是有语言的，猴子等其他灵长类动物也是有语言的。所以，所有灵长类动物都是有语言的。②动词能够带宾语，形容词也能带宾语。所以，动词和形容词都能带宾语。③地球上的人是有思维的，月亮等其他星球上的人也是有思维的。所以，

3、所有的人都是有思维的。推理正确，也叫形式有效。而一个有效的推理形式必须是前提真实，结论必然真实，也就是说不能出现真前提假结论的情况。例如：①所有的侯鸟都是随着季节的变化而迁徙的，燕子是侯鸟，所以，燕子是随着季节的变化而迁徙的。②所有的人都是有思想的。所有的猴子都不是人。所以，所有的猴子都不是有思想的。所有的人都是要死的，所有的猴子都不是人。所以，所有的猴子都不是要死。例①的推理形式是：所有M都是PS是M所以，S是P该推理形式是有效的推理形式，因为具有它的推理形式的任意推理都不会出现前提真而结论假的推理结果。例②的推理形式是：所有的M都是P所有的S都不是M所以，所有的S

4、都不是P该推理形式是无效的，因为它不能保证具有它的推理形式的任意推理都不会出现真前提而假结论的推理结果。例②两个推理中，后一个就出现了前提真而结论假的推理结果。四、推理的分类根据不同的标准，推理可以分出不同的类型。（一）根据前提的数量不同，可以将推理分为直接推理和间接推理。直接推理是由一个前提推出结论的推理。间接推理是由两个以上的前提推出结论的推理。（二）根据推理所表现的思维进程方向性的不同，可以将推理分为演绎推理、归纳推理和类比推理。演绎推理是由一般性知识前提推出个别性知识结论的推理，其推理过程是由一般到个别。归纳推理是由个别性知识前提推出一般性知识结论的推理，它的

5、思维进程是由个别到一般。类比推理由个别性知识前提推出个别性知识结论的推理，它的思维进程是由个别到个别。（三）根据推理的前提和结论之间是否具有蕴涵关系，可以将推理分为必然性推理和或然性推理。必然性推理是前提和结论之间有蕴涵性关系的推理，即能够从前提必然地推出结论，其结论是确实可靠的。演绎推理、科学归纳推理、完全归纳推理都是必然性推理。或然性推理是前提和结论之间没有蕴涵关系的推理。或然性推理的结论不是完全可靠的。简单枚举推理、类比推理一般都是或然性推理。（四）根据推理的前提是否是模态判断，可以把推理分为模态推理和非模态推理。模态推理是前提中至少有一个模态判断的推理。非模态

6、推理是不以模态判断为前提的推理。上边提到的演绎推理、归纳推理和类比推理都属于非模态推理。对多前提的演绎推理，可以根据构成推理的判断的不同类型，分为直言三段论、关系推理、假言推理、选言推理、联言推理等。第二节直接推理一、什么是直接推理（一）定义直接推理是指由一个判断作前提直接推出结论的推理。直接推理有广义的直接推理和狭义的直接推理之分。广义的直接推理作为前提的判断可以是任何一个，既可以是简单判断，也可以是复合判断。狭义的直接推理仅指以一个性质判断作前提得出一个性质判断作结论的推理。本节所介绍的是狭义的直接推理。例如：并非所有的蛇都是有毒的有些蛇是没有毒的。（二）特点直接

7、推理的特点有三个：1．前提的单一性：前提只有一个。2．结论的确定性：前提蕴涵结论，前提真结论必然真。3．推理的直接性：从前提直接引出结论，不像间接推理那样还需要经过中介或其他条件才能进行推理。（三）分类根据推理方法的不同，由性质判断构成的直接推理大致可以分为以下几类：判断间对当关系直接推理、判断变形直接推理、附性法直接推理和负判断等值推理。本节重点介绍前三种。二、对当关系直接推理对当关系直接推理是根据性质判断A、E、I、O之间的真假关系进行的推理。由于性质判断中的全称判断一般地不包含对主项存在的断定，因而在主项是空类的情况下，其对当关系直接推理是无效