PP19198⊙全称陈述的主词否定陈述的谓词是-北大未名BBS.PPTVIP

第六章 演绎论证 一、演绎推理概述 1.1 什么是演绎推理 1.2 演绎推理的有效性 1.3 演绎推理的类型 二、直接推理 2.1 对当关系推理 ⊙蕴涵式 SAP → SIP SEP → SOP ⊙等值式 并非SAP＝SOP 并非SEP＝SIP 并非SIP＝SEP 并非SOP＝SAP 2.2直言陈述主、谓词的周延性(PP.196-198) ⊙全称陈述的主词、否定陈述的谓词是周延的 ⊙特称陈述的主词、肯定陈述的谓词是不周延的 2.3 陈述变形与换质位推理 (1) 换质法（双重否定原则） 事物是运动的＝事物不是不运动的 所有结果都是有原因的＝没有无因之果 (2) 换位法 SAP → PIS SEP ＝ PES SIP ＝ PIS SOP ？ ⊙为什么 E 陈述和 I 陈述可以进行简单换位？ ⊙ A 陈述为什么要进行限量换位？ ⊙ O 陈述为什么不能进行换位？ SAP → PIS SEP ＝ PES SIP ＝ PIS SOP ？ 三、直言三段论 3.1定义和结构 所有的有理数是实数 所有的整数是有理数 所以，所有的整数是实数 所有的M是P 所有的S是M 所以，所有的S是P ●三段论的格 M（ ）P P（ ）M S（ ）M S（ ）M S（ ）P S（ ）P M（ ）P P（ ）M M（ ）S M（ ）S S（ ）P S（ ）P ●三段论的式 所有的M是P 所有的M不是P 所有的S是M 所有的S是M 所有的S是P 所有的S不是P M（A）P M（E）P S（A）M S（A）M S（A）P S（E）P 3.2如何提取三段论的有效式 ●一般规则 ⊙周延规则 1.中项至少在前提中周延一次。 2.前提中不周延的项，在结论中不得周延。 ⊙否定规则 3.两个否前提不能得出必然的结论。 4.前提有一个是否定的，结论必是否定的。 ⊙导出规则 5.两个特称得不出必然的结论。 6.前提有一个特称，结论必是特称。 第一格：①小前提必肯定。②大前提必全称 第二格：①前提中必有一个是否定的。 ②大前提必是全称的。 第三格：①小前提必肯定。②结论必特称 第四格： ①如两个前提有一个否定，则大前提全称。 ②如大前提肯定，则小前提全称。 ③如小前提肯定，则结论特称。 ④结论不能是全称肯定命题。 3.3三段论的公理系统（略） 练习题: 填空 1. ( ) ( ) ( ) 2. M (O) P S (O) M ( ) ( ) ( ) ∴ S ( ) P ∴ S ( ) P 3. ( )(E)( ) 4. ( )(E)( ) M ( I ) S S (A)( ) ∴ S ( ) P ∴ S ( ) P 5. ( ) (A) P 6. ( ) (A) ( ) ( ) ( I ) ( ) S ( ) M ∴ S ( I ) P ∴ S (E) P 7. P ( ) M 8. ( ) (E) ( ) ( ) (A) ( ) M ( ) S ∴ S ( I ) P ∴ S ( O ) P 在具有选举权的人当中，所有选民都是年满18岁的人，有些农民