三斷論推理是演繹推理的一種簡(jiǎn)單推理霹期,它包含一個(gè)大前題敢课,小前提和結(jié)論寡喝。大前題是對(duì)結(jié)論特殊化的陳述糙俗,小前提是由此引申特殊化陳殊化得出符合一般性原則性結(jié)論。
同一格的三斷論也有一定的差異预鬓,它們的前提和結(jié)論所涉用的直言命題的量詞(全稱 特稱)和質(zhì)(肯定 否定)是不同的巧骚。
例如:
1:所有的偶蹄目動(dòng)物都是脊椎動(dòng)物,牛是偶蹄目動(dòng)物珊皿;所以牛都是脊椎動(dòng)物网缝。 大前提:偶蹄目動(dòng)物都是脊椎動(dòng)物。(肯定)小前提:牛是偶蹄目動(dòng)物(肯定)結(jié)論:牛是脊椎動(dòng)物蟋定。(肯定)(第一格AAA式)
2:所有的偶蹄目動(dòng)物都不是昆蟲粉臊,牛是偶蹄目動(dòng)物;所以牛都不是昆蟲驶兜。大前提:偶蹄目動(dòng)物都不是昆蟲(否定)小前提:牛是偶蹄動(dòng)物(肯定)結(jié)論:牛不是昆蟲(否定)
3:所有商品都是用來交換的扼仲,所有封建地租都不是用來交換的远寸;所以所有封建地租都不是商品。大前提:商品都是用來交換的(肯定)小前提:封建土地都不是用來交換的(否定)結(jié)論:封建地租都不是商品(否定)(第二格AEE式)
4:鴕鳥不會(huì)飛屠凶,鴕鳥是鳥驰后;所以一些鳥不會(huì)飛痴荐。大前提:鴕鳥不會(huì)飛(否定)小前提:鴕鳥是鳥(肯定)結(jié)論:所以一些鳥不會(huì)飛(特稱肯定)(第三格EAO式)
5:有些不會(huì)飛的動(dòng)物是鴕鳥膜廊,鴕鳥是鳥杯拐;所以有的鳥是不會(huì)飛的動(dòng)物檀何。大前提:不會(huì)飛的鳥是鴕鳥(特稱肯定)小前提:鴕鳥是鳥(肯定)結(jié)論:鳥是不會(huì)飛的動(dòng)物(特稱肯定)(第四格IAI式)
以上得出結(jié)論:1)一個(gè)正確的推理判斷必須的三個(gè)不同項(xiàng) 击敌。2)中項(xiàng)(連接大小前提的媒介)至少要周延一次护侮。3)在前提不周延的詞項(xiàng)挟裂,在結(jié)論中不得周延壁肋。(例:金屬都是導(dǎo)電體属愤,橡膠不是金屬女器,所以橡膠不是導(dǎo)電體。)4)兩個(gè)否定前提得不出結(jié)論住诸。5)前提有一個(gè)否定的驾胆,結(jié)論必須是否定的。結(jié)論是否定的贱呐,前提必須有一個(gè)是否定的丧诺。6)兩個(gè)特稱的前提得不出結(jié)論。7)前提中有一個(gè)是特稱的吼句,結(jié)論必須是特稱的锅必。
對(duì)于三段論的所有可能式,可以依據(jù)一般情況的規(guī)則或特殊情況的具體規(guī)則惕艳,判定它是否有效搞隐。經(jīng)過篩選,三段論共有如下24個(gè)有效式:
第一格 ? ? ? ? 第二格 ? ? ? ? 第三格 ? ? ? ? 第四格
AAA ? ? ? ? ? ? ? AEE ? ? ? ? ? ? ? AAI ? ? ? ? ? ? ?AAI
EAE ? ? ? ? ? ? ? EAE ? ? ? ? ? ? ? ?EAO ? ? ? ? ? ? EAO
AII ? ? ? ? ? ? ? ? ?AOO ? ? ? ? ? ? ? ? AII ? ? ? ? ? ? ? AEE
EIO ? ? ? ? ? ? ? ? EIO ? ? ? ? ? ? ? ? ? EIO ? ? ? ? ? ? ?EIO
(AAI) ? ? ? ?(AEO) ? ? ? ? ? ?IAI ? ? ? ? ? ? ?IAI
(EAO) ? ? ? ?(EAO) ? ? ? ? OAO ? ? (AEO)
一個(gè)三段論是否有效的远搪,可以通過以上24個(gè)式中驗(yàn)證一個(gè)三段論是否正確劣纲。