3、带证式三段论

带证式是一种复合形式的三段论推理，其中有一个或两个前提是省略三段论推理的结论。所谓“带证”的意思就是指前提本身“带有证明”，也就是说，作为前提的是另一个省略三段论推理的结论。带证式有两种形式：即单带证式和复带证式。

（1）单带证式三段论。

 单带证式是指其中只有一个前提是作为另一个省略三段论的结论。例如：

     一切恒星都是有生有灭的，因为事物都是有生有灭的。

     太阳是恒星；               

     所以，太阳是有生有灭的。

在这个三段论推理中，只有一个前提是带有证明的，所以这种形式叫做单带证式。上面这个三段论的大前提是另一个省略三段论的结论。现把它复原如下：

        任何事物都是有生有灭的；

        一切恒星都是事物；             

        所以，一切恒星都是有生有灭的。

（2）复带证式三段论。

复带证式是指两个前提都是省略三段论的结论。例如：

      真理是不怕批评的，因为真理是客观规律的正确反映；

      达尔文的进化论是真理，因为它是物种产生和发展规律的正确反映；

      所以，达尔文的进化论是不怕批评的。

在这个三段论推理中，两个前提都是带有证明的，所以，这种形式叫做复带证式。这个三段论不但大前提是另一个省略三段论的结论，而且小前提也是另一个省略三段论的结论。现把大前提所带的省略三段论复原如下：

        凡客观规律的正确反映都是不怕批评的；

        真理是客观规律的正确反映；      

    所以，真理是不怕批评的。

小前提所带的省略三段论也可复原如下：

     凡正确反映物种产生与发展规律的就是真理；

     达尔文的进化论是正确反映物种产生与发展规律的；

     所以，达尔文的进化论是真理。

带证式由于对前提本身作了论证，揭示了前提的真实性，所以，应用带证式这种推理形式就具有更大的说服力。我们在论证过程中，经常运用带证式推理。