直接推理
直接推理是以一個命題為前提推出結(jié)論的演繹推理。直言命題的直接推理,是以一個直言命題為前提推出一個直言命題結(jié)論的推理,它包括對當關(guān)系直接推理和命題變形直接推理。
一、對當關(guān)系直接推理
對當關(guān)系直接推理。是根據(jù)直言命題 A 、 E 、 I 、 O 間的真假關(guān)系,亦即對當關(guān)系進行的推理。
(一)反對關(guān)系直接推理
1 、 SAP →并非 SEP
2 、 SEP →并非 SAP
(二)下反對關(guān)系直接推理
1 、并非 SIP → SOP
2 、并非 SOP → SIP
(三)矛盾關(guān)系直接推理
1 、 SAP →并非 SOP 并非 SOP → SAP
2 、 SEP →并非 SIP 并非 SIP → SEP
3 、 SIP →并非 SEP 并非 SEP → SIP
4 、 SOP →并非 SAP 并非 SAP → SOP
(四)從屬關(guān)系直接推理
1 、 SAP → SIP
2 、 SEP → SOP
3 、并非 SIP →并非 SAP
4 、并非 SOP →并非 SEP
二、命題變形直接推理
命題變形直接推理,是改變直言命題聯(lián)項(肯定變否定,或否定變肯定),或改變直言命題主、謂項的位置,從而得出結(jié)論的推理。
命題變形直接推理有換質(zhì)法和換位法兩種基本形式:
(一)換質(zhì)法
換質(zhì)法是通過改變前提的質(zhì),即由肯定變否定,或否定變肯定,從而推出結(jié)論的方法。即換質(zhì)須反謂要求如下:
A 命題的換質(zhì)變形,是從全稱肯定推出全稱否定,其形式是: SAP → SE┐P 。
E 命題的換質(zhì)變形,是從全稱否定推出全稱肯定,其形式是: SEP → SA┐P 。
I 命題的換質(zhì)變形,是從特稱肯定推出特稱否定,其形式是: SIP → S0┐P 。
O 命題的換質(zhì)變形,是從特稱否定推出特稱肯定,其形式是: SOP → Sl┐P 。
(二)換位法
換位法是通過改變前提主、謂項的位置,從而推出結(jié)論的方法。注意換位莫誤周要求如下:
換位法有以下三種有效形式:
1 、 SAP → PIS
在 SAP 中 P 是不周延的,所以 SAP 換位后不能得到 PAS (否則 P 在結(jié)論中周延,違反規(guī)則),而只能得到 PIS 。
2 、 SEP → PES
3 、 SIP → PIS
對 SOP 不能進行換位。因為 S 在 SOP 中是不周延的,如果將 SOP 換位,則 S 在結(jié)論中作為否定命題的謂項是周延的,違反規(guī)則。
(三)換質(zhì)法和換位法的綜合運用
從一個給定的前提出發(fā),可以按照兩條不同路線,連續(xù)的進行命題變形的直接推理:
1 、先換質(zhì),再換位,再連續(xù)交替地換質(zhì)、換位,直至不能換位。這稱為換質(zhì)位法。
2 、先換位,再換質(zhì),再連續(xù)交替地換位、換質(zhì),直至不能換位。這稱為換位質(zhì)法。
如果要判定從一個已知的前提,能否運用命題變形的直接推理推出一個給定的結(jié)論,那么,就可以從這個已知的前提出發(fā),分別構(gòu)造連續(xù)換質(zhì)位推理或連續(xù)換位質(zhì)推理。如果再推理過程中,推出了給定的結(jié)論,那么,問題就得到了肯定的判定。
需要說明:傳統(tǒng)邏輯中的對當關(guān)系直接推理和命題變形直接推理,都預(yù)設(shè)了詞項非空,即 S 、 P 表示的不是空概念