(逻辑学课程课件）第九章证明和 与反驳.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * 间接反驳 独立证明 间接反驳法 归谬法 是借助矛盾律，用证明对方论题的反论题真和从对方论题导出荒谬的方法，间接引出对方论题假。 　　即独立证明对方论题的反论题真，据矛盾律，引出对方论题假的方法。其公式是： 　　被反驳论题：P 　　反驳： 　　 ①独立证明被反驳命题P的矛盾或反对论题非P为真 　　 ②据矛盾律，断定被反驳命题P为假 　　如要反驳论题“文章本天成，妙手偶得之”。先独立证明反论题“文章非天成，努力才写好”为真。再据矛盾律，断定对方论题为假。要反驳主题“人是上帝造的”，先独立证明矛盾命题“人不是上帝造的”或反对命题“人是由猿猴进化而来的”为真，再据矛盾律，断定对方论题假。 即假定对方论题真，则导出荒谬（与已知事实矛盾；与已知真理矛盾；自相矛盾），从而间接引出对方论题假的方法 　　归谬法公式： 　　被反驳论题：P 　　反驳： 　　 ①设P真 　　 ②如果P，那么Q 　　非Q 　　所以，非P（充分条件假言推理否定后件式） 归谬法 （1）由归谬假设所导出的命题，可以是与已知事实矛盾的命题。如加拿大前外交官切斯特?朗宁，出生于湖北襄阳，喝中国奶妈的乳汁长大。在他竞选省议员时，反对派说他“喝中国人的奶长大，身上一定有中国血统”。朗宁反驳说：“根据你们的逻辑，你们是喝牛奶长大的，你们身上一定有牛的血统。”这与已知事实矛盾，所以对方命题不能成立。 （2）由归谬假设所导出的命题，可以是与已知真理矛盾的命题。如说：“假定垂直于同一直线的两条直线延长后能够相交，则自直线外一点可以引两条直线同它垂直，但这同已知‘自直线外一点可以引一条而且只能引一条直线同这条直线垂直’的欧氏几何定理相矛盾，所以，‘垂直于同一直线的两条直线延长后能够相交’的假定，在欧氏几何学体系中不能成立。” （3）由归谬假设所导出的命题，也可以是自相矛盾的命题。如古希腊的克拉底鲁说：“我们对任何事物所作的肯定和否定都是假的。”亚里士多德反驳说：“克拉底鲁的话等于说：‘一切命题都是假的。’而如果一切命题都是假的，那么，这个‘一切命题都是假的’命题也是假的。”一个命题既真又假不可能，所以该命题不成立。 （二）反驳论据 　　反驳论据，是证明对方论据的虚假。反驳论据的方法，与反驳论题的方法同样。 　　应该指出，对方论据假，其论题并不必然假，而是可真可假。驳倒对方论证中的部分或全部论据，意味着驳倒了对方的证明，但不等于驳倒了对方的论题。驳倒对方论据，表示对方的论题，尚未得到证明。如果对方坚信自己的论题真，就应该另择真实论据，重新予以证明。 　　一位警卫战士，在转战陕北行军途中，对毛泽东说：“新四旅打仗厉害（论题），因为里面河北人多，河北人能打仗（论据）。”毛泽东说：“河北人不一定都能打仗吧，三国时候，河北名将颜良、文丑，不是叫山西人关云长给杀了嘛！能不能打仗，不在乎是哪省的人。”警卫战士的这个论据，虽然被毛泽东驳倒，但其论题却仍然是正确的，可以另择真实论据，重新予以证明。 （三）反驳证明方式 　　反驳证明方式，是证明对方论据和论题之间，没有或缺少足够的推断关系，即由其论据推不出其论题。如F国政府人士曾说，我南沙群岛离F国最近，“理应”属于F国。从“离我近”推出“属于我”，这样的“理”是荒谬的，不能成立的。如果这样的“理”成立，那么，站在我南沙群岛上，岂不是反过来也可以说F国“距离中国最近”，因而是属于中国的吗？ 　　又如某人被误判犯杀人罪的论证是： 　　罪犯了解现场情况。（论据１） 　　某人了解现场情况。（论据２） 　　———————————————— 　　所以，某人是罪犯。（论题） 此证明方式无效，其推理形式是： 　　（PAM∧SAM）→SAP 这是第二格的无效式AAA式，违反“中项须周延一次”和“第二格两前提须有一否定”的规则，犯了“中项两次不周延”和“第二格两前提均肯定”的逻辑错误。事实上，了解现场情况，未必是作案者。了解现场情况，除作案者外，还可听自传闻，或亲自调查。运用无效的证明方式判案，可能铸成冤假错案。 　　同样应指出，对方证明方式无效，其论题并不必然假，而是可真可假。同样，驳倒了证明方式，不等于驳倒对方论题。确认对方证明方式无效，表示对方的论题，尚未得到证明。如果对方坚信自己的论题真，就应该另择有效证明方式，重新予以论证。 　　在实际证明中，反驳论题、反驳论据和反驳证明方式，可综合运用、交替进行，这将使反驳更加全面、有力。 第三节　形式化方法 一、公理化和形式化 （一）什么是公理化 　　公理化方法是一种构造理论体系的演绎方法。这种方法包括两个要点： 　　（１）它在一个理论中明确区分了初始概念和被定义概念；出发命题（即公理）和被证命题（即定理）； 　　（２）它明