反证法推理形式辩析

“反正法”和“选言法”是间接论证的两种常见的方法。所谓反证法就是通过确是与论题相矛盾的判断(即反论题)的虚假来确定论题的真实性的间接论证。所谓选言法就是通过确定除论题所指的那种可能外,选言判断所包含的其余可能都是虚假的,从而推出论题的真实性的间接论证方法。从推理形式上说,反证法和选言法各运用了什么样的推理形式呢?一般认为,选言法从推理形式上说是运用了选言推理的