邏輯哲學(xué)九章

　　片斷：緒論什么是邏輯哲學(xué)？邏輯哲學(xué)，顧名思義，不僅與邏輯有關(guān)，而已與哲學(xué)有關(guān)。這一點(diǎn)顯然不難理解。但是，如果我們問(wèn)如何有關(guān)，能不能說(shuō)得清楚，大概就不是那樣容易的事情。不過(guò)，本書(shū)既然要圍繞這樣一個(gè)題目進(jìn)行論述，就無(wú)法回避這個(gè)問(wèn)題。因此我們首先就要談一談什么是邏輯哲學(xué)。在英文中，相應(yīng)于我們這里所說(shuō)的邏輯哲學(xué)一般有三個(gè)表達(dá)：一個(gè)是哲學(xué)邏輯（philosophicallogic），另一個(gè)是邏輯哲學(xué)（PhilosoPhyoflogic），還有一個(gè)是邏輯的哲學(xué)（logicalPhilosoPhy）。大概最早出現(xiàn)的是前一個(gè)，后兩個(gè)是后來(lái)出現(xiàn)的。從文獻(xiàn)來(lái)看，使用最多的是前兩個(gè)。因此這兩個(gè)術(shù)語(yǔ)值得我們認(rèn)真考慮。關(guān)于這兩個(gè)表達(dá)，人們的看法是不一樣的。而且，即使是關(guān)于其中的某一個(gè)表達(dá)，比如第一個(gè)表達(dá)，人們的看法也是不一樣的。這些不同的看法，不僅表現(xiàn)出人們對(duì)邏輯哲學(xué)的不同理解，而且也反映出在以邏輯哲學(xué)命名的東西上存在的問(wèn)題。這里，我們先介紹一下國(guó)內(nèi)外與邏輯哲學(xué)這一概念有關(guān)的主要觀點(diǎn)和態(tài)度，然后再明確地闡述我們自己對(duì)邏輯哲學(xué)的看法。人們一般承認(rèn)，羅素最早使用了“哲學(xué)邏輯”這個(gè)概念。但是，這個(gè)詞以及與它相近的詞“邏輯哲學(xué)”的頻繁出現(xiàn)卻是在進(jìn)人60年代以后。在過(guò)去幾十年的時(shí)間里，不僅以“邏輯哲學(xué)”或“哲學(xué)邏輯”命名出版了一些專(zhuān)著和文集，而且還出版了幾份以它們?yōu)轭}的專(zhuān)業(yè)雜志。因此，至少?gòu)谋砻嫔峡矗壿嬚軐W(xué)或哲學(xué)邏輯已經(jīng)堂堂正正地進(jìn)人人們的研究視野，成為人們研究的對(duì)象或領(lǐng)域。但是，如果我們仔細(xì)閱讀文獻(xiàn)就會(huì)發(fā)現(xiàn)，事情并不是那樣簡(jiǎn)單。首先，人們對(duì)哲學(xué)邏輯或邏輯哲學(xué)存在著不同的理解，而巨至今也沒(méi)有形成一致的看法。其次，也有人承認(rèn)哲學(xué)邏輯或邏輯哲學(xué)的提法有問(wèn)題，但是為了某種目的和便利，仍然使用它。此外，還有人于脆簡(jiǎn)單地使用邏輯哲學(xué)或哲學(xué)邏輯這些術(shù)語(yǔ)，但是根本不對(duì)它們作任何說(shuō)明或解釋。在這三種情況中，應(yīng)該說(shuō)，第一種情況比較清楚，因?yàn)橹灰匆豢床煌髡叩牟煌^點(diǎn)，就可以明白其差異所在；而后兩種情況不太清楚。然而，盡管作者或編者沒(méi)有明確的說(shuō)明，但從他們的具體論述或選編的文章，我們?nèi)匀豢梢源笾驴闯龌蝮w會(huì)到他們的基本意圖和想法。因此，為了能夠比較清楚地說(shuō)明什么是邏輯哲學(xué)，我們首先進(jìn)行這兩項(xiàng)工作。第一節(jié)含糊的用法我們首先來(lái)看一些對(duì)哲學(xué)邏輯沒(méi)有進(jìn)行具體說(shuō)明或說(shuō)明不太清楚的文獻(xiàn)。1967年11月10日一12日在英國(guó)倫敦召開(kāi)了一個(gè)以“哲學(xué)邏輯”為題的學(xué)術(shù)討論會(huì)。兩年以后，與會(huì)論文結(jié)集出版，并且名稱(chēng)不變。值得注意的是，除了會(huì)上宣讀和討論的文章外，文集又增加了幾篇論文，而所增加的第一篇文章就是戴維森的“真與意義”。這篇文章是語(yǔ)言哲學(xué)的重要文獻(xiàn)，剛發(fā)表不久，影響很大。由于編者沒(méi)有解釋?zhuān)虼宋覀儫o(wú)法知道編者對(duì)“邏輯哲學(xué)”的理解。“真”無(wú)疑屬于邏輯研究的范圍，“意義”是不是屬于邏輯研究的范圍卻值得思考。把這篇文章與文集中諸如欣迪卡的“命題態(tài)度的語(yǔ)義”和馮·萊特的“論邏輯的規(guī)范和本體論”等論文放在一起，自然是把它劃人哲學(xué)邏輯的范圍。這種做法反映出編者對(duì)邏輯哲學(xué)采取一種非常寬泛的態(tài)度。1971年，普特南發(fā)表一篇論文《邏輯哲學(xué)》。文章分八節(jié)，沒(méi)有開(kāi)場(chǎng)白。第一節(jié)“什么是邏輯”，一上來(lái)就說(shuō)：“讓我們首先問(wèn)什么是邏輯，然后試圖看一看為什么應(yīng)該有關(guān)于邏輯的哲學(xué)問(wèn)題。”（Putnam，1998，P．404）通過(guò)對(duì)幾條邏輯推理規(guī)則或邏輯定律的分析，普特南得出一個(gè)結(jié)論，邏輯推論規(guī)則或定律沒(méi)有什么太大的變化，邏輯學(xué)家對(duì)它們的看法也是一致的。這些是邏輯的主要部分，是“邏輯中‘永久的學(xué)說(shuō)”’（同上，P．406）。但是在如何接受它們的問(wèn)題上，邏輯學(xué)家們的解釋和態(tài)度卻是不同的。在這個(gè)結(jié)論的基礎(chǔ)上，他說(shuō)：“顯然有一些與邏輯相聯(lián)系的哲學(xué)問(wèn)題，而且至少它的一個(gè)理由也是清楚的，這就是：關(guān)于所有邏輯學(xué)家在某種程度上似乎普遍承認(rèn)的一般原理，很難得到任何普遍接受的陳述。如果我們深究這個(gè)困難，那么與邏輯相聯(lián)系的更深的哲學(xué)問(wèn)題就會(huì)變得更加清楚。”（同上）接下來(lái)，他討論了唯名論和實(shí)在論之爭(zhēng)，邏輯和數(shù)學(xué)的關(guān)系，以及由唯名論所帶來(lái)的與集合論相關(guān)的一些問(wèn)題。從他的文章可以看出，他所說(shuō)的邏輯哲學(xué)，主要是指在邏輯的基礎(chǔ)上，對(duì)各種關(guān)涉邏輯...本書(shū)前言邏輯哲學(xué)就是對(duì)于邏輯的哲學(xué)反思，它不是哲學(xué)的一個(gè)分支學(xué)科，也不是哲學(xué)的一個(gè)流派。粗略地講，邏輯哲學(xué)是一些哲學(xué)家和邏輯學(xué)家對(duì)邏輯科學(xué)的哲學(xué)問(wèn)題所進(jìn)行的探討和發(fā)表的一些哲學(xué)看法。從國(guó)外的文獻(xiàn)來(lái)看，邏輯哲學(xué)究竟包括哪些內(nèi)容并無(wú)定論，大致包括兩方面。一是關(guān)于邏輯這門(mén)科學(xué)的一般性哲學(xué)問(wèn)題：邏輯的研究對(duì)象、邏輯的范圍、邏輯與其他科學(xué)的關(guān)系等等。二是邏輯研究自身及元邏輯研究中提出的哲學(xué)問(wèn)題：某些邏輯概念的涵義問(wèn)題、邏輯悖論的處理問(wèn)題等等。本書(shū)論述的也是這兩方面的內(nèi)容。全書(shū)由結(jié)論和正文九章共十部分組成，我們選擇這些內(nèi)容主要基于兩點(diǎn)考慮。第一，（鑒于國(guó)內(nèi)的狀況）我們想對(duì)國(guó)內(nèi)邏輯界和哲學(xué)界介紹一下現(xiàn)代邏輯的一些最基本的概念和內(nèi)容，尤其是澄清一些錯(cuò)誤的概念和認(rèn)識(shí)，因此在緒論和第一章等有關(guān)章節(jié)中加強(qiáng)了對(duì)國(guó)內(nèi)一些主要觀點(diǎn)的討論，加強(qiáng)了對(duì)什么是邏輯和邏輯系統(tǒng)、什么是蘊(yùn)涵以及悖論等問(wèn)題的討論。第二，（也是從國(guó)內(nèi)情況出發(fā)）我們關(guān)于邏輯哲學(xué)的討論主要集中在一些最基本的內(nèi)容上，但討論的水平應(yīng)當(dāng)是前沿的，因此在第二、五、六、八、九等章節(jié)中注意反映國(guó)外的新?tīng)顩r、新理論、新熱點(diǎn)問(wèn)題。我們認(rèn)為，本書(shū)對(duì)與邏輯研究推理相關(guān)的問(wèn)題提出了一系列解釋?zhuān)梢允棺x者了解國(guó)外邏輯哲學(xué)研究的主要狀況和問(wèn)題，有助于在我國(guó)開(kāi)展這方面的研究，也有助于深人理解邏輯與哲學(xué)的聯(lián)系，明白邏輯在哲學(xué)中的地位和作用。各章具體內(nèi)容如下：1．緒論部分，由王路撰寫(xiě)。本章論述什么是邏輯哲學(xué)。作者首先系統(tǒng)介紹國(guó)外學(xué)者關(guān)于邏輯哲學(xué)這一概念的主要觀點(diǎn)，包括有普特南、斯特勞森、哈克等人的觀點(diǎn)，以及反映在《哲學(xué)邏輯雜志》、《邏輯的歷史和哲學(xué)）｝、《哲學(xué)邏輯手冊(cè)》和《邏輯哲學(xué)在波蘭》等著名雜志及文集的編輯方針中的觀點(diǎn)；然后評(píng)述了國(guó)內(nèi)學(xué)者的一些主要觀點(diǎn)，包括有張尚水、陳波、周北海等人的觀點(diǎn)；最后在對(duì)以上觀點(diǎn)進(jìn)行分析比較的基礎(chǔ)上提出了自己的見(jiàn)解。作者認(rèn)為，邏輯哲學(xué)就是以非技術(shù)的方式研究邏輯問(wèn)題。邏輯問(wèn)題可以從兩方面考慮。一方面從邏輯系統(tǒng)出發(fā)，涉及兩類(lèi)問(wèn)題，一類(lèi)是邏輯常項(xiàng)及其相關(guān)問(wèn)題，另一類(lèi)是關(guān)于系統(tǒng)的性質(zhì)問(wèn)題。另一方面從語(yǔ)義出發(fā)，主要涉及的是真、可滿足等問(wèn)題。對(duì)邏輯問(wèn)題進(jìn)行技術(shù)性的研究就是建立形式系統(tǒng)，提供語(yǔ)義說(shuō)明。非技術(shù)性的研究是探討除此以外所包含和涉及的一些問(wèn)題。2．第一章《什么是邏輯》，由李小五撰寫(xiě)。作者把這一復(fù)雜問(wèn)題分解成幾個(gè)較簡(jiǎn)單的問(wèn)題（研究對(duì)象、邏輯語(yǔ)義和邏輯系統(tǒng)），在前三節(jié)中逐節(jié)進(jìn)行討論；第四節(jié)分析了現(xiàn)有文獻(xiàn)中的幾種具有代表性的邏輯定義，指出它們的優(yōu)缺點(diǎn)，然后提出作者自己的邏輯定義；最后一節(jié)討論了邏輯與非邏輯的界限問(wèn)題，對(duì)什么是邏輯作進(jìn)一步的闡述。作者認(rèn)為，邏輯研究的對(duì)象通俗地說(shuō)是推理形式的正確性，較為學(xué)術(shù)性地說(shuō)是推理形式的有效性。邏輯關(guān)注的推理形式通常不是個(gè)別推理者的推理和推理形式，而是某個(gè)范圍內(nèi)的所有推理者的推理形式，尋求適用于一定范圍的所有正確的推理形式。邏輯語(yǔ)義是對(duì)邏輯語(yǔ)言的解釋。邏輯語(yǔ)義主要可以分為哲學(xué)型的語(yǔ)義和數(shù)學(xué)型的語(yǔ)義兩類(lèi)。前者是基于哲學(xué)概念的語(yǔ)義，迄今發(fā)展最為全面的是可能世界語(yǔ)義；后者是基于數(shù)學(xué)概念的語(yǔ)義，用得比較多的有代數(shù)語(yǔ)義、拓?fù)湔Z(yǔ)義和概率語(yǔ)義。邏輯系統(tǒng)的主要形態(tài)有公理化系統(tǒng)、自然演繹系統(tǒng)、表列系統(tǒng)以及推理關(guān)系系統(tǒng)。作者從三層意義上給出邏輯的定義。第一層次上的邏輯（統(tǒng)稱(chēng)為對(duì)象邏輯）就是用全面系統(tǒng)的方法來(lái)刻畫(huà)一定范圍內(nèi)有效的全體推理形式。第二層次上的邏輯是關(guān)于所有的對(duì)象邏輯的理論。第三層次上的邏輯是最寬泛意義上的邏輯，是指作為一門(mén)研究推理的科學(xué)的邏輯。作者在討論邏輯與非邏輯的界限問(wèn)題時(shí)還針對(duì)國(guó)內(nèi)學(xué)界對(duì)邏輯的誤解發(fā)表了自己的意見(jiàn)，認(rèn)為在大學(xué)、特別是在研究生中，講授普通邏輯是一種智力浪費(fèi)和歷史倒退。3．第二章《否定》，由張清宇撰寫(xiě)。本章處理關(guān)于否定的問(wèn)題，刻畫(huà)了各種否定的一般特征及其分類(lèi)等。第一節(jié)用正交語(yǔ)義、星語(yǔ)義和四值語(yǔ)義討論了出現(xiàn)在各種非經(jīng)典邏輯系統(tǒng)中的否定：布爾否定、正交否定、直覺(jué)主義否定、德摩根否定，以及這些否定的若干變種，井建立起了這三種語(yǔ)義之間的聯(lián)系。第二節(jié)用克里普克關(guān)系語(yǔ)義理論處理否定，將否定處理成一種不可能算子，介紹了公理系統(tǒng)N，建立起了有關(guān)否定的各種邏輯規(guī)律與可達(dá)關(guān)系的各種性質(zhì)之間的對(duì)應(yīng)。第三節(jié)討論相干邏輯中的否定，介紹了雷斯塔爾提出的相于邏輯關(guān)系語(yǔ)義的一種新解釋?zhuān)瑢?duì)于語(yǔ)義處理給相干邏輯的解釋帶來(lái)的三個(gè)麻煩問(wèn)題（星運(yùn)算的涵義、選言三段論以及布爾否定）作了原則性的答復(fù)。最后一節(jié)從弗協(xié)調(diào)邏輯的觀點(diǎn)討論否定，具體介紹了普里斯特關(guān)于否定的觀點(diǎn)，論述了他如何運(yùn)用真矛盾論的根本觀點(diǎn)來(lái)處理有關(guān)否定的各種傳統(tǒng)的邏輯規(guī)律。4．第三章《蘊(yùn)涵》，由張家龍撰寫(xiě)。本章討論了各種各樣的蘊(yùn)涵理論。首先在第一節(jié)中介紹了古代和中世紀(jì)的蘊(yùn)涵理論（斐洛蘊(yùn)涵、第歐多魯蘊(yùn)涵、聯(lián)結(jié)蘊(yùn)涵、包含蘊(yùn)涵），然后在第二節(jié)中介紹了近現(xiàn)代的蘊(yùn)涵理論（實(shí)質(zhì)蘊(yùn)涵、形式蘊(yùn)涵、嚴(yán)格蘊(yùn)涵、相干蘊(yùn)涵、直覺(jué)主義蘊(yùn)涵、反事實(shí)蘊(yùn)涵、因果蘊(yùn)涵），最后在第三節(jié)中對(duì)蘊(yùn)涵理論作了反思。作者指出，蘊(yùn)涵和推理有區(qū)別，也有密切的聯(lián)系，各種不同的蘊(yùn)涵都是各種不同的邏輯系統(tǒng)中的蘊(yùn)涵；現(xiàn)有的蘊(yùn)涵理論只反映了多樣性的條件聯(lián)系中的某一方面，遠(yuǎn)沒(méi)有窮盡條件聯(lián)系的方方面面。作者還指出，只要從實(shí)質(zhì)蘊(yùn)涵和嚴(yán)格蘊(yùn)涵的本義來(lái)理解，所謂的蘊(yùn)涵怪論也就不怪了，都是相應(yīng)的命題演算系統(tǒng)中的定理，刻畫(huà)了一些有效的推理形式。5．第四章（（論》，由張家龍撰寫(xiě)。本章討論悖論的實(shí)質(zhì)及其解決方案。首先在第一節(jié)中概述了歷史上出現(xiàn)的種種悖論，包括說(shuō)謊者悻論、各種各樣的集合論悻論和語(yǔ)義悖論、湯姆森的對(duì)角線引理、認(rèn)知悖論和合理行動(dòng)悖論。第二節(jié)評(píng)析了各種各樣的悻論定義，并提出了作者自己的定義；本節(jié)還討論了自中世紀(jì)開(kāi)始的各種悖論解決方案，包括中世紀(jì)邏輯學(xué)者的方案、公理集合論、邏輯類(lèi)型論、語(yǔ)言層次理論、克里普克的真值理論、語(yǔ)境敏感方案以及弗協(xié)調(diào)邏輯方案。在最后一節(jié)中作者就悻論的根源、悖論與邏輯矛盾、悖論的方法論意義等有關(guān)的哲學(xué)問(wèn)題進(jìn)行了論述。作者最后指出，悖論決不是謬論，它們具有重要的方法論意義，是啟發(fā)新理論產(chǎn)生的一個(gè)源泉，切不可低估這種意義。6．第五章《二階邏輯》，由張清宇撰寫(xiě)。本章的中心議題是二階邏輯。為幫助讀者熟悉有關(guān)的技術(shù)內(nèi)容，在最初兩節(jié)中論述了二階語(yǔ)言，以及二階語(yǔ)言的標(biāo)準(zhǔn)語(yǔ)義、亨金語(yǔ)義和一階語(yǔ)義。二階邏輯的模型理論對(duì)于處理數(shù)學(xué)基礎(chǔ)是很充分的，本章第三節(jié)從二階語(yǔ)言的表達(dá)能力、一階理論與二階理論在語(yǔ)義上的差別、數(shù)學(xué)實(shí)踐以及集合論等方面對(duì)此作了論述。最后一節(jié)討論了二階邏輯的邏輯地位問(wèn)題，介紹了奎因、布洛斯、巴威思。王浩等人的見(jiàn)解。作者最后表示贊同夏皮羅的提議，為了能達(dá)到邏輯研究的目的，為了能滿足數(shù)學(xué)實(shí)踐的需要，我們必須接受二階邏輯的預(yù)設(shè)及其所有不便之處，承認(rèn)二階邏輯為邏輯。7．第六章《現(xiàn)代邏輯的多樣化發(fā)展》，由鄒崇理撰寫(xiě)本章探討現(xiàn)代邏輯多樣化發(fā)展背后隱藏的邏輯哲學(xué)問(wèn)題。第一節(jié)闡述了經(jīng)典邏輯發(fā)展更新的內(nèi)在潛力和外部原因。作者指出，內(nèi)在潛力在于對(duì)邏輯推論這一概念的理解的不斷深化，外部原因主要表現(xiàn)在承載邏輯推理的自然語(yǔ)言那里。自然語(yǔ)言蘊(yùn)藏著發(fā)展邏輯的豐富題材，這些題材每時(shí)每刻都在影響著邏輯的研究模式，并且促成新的邏輯理論的產(chǎn)生。第二節(jié)論述了現(xiàn)代邏輯多樣化發(fā)展的主要模式——變異或異釋邏輯（以相干邏輯為代表）和擴(kuò)充邏輯（以模態(tài)邏輯為代表）。作者認(rèn)為，模態(tài)邏輯的哲學(xué)探討應(yīng)以各種模態(tài)系統(tǒng)為主要研究對(duì)象，與系統(tǒng)特征有關(guān)的問(wèn)題多談，關(guān)系不大的少談。第三節(jié)以蒙太格語(yǔ)法的內(nèi)涵邏輯、話語(yǔ)表現(xiàn)結(jié)構(gòu)的自然演繹邏輯、抽象量詞的邏輯系統(tǒng)、一階情境謂詞以及信息流的邏輯為代表，介紹了20世紀(jì)70年代以來(lái)出現(xiàn)的新的發(fā)展模式。作者指出，這種新模式所產(chǎn)生的邏輯系統(tǒng)大都與關(guān)于自然語(yǔ)言研究的結(jié)果密切相關(guān)，具有很強(qiáng)的自然語(yǔ)言特色。8．第七章《邏輯與哲學(xué)），由王路撰寫(xiě)。邏輯與哲學(xué)具有十分密切的關(guān)系，本章僅從邏輯與哲學(xué)的關(guān)系來(lái)考慮邏輯符號(hào)的意義。作者在前五節(jié)中討論了一階語(yǔ)言、模態(tài)語(yǔ)言、真與意義、斷定方式以及隱晦語(yǔ)境，由此說(shuō)明邏輯研究的問(wèn)題本身也是哲學(xué)研究的問(wèn)題。在最后一節(jié)中，作者脫離具體的技術(shù)方面的思想和細(xì)節(jié)，從一階邏輯和模態(tài)邏輯的整體出發(fā)考慮了一些問(wèn)題，包括：真之載體是什么？性質(zhì)與關(guān)系有什么區(qū)別？存在究竟是什么意思？模態(tài)究竟是客觀的還是主觀的？作者認(rèn)為，真之載體是句子，關(guān)系由變?cè)脑獢?shù)和量詞確定，存在的作用由量詞體現(xiàn)。作者還認(rèn)為，抽象實(shí)體的問(wèn)題實(shí)際上是與先驗(yàn)認(rèn)識(shí)有關(guān)的問(wèn)題，因而是重要的哲學(xué)問(wèn)題。9．第八章《邏輯與自然語(yǔ)育》，由鄒崇理撰寫(xiě)。本章討論了有關(guān)邏輯與自然語(yǔ)言的關(guān)系的哲學(xué)思考應(yīng)該回答的兩類(lèi)問(wèn)題。一類(lèi)是現(xiàn)代邏輯的自然語(yǔ)言擴(kuò)充的原因及其具體表現(xiàn)的問(wèn)題，即從現(xiàn)代邏輯三十多年來(lái)不斷擴(kuò)展的大背景來(lái)看產(chǎn)生自然語(yǔ)言擴(kuò)充的必然性；另一類(lèi)是自然語(yǔ)言邏輯擴(kuò)充的哲學(xué)承諾問(wèn)題，即談?wù)勛匀徽Z(yǔ)言邏輯的一些基本概念所導(dǎo)致的哲學(xué)假定和引起的哲學(xué)思考。本章內(nèi)容相應(yīng)于這兩類(lèi)問(wèn)題而分成兩節(jié)。第一節(jié)系統(tǒng)闡述現(xiàn)代邏輯如何深入挖掘“結(jié)構(gòu)”概念而確立起邏輯的自然語(yǔ)言研究，由此論述了第一類(lèi)問(wèn)題；第二節(jié)討論第二類(lèi)問(wèn)題，具體論述了蒙太格語(yǔ)法、廣義量詞理論、動(dòng)態(tài)語(yǔ)義學(xué)以及情境語(yǔ)義學(xué)的哲學(xué)承諾。作者認(rèn)為，從某種意義上說(shuō)自然語(yǔ)言的內(nèi)在基礎(chǔ)就是邏輯，自然語(yǔ)言的信息處理很大程度依賴(lài)于邏輯的先期研究，現(xiàn)代邏輯的發(fā)展使研究自然語(yǔ)言的可能成為現(xiàn)實(shí)。作者還認(rèn)為，自然語(yǔ)言邏輯提出的許多技術(shù)手段都有某種本體論的依據(jù)，或是假定某種類(lèi)型的實(shí)體存在。10．第九章《邏輯與人工智能》，由李小五撰寫(xiě)。本章討論邏輯與人工智能的關(guān)系問(wèn)題，主要討論邏輯如何應(yīng)用于人工智能，解決了什么問(wèn)題，取得了什么成就，有什么局限。人工智能邏輯就是用邏輯方法和成果研究人工智能主體如何處理知識(shí)的理論。人工智能邏輯種類(lèi)很多，發(fā)展比較完善的有缺省邏輯、非單調(diào)模態(tài)邏輯和限定邏輯，本章內(nèi)容相應(yīng)于它們而分成三節(jié)作具體論述。作者最后指出，前面建立的各種人工智能邏輯都有不少問(wèn)題；人工智能邏輯的最終目的應(yīng)該是建立對(duì)計(jì)算的、有實(shí)際應(yīng)用意義（不僅僅停留在理想水平上）的知識(shí)處理系統(tǒng)并在計(jì)算機(jī)上實(shí)現(xiàn)，而這個(gè)任務(wù)看來(lái)任重道遠(yuǎn)。本書(shū)的撰寫(xiě)是在2000年國(guó)家社會(huì)科學(xué)基金項(xiàng)目“邏輯哲學(xué)導(dǎo)論”（批準(zhǔn)號(hào)00BZX032）和中國(guó)社會(huì)科學(xué)院哲學(xué)研究所重點(diǎn)項(xiàng)目“邏輯哲學(xué)導(dǎo)論”的資助下進(jìn)行的。本書(shū)的出版由中國(guó)社會(huì)科學(xué)院哲學(xué)研究所出版基金資助。在項(xiàng)目開(kāi)展研究的過(guò)程中，我們充分發(fā)揮本課題組成員都集中在同一研究室的優(yōu)勢(shì)，采用經(jīng)常性的分散交流和適當(dāng)?shù)募杏懻撓嘟Y(jié)合的方式進(jìn)行，最后分頭撰寫(xiě)各人比較熟悉的專(zhuān)題。優(yōu)勢(shì)明顯，弱點(diǎn)也明顯。由于課題組成員各自有不同的背景和興趣，全書(shū)難以取得一致，好在各章獨(dú)立成篇，不至于完全影響閱讀。同時(shí)，也正由于都集中于同一研究室，造成能力上和研究方向上的限制。本書(shū)的內(nèi)容有所局限，未能全面論述邏輯哲學(xué)方面的問(wèn)題（書(shū)名《邏輯？lei=5.01

暫缺《邏輯哲學(xué)九章》作者簡(jiǎn)介