普通逻辑学习笔记 论证的种类

　　一、演绎论证和归纳论证

　　根据论证所用的推理形式的不同，可以将论证分为演绎论证和归纳论证。

　　1.演绎论证：运用演绎推理形式所进行的论证，是论证中的主要方法。

　　2.归纳论证：运用归纳推理形式所进行的论证。

　　二、直接论证和间接论证

　　根据论证的方法，可以将论证分为直接论证和间接论证。

　　1.直接论证：用论据正面确定论题真的论证。

　　2.间接论证：通过论证与论题相关的其他论断假，从而论证该论题真。间接论证可以分为两种：反证法和选言证法。

　　①反证法：先论证与原论题相矛盾的论断为假，然后根据排中律确定原论题真。其论证过程可以表示如下：

　　　　⑴求证：p

　　　　⑵设：非p

　　　　⑶证：如果非p，那么q

                ⑷　　非q

　　　　⑸　　所以，非非p

　　　　⑹　　所以，p

　　（论证中使用了充分条件假言推理的否定后件式）

　　应着重掌握反证法与间接反驳之间的区别。

　　②选言证法：先论证与原论题相关的其他可能性不能成立，然后确定论题真。其论证过程可以表示如下：

　　　　⑴求证：p

　　　　⑵设：p或q或r

　　　　⑶证：p或q或r

　　　　⑷　　非q

　　　　⑸　　非r

　　　　⑹　　所以，p

　　（论证中使用了选言推理的否定肯定式）