三段论推理的四种形式？（3 / 7）

：要证明一个论题p为假，就先假定p为真。

第二步：从p出发，合乎逻辑地推出一个明显虚假的结论q。

第三步：运用充分条件假言推理否定后件式，由q为假，必然推出p为假。

上述步骤的基本模式是：

归谬法所使用的主要推理形式是充分条件假言推理的否定后件式，这是它与反证法相同之处。它们的不同之处是：反证法的目的是确立p为真，而归谬法的目的是为了确定p为假；反证法在运用充分条件假言推理得出非p假的结论后，还要根据排中律推断p为真（尽管在语言表达中这一步可以省略），而归谬法在用充分条件假言推理得出p假的结论时，就已经完成了它的使命。

在语言中，归谬反驳的过程可以省略为一个充分条件假言判断。

例如，如果这辈子杀什么下辈子就变什么，那么这辈子杀人下辈子就会变成人了；如果存在的就是合理的，那么社会上存在的杀人、、抢劫、贪污腐败等等行为不都变成了合理行为吗？；如果按照对方辩友的观点：人性本来就是恶的，那么纳粹屠杀大批犹太人的行为，日本法西斯制造的南京大屠杀就都是符合人性的了，这些语句实际上都是归谬反驳。

归谬法还有一种特殊的形式叫做导出矛盾法，即从被反驳的论题合乎逻辑地推出逻辑矛盾来。

例如，古希腊学者克拉底鲁曾鼓吹：对任何事物所作的肯定或否定都是假的，这等于说世界上一切判断都是假的。对此亚里士多德等人曾给以有力的批驳：如果我们承认世界上一切判断都是假的，那么，世界上一切判断都是假的这个判断本身就是真的（因为它符合事实）；如果我们承认世界上一切判断都是假的，那么，世界上一切判断都是假的这个判断也是假的（根据三段论推理）；这个判断不可能既是真的，又是假的；所以，我们不能承认世界上一切判断都是假的。

导出矛盾法的基本模式是：

导出矛盾法运用的推理形式叫做归谬式推理。

归谬反驳是一种逻辑力量非常强而语言表达又非常简洁的反驳方法，在驳论性文章和辩论中得到广泛的应用。

论述四：选言证法

选言证法，又叫排除法或淘汰法，这是一种通过否定与论题相关的其它几种判断，从而确定论题为真的论证方法。

例如，想要确定甲是杀人犯这个论题为真，可以这样来论证：已知甲、乙、丙三人中必有一人是杀人犯（即杀人犯或者是甲，或者是乙，