一、根据论证所运用的推理形式不同的分类
根据论证所运用推理形式的不同，论证方式可分为演绎论证和归纳论证。
（一）演绎论证演绎论证是运用演绎推理的有效式来确定某个判断的真实性的论证。
（二）归纳论证归纳论证是运用归纳推理的形式来确定某个判断的真实性的论证。
二、根据论题和论据之间联系方法不同的分类
根据论题和论据之间联系方法的不同，论证方式可分为直接论证和间接论证。
（一）直接论证直接论证是从论据的真实性直接地从正面确定论题的真实性的论证。
（二）间接论证间接论证是通过论证与原论题相悖，但不能与原论题同假的另一个或几个判断的假，然后根据排中律，间接地从反面确定论题的真实性的论证。
间接论证有两种方法：反证法和选言证法。
1.反证法反证法是首先论证与原论题相矛盾或相下反对的论题的虚假性，进而确定原论题的真实性的一种间接论证方法。
反证法的一般步骤是：
第一，设与原论题相矛盾或相下反对的反论题真；
第二，论证反论题假；
第三，根据排中律确定原论题必真。反证法的一般逻辑形式是：论题：p。论证方式：
设反论题：非p。
如果非p，则q；
并非q；
所以，并非”非p“；
所以，p是真的（由④至⑤，根据排中律）。反证法论证过程简洁，对论题的论证不容置疑，应用范围广泛。
运用反证法应注意以下两点：
第一，”非p“与”p“应是矛盾关系或下反对关系；
第二，”非p“应是”q“的充分条件。
选言证法选言证法也叫排除法。它是首先论证与原论题有选言关系的其它可能性判断都虚假，进而确定原论题真实性的一种间接论证方法。选言证法的一般步骤是：
第一，穷尽包含原论题在内的几种有关可能情况的选言肢，并构成一个选言判断；
第二，论证除原论题以外的各种可能情况的选言肢都是虚假的（不成立的）；
第三，根据选言推理的否定肯定式和排中律从而确定原论题真。
选言证法一般逻辑形式是：
论题：p。
论证形式：或p、或q、或r（穷尽有关情况的一切可能性），非q（因为……），
非r（因为……），
（非q并且非r），等值于并非（非p）；
所以，p是真的（由（4）至（5），根据排中律）。
返回