帶證式

帶證式又稱“帶證式複合三段論”，是三段論的複合形式之一。其前提中至少有一個是直言三段論的省略式，並因為它的前提本身帶有證明， 所以稱為帶證式。帶證式有單帶證式 和復帶證式兩種形式。單帶證式是兩個前提中只有一個是省略三段論，而另一個則是直言判斷的複合三段論。 例如，“科學是不怕批評的，因為科學是真理，馬克思主義是科學，所 以，馬克思主義是不怕批評的” 。復帶證式是兩個前提都帶有證明性的理由的帶證式。例如，“真理是駁不倒的，因為真理是人們對客觀事物規律 的正確認識，馬克思主義是真理，因 為它是符合社會運動規律的正確認識，所以，馬克思主義是駁不倒 的。”帶證式的前提帶有證明性的理 由，使它具有論證性強、說服力大的優點，因此，在科學研究和學術討論 中得到了廣泛地運用。

基本介紹

• 中文名：帶證式
• 所屬學科：邏輯學
• 屬性：三段論的複合形式之一
• 簡介：前提帶有證明性理由

基本介紹

帶證式是指前提帶有證明性理由的一種複合三段論，即一個或兩個前提是另一個省略三段論的結論。帶證式分有單帶證式和復帶證式兩種。單帶證式的兩個前提中有一個前提帶有證明性理由，即有一個前提是另一個省略三段論的結論。復帶證式的兩個前提都帶有證明性理由，即兩個前提分別是兩個省略三段論的結論。

單帶證式

如果三段論的兩個前提中，只有一個前提為另一個省略三段論的結論，就稱為單帶證式。其邏輯形式是：

其中“M—P”乃是“H—P，因為M—H”這一省略三段論的結論。如將其省略部分予以補充，則可恢復為另一個完整的三段論形式。 例如，下述帶證式就是一個單帶證式：

凡真理是不怕批評的，因為真理是批評不倒的。

復帶證式

如果三段論的兩個前提分別是另外兩個省略三段論的結論，那么就稱為復帶證式。其邏輯形式是：

例如：

凡真理是不怕批評的，因為真理是批評不倒的，

馬克思主義是真理，因為馬克思主義是客觀規律的

由於在帶證式中，三段論的一個或兩個前提是另一個或兩個省略三段論的結論，清楚顯示了前提本身被斷定的理由，因而帶證式這種複合的三段論形式具有比一般三段論形式更強的論證性和說服力。在論證過程中，當著必需論證前提(即論證中的論據)的真實性時，一般都運用帶證式這種形式。