带证式

带证式又称“带证式复合三段论”，是三段论的复合形式之一。其前提中至少有一个是直言三段论的省略式，并因为它的前提本身带有证明， 所以称为带证式。带证式有单带证式 和复带证式两种形式。单带证式是两个前提中只有一个是省略三段论，而另一个则是直言判断的复合三段论。 例如，“科学是不怕批评的，因为科学是真理，马克思主义是科学，所 以，马克思主义是不怕批评的” 。复带证式是两个前提都带有证明性的理由的带证式。例如，“真理是驳不倒的，因为真理是人们对客观事物规律 的正确认识，马克思主义是真理，因 为它是符合社会运动规律的正确认识，所以，马克思主义是驳不倒 的。”带证式的前提带有证明性的理 由，使它具有论证性强、说服力大的优点，因此，在科学研究和学术讨论 中得到了广泛地运用1。

基本介绍带证式是指前提带有证明性理由的一种复合三段论，即一个或两个前提是另一个省略三段论的结论。带证式分有单带证式和复带证式两种。单带证式的两个前提中有一个前提带有证明性理由，即有一个前提是另一个省略三段论的结论。复带证式的两个前提都带有证明性理由，即两个前提分别是两个省略三段论的结论2。

单带证式如果三段论的两个前提中，只有一个前提为另一个省略三段论的结论，就称为单带证式。其逻辑形式是：

其中“M—P”乃是“H—P，因为M—H”这一省略三段论的结论。如将其省略部分予以补充，则可恢复为另一个完整的三段论形式。 例如，下述带证式就是一个单带证式：

凡真理是不怕批评的，因为真理是批评不倒的2。

复带证式如果三段论的两个前提分别是另外两个省略三段论的结论，那么就称为复带证式。其逻辑形式是：

例如：

凡真理是不怕批评的，因为真理是批评不倒的，

马克思主义是真理，因为马克思主义是客观规律的

由于在带证式中，三段论的一个或两个前提是另一个或两个省略三段论的结论，清楚显示了前提本身被断定的理由，因而带证式这种复合的三段论形式具有比一般三段论形式更强的论证性和说服力。在论证过程中，当着必需论证前提(即论证中的论据)的真实性时，一般都运用带证式这种形式2。

本词条内容贡献者为:

孙和军 - 副教授 - 南京理工大学