演繹推理,就是從一般性的前提出發,透過演繹,得出具體陳述或個別結論的過程。這裡的演繹,就是推理環節裡德推導。演繹推理的邏輯形式於理性的重要意義在,對人的思維保持嚴密性、一貫性有著不可替代的校正作用。
形式簡單說,有三段論,假言推理,選言推理,關係推理等
具體來說,三段論指的是,以兩個含有一個共同項的性質判斷作前提,得出一個新的性質判斷為結論的演繹推理。三段論是演繹推理的一般模式,包含三個部分:大前提——已知的一般原理,小前提——所研究的特殊情況,結論——根據一般原理,對特殊情況作出判斷。有些類似於兩難推理的命題,但是不及兩難推理。
假言推理,以假言判斷為前提的推理。假言推理分為充分條件假言推理和必要條件假言推理兩種。充分條件假言推理的基本原則:小前提肯定大前提的前件,結論就肯定大前提的後件;小前提否定大前提的後件,結論就否定大前提的前件。必要條件假言推理的基本原則是:小前提肯定大前提的後件,結論就要肯定大前提的前件;小前提否定大前提的前件,結論就要否定大前提的後件。
選言推理,以選言判斷為前提的推理。選言推理分為相容的選言推理和不相容的選言推理兩種。相容的選言推理的基本原則是:大前提是一個相容的選言判斷,小前提否定了其中一個(或一部分)選言支,結論就要肯定剩下的一個選言支。不相容的選言推理的基本原則是:大前提是個不相容的選言判斷,小前提肯定其中的一個選言支,結論則否定其它選言支;小前提否定除其中一個以外的選言支,結論則肯定剩下的那個選言支。
關係推理,是前提中至少有一個是關係命題的推理。幾種比較常用的關係有,對稱性關係,反對稱性關係,傳遞性關係
演繹推理,就是從一般性的前提出發,透過演繹,得出具體陳述或個別結論的過程。這裡的演繹,就是推理環節裡德推導。演繹推理的邏輯形式於理性的重要意義在,對人的思維保持嚴密性、一貫性有著不可替代的校正作用。
形式簡單說,有三段論,假言推理,選言推理,關係推理等
具體來說,三段論指的是,以兩個含有一個共同項的性質判斷作前提,得出一個新的性質判斷為結論的演繹推理。三段論是演繹推理的一般模式,包含三個部分:大前提——已知的一般原理,小前提——所研究的特殊情況,結論——根據一般原理,對特殊情況作出判斷。有些類似於兩難推理的命題,但是不及兩難推理。
假言推理,以假言判斷為前提的推理。假言推理分為充分條件假言推理和必要條件假言推理兩種。充分條件假言推理的基本原則:小前提肯定大前提的前件,結論就肯定大前提的後件;小前提否定大前提的後件,結論就否定大前提的前件。必要條件假言推理的基本原則是:小前提肯定大前提的後件,結論就要肯定大前提的前件;小前提否定大前提的前件,結論就要否定大前提的後件。
選言推理,以選言判斷為前提的推理。選言推理分為相容的選言推理和不相容的選言推理兩種。相容的選言推理的基本原則是:大前提是一個相容的選言判斷,小前提否定了其中一個(或一部分)選言支,結論就要肯定剩下的一個選言支。不相容的選言推理的基本原則是:大前提是個不相容的選言判斷,小前提肯定其中的一個選言支,結論則否定其它選言支;小前提否定除其中一個以外的選言支,結論則肯定剩下的那個選言支。
關係推理,是前提中至少有一個是關係命題的推理。幾種比較常用的關係有,對稱性關係,反對稱性關係,傳遞性關係