反证法与归谬法

反证法与归谬法是两种常用的间接论证的方法。因为它们都要用到充分条件假言推理的否定后件式,所以人们容易混淆,分不清楚。其实,只要掌握两者的区别,并不难识别。反证法是证明的方法,归谬法是反驳的方法,两者的用途不同。不过,仅凭这一点,在实际运用当中是难以把它们辨别清楚的。两者实质性的区别,是逻辑形式不同,并由此产生了语言表达形式上的差异。本文主要讨论这两个问题。