演繹推理（deductive reasoning）是人類特有的心理活動(dòng)，早在古希臘時(shí)期人們就已對(duì)這種心理現(xiàn)象有了濃厚的研究興趣。目前，人們對(duì)演繹推理的理解仍然離不開邏輯學(xué)對(duì)它所作出的界定。因此，在進(jìn)一步探討心理學(xué)對(duì)演繹推理的實(shí)證研究之前，我們先將與演繹推理有關(guān)的邏輯學(xué)知識(shí)進(jìn)行簡(jiǎn)要的介紹。
邏輯學(xué)（logic，有時(shí)也稱做邏輯）是一門以推理形式為主要研究對(duì)象的科學(xué)。按其歷史發(fā)展的不同階段，通常把它分為傳統(tǒng)邏輯（traditional logic）和現(xiàn)代邏輯（modern logic）（吳家國(guó)等,1993）。傳統(tǒng)邏輯是指從古希臘亞里士多德（Aristotle）開創(chuàng)至19世紀(jì)進(jìn)入現(xiàn)代發(fā)展階段以前所發(fā)展起來的形式邏輯體系和理論；現(xiàn)代邏輯的主流是數(shù)理邏輯，是一門以研究推理（reasoning）規(guī)律為核心內(nèi)容并具有數(shù)學(xué)性質(zhì)的工具性學(xué)科，是形式邏輯（formal logic）的現(xiàn)代形式。
在邏輯學(xué)中，推理是以一個(gè)或幾個(gè)命題（proposition）為根據(jù)或理由以得出一個(gè)新命題的思維過程。作為根據(jù)或理由的那一個(gè)或幾個(gè)命題是推理的前提（promise），由前提得出的那個(gè)命題是推理的結(jié)論（conclusion）。
推理分為演繹推理和非演繹推理（nondeductive reasoning）兩大類。演繹推理常被簡(jiǎn)稱為推理，其特點(diǎn)是如果前提都真，則結(jié)論必然真。形式邏輯是專門研究演繹推理及其規(guī)律的科學(xué)；非演繹推理主要是指歸納推理，是指包含在歸納方法中的某些推理。
推理是由命題組成的，而推理形式也是由命題形式組成的。所謂命題，是通過語句來反映事物情況的思維形式。任何命題都包括內(nèi)容和形式兩個(gè)方面。命題內(nèi)容是指命題所反映的事物情況，命題形式是指命題內(nèi)容的聯(lián)系方式，即命題的邏輯形式。一切命題都由下述四部分組成。
主項(xiàng)（subject），表示命題對(duì)象的概念，如“所有的貓都是動(dòng)物”這一命題中的“貓”這個(gè)詞。邏輯學(xué)上通常用字母S表示。
謂項(xiàng)（predicate），表示命題對(duì)象具有或不具有某種性質(zhì)或與主項(xiàng)有關(guān)系的概念，如“所有的貓都是動(dòng)物”這一命題中的“動(dòng)物”這個(gè)詞。邏輯學(xué)上通常用字母P表示。
聯(lián)項(xiàng)（copula），聯(lián)結(jié)主項(xiàng)和謂項(xiàng)的概念。分為肯定聯(lián)項(xiàng)和否定聯(lián)項(xiàng)兩種。前者在性質(zhì)命題中通常用“是”表示，在關(guān)系命題中常用“比……更”表示；后者在性質(zhì)命題中通常用“不是”表示，在關(guān)系命題中常用“不如……”表示。一個(gè)命題具有肯定聯(lián)項(xiàng)還是具有否定聯(lián)項(xiàng)，這稱為命題的質(zhì)（quality）。
量項(xiàng)（quantifier），表示命題中主項(xiàng)數(shù)量的概念。一般稱為命題的量。量項(xiàng)可分為三種：一種是全稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)的全部外延作了反映，通常用“所有”或“一切”來表示；第二種是特稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)作了反映，但未對(duì)主項(xiàng)的全部外延作出反映，通常用“有的”或“有些”來表示；另外一種是單稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)外延的某一個(gè)別對(duì)象作了反映，可以用“這個(gè)”或“那個(gè)”來表示。一般地說，單稱量項(xiàng)可歸結(jié)到全稱量項(xiàng)中去。
根據(jù)命題的質(zhì)和量的結(jié)合，一般可把命題分為四種（以性質(zhì)命題為例，見表1-1） 。
表1-1 四種基本的性質(zhì)命題
名稱
字母代號(hào)
關(guān)系
在Euler圖中可能的情境
全稱肯定命題
A
所有的S都是P
1，2
全稱否定命題
E
所有的S都不是P
5
特稱肯定命題
I
有些S是P
1，2，3，4
特稱否定命題
O
有些S不是P
3，4，5
圖1-1 S和P兩個(gè)概念之間關(guān)系的Euler圖解
由于所有的狀態(tài)都可以歸之于兩個(gè)集所包含的關(guān)系，故參照Euler圖很容易理解它們的含義。圖1-1 給出了主謂兩個(gè)概念之間可能有的五種關(guān)系。在情境1中（集等同） ，S集和P集是兩個(gè)相互等同的集。例如,S集表示男人，P集表示具有XY染色體配對(duì)的人。在情境2中（集包含），S集是P集的子集。也就是說，所有的S都包含在P集中，但是，有的P卻不是S。例如，P集代表動(dòng)物，S集代表狗。情境3是情境2的逆反，P是S的子集。在情境4中，P集和S集有部分重疊，但有些S不是P，也有些P不是S。例如, S集代表男人，P集代表吸煙者。最后，在情境5中，S集和P集互相排斥，也就是說，這兩個(gè)集之間沒有共同的成員。例如，S集代表貓，P集代表狗。
現(xiàn)在讓我們來討論表1-1中四種基本的性質(zhì)命題與Euler圖之間的相互關(guān)系。全稱肯定命題（A），即所有的S都是P，既可以表示S和P等同（情境1） ，也可以表示S是P的子集（情境2）。全稱否定命題（E），即所有的S都不是P，表示這兩個(gè)集之間是互相排斥的，這只有在情境 5的情況下是真實(shí)的。特稱肯定命題（I），有些S是P，除了相互排斥的情境5外，在情境1、2、3、4中都可以是真實(shí)的。最后，特稱否定命題（O），即有些S不是P，在情境3、4、5中都是真的。
在形式邏輯中，根據(jù)不同的分類標(biāo)準(zhǔn)可以對(duì)推理進(jìn)行不同的分類。
首先，根據(jù)推理的前提和結(jié)論之間的標(biāo)準(zhǔn)是否有蘊(yùn)涵關(guān)系，可以把推理分為必然性推理（apodeictic reasoning）和或然性推理（probability reasoning）兩種。前提和結(jié)論之間有蘊(yùn)涵關(guān)系的推理叫做必然性推理，即演繹推理，這是從一般到特殊的推理。前提和結(jié)論之間沒有蘊(yùn)涵關(guān)系的推理叫做或然性推理。在或然性推理中，依據(jù)推理進(jìn)程的不同，又可以分為歸納推理（inductive reasoning，從特殊到一般的推理）和類比推理（analogous reasoning，從特殊到特殊的推理）。
其次，在演繹推理中，根據(jù)推理的前提是簡(jiǎn)單命題還是復(fù)合命題，又可以把它分為簡(jiǎn)單推理（simple reasoning）和復(fù)合推理complex reasoning）。其中，簡(jiǎn)單推理又可再分為范疇三段論推理（syllogistic reasoning）和關(guān)系推理（relation reasoning）；復(fù)合推理也可再分為聯(lián)言推理（association reasoning）、選言推理（disjunctive reasoning）和假言推理（hypothetical reasoning）等類型。
雖然形式邏輯對(duì)人類思維形式的研究有著兩千多年的歷史，但對(duì)人類思維進(jìn)行科學(xué)研究卻不是形式邏輯的專利。1879年，馮特（W．Wundt）在德國(guó)萊比錫大學(xué)創(chuàng)建了世界上第一個(gè)心理學(xué)實(shí)驗(yàn)室后，心理學(xué)從此成為一門獨(dú)立的科學(xué)。由于人類思維在人類心理活動(dòng)中的重要地位，因而心理學(xué)家對(duì)它傾注了極大的研究熱情。心理學(xué)是以人類的心理現(xiàn)象作為研究對(duì)象的一門科學(xué)。它研究人的感覺、知覺、表象、想象、記憶、思維等心理過程的活動(dòng)規(guī)律及人格特征等。對(duì)上述每一領(lǐng)域的專門研究又都獨(dú)自成為心理學(xué)的分支學(xué)科，如感覺心理學(xué)、思維心理學(xué)、人格心理學(xué)等等。經(jīng)過百余年的發(fā)展，目前，心理學(xué)研究的主導(dǎo)范式是認(rèn)知心理學(xué)。認(rèn)知心理學(xué)是研究知識(shí)的獲得和知識(shí)使用規(guī)律的科學(xué)，這種研究范式試圖用信息加工的觀點(diǎn)來解釋人的心理活動(dòng)過程，把人類的感知覺、記憶等心理活動(dòng)視為信息的輸入、編碼、存儲(chǔ)過程，而把人類思維活動(dòng)視為信息的提取、使用過程。由于人類思維在知識(shí)獲得和知識(shí)使用過程中處于核心地位，因此，對(duì)人類思維活動(dòng)的研究也就越來越成為當(dāng)代心理學(xué)研究的核心內(nèi)容之一。
邏輯學(xué)（logic，有時(shí)也稱做邏輯）是一門以推理形式為主要研究對(duì)象的科學(xué)。按其歷史發(fā)展的不同階段，通常把它分為傳統(tǒng)邏輯（traditional logic）和現(xiàn)代邏輯（modern logic）（吳家國(guó)等,1993）。傳統(tǒng)邏輯是指從古希臘亞里士多德（Aristotle）開創(chuàng)至19世紀(jì)進(jìn)入現(xiàn)代發(fā)展階段以前所發(fā)展起來的形式邏輯體系和理論；現(xiàn)代邏輯的主流是數(shù)理邏輯，是一門以研究推理（reasoning）規(guī)律為核心內(nèi)容并具有數(shù)學(xué)性質(zhì)的工具性學(xué)科，是形式邏輯（formal logic）的現(xiàn)代形式。
在邏輯學(xué)中，推理是以一個(gè)或幾個(gè)命題（proposition）為根據(jù)或理由以得出一個(gè)新命題的思維過程。作為根據(jù)或理由的那一個(gè)或幾個(gè)命題是推理的前提（promise），由前提得出的那個(gè)命題是推理的結(jié)論（conclusion）。
推理分為演繹推理和非演繹推理（nondeductive reasoning）兩大類。演繹推理常被簡(jiǎn)稱為推理，其特點(diǎn)是如果前提都真，則結(jié)論必然真。形式邏輯是專門研究演繹推理及其規(guī)律的科學(xué)；非演繹推理主要是指歸納推理，是指包含在歸納方法中的某些推理。
推理是由命題組成的，而推理形式也是由命題形式組成的。所謂命題，是通過語句來反映事物情況的思維形式。任何命題都包括內(nèi)容和形式兩個(gè)方面。命題內(nèi)容是指命題所反映的事物情況，命題形式是指命題內(nèi)容的聯(lián)系方式，即命題的邏輯形式。一切命題都由下述四部分組成。
主項(xiàng)（subject），表示命題對(duì)象的概念，如“所有的貓都是動(dòng)物”這一命題中的“貓”這個(gè)詞。邏輯學(xué)上通常用字母S表示。
謂項(xiàng)（predicate），表示命題對(duì)象具有或不具有某種性質(zhì)或與主項(xiàng)有關(guān)系的概念，如“所有的貓都是動(dòng)物”這一命題中的“動(dòng)物”這個(gè)詞。邏輯學(xué)上通常用字母P表示。
聯(lián)項(xiàng)（copula），聯(lián)結(jié)主項(xiàng)和謂項(xiàng)的概念。分為肯定聯(lián)項(xiàng)和否定聯(lián)項(xiàng)兩種。前者在性質(zhì)命題中通常用“是”表示，在關(guān)系命題中常用“比……更”表示；后者在性質(zhì)命題中通常用“不是”表示，在關(guān)系命題中常用“不如……”表示。一個(gè)命題具有肯定聯(lián)項(xiàng)還是具有否定聯(lián)項(xiàng)，這稱為命題的質(zhì)（quality）。
量項(xiàng)（quantifier），表示命題中主項(xiàng)數(shù)量的概念。一般稱為命題的量。量項(xiàng)可分為三種：一種是全稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)的全部外延作了反映，通常用“所有”或“一切”來表示；第二種是特稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)作了反映，但未對(duì)主項(xiàng)的全部外延作出反映，通常用“有的”或“有些”來表示；另外一種是單稱量項(xiàng)，它表示在一個(gè)命題中對(duì)主項(xiàng)外延的某一個(gè)別對(duì)象作了反映，可以用“這個(gè)”或“那個(gè)”來表示。一般地說，單稱量項(xiàng)可歸結(jié)到全稱量項(xiàng)中去。
根據(jù)命題的質(zhì)和量的結(jié)合，一般可把命題分為四種（以性質(zhì)命題為例，見表1-1） 。
表1-1 四種基本的性質(zhì)命題
名稱
字母代號(hào)
關(guān)系
在Euler圖中可能的情境
全稱肯定命題
A
所有的S都是P
1，2
全稱否定命題
E
所有的S都不是P
5
特稱肯定命題
I
有些S是P
1，2，3，4
特稱否定命題
O
有些S不是P
3，4，5
圖1-1 S和P兩個(gè)概念之間關(guān)系的Euler圖解
由于所有的狀態(tài)都可以歸之于兩個(gè)集所包含的關(guān)系，故參照Euler圖很容易理解它們的含義。圖1-1 給出了主謂兩個(gè)概念之間可能有的五種關(guān)系。在情境1中（集等同） ，S集和P集是兩個(gè)相互等同的集。例如,S集表示男人，P集表示具有XY染色體配對(duì)的人。在情境2中（集包含），S集是P集的子集。也就是說，所有的S都包含在P集中，但是，有的P卻不是S。例如，P集代表動(dòng)物，S集代表狗。情境3是情境2的逆反，P是S的子集。在情境4中，P集和S集有部分重疊，但有些S不是P，也有些P不是S。例如, S集代表男人，P集代表吸煙者。最后，在情境5中，S集和P集互相排斥，也就是說，這兩個(gè)集之間沒有共同的成員。例如，S集代表貓，P集代表狗。
現(xiàn)在讓我們來討論表1-1中四種基本的性質(zhì)命題與Euler圖之間的相互關(guān)系。全稱肯定命題（A），即所有的S都是P，既可以表示S和P等同（情境1） ，也可以表示S是P的子集（情境2）。全稱否定命題（E），即所有的S都不是P，表示這兩個(gè)集之間是互相排斥的，這只有在情境 5的情況下是真實(shí)的。特稱肯定命題（I），有些S是P，除了相互排斥的情境5外，在情境1、2、3、4中都可以是真實(shí)的。最后，特稱否定命題（O），即有些S不是P，在情境3、4、5中都是真的。
在形式邏輯中，根據(jù)不同的分類標(biāo)準(zhǔn)可以對(duì)推理進(jìn)行不同的分類。
首先，根據(jù)推理的前提和結(jié)論之間的標(biāo)準(zhǔn)是否有蘊(yùn)涵關(guān)系，可以把推理分為必然性推理（apodeictic reasoning）和或然性推理（probability reasoning）兩種。前提和結(jié)論之間有蘊(yùn)涵關(guān)系的推理叫做必然性推理，即演繹推理，這是從一般到特殊的推理。前提和結(jié)論之間沒有蘊(yùn)涵關(guān)系的推理叫做或然性推理。在或然性推理中，依據(jù)推理進(jìn)程的不同，又可以分為歸納推理（inductive reasoning，從特殊到一般的推理）和類比推理（analogous reasoning，從特殊到特殊的推理）。
其次，在演繹推理中，根據(jù)推理的前提是簡(jiǎn)單命題還是復(fù)合命題，又可以把它分為簡(jiǎn)單推理（simple reasoning）和復(fù)合推理complex reasoning）。其中，簡(jiǎn)單推理又可再分為范疇三段論推理（syllogistic reasoning）和關(guān)系推理（relation reasoning）；復(fù)合推理也可再分為聯(lián)言推理（association reasoning）、選言推理（disjunctive reasoning）和假言推理（hypothetical reasoning）等類型。
雖然形式邏輯對(duì)人類思維形式的研究有著兩千多年的歷史，但對(duì)人類思維進(jìn)行科學(xué)研究卻不是形式邏輯的專利。1879年，馮特（W．Wundt）在德國(guó)萊比錫大學(xué)創(chuàng)建了世界上第一個(gè)心理學(xué)實(shí)驗(yàn)室后，心理學(xué)從此成為一門獨(dú)立的科學(xué)。由于人類思維在人類心理活動(dòng)中的重要地位，因而心理學(xué)家對(duì)它傾注了極大的研究熱情。心理學(xué)是以人類的心理現(xiàn)象作為研究對(duì)象的一門科學(xué)。它研究人的感覺、知覺、表象、想象、記憶、思維等心理過程的活動(dòng)規(guī)律及人格特征等。對(duì)上述每一領(lǐng)域的專門研究又都獨(dú)自成為心理學(xué)的分支學(xué)科，如感覺心理學(xué)、思維心理學(xué)、人格心理學(xué)等等。經(jīng)過百余年的發(fā)展，目前，心理學(xué)研究的主導(dǎo)范式是認(rèn)知心理學(xué)。認(rèn)知心理學(xué)是研究知識(shí)的獲得和知識(shí)使用規(guī)律的科學(xué)，這種研究范式試圖用信息加工的觀點(diǎn)來解釋人的心理活動(dòng)過程，把人類的感知覺、記憶等心理活動(dòng)視為信息的輸入、編碼、存儲(chǔ)過程，而把人類思維活動(dòng)視為信息的提取、使用過程。由于人類思維在知識(shí)獲得和知識(shí)使用過程中處于核心地位，因此，對(duì)人類思維活動(dòng)的研究也就越來越成為當(dāng)代心理學(xué)研究的核心內(nèi)容之一。