【作 者】蔡曙山 

   學(xué)科交叉是科學(xué)研究中發(fā)生的學(xué)科交流、融合，形成新的研究領(lǐng)域或新學(xué)科的過(guò)程。學(xué)科交叉是由科學(xué)與學(xué)科的矛盾性質(zhì)和矛盾運(yùn)動(dòng)決定的。

    科學(xué)是人類認(rèn)識(shí)自然、社會(huì)和人自身（包括人類思維）的活動(dòng)，科學(xué)是以問(wèn)題為中心的，只要有問(wèn)題的地方，就會(huì)有科學(xué)和科學(xué)研究。學(xué)科是科學(xué)研究發(fā)展成熟的產(chǎn)物，是規(guī)范化的知識(shí)體系?？茖W(xué)研究發(fā)展成熟而作為一個(gè)獨(dú)立學(xué)科的標(biāo)志是：它必須有獨(dú)立的研究?jī)?nèi)容、成熟的研究方法和規(guī)范及學(xué)科體制。在人類認(rèn)識(shí)史上，我們常常看到這樣的現(xiàn)象：一些新的研究領(lǐng)域在學(xué)科之間生長(zhǎng)出來(lái)，并發(fā)展為新的學(xué)科。而新的科學(xué)研究又會(huì)突破學(xué)科的界限，又發(fā)展成更新的學(xué)科。這就是科學(xué)與學(xué)科的矛盾關(guān)系和矛盾運(yùn)動(dòng)，學(xué)科交叉則是這種矛盾運(yùn)動(dòng)的反映。

    現(xiàn)代邏輯是以數(shù)理邏輯為基礎(chǔ)，并由數(shù)理邏輯，經(jīng)典邏輯的擴(kuò)充（模態(tài)邏輯等），經(jīng)典邏輯的變異（多值邏輯、直覺主義邏輯、自由邏輯、相關(guān)邏輯、非單調(diào)邏輯、概率邏輯等）所支撐的學(xué)科群體，其前沿的研究領(lǐng)域有哲學(xué)邏輯、語(yǔ)言邏輯、計(jì)算機(jī)與人工智能的邏輯以及認(rèn)知邏輯等等。

    現(xiàn)代邏輯學(xué)充分顯示了學(xué)科交叉對(duì)科學(xué)發(fā)展的推動(dòng)作用。現(xiàn)在就讓我們以學(xué)科交叉的眼光來(lái)看現(xiàn)代邏輯的發(fā)展。

    　　一、數(shù)理邏輯：數(shù)學(xué)與邏輯學(xué)的交叉

    19世紀(jì)末，數(shù)學(xué)面臨來(lái)自兩個(gè)方面的詰難：一是數(shù)的實(shí)在性，二是數(shù)的直觀性。直覺主義者認(rèn)為數(shù)的實(shí)在性是自明，無(wú)需證明：而邏輯主義者卻把整個(gè)數(shù)學(xué)大廈奠定在當(dāng)時(shí)德國(guó)數(shù)學(xué)家康托建立的素?fù)浼险摶A(chǔ)之上——原來(lái)數(shù)的實(shí)在性是建立在集合的實(shí)在性基礎(chǔ)之上的，而集合的實(shí)在性是不能懷疑的，因?yàn)榧鲜撬季S中可以把握的，彼此不同的對(duì)象構(gòu)成的整體。“我思故我在”，因此，“我思故集合在”——這是集合存在的本體論證明，從而也是數(shù)存在的本體論證明。這樣，數(shù)學(xué)家就回答了上面的第一個(gè)問(wèn)題，即數(shù)的實(shí)在性問(wèn)題。

    人們還沒來(lái)得及高興太久，1901年，英國(guó)大哲學(xué)家、大邏輯學(xué)家羅素(B.A.W.Russell)就在集合論中發(fā)現(xiàn)了悖論。他設(shè)想有這樣一個(gè)集合，這是一個(gè)由那些不屬于自身的對(duì)象構(gòu)成的集合，它完全符合集合的構(gòu)成規(guī)則。現(xiàn)在問(wèn)，這樣一個(gè)集合是否屬于它自身呢？根據(jù)此集合的定義，即一個(gè)命題與它的否定等價(jià)，這就是悖論。羅素悖論僅使用集合論最基本的概念，因此，它引起的危機(jī)是非常深刻的，它是整個(gè)數(shù)學(xué)基礎(chǔ)的危機(jī)，也稱為第三次數(shù)學(xué)危機(jī)。

    此后，邏輯學(xué)家和數(shù)學(xué)家共同來(lái)應(yīng)對(duì)這場(chǎng)危機(jī)。德國(guó)數(shù)學(xué)家策梅羅(E.Zermelo)在幾年后建立了第一個(gè)集合論的公理系統(tǒng)，后來(lái)經(jīng)過(guò)弗蘭克爾(A.A.Fraenkel)和司寇倫(T.Skolem)對(duì)該系統(tǒng)的改進(jìn)，建立了一個(gè)標(biāo)準(zhǔn)的公理集合論系統(tǒng)，簡(jiǎn)稱ZF系統(tǒng)。在這個(gè)系統(tǒng)中，羅素悖論被消除了，數(shù)學(xué)重新被安放在集合論的基礎(chǔ)之上。但這個(gè)系統(tǒng)還存在一些重大的問(wèn)題尚未解決，一是它的一致性沒有得到證明，因而有人懷疑它；二是選擇公理在無(wú)窮集合中無(wú)法使用，因而有人反對(duì)它；三是排中律應(yīng)用于無(wú)窮對(duì)象時(shí)失效，因而有人認(rèn)為它是不可信的。

    在解決第三次數(shù)學(xué)危機(jī)的過(guò)程中，由于對(duì)邏輯與數(shù)學(xué)關(guān)系的不同理解，數(shù)學(xué)家和邏輯學(xué)家被分為邏輯主義、直覺主義和形式主義三大陣營(yíng)：邏輯主義不同意數(shù)學(xué)來(lái)源于經(jīng)驗(yàn)，而認(rèn)為數(shù)學(xué)的基礎(chǔ)是邏輯，他們?cè)噲D從邏輯推導(dǎo)出全部數(shù)學(xué)，并通過(guò)邏輯方法來(lái)消除悖論。邏輯主義以羅素和懷特海(A.N.Whitehead)為代表，兩人合著了三大卷的《數(shù)學(xué)原理》。他們說(shuō)：“本書有兩個(gè)目的，第一是要說(shuō)明一切數(shù)學(xué)都可以從符號(hào)邏輯導(dǎo)出；第二點(diǎn)是，盡量找出符號(hào)邏輯本身的所有原理。”（王憲鈞《數(shù)理邏輯引論》，1982:302)直覺主義者認(rèn)為數(shù)學(xué)是建立在直觀和經(jīng)驗(yàn)的基礎(chǔ)上的，不需要邏輯的解釋，邏輯不過(guò)是數(shù)學(xué)推理原則的表述。他們認(rèn)為數(shù)學(xué)是心智的構(gòu)造，并要求數(shù)學(xué)的對(duì)象都是可構(gòu)造的，拒絕接受非構(gòu)造性的對(duì)象和證明。此外，他們還反對(duì)排中律在無(wú)窮推理中的應(yīng)用。這一派的代表人物是荷蘭數(shù)學(xué)家布勞維爾兒(L.E.J.Brouwer)，海廷(Heyting)則建立了一個(gè)直覺主義邏輯系統(tǒng)。在邏輯主義和直覺主義的爭(zhēng)論中，希爾伯特(D.Hilbert)既不同意邏輯主義的觀點(diǎn)，也不同意直覺主義的觀點(diǎn)。他認(rèn)為邏輯不是數(shù)學(xué)的基礎(chǔ)，應(yīng)該同時(shí)建立邏輯系統(tǒng)和算術(shù)系統(tǒng)。但他也不同意韋爾(H.Weyi)和布勞維爾基于可構(gòu)造性的思想而驅(qū)除無(wú)理數(shù)、函數(shù)、甚至日常推理中涉及無(wú)窮對(duì)象的排中律的做法，他認(rèn)為那樣會(huì)肢解數(shù)學(xué)，甚至葬送科學(xué)。“我們就要冒失去我們最有價(jià)值的寶藏一大部分的危險(xiǎn)。”（王憲鈞《數(shù)理邏輯引論》，1982:321)1922年，他提出一個(gè)自認(rèn)為是可能的解決方案，其主要內(nèi)容是：(1)形式化：建立適用于數(shù)學(xué)理論如初等數(shù)論，集合論和數(shù)學(xué)分析的形式語(yǔ)言；(2)元數(shù)學(xué)：在無(wú)內(nèi)容的形式語(yǔ)言之上，建立一個(gè)包括初等數(shù)論的形式系統(tǒng)，這樣的形式系統(tǒng)由公理和推理規(guī)則構(gòu)成；(3)證明論：用有窮主義方法證明該邏輯系統(tǒng)的協(xié)調(diào)性。如果證明了這個(gè)形式系統(tǒng)是協(xié)調(diào)的，也就證明了被形式化的數(shù)學(xué)理論是協(xié)調(diào)的，這就是著名的希爾伯特方案。這個(gè)方案所代表的路線被稱為形式主義。在處理邏輯與數(shù)學(xué)的關(guān)系上，如果說(shuō)邏輯主義是正題，則批評(píng)邏輯主義的直覺主義是反題，而要在直覺主義的指責(zé)下來(lái)挽救整個(gè)數(shù)學(xué)的形式主義則是合題。從這里我們看到邏輯與數(shù)學(xué)的交叉如何推動(dòng)了邏輯和數(shù)學(xué)的發(fā)展。

    1931年，哥德爾證明了一個(gè)十分重要的定理，這個(gè)定理后來(lái)以他的名字命名。哥德爾定理由兩部分構(gòu)成，第一不完全定理說(shuō)，一個(gè)包括初等數(shù)論的形式系統(tǒng)N，如果N是一致的，那么它就是不完全的；第二不完全性定理說(shuō)，如果上述形式系統(tǒng)N是一致的，則N的一致性的證明不能在N中形式化。哥德爾定理表明，要想證明一個(gè)系統(tǒng)的協(xié)調(diào)性，其元理論只能在系統(tǒng)之外。因此，要想用一個(gè)理論一攬子地全部解決數(shù)學(xué)理論的協(xié)調(diào)性是不可能的。哥德爾定理徹底粉碎了希爾伯特方案。

    在科學(xué)發(fā)展的道路上，有時(shí)候我們并不能夠達(dá)到預(yù)定約目標(biāo)，但在實(shí)現(xiàn)這個(gè)目標(biāo)的過(guò)程中卻收獲了很多重要的成果，這樣的例子在科學(xué)史上有很多。邁克爾遜－莫雷實(shí)驗(yàn)對(duì)以太存在的證明，愛因斯坦的統(tǒng)一場(chǎng)論是物理學(xué)上的生動(dòng)例子；希爾伯特方案則是數(shù)學(xué)和邏輯史上的生動(dòng)例子。

    在解決第三次數(shù)學(xué)危機(jī)的過(guò)程中，先后建立了公理集合論、證明論、遞歸論和模型論。至此，公認(rèn)的數(shù)理邏輯的基本學(xué)科分支已被完備建立。由于數(shù)理邏輯所使用的形式化方法和二值解釋是經(jīng)典的，所以，數(shù)理邏輯也被稱為經(jīng)典邏輯。

    哥德爾以后，經(jīng)典邏輯沿著兩個(gè)方向發(fā)展，一個(gè)方向是它的擴(kuò)充，就是通過(guò)對(duì)經(jīng)典語(yǔ)言增加新的非外延性算子，使其具有更強(qiáng)的表達(dá)能力，從而得到新的推理系統(tǒng)。例如，對(duì)經(jīng)典邏輯增加非真值的表達(dá)必然性和可能性的模態(tài)算子，就得到模態(tài)邏輯。另一個(gè)方向是它的變異，就是對(duì)經(jīng)典邏輯的假設(shè)和推論提出挑戰(zhàn)，從而得到新的邏輯系統(tǒng)。例如，拋棄經(jīng)典的二值假設(shè)，允許命題具有真和假之外的第三種值或更多種值，就得到多值邏輯等等。由于數(shù)理邏輯、模態(tài)邏輯和多值邏輯是整個(gè)現(xiàn)代邏輯的基礎(chǔ)，所以它們被合稱為基礎(chǔ)邏輯或基本邏輯。

    數(shù)理邏輯的帷幕落下，另外的一幕開始了。

    　　二、哲學(xué)邏輯：哲學(xué)與邏輯學(xué)的交叉

    使用數(shù)理邏輯、模態(tài)邏輯和多值邏輯的方法來(lái)研究傳統(tǒng)哲學(xué)的問(wèn)題，產(chǎn)生了被稱為哲學(xué)邏輯的廣大的學(xué)科群體。

    傳統(tǒng)哲學(xué)中有很多長(zhǎng)期爭(zhēng)論不休、令哲學(xué)家頭疼、讓常人迷惑不解的問(wèn)題，如時(shí)間和存在、知識(shí)和真理、語(yǔ)言和思維、經(jīng)驗(yàn)和理性、歸納和演繹、必然和可能等等。萊布尼茲曾經(jīng)說(shuō)過(guò)，哲學(xué)史上很多爭(zhēng)論不休的問(wèn)題是由語(yǔ)言而生，因?yàn)槲覀兪褂玫恼Z(yǔ)言不夠精確。他曾經(jīng)設(shè)想要建立一種無(wú)歧義的語(yǔ)言，如果再遇到爭(zhēng)論，雙方象會(huì)計(jì)師一樣拿出筆來(lái)說(shuō)：“讓我們來(lái)算一算吧”。

    數(shù)理邏輯所使用的形式語(yǔ)言就是這樣一種精確的、無(wú)歧義的語(yǔ)言。現(xiàn)在，哲學(xué)家和邏輯學(xué)家可以使用這種語(yǔ)言來(lái)對(duì)付那些哲學(xué)難題，由此產(chǎn)生了其影響力長(zhǎng)達(dá)一個(gè)世紀(jì)，并且至今還在影響西方學(xué)界的分析哲學(xué)的運(yùn)動(dòng)。分析哲學(xué)的創(chuàng)始人大多是邏輯學(xué)家。20世紀(jì)30～50年代，形成了以維也納學(xué)派為核心的邏輯實(shí)證主義，其中很多代表人物都是卓有成就的邏輯學(xué)家。同期稍后產(chǎn)生了以牛津?qū)W派為核心的日常語(yǔ)言學(xué)派，其中主要的代表性人物都是語(yǔ)言哲學(xué)家。著名分析哲學(xué)家維特根斯坦(L.Wittgenstein)身上體現(xiàn)了分析哲學(xué)的這種轉(zhuǎn)變，他的前期哲學(xué)是邏輯實(shí)證主義，后期哲學(xué)是語(yǔ)言哲學(xué)。

    哲學(xué)邏輯就是在分析哲學(xué)運(yùn)動(dòng)中產(chǎn)生的一個(gè)新學(xué)科。尼吉拉斯·雷歇爾(N.Rescher,1968)說(shuō)：“哲學(xué)邏輯是在哲學(xué)思考的方向上成長(zhǎng)起來(lái)的邏輯學(xué)科。”戈布爾(L.Goble,2001)在《哲學(xué)邏輯》一書中，對(duì)哲學(xué)邏輯下了這樣一個(gè)定義：“什么是哲學(xué)邏輯？哲學(xué)邏輯是作為邏輯學(xué)的哲學(xué)，也是作為哲學(xué)的邏輯學(xué)。正是在哲學(xué)邏輯之中，哲學(xué)和邏輯學(xué)走到一起并合為一體。哲學(xué)邏輯并不是一種特殊類型的邏輯，但它又是某種邏輯類型，這種類型不同于數(shù)學(xué)邏輯、符號(hào)邏輯、形式邏輯、非形式邏輯、現(xiàn)代邏輯、古代邏輯或任何其他熟悉的變種的邏輯。哲學(xué)邏輯不過(guò)就是邏輯。它和其他邏輯一樣是推理關(guān)系和有效推斷的理論。因此，哲學(xué)邏輯可以用許多方法來(lái)研究和表述，雖然現(xiàn)代形式邏輯和符號(hào)邏輯的方法已經(jīng)被證明是特別富有成效的。”他又說(shuō)：“哲學(xué)邏輯由那些引起哲學(xué)家極大興趣的邏輯種類組成。哲學(xué)邏輯建立起形式系統(tǒng)和形式結(jié)構(gòu)，并用于分析作為哲學(xué)研究核心的概念和論證。”戈布爾的定義清晰地規(guī)定出哲學(xué)邏輯應(yīng)該具有的一些本質(zhì)屬性：第一，哲學(xué)邏輯應(yīng)該是邏輯，它要研究推理關(guān)系和有效論證：第二，哲學(xué)邏輯應(yīng)該關(guān)注哲學(xué)的核心問(wèn)題，并通過(guò)邏輯方法來(lái)分析和解決這些問(wèn)題；第三，哲學(xué)邏輯應(yīng)該使用現(xiàn)代邏輯的研究方法，特別是數(shù)理邏輯和符號(hào)邏輯的研究方法，但也可以使用其他邏輯方法，甚至開發(fā)出新的邏輯系統(tǒng)和邏輯結(jié)構(gòu)，以為哲學(xué)邏輯研究之所用。

    根據(jù)哲學(xué)邏輯的定義，戈布爾列舉出哲學(xué)邏輯的若干研究?jī)?nèi)容。他說(shuō)：“通過(guò)模態(tài)邏輯、認(rèn)識(shí)邏輯、道義邏輯、時(shí)間邏輯、自由邏輯、概率邏緝、非單調(diào)邏輯等等，傳統(tǒng)的哲學(xué)概念如必然性、知識(shí)、義務(wù)、時(shí)間、存在，更不用說(shuō)推理本身，都可以被有效地進(jìn)行研究。類似地，邏輯的研究極大地幫助我們理解語(yǔ)言的結(jié)構(gòu)，包括我們的日常語(yǔ)言，還有邏輯自身使用的形式語(yǔ)言。這在整個(gè)哲學(xué)中都會(huì)引起反響。由于同樣的緣由，哲學(xué)邏輯內(nèi)部的許多發(fā)展也被廣泛的哲學(xué)關(guān)注激發(fā)出來(lái)。直覺主義邏輯反映了關(guān)于判斷和真理性質(zhì)的特殊觀點(diǎn)。多值邏輯建立在盧卡西維茲為了避免宿命論和決定論而構(gòu)造的一種邏輯的努力之上。哲學(xué)邏輯內(nèi)部的其他發(fā)展則是被關(guān)于邏輯自身的哲學(xué)關(guān)注所驅(qū)動(dòng)的。相干邏輯起源于對(duì)經(jīng)典的因果關(guān)系的批評(píng)。自由邏輯也是如此。”

    戈布爾(2001)編著的《哲學(xué)邏輯》一書研究了以下內(nèi)容：經(jīng)典邏輯，包括一階邏輯和高階邏輯；集合論；哥德爾不完全性定理；邏輯真；邏輯后承；模態(tài)邏輯；道義邏輯；認(rèn)識(shí)邏輯；時(shí)間邏輯；直覺蘭義邏輯；自由邏輯；相干邏輯；多值邏輯；非單調(diào)邏輯；概率、邏輯和概率邏輯；條件；否定；量詞：邏輯與自然語(yǔ)言。

    戈布爾將這些研究?jī)?nèi)容分為四組。第一組是經(jīng)典邏輯，或者以經(jīng)典邏輯的觀點(diǎn)看待的邏輯。應(yīng)該注意，哲學(xué)邏輯并不是要去講授這些邏輯系統(tǒng)的內(nèi)容，而是以這些邏輯系統(tǒng)為研究對(duì)象，研究這些邏輯系統(tǒng)的性質(zhì)、特征和意義。第二組是經(jīng)典邏輯的擴(kuò)展系統(tǒng)。這種擴(kuò)展是通過(guò)增加新的非外延算子來(lái)增強(qiáng)經(jīng)典語(yǔ)言的表達(dá)能力。第三組是經(jīng)典邏輯的變異，其中每一種邏輯都是對(duì)經(jīng)典邏輯的一個(gè)或多個(gè)關(guān)于真值或推導(dǎo)的假設(shè)的挑戰(zhàn)。第四組深入地討論那些特別基本的邏輯概念，這就是條件，否定和量詞，并且特別注意它們?cè)谧匀徽Z(yǔ)言中的意義。此外，哲學(xué)邏輯不要特別研究邏輯與自然語(yǔ)言的關(guān)系，這是當(dāng)今最為活躍的研究領(lǐng)域，它在認(rèn)知科學(xué)的研究中也具有十分重要約地位。

    　　三、語(yǔ)言邏輯：語(yǔ)言學(xué)與邏輯學(xué)的交叉

    語(yǔ)言邏輯是在20世紀(jì)的指號(hào)學(xué)、語(yǔ)言學(xué)、邏輯學(xué)和語(yǔ)言哲學(xué)的基礎(chǔ)上建立和發(fā)展起來(lái)一門新興、交叉學(xué)科。它是使用數(shù)理邏輯，模態(tài)邏輯和多值邏輯的方法來(lái)研究語(yǔ)言學(xué)的問(wèn)題，特別是自然語(yǔ)言的問(wèn)題。因此，語(yǔ)言邏輯也稱作自然語(yǔ)言邏輯。語(yǔ)言哲學(xué)的研究對(duì)象包括語(yǔ)形學(xué)、語(yǔ)義學(xué)和語(yǔ)用學(xué)。

    語(yǔ)形學(xué)(syntax)也叫語(yǔ)法學(xué)，是研究符號(hào)空間排列關(guān)系的理論。傳統(tǒng)語(yǔ)法學(xué)一般只研究詞法和句法。喬姆斯基(N.Chomsky)開創(chuàng)了現(xiàn)代語(yǔ)言學(xué)和語(yǔ)言邏輯學(xué)的形式語(yǔ)法的研究領(lǐng)域。喬姆斯基反對(duì)以布龍菲爾德(L.Bloomfield)為代表的經(jīng)驗(yàn)主義和行為主義的觀點(diǎn)，提倡理性主義和心理主義。喬姆斯基認(rèn)為語(yǔ)言是人類心智的體現(xiàn)，為人類所特有。語(yǔ)言能力通過(guò)基因遺傳先天地存在于每一個(gè)健康人的大腦里，就如同每個(gè)人都有視覺和聽覺一樣。喬姆斯基《句法結(jié)構(gòu)》(Syntactic Structures,1957)一書的出版，標(biāo)志著轉(zhuǎn)換生成語(yǔ)法的誕生。此后，喬姆斯基及其合作者出版多部論著，相繼建立了短語(yǔ)結(jié)構(gòu)理論、詞庫(kù)理論、轉(zhuǎn)換理論、原則和參數(shù)理論、短語(yǔ)結(jié)構(gòu)的×－階標(biāo)理論、θ－理論和功能范疇、移動(dòng)和格理論、管轄和約束理論、最簡(jiǎn)方案等一系列革命性的理論。喬姆斯基語(yǔ)言學(xué)理論被看作是認(rèn)知科學(xué)第一階段的代表性理論。

    語(yǔ)義學(xué)(semantics)是研究符號(hào)與所指稱的對(duì)象的關(guān)系的理論。20世紀(jì)70年代，美國(guó)數(shù)理邏輯學(xué)家蒙太格(R.Montague)建立了一種新的語(yǔ)義理論，他認(rèn)為“自然語(yǔ)言和邏輯學(xué)家的人工的形式的語(yǔ)言之間并沒有本質(zhì)的區(qū)別。”因此，按照描寫形式語(yǔ)言的方法描寫英語(yǔ)是完全可能的。他還制定出算法，把一部分英語(yǔ)語(yǔ)句成功地翻譯成一階謂詞公式。蒙太格語(yǔ)義學(xué)的基本內(nèi)容包括真值條件語(yǔ)義學(xué)、模型論語(yǔ)義學(xué)和可能世界語(yǔ)義學(xué)。而蒙太格最重要的貢獻(xiàn)是內(nèi)涵語(yǔ)義學(xué)和形式語(yǔ)義學(xué)。蒙太格的語(yǔ)義理論發(fā)展了邏輯語(yǔ)義學(xué)的思想，豐富了內(nèi)涵語(yǔ)義學(xué)的概念，并建立形式語(yǔ)義學(xué)的理論體系。

    語(yǔ)用學(xué)(pragmatics)研究符號(hào)與符號(hào)使用者之間的關(guān)系，語(yǔ)用學(xué)首先由美國(guó)哲學(xué)家莫里斯(C.W.Morris)和卡爾納普(R.Carnap)在指號(hào)學(xué)的理論中提出，再由奧斯汀(J.L.Austin)、塞爾(John R.Searle)和格賴斯(H.P.Grice)等人加以發(fā)展。1952-1955年間，奧斯汀在牛津大學(xué)和哈佛大學(xué)主持一系列講座，提出言語(yǔ)行為理論，即“以言行事”(doing something in saying something)的思想。此后，奧斯汀的學(xué)生塞爾(John R.Searle)將這一理論傳播到美國(guó)，促進(jìn)了日常語(yǔ)言學(xué)派在美國(guó)的發(fā)展。塞爾將奧斯汀的言語(yǔ)行為理論系統(tǒng)化和部分形式化，還在此基礎(chǔ)上發(fā)展出語(yǔ)用邏輯(illocutionary logic)，并用集合論的方法表述了這一系統(tǒng)。從邏輯發(fā)展史看，奧斯汀的理論開辟了語(yǔ)言哲學(xué)的一個(gè)嶄新的發(fā)展領(lǐng)域，而語(yǔ)用邏輯則是在語(yǔ)言哲學(xué)中發(fā)展出來(lái)的一個(gè)新的邏輯學(xué)分支學(xué)科。言語(yǔ)行為理論成為語(yǔ)用學(xué)的基礎(chǔ)，語(yǔ)用邏輯則是言語(yǔ)行為理論和整個(gè)語(yǔ)用學(xué)的基礎(chǔ)。時(shí)至今日，奧斯汀和塞爾的言語(yǔ)行為理論和語(yǔ)用邏輯與蒙太格的語(yǔ)義學(xué)、喬姆斯基的語(yǔ)形學(xué)一道，已經(jīng)成為語(yǔ)言哲學(xué)和語(yǔ)言邏輯的核心理論。

    自喬姆斯基、蒙太格、奧斯汀和塞爾以后，語(yǔ)言邏輯的研究出現(xiàn)了形式化的傾向，這種新的研究方法和研究成果正是現(xiàn)代語(yǔ)言學(xué)和現(xiàn)代邏輯學(xué)交叉生成的結(jié)果。建立在形式化方法之上的語(yǔ)法學(xué)、語(yǔ)義學(xué)和語(yǔ)用學(xué)又分別稱之為形式語(yǔ)法學(xué)、形式語(yǔ)義學(xué)和形式語(yǔ)用學(xué)，它們是當(dāng)今語(yǔ)言邏輯研究最活躍、最有成就的領(lǐng)域。

    語(yǔ)言邏輯誕生以后，又與眾多的學(xué)科發(fā)生交叉。例如，語(yǔ)言邏輯與哲學(xué)邏輯、語(yǔ)言邏輯和元邏輯、語(yǔ)言邏輯與語(yǔ)言哲學(xué)、語(yǔ)言邏輯與理論語(yǔ)言學(xué)、語(yǔ)言邏輯學(xué)與心理語(yǔ)言學(xué)、語(yǔ)言邏輯學(xué)與認(rèn)知語(yǔ)言學(xué)、語(yǔ)言邏輯與認(rèn)知邏輯都是關(guān)系十分密切、而又互相交叉融合的新興領(lǐng)域。這些新興領(lǐng)域的研究在揭示人類認(rèn)知的奧秘方面，已經(jīng)受到人們?cè)絹?lái)越多的關(guān)注。

    　　四、人工智能的邏輯：計(jì)算機(jī)科學(xué)與邏輯學(xué)的交叉

    人工智能的邏輯最初是指基于人工智能語(yǔ)言Prolog的邏輯，其核心是回溯推理。Prolog是一種基于演繹推理的描述性語(yǔ)言，與BASIC,PASCAL等基于計(jì)算的過(guò)程性語(yǔ)言截然不同。使用過(guò)程性語(yǔ)言，程序員必須寫出每一步指令，告訴計(jì)算機(jī)怎樣對(duì)問(wèn)題求解；使用Prolog語(yǔ)言卻只需提供對(duì)問(wèn)題的描述和解決問(wèn)題所需的基本規(guī)則，而由Prolog自己去尋找問(wèn)題的解。Prolog的這些特征，使它特別適合作為人工智能的語(yǔ)言。

    例一：下面是一段叫作“山洞尋寶”的游戲程序。

    下圖表示山中的一些洞穴。某洞穴中藏有財(cái)寶，另外的洞穴中卻有妖怪和強(qiáng)盜。假如你是尋寶者，你要進(jìn)入洞穴取出財(cái)寶，卻又不想受到傷害，那么，你應(yīng)該選擇哪條路線呢？

    我們用Prolog程序來(lái)幫助你選擇正確路線。程序設(shè)計(jì)的思路是這樣的：首先用一個(gè)謂詞gallery將所有連通的山洞表示出來(lái)，它們都是事實(shí)子句；又用另一個(gè)謂詞route將去過(guò)的洞穴放在一個(gè)表內(nèi)，同時(shí)避開有危險(xiǎn)的洞穴。如果財(cái)寶己在表中，你就已獲成功；否則，就嘗試下一個(gè)連通的洞穴。

    “山洞尋寶”圖

    資料來(lái)源：［美］Borland　公司編《Turbo Prolog 2.0用戶手冊(cè)》，叢海萊、周柏、宋敏譯，上?？茖W(xué)普及出版社，1991。第274頁(yè)。

    使用Prolog語(yǔ)言編制程序，程序運(yùn)行后，輸入目標(biāo)子句：

    Goal

    go（出口，入口）

    程序?yàn)槟氵x擇了這樣的路線：［“入口”，“泉水”，“食物”，“財(cái)寶”，“出口”］

    結(jié)果當(dāng)然是：你找到了財(cái)寶而又未受到傷害。

    例二：語(yǔ)用邏輯在人工智能中的應(yīng)用。

    下面是一種典型的學(xué)習(xí)策略模型。圖中包含一個(gè)學(xué)習(xí)系統(tǒng)的四個(gè)基本環(huán)節(jié)，其中環(huán)境和知識(shí)是用數(shù)據(jù)庫(kù)來(lái)表示的，學(xué)習(xí)和執(zhí)行則代表兩個(gè)過(guò)程。一個(gè)完整的學(xué)習(xí)過(guò)程是：學(xué)習(xí)環(huán)節(jié)處理環(huán)境提供的信息，然后改變數(shù)據(jù)庫(kù)中的知識(shí)。執(zhí)行環(huán)節(jié)利用數(shù)據(jù)庫(kù)的知識(shí)來(lái)完成某種任務(wù)，并把執(zhí)行中獲得的信息返回給學(xué)習(xí)環(huán)節(jié)。

    資料來(lái)源：石純一、黃昌寧、王家：《人工智能原理》，清華大學(xué)出版社，1993:176。

    現(xiàn)在假設(shè)這個(gè)系統(tǒng)要執(zhí)行一個(gè)，系統(tǒng)要求它首先檢查數(shù)據(jù)庫(kù)中有無(wú)F(P)，若無(wú)，則往下執(zhí)行程序；若有，則有兩種選擇：

    (1)在知識(shí)庫(kù)中去掉F(P)，并執(zhí)行

    (2)保留F(P)，但不執(zhí)行。

    經(jīng)過(guò)這一學(xué)習(xí)過(guò)程，計(jì)算機(jī)的知識(shí)得到了更新。

    現(xiàn)在，人工智能已經(jīng)是一個(gè)十分寬泛的概念，它廣泛應(yīng)用于自然語(yǔ)言的處理、機(jī)器學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)、遙控機(jī)器人、生物模型處理、商業(yè)和市場(chǎng)分析、醫(yī)學(xué)應(yīng)用等眾多的研究領(lǐng)域。這些領(lǐng)域的研究工作需要非常豐富的計(jì)算機(jī)科學(xué)（特別是計(jì)算機(jī)語(yǔ)言學(xué)）的知識(shí)和技能，也需要各種不同的現(xiàn)代邏輯的知識(shí)和理論，還需要將人工智能應(yīng)用于其中的專業(yè)知識(shí)。當(dāng)然，特別需要的是所有這些知識(shí)的交叉與結(jié)合。學(xué)科交叉對(duì)科學(xué)發(fā)展的作用在人工智能的領(lǐng)域中得到了充分、生動(dòng)的說(shuō)明。

    　　五、認(rèn)知邏輯：認(rèn)知科學(xué)與邏輯學(xué)的交叉

    認(rèn)知邏輯是認(rèn)知科學(xué)與邏輯學(xué)交叉而產(chǎn)生出來(lái)的新學(xué)科，這是一個(gè)范圍更大的交叉領(lǐng)域。

    認(rèn)知科學(xué)自身就是一個(gè)最大的學(xué)科交叉領(lǐng)域，它包括文、理、工幾大學(xué)科門類的交叉。國(guó)際公認(rèn)的認(rèn)知科學(xué)有六大基礎(chǔ)學(xué)科，它們是：心理學(xué)、神經(jīng)科學(xué)、計(jì)算機(jī)科學(xué)、語(yǔ)言學(xué)、人類學(xué)、哲學(xué)。這些學(xué)科互相交叉，又產(chǎn)生出許多新興的分支學(xué)科，如：控制論、神經(jīng)語(yǔ)言學(xué)、神經(jīng)心理學(xué)、認(rèn)知過(guò)程仿真、計(jì)算語(yǔ)言學(xué)、心理語(yǔ)言學(xué)、心理哲學(xué)、語(yǔ)言哲學(xué)、人類學(xué)語(yǔ)言學(xué)、認(rèn)知人類學(xué)：腦進(jìn)化等等。

    認(rèn)知科學(xué)與邏輯學(xué)交叉產(chǎn)生了認(rèn)知邏輯，因此，它的領(lǐng)域是非常廣泛的。對(duì)認(rèn)知邏輯有廣義和狹義兩種理解。

    廣義的認(rèn)知邏輯由下面的內(nèi)容構(gòu)成：

    1.所有的認(rèn)識(shí)邏輯，如斷定邏輯、知道邏輯、相信邏輯、相干邏輯，“關(guān)于”邏輯和其他內(nèi)涵邏輯。

    2.認(rèn)識(shí)論邏輯的全部?jī)?nèi)容。按照雷歇爾(1968)的劃分，認(rèn)識(shí)論邏輯中的問(wèn)題邏輯、假設(shè)邏輯、反事實(shí)邏輯、信息和信息過(guò)程的邏輯、歸納邏輯等等，也都屬于認(rèn)知邏輯的范疇。

    3.哲學(xué)邏輯中與知識(shí)過(guò)程有關(guān)的其他內(nèi)容。例如，行為邏輯、義務(wù)邏輯、命令邏輯、優(yōu)先和選擇邏輯等等。后者又包括效用邏輯、價(jià)值邏輯、博弈和決策論的邏輯等等。

    4.語(yǔ)言邏輯中與認(rèn)知有關(guān)的其他部分，特別是語(yǔ)義邏輯和語(yǔ)用邏輯。

    5.現(xiàn)代計(jì)算機(jī)科學(xué)和人工智能研究中發(fā)展起來(lái)的與認(rèn)知過(guò)程有關(guān)的邏輯理論，特別是人工智能的邏輯。

    6.認(rèn)知語(yǔ)言學(xué)為基礎(chǔ)的邏輯。

    狹義的認(rèn)知邏輯僅指以上最后一種邏輯，即以認(rèn)知語(yǔ)言學(xué)為基礎(chǔ)的邏輯。認(rèn)知語(yǔ)言學(xué)的發(fā)展經(jīng)歷了兩個(gè)主要的階段，第一階段是以喬姆斯基為代表的唯理主義認(rèn)知語(yǔ)言學(xué)，第二階段是以拉可夫(George Lakoff)為代表的經(jīng)驗(yàn)主義認(rèn)知語(yǔ)言學(xué)。

    喬姆斯基認(rèn)為，認(rèn)知語(yǔ)言學(xué)的核心的問(wèn)題是對(duì)特殊的內(nèi)在語(yǔ)言的研究。具體地說(shuō)，這種研究應(yīng)該包括以下內(nèi)容：(1)內(nèi)在語(yǔ)言的語(yǔ)法，其一般性的研究是主成語(yǔ)法(TG)；(2)關(guān)于FL的初始狀態(tài)S-O的“普遍語(yǔ)法”(UG)；(3)“初始語(yǔ)言數(shù)據(jù)”(PLD)：從S-O到L的轉(zhuǎn)換中相關(guān)的經(jīng)驗(yàn)數(shù)據(jù)；(4)“原則和參數(shù)”(P & P)理論；(5)“最簡(jiǎn)方案”(MP)等等。

    20世紀(jì)70年代中，布朗(Brown)、伯林(Beriin)、凱(Kay)、斯洛賓(Slobin)、羅施(Rosch)、默維斯(Mervis)、巴沙勞(Barsalou)、德瓦盧瓦(De Valois)、麥克尼爾(McNeill)等人的研究顯示形式主義和先天主義的方案不符合經(jīng)驗(yàn)的事實(shí)。這些研究說(shuō)明，語(yǔ)詞和概念不僅不符合形式邏輯，而且從根本上說(shuō)就是被體驗(yàn)的，是與人的經(jīng)驗(yàn)相關(guān)聯(lián)的，表現(xiàn)出非常不同的特性。例如，在全世界的各種語(yǔ)言中，基本的顏色義項(xiàng)顯示出不同的平民性，而這又是從顏色視覺的神經(jīng)生理學(xué)中推導(dǎo)出來(lái)的。更一般地說(shuō)，語(yǔ)詞和概念顯示出層級(jí)和至少六種不同的原型結(jié)構(gòu)、放射結(jié)構(gòu)和基層結(jié)構(gòu)，而這些結(jié)構(gòu)都是從直接經(jīng)驗(yàn)的許多方面分別得出的。這些結(jié)果以及其他經(jīng)驗(yàn)事實(shí)導(dǎo)致認(rèn)知語(yǔ)言學(xué)的發(fā)展。

    在以上發(fā)展的基礎(chǔ)上，20世紀(jì)90年代末，兩位卓越的思想家拉可夫和約翰遜(Mark Johnson)提出了認(rèn)知科學(xué)的新藍(lán)圖。在《涉身哲學(xué)——被體驗(yàn)的心智及其對(duì)西方思想的挑戰(zhàn)》（拉可夫和約翰遜，1999）一書中，開篇就闡明認(rèn)知科學(xué)的三大發(fā)現(xiàn)：心智與生俱來(lái)是被體驗(yàn)的；思維通常是無(wú)意識(shí)的；抽象概念大多數(shù)是隱喻的。拉可夫認(rèn)為，最近的認(rèn)知科學(xué)已經(jīng)摧毀了長(zhǎng)期以來(lái)關(guān)于人的推理和預(yù)測(cè)能力的假定，而認(rèn)知科學(xué)的三大發(fā)現(xiàn)提示了對(duì)“人是什么”這一根本問(wèn)題的全新的和詳盡的理解。根據(jù)拉可夫和約翰遜，靈與肉完全分離的笛卡爾哲學(xué)意義上的人根本就不存在；按照普遍理性的律令而具備道德行為的康德哲學(xué)意義上的人根本就不存在；僅僅依靠?jī)?nèi)省而具備完全了解自身心智的現(xiàn)象主義意義上的人根本就不存在；功利主義哲學(xué)意義上的人，喬姆斯基語(yǔ)言學(xué)意義上的人、后結(jié)構(gòu)主義哲學(xué)意義上的人、計(jì)算主義哲學(xué)意義上的人以及分析哲學(xué)意義上的人統(tǒng)統(tǒng)都不存在。

    拉可夫和約翰遜不僅闡明嚴(yán)格的認(rèn)知科學(xué)研究所應(yīng)遵循的哲學(xué)立場(chǎng)，還重新審查心智、時(shí)間、因果性、寓意、自我等認(rèn)知哲學(xué)的基本概念，然后他們思考哲學(xué)的傳統(tǒng)。最后，他們研究20世紀(jì)哲學(xué)的兩個(gè)主要問(wèn)題：我們應(yīng)該如何看待理性？我們又應(yīng)該如何看待語(yǔ)言？拉可夫和約翰遜的劃時(shí)代著作被認(rèn)為是對(duì)西方哲學(xué)（特別是英美傳統(tǒng)分析哲學(xué)）教義的突破性挑戰(zhàn)。

    狹義的認(rèn)知邏輯就是在以上發(fā)展的認(rèn)知語(yǔ)言學(xué)的基礎(chǔ)上建立的邏輯。認(rèn)知邏輯不僅包含基于理性推理的部分，還應(yīng)當(dāng)包含基于經(jīng)驗(yàn)推理的部分。例如，對(duì)以認(rèn)知語(yǔ)言學(xué)為基礎(chǔ)的經(jīng)驗(yàn)觀(expriential view)、突出觀(prominence view)和注意觀(attentional view)都應(yīng)該建立新的邏輯理論。在認(rèn)知科學(xué)中，思維和推理是重要的組成部分，因此，整個(gè)現(xiàn)代邏輯，特別是在認(rèn)知語(yǔ)言學(xué)基礎(chǔ)上建立的認(rèn)知邏輯，對(duì)認(rèn)知科學(xué)具有重要的意義。

    以上分析說(shuō)明，在認(rèn)知科學(xué)研究中發(fā)生的認(rèn)知科學(xué)與邏輯學(xué)的交叉，產(chǎn)生了認(rèn)知邏輯這個(gè)新學(xué)科，而認(rèn)知邏輯的產(chǎn)生又促進(jìn)了認(rèn)知科學(xué)的發(fā)展，科學(xué)和學(xué)科的矛盾運(yùn)動(dòng)及其對(duì)科學(xué)和學(xué)科發(fā)展的推動(dòng)作用，在這里也清晰地顯現(xiàn)出來(lái)。

    現(xiàn)代邏輯以數(shù)理邏輯為根基，通過(guò)與現(xiàn)代科學(xué)各門學(xué)科的交叉而逐漸生長(zhǎng)壯大，現(xiàn)在它已經(jīng)成長(zhǎng)為一株枝繁葉茂的大樹?，F(xiàn)代邏輯的發(fā)展充分說(shuō)明，只要人類認(rèn)識(shí)世界的過(guò)程不會(huì)停歇，科學(xué)的發(fā)展就不會(huì)停歇?？茖W(xué)的發(fā)展必然突破學(xué)科體系的限制而為自己開辟道路，因此，學(xué)科交叉是科學(xué)發(fā)展的必由之路。