2016形式逻辑（师大版）原理教案：演绎推理（一）.docVIP

形式逻辑（师大版）原理教案 第六章 演绎推理（一） 一、推理及其结构 推理是依据已知的判断得到新判断的思维形式。 推理分为前提和结论两部分。前提是推理所依据的判断，结论是推理所得到的判断。只有存在着前提与结论关系的句群才成为推理。 表达前提与结论关系的词语有： 因为……所以…… 由于……因此…… 根据……可知…… 既然……就…… 二、推理的种类 根据推理中从前提到结论的思维进程的不同，可以把推理分为三类：演绎推理、归纳推理和类比推理。 根据推理中前提和结论之间是否有蕴涵关系，可以把推理分为必然性推理和或然性推理。 必然性推理前提蕴涵结论，演绎推理是必然性推理。或然性推理前提不蕴涵结论，归纳推理和类比推理是或然性推理。 三、推理的形式有效性及其判定 判断有真假之分，推理则有对错之分。 如果一个推理形式有效，当且仅当具有此推理形式的任一推理（即其推理形式的任一解释）都不出现真前提和假结论。 在推理形式错误及前提虚假的情况下，其结论并不必然假，而是真假不定的。因为不排除在推理中，结论碰巧为真。 第二节 直接推理 直接推理是以一个判断为前提推出结论的推理，直接推理的前提和结论都是性质判断。 一、对当关系的直接推理 矛盾关系 矛盾关系，存在于A和O，E和I之间。存在矛盾关系的两个判断，不能同真，也不能同假。因此，根据矛盾关系，可由真推假，也可由假推真。 ① 由真推假 SAP→SOP 所有S都是P → 并非有的S不是P 所有的狗都是动物。→ 所以，并非有的狗不是动物 SEP→SIP 所有S都不是P → 并非有的S是P 所有动物都不是植物 → 所以，并非有的动物是植物 S I P→ SEP 有的S是P → 并非所有S不是P 有的科学家是女性 → 所以，并非所有科学家不是女性 SOP→SAP 有的S不是P → 并非所有S是P 有的运动员不是男性 →所以， 并非所有运动员是男性 ② 由假推真 SAP→SOP 并非所有S是P → 有的S不是P 并非所有的狗都是黑狗 →所以，有的狗不是黑狗 SEP → S I P 并非所有S不是P → 有的S是P 并非所有大学生不是广东人 → 所以，有的大学生是广东人 SI P→ SEP 并非有的S是P → 所有S不是P 并非有的狗是植物 → 所以，所有的狗不是植物 SOP→SAP 并非有的S不是P → 所有S是P 并非有的大学生不是学生 → 所以，所有大学生是学生 2、差等关系 差等关系，存在于A和I、E和O之间。存在差等关系的两个判断分别是全称判断和特称判断。全称真则特称真；全称假则特称真假不定；特称假则全称假；特称真则全称真假不定。因此，根据差等关系，可由全称真推特称真，也可由特称假推全称假。 ① 全称真推特称真 SAP → S I P 所有S是P →所以，有的S是P 所有的白菜是植物 → 所以，有的白菜是植物 SEP→SOP 所有S不是P→所以，有的S不是P 所有的谎言都不能持久 → 所以，有的谎言不能持久 ② 特称假推全称假 SI P →SAP 并非有的S是P →并非所有的S是P 并非有的女人是男人 → 所以，并非所有女人是男人 SOP →SEP 并非有的S不是P → 并非所有S不是P 并非有的狗不是动物 → 所以，并非所有的的狗都不是动物。 反对关系 反对关系存在于A和E之间，二者不能同真，可以同假。因此，由真可以推假，包括下面的正确推理式： SAP→ SEP 所有S是P → 并非所有S不是P 所有的大学生是学生 → 所以，并非所有的大学生不是学生 SEP → SAP 所有S不是P → 并非所有S是P 所有的狗不是猫 → 所以，并非所有的狗是猫 下反对关系 下反对关系存在于I和O之间，二者可以同真，不能同假。因此，由假可以推真，包括下面的正确推理式： SI P → SOP 并非有的S是P → 有的S不是P 并非有的狗是猫 → 所以，有的狗不是猫 SOP → SIP 并非有的S不是P → 有的S是P 并非有的白菜不是植物 → 所以，所有的白菜是植物 对当关系的直接推理，包括并且只包括以上16个有效式。 1、对当关系的成立，是以判断的主项非空（即不是空概念）为条件的。如果判断的主项是空概念（即反映的对象在现实中不存在），那么只有矛盾关系能成立，其它关系均不成立。 如：鬼是有生命的（假） — 鬼是没有生命的（真）（矛盾关系） 2、在对当关系中，单称判断不能作全称