第七章：演绎推理（二）.doc

第七章：演绎推理（二） 1、联言推理：就是前提或结论为联言判断的推理。可分为分解式和组合式。 2、选言推理：就是前提中有一个时选言判断的推理。根据前提中所含的选言判断的不同，可分为：相容的选言推理和不相容的选言推理。 3、假言推理：就是前提中有一个式假言判断并且根据假言判断前后件之间的关系而推出结论的推理，分三类：充分条件假言推理，必要条件假言推理，充分必要条件假言推理。 （1）充分条件假言推理：是前提中有一个是充分条件假言判断的假言推理。充分假言判断前后件的关系是：p是q的充分条件，q是p的必要条件，即有p必有q，无q必无p，无p可以有q，也可以无q，有q可以有p，也可以无p。有两条规则：1、肯定前件就要肯定后件，否定后件就要否定前件，2、否定前件不能否定后件，肯定后件不能肯定前件。有两个正确的形式： * 肯定前件式：在前提中肯定充分条件假言判断的前件，结论肯定它的后件。公式是： * 否定后件式：在前提中否定充分条件假言判断的后件，结论否定它的前件。公式是： （2）必要条件假言判断：是前提中有一个是必要条件假言判断的假言推理。前后件关系是：p是q的必要条件，q是p的充分条件，即无p必无q，有q必有p，有p可以有q，也可以无q，无q可以有p，也可以无p。有两条规则：1、否定前件就要否定后件，肯定后件就要肯定前件，2、肯定前件不能肯定后件，否定后件不能否定前件。有两个正确形式： * 否定前件式：在前提中否定必要条件假言判断的前件，结论否定它的后件，其公式是： * 肯定后件式：在前提中肯定必要条件假言判断的后件，结论肯定它的前件，其公式是： （3）充分必要条件假言推理：是前提中有一个是充分必要条件假言判断的假言推理。前后件关系是：p是q既充分有必要的条件，q也是p既充分又必要的条件，即有p必有q，无p必无q，有q必有p，无q必无p。有两条规则：1、肯定前件就要肯定后件，否定后件就要否定前件。2、否定前件就要否定后件，肯定后件就要肯定前件。有四个正确形式： * 肯定前件式：在前提中肯定充分必要条件假言判断的前件，结论肯定它的后件，其公式是： * 否定后件式：在前提中否定充分必要条件假言判断的后件，结论否定它的前件。其公式是： * 否定前件式：在前提中否定充分必要条件假言判断的前件，结论否定它的后件。其公式是： * 肯定后件式：在前提中肯定充分必要条件假言判断的后件，结论肯定它的前件。其公式是： 4、二难推理：是假言推理的一部分，它的前提中有两个假言判断和一个只有两个选言支的选言判断。常用于诡辩中。有四种形式：1、简单构成式，2、简单破坏式，3、复杂构成式，4、复杂破坏式。 （1）简单构成式特征：两个假言前提的前件不同后件相同，选言前提的选言支分别是两个假言前提的那两个不同的前件，结论是两个假言前提的那个相同的后件，其公式是： （2）简单破坏式特征：两个假言前提的前件相同后件不同，选言前提的选言支分别是两个假言前提的那两个不同的后件的否定，结论是两个假言前提的那个相同的前件的否定，其公式是： （3）复杂构成式特征：两个假言前提的前后件都不相同，选言前提的选言支分别是两个假言前提的那两个不同的前件，结论是两个假言前提的那两个不同的后件的析取，其公式是： （3）复杂破坏式特征：两个假言前提的前后件都不相同，选言前提的选言支，分别是两个假言前提的那两个不同后件的否定，结论是两个假言前提的那两个不同前件否定的析取，其公式是： 5、二难推理应遵守三条要求：1、前提种的假言判断，其浅见须是后件的充分条件，2、前提种的选言判断，其选言支应是穷尽的，3、推理过程要符合充分条件假言推理和选言推理的规则。 6、破斥错误二难推理的方法：有两种，一是揭露前提虚假，二是揭露其违反推理规则。其次还有一种二难推理特有的破斥方法，即构造一个与对方的二难推理相反的二难推理，从而使对方的二难推理不能成立。这种方法可以简称为“以二难破二难”。 7、模态推理：是以模态判断为前提或结论的推理。 （1）根据模态方阵的模态推理：“必然p”、“必然非p”、“可能p”、“可能非p”之间，有真假制约的关系，即模态方阵所显示的“反对关系”、“矛盾关系”、“差等关系”、“下反对关系”。可根据此方阵来进行模态判断之间的演绎推理。 （2）根据模态判断与性质判断之间的关系进行模态推理： （3）根据包含复合判断的模态判断之间等值关系进行的模态推理：包含复合判断的模态判断之间存在等值关系，“必然（p并且q）”等值于“必然p并且必然q”、“可能（p或q）”等值于“可能p或者可能q”?、“不可能（p并且非q）”等值于“必然（如果p。那么q?）”等。可进行下列模态推理。 或 即 或 . . P并且q .. q p并且q 所以，