《性质命题及其推理》PPT课件

《《性质命题及其推理》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、三段论所有的人都是要死的苏格拉底是人-----------------------------------所以，苏格拉底是要死的毛泽东是革命家毛泽东是诗人-----------------------------------所以，有些诗人是革命家一、什么是三段论以两个包含着共同项的性质命题为前提推出一个新的性质命题为结论的推理。它满足以下三个条件：第一，这三个性质命题有且只有三个不同的词项作主项和谓项。第二，每个词项在任意一个命题中至多出现一次，但在这三个性质命题总共出现两次。第三，以其中的两个

2、命题为前提，以第三个命题为结论。有且只有一个词项不在结论中出现而只在前提中出现两次，该词项称为中项，常用M表示；结论中的主项称为小项，常用S表示；在结论中的谓项称为大项，常用P表示。包含大项的前提叫做大前提；包含小项的前提叫做小前提，按照习惯，我们一般将大前提放在前面，小前提放在后面，但这不是区分大小前提的标准。区分大小前提的标准是它们的定义。所有的人都是要死的MAP苏格拉底是人SAM-------------------------------------------所以，苏格拉底是要死的SA

3、P毛泽东是革命家MAP毛泽东是诗人MAS------------------------------------有些诗人是革命家SIP所有的罪犯都有作案动机PAM有的被告没有作案动机SOM所以，有的被告不是罪犯SOP所有的罪犯都有作案动机PAM有的被告有作案动机SIM所以，有的被告是罪犯SIP这两个推理，第一个是正确的，第二个是错误的。三段论有正确与错误之分。如何根据一些确定的形式的标准，来判定任一三段论的有效性？二、三段论的规则5条基本规则2条导出规则规则1正确三段论有且只有三个项。[四项错误

4、][例]小张是工人小李不是农民-------------------------？[例]群众是真正的英雄我是群众--------------------------------所以，我是真正的英雄规则2中项至少周延一次。[中项两次不周延][例]作案者都有作案动机PAM某甲有作案动机SAM--------------------------------------所以，某甲是作案者。SAP规则3前提中不周延的词项到结论中不得周延。[大项不当周延/小项不当周延][例]作案者都有作案动机MAP某甲不是

5、作案者SEM---------------------------------------------所以，某甲没有作案动机SEP[例]毛泽东是诗人MAP毛泽东是革命家MAS-----------------------------------------所以，革命家都是诗人SAP规则4两否定前提推不出结论。规则5前提有一否定，当且仅当结论否定。规则6两特称前提推不出结论。规则7如果前提有一特称，则结论特称。[练习]依据规则1-5，证明规则6和规则7规则6两特称前提推不出结论。证明：两特称前提有

6、且只有三种不同情况：O、OI、II、O思考并完成证明：为什么在这三种情况下，都不能推出结论？规则7如果前提有一特称，则结论特称。[练习]依据规则1-5，证明规则6和规则7规则7如果前提有一特称，则结论特称。证明：如果前提有一特称，则另一前提必为全称（为什么？）。因此，两前提有且只有四种不同情况：A、OE、OA、IE、I思考并完成证明：为什么在这四种情况下，结论必为特称？[练习]狗是仇猫的，鲁迅先生是仇猫的，-------------------------------所以，鲁迅先生是狗。[练习]

7、推理实例：拿破仑是军事家，拿破仑是矮个子，-----------------------------------所以，有矮个子是军事家。三、三段论的省略式我又不想当翻译，何必花力气学外语。想当翻译的都要花力气学外语我不想当翻译-----------------------------------------因此，我不需要花力气学外语大项不当周延。[练习]有的省略三段论或者前提虚假，或者形式不正确，只有恢复成完整形式才能识别清楚。例：黑猩猩不能思维，因为黑猩猩不是人。可恢复为：凡是人都能思维，黑猩

8、猩不是人，------------------------------------所以，黑猩猩不能思维。也可恢复为：凡能思维的是人，黑猩猩不是人，--------------------------------所以，黑猩猩不能思维。四、三段论的格与式1、三段论的格：MPPMSMSMSPSP第一格第二格MPPMMSMSSPSP第三格第四格各格特殊的规则：第一格：小前提必肯定；大前提必全称。证明格第二格：两前提必有一否定；大前提必全称。区别格第三格：小前提必肯定；结论必特称。例外格第四格：两前提有一