假言三段论

假言三段论

假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。 ①大前提、小前提均为假言判断的是纯粹的假言推理。 ②只是大前提为假言判断的是混合的假言推理。

根据假言判断所反映的三种条件，混合的假言推理可分为： ①充分条件的假言推理 ②必要条件的假言推理

③充分而且必要条件的假言推理 2．假言三段论的形式及规则

①充分条件假言推理的形式和规则。 形式：

顺肯定式：

如果S是P，则S1是P1； S是P；

─────────── ∴ S1是P1。 逆否定式：

如果S是P，则S1是P1； S1不是P1；

─────────── ∴ S不是P。 规则：

⑴从肯定前件可以肯定后件，从否定后件可以否定前件。

⑵不得从否定前件到否定后件，也不得从肯定后件到肯定前件。

②必要条件假言推理的形式和规则。 形式：

顺否定式：

只有S是P，S1才是P1； S不是P；

─────────── ∴ S是P。 逆肯定式：

只有S是P，S1才是P1； S1是P1；

────────── ∴ S是P。 规则：

⑴从否定前件可以否定后件，从肯定后件可以肯定前件。

⑵不得从肯定前件到肯定后件，也不得从否定后件到否定前件。

③充要条件假言推理的形式和规则。 形式：

顺否定式：

无产阶级只有解放全人类，才能最后解放自己； 无产阶级能够解放全人类；

───────────────────── 所以无产阶级能够最后解放自己。 逆肯定式：

无产阶级只有解放全人类，才能最后解放自己； 无产阶级必能最后解放自己；

───────────────────── 所以无产阶级必能解放全人类。 顺肯定式：

无产阶级只有解放全人类，才能最后解放自己； 无产阶级还没有解放全人类；

───────────────────── 所以无产阶级还没有最后解放自己。 逆否定式：

无产阶级只有解放全人类，才能最后解放自己； 无产阶级还没有最后解放自己；

───────────────────── 所以无产阶级还没有解放全人类。 规则：

⑴肯定前件可以肯定后件，肯定后件也可以肯定前件。 ⑵否定前件可以否定后件，否定后件也可以否定前件。 综上所述，假言推理的基本形式为：

肯定式、否定式；而这两式又各分为顺、逆两种。

当然，这些基本形式都必须在保证大前提真实的情况下才能合理地运用。

例子：

如果我不能起床，则我不能上班。 如果我不能上班，则我不能得到报酬。 所以，如果我不能起床，则我不能得到报酬。