中國邏輯學研究改革開放以來的30年，是我們國家邏輯學研究獲得長足發(fā)展的30年。“文革〞結束以后，十分是1978年改革開放以來，我們國家邏輯學研究步入大發(fā)展時期。研究的隊伍被從新組織并逐步強大起來。1978年、1979年由中國社會科學院哲學研究所等單位先后發(fā)起并召開了第一、第二次全國邏輯討論會，之后成立了中國邏輯學會。在這兩次大會上，針對我們國家邏輯教學和研究水平遠遠落后于國際水平的實際狀態(tài)，有些學者提出了邏輯教學與研究現(xiàn)代化的主張。此后進一步發(fā)展為中國邏輯學會提出的“全面實現(xiàn)我們國家邏輯教學和研究的現(xiàn)代化，與國際邏輯教學和研究的水平全面接軌〞的發(fā)展目的。圍繞這個發(fā)展目的，我們國家廣闊邏輯工作者進行了不懈的努力。作為我們國家邏輯事業(yè)發(fā)展的重要組織者，中國邏輯學會及其下屬專業(yè)委員會堅持“理論與應用相結合〞、“提升與普及相結合〞的方針，開展了豐富多彩的學術活動，有力地推動了多條理邏輯教學與研究的發(fā)展。根據(jù)搜集到的材料對改革開放以來中國邏輯學研究的發(fā)展作一個概述，限于篇幅和能力，材料的搜集和概述不盡全面，十分是沒有能討論邏輯教學，敬請諒解和斧正。一、數(shù)理邏輯、哲學邏輯和邏輯哲學20世紀是西方邏輯發(fā)展史上的第三大高峰期，邏輯學發(fā)展成為與數(shù)學、物理學、化學、天文學以及地球科學、空間科學、生命科學等相并列的基礎學科，這是20世紀科學系統(tǒng)演化的重大進展。聯(lián)合國教科文組織早在20世紀70年代巳對此予以確認。后來在該組織發(fā)布的“科技領域國際標準命名法〞中，更把邏輯學列為一級學科之首。但這種學科進化并未具體表現(xiàn)出在我們國家的學科建制上。在我們國家通行的學科劃分上，“邏輯學〞被列為哲學一級學科之下的二級學科，而“數(shù)理邏輯〞被列為數(shù)學一級學科之下的三級學科。這在一定水平上限制了我們國家邏輯事業(yè)的發(fā)展。但是通過在改革開放的大潮中對國際邏輯發(fā)展狀態(tài)的了解與研究，我們國家邏輯學界在如下問題上逐步達成了共鳴：20世紀邏輯學的重大發(fā)展首推演繹邏輯的長足進步，傳統(tǒng)演繹邏輯與現(xiàn)代演繹邏輯是同一門學科的不同發(fā)展階段，而不是以往很多學者理解的不同學科；由弗雷格奠定基礎并由羅素、希爾伯特和哥德爾等人所完善的一階邏輯，是整個現(xiàn)代邏輯大廈的基石；形式系統(tǒng)方法是現(xiàn)代邏輯研究的基本方法，四論〔集合論、證明論、模型論、遞歸論〕為現(xiàn)代邏輯的發(fā)展提供了基本工具；雖然四論的尖端研究屬于狹義數(shù)理邏輯的范疇，但其基本思想與方法是任何從事現(xiàn)代邏輯研究的學者所應當把握的。我們國家哲學學科的邏輯學博士點與碩士點已普遍把“打好數(shù)理邏輯基礎〞作為人才培養(yǎng)的基本要求。我們國家數(shù)學界與計算機學界活潑踴躍著一支數(shù)理邏輯基礎研究隊伍，他們在老一代數(shù)理邏輯學家的率領下，在邏輯演算與四論研究中獲得了豐富結果，有些結果獲得了國家天然科學獎和何梁何利科學與技術進步獎。另有一批數(shù)學出身的學者加人到哲學社會科學界邏輯學研究隊伍中來，也在邏輯基礎研究上作出了很多獨特奉獻。這里我們介紹在哲學社會科學界的數(shù)理邏輯研究結果，重要有如下一些：創(chuàng)制了不消聯(lián)合詞和量詞的一階邏輯系統(tǒng)，對括號作了獨四處理，使得括號能兼具聯(lián)合詞的作用也有替代量詞的作用，這是繼盧卡西維茨以后又一新的邏輯符號和記法系統(tǒng)；構造了幾個無窮邏輯的系統(tǒng)，證明了它們的完全性；建立了無窮邏輯的二階語言的公理系統(tǒng)和模型理論，證明了這個二階語言中的省略型定理及素模型理論；對可數(shù)無窮長語言的可構成模型C進行了較為系統(tǒng)深切進入的研究；關于遞歸論的計算機復雜性和實數(shù)可計算性方面的研究獲得了主要進展。由于公理集合論中布爾值模型的應用、模糊數(shù)學中非布爾值邏輯的出現(xiàn)以及計算機科學中多值線路的討論等，使得多值邏輯的研究有了更多的詳細背景和客觀需要。對于多值邏輯的一個方面——多值模型論，有的學者做了初步考察，把二值模型中一些基本構造推廣到格值模型論中。在模型論方面，一些學者通過合作，為其中某些方法及其結論在其他數(shù)學分支中尋找新的應用事例做了一些嘗試，并創(chuàng)始了格值模型論并將其發(fā)展為比較完好的理論體系。“可計算與t難于計算的實數(shù)〞、“具有強蘊涵詞的弗晰集合構造〞、“弗晰集合論與布爾值集合論之間的聯(lián)絡〞等結果，在國際會議上作了宣讀。有的學者提出了計算模型間的類似性和計算時間與存儲空間之間的對稱性兩個主要概念。還有學者證明了在一個固定計算類型下的所有合理的計算模型都是類似的。就國際邏輯學和哲學的研究而言，20世紀上半期邏輯學的發(fā)展使之最終從哲學中獨立出來，同時又反作用于哲學研究，推動哲學研究實現(xiàn)了“語言學轉(zhuǎn)向〞；在這里基礎上，20世紀后半期邏輯與哲學之間建立起了深刻的互動關系，逐步構成了“哲學邏輯〞與“邏輯哲學〞這兩個嶄新的學科群，構成了現(xiàn)代邏輯學科發(fā)展的主流方向。哲學邏輯研究分為兩大學科群落，一是在經(jīng)典邏輯基礎上，通過引進具有哲學含義的邏輯算子而建構的擴大型邏輯系統(tǒng)，如基本〔真勢〕模態(tài)邏輯、時態(tài)邏輯、認知邏輯、道義邏輯等，這些系統(tǒng)一般又統(tǒng)稱為“廣義模態(tài)邏輯〞；一是在某種哲學考慮背景下通過對經(jīng)典邏輯算子的變異解釋而建構的異?！不蚍Q異釋〕型邏輯系統(tǒng)，如多值邏輯、模糊邏輯、相干邏輯、直覺主義邏輯、弗協(xié)調(diào)〔又譯次協(xié)調(diào)、亞相容〕邏輯等。后者又各自有自己的擴大系統(tǒng)，如多值模態(tài)邏輯等。邏輯哲學研究也分為兩大學科群落，一是關于邏輯的哲學研究，一是運用現(xiàn)代邏輯工具去分析解決重大哲學問題，后者與“語言哲學〞有廣泛的穿插領域，經(jīng)太多年發(fā)展，逐步構成了“意義觀〞、“真諦觀〞、“悖論觀〞等研究重心。這兩大學科群構成了邏輯與哲學互動發(fā)展的基本橋梁，其研究價值已經(jīng)并正在充足展現(xiàn)出來。自上世紀80年代初以來，現(xiàn)代邏輯發(fā)展的這一態(tài)勢逐步為我們國家學者所把握。這具體表現(xiàn)出在陸續(xù)出版多部系統(tǒng)介紹狹義與廣義模態(tài)邏輯的著作之中。90年代之后，哲學邏輯與邏輯哲學逐步成為我們國家邏輯學界的主攻方向，發(fā)表了大量系統(tǒng)介紹國外研究進展的著作與文章，也出現(xiàn)了不少獨立研究的結果。例如，將亨金的嵌入定理從經(jīng)典邏輯推廣到模態(tài)邏輯，并用超積方法證明了這個定理；首創(chuàng)一種“嫁接〞方法，建立了一種新型模態(tài)邏輯語義框架即“嫁接框架〞。嫁接框架由通常的克里普克關系語義框架作接本和相干邏輯的語義框架作接穗組合而成。在嫁接框架的基礎上構造了嫁接模型。進而又給出典范的嫁接框架和模型及其一些性質(zhì)的證明，進而得到劉易斯的S1系統(tǒng)的完全性。這是一種全新的對S1完全性的證明。在擴大型哲學邏輯方面，學界最初重要集中在對狹義模態(tài)邏輯的把握與研究上，后來逐步把研究重點轉(zhuǎn)移到認知邏輯研究上來，這不僅表如今致力于認知研究的學者的數(shù)量不斷增長，也表如今研究結果的不斷豐富。研究方向牽涉認知邏輯的分類、信念修正、對動作的認知以及邏輯全能問題等等。近些年，有學者將“阿姆斯特丹觀點〞——模態(tài)邏輯的新觀點引入我們國家，扭轉(zhuǎn)了以往以為模態(tài)邏輯只是“關于必定與可能的邏輯〞的觀點，使我們逐步認識到，模態(tài)語言便成為研究關系構造的一種簡單但富于表達力的語言，模態(tài)邏輯并非孤立的形式系統(tǒng)，為研究關系構造提供了一種內(nèi)部的、部分的視角?；谛碌募夹g工具，十分是“標準翻譯〞和“雙仿〞的使用，豐富了我們對模態(tài)邏輯理論的理解。另外導致了“擴大模態(tài)邏輯〞的產(chǎn)生。因而，為邏輯學界提供了可供研究的更廣闊的領域，同時也需要更多的學者關注并致力于研究它。這種新觀點在國內(nèi)仍然比較陌生，但是前景不容置疑。認知邏輯一直是國內(nèi)邏輯學界的一個研究熱門，不僅表如今致力于這一研究的學者的數(shù)量不斷增力口，也表如今研究結果的不斷豐富上。1982年建立了在天然推理的謂詞邏輯基礎上的知道邏輯系統(tǒng)W,并給出它的語義解釋JS，這是一種建基于可能理論上的語義學，并證明了w的可靠性。認知邏輯發(fā)展的一個方向是從單主體向多主體的認知邏輯過渡。20世紀90年代以來，多主體的認知邏輯獲得了豐富的結果。有學者從語法角度構造了一種多主體的認知邏輯系統(tǒng)，據(jù)此討論了少數(shù)服從多數(shù)的原則，給出該系統(tǒng)能推出的一系列主要定理及其與直覺主義邏輯的聯(lián)絡。為刻畫規(guī)范命題所具體表現(xiàn)出的主觀認識和客觀事實二重性，構造了所謂的二重邏輯演算系統(tǒng)，這個系統(tǒng)不同于一般的認知邏輯系統(tǒng)，具有描繪敘述“認定〞、“相信〞、“知道〞等語詞共性的模態(tài)算子B及其相應的一組公理，頗有新意。有學者系統(tǒng)地討論了理性的認知主體在自省能力、觀察能力、記憶力、修正策略諸方面存在的多樣性，說明怎樣在認知邏輯中表達主體的這種多樣性，以建立能夠表達主體的個體變化的動態(tài)認知邏輯。通過分析溝通、學習的一些詳細場景，進一步考察了不同類型主體的在交往中溝通、獲取信息的特點以及其邏輯處理方法。這一工作突破了以往認知邏輯“理想主體〞的預設，對于推動認知邏輯的深人研究有主要意義。學者指出，研究自省主體的信念變化，需要找到某類能夠很好地表達自省主體的信念狀況的適宜理論，提出了一種嘗試性方案。還有學者從主體認知世界的三分〔信念世界、疑心世界和無知世界〕出發(fā)，引進疑心算子，致力于開創(chuàng)建立一種新的疑心邏輯系統(tǒng)。我們國家的道義邏輯研究起步較晚，研究結果與國外的差距很大。國內(nèi)學者的工作重要集中在介紹和初步研究階段，在介紹道義邏輯發(fā)展的同時，都指出了道義悖論在道義邏輯研究中的主要作用，出版了幾部專著。近年來，道義悖論逐步遭到越來越多的非經(jīng)典邏輯學者的關注。有專著對道義邏輯的發(fā)展歷程作了介紹，并指出道義悖論從不同側(cè)面、不同水平上揭示了絕對道義命題邏輯存在的問題?；诟f(xié)調(diào)模態(tài)邏輯的研究，建構了弗協(xié)調(diào)真值模態(tài)邏輯系統(tǒng)，由以容忍道義二難。在時態(tài)邏輯方面的結果有：建立了極小的S,v-時態(tài)邏輯公理系統(tǒng)和其他一些非線性的S,v-時態(tài)邏輯公理系統(tǒng)，同時還證明了幾個有關S，v-時態(tài)邏輯的不完全性定理；建立了極小的G,H-時態(tài)邏輯，獲得了獨創(chuàng)性更強的新結果，為深切進入研究時態(tài)算子G，H-奠定了扎實而穩(wěn)固的基礎；之后又有學者將上述結果從協(xié)調(diào)情形推廣到弗協(xié)調(diào)情形，把極小系統(tǒng)L。和科斯塔的弗協(xié)調(diào)邏輯系統(tǒng)Cn(lmo)結合起來，建立了極小弗協(xié)調(diào)G,H-時態(tài)邏輯系統(tǒng)CnG，H(lmo);除此之外還建立了極小的U(直到〕，S(自從〕時態(tài)邏輯公理系統(tǒng)和其他一些非線性的U，S時態(tài)邏輯公理系統(tǒng)，同時還證明了幾個有關U，S時態(tài)邏輯的不完全性定理;建立了極小的G(將來某時之前老是〕，H(過去某時以來老是〕時態(tài)邏輯,獲得了獨創(chuàng)性更強的新結果，為深人研究時態(tài)算子G,H奠定了扎實而穩(wěn)固的基礎。在異常型哲學邏輯方面，弗協(xié)調(diào)邏輯的研究始于20世紀80年代，至2000年期間，除了發(fā)表相關文章外，弗協(xié)調(diào)邏輯只是作為相關書籍的一部分給予介紹和討論。后來出版了弗協(xié)調(diào)邏輯的專著。與國際大趨勢相一致，我們國家關于弗協(xié)調(diào)邏輯的研究處于上升趨勢，已獲得一系列結果，構建了弗協(xié)調(diào)的模態(tài)邏輯、時態(tài)邏輯和條件句邏輯的系統(tǒng)，開拓了弗協(xié)調(diào)邏輯研究的新方向。有學者在直覺主義命題邏輯的正部分的基礎上僅加上排中律，進而給出了一個更弱的系統(tǒng)，同時給出了這一系統(tǒng)的克里普克語義解釋，定義了框架有效的概念并證明了所給的邏輯系統(tǒng)相對于這種有效性既是可靠又是完全的。基于對“否認詞〞的不同理解，有學者嘗試開創(chuàng)建立哲思邏輯系統(tǒng)。在哲思邏輯系統(tǒng)內(nèi)，有同時遵照矛盾律和排中律的經(jīng)典否認聯(lián)合詞，有遵照矛盾律而不遵照排中律的構造性否認聯(lián)合詞，有不遵照矛盾律而遵照排中律的弗協(xié)調(diào)否認聯(lián)合詞，還有既不遵照矛盾律又不遵照排中律的辯證否認聯(lián)合詞。相干邏輯方面，為更天然地刻畫日常推理而建立的相干衍推系統(tǒng)，長期以來，只要代數(shù)語義學的解釋，這與當初建立該系統(tǒng)的目的不相適應。因而，有學者提出了一個推理模型試圖解決此問題，還有人嘗試構造一種具有更精細構造的謂詞邏輯。在條件句邏輯研究方面，重要結果有：建立了弱條件句邏輯系統(tǒng)W以及相應的天然推理系統(tǒng)NW,并闡述了兩者的等價性，還將NW擴大為其他一些條件句邏輯的天然推理系統(tǒng)；對巳有的條件句系統(tǒng)從恰當性角度作了考察，構造了一個較弱的條件句系統(tǒng)，這一系統(tǒng)排除了絕大多數(shù)邏輯家以為恰當?shù)囊恍┕砗鸵?guī)則，比較天然直觀；區(qū)分了兩類條件句系統(tǒng)：把條件句算子當作歸納推出子關系的系統(tǒng)和經(jīng)典意義上的系統(tǒng)，通過擴張和限制鄰域語義、關系語義和擇類語義，使之能更好地理解這些語義之間的關系以及由它們所確定的系統(tǒng)之間的關系；為“有窮層積〞邏輯、“優(yōu)先〞邏輯以及所謂的“半單調(diào)〞邏輯等經(jīng)典條件句邏輯證明了一些嵌入定理，證明所使用的技術工具是鄰域語義學中的“部分框架〞和“框架態(tài)射〞。有的學者在總結邏輯系統(tǒng)的各種語義學的一般特征的基礎上，建立了合適絕大多數(shù)命題邏輯的鄰域語義學，開拓了一個新的研究領域，將各種邏輯中很多類型的問題、結果和方法，在鄰域語義學中作統(tǒng)一處理，得出更多的一般性結果。又將這些結果應用到詳細邏輯系統(tǒng)〔直覺主義邏輯、相干邏輯、模態(tài)謂詞邏輯等〕中，建立它們的框架和討論它們的完全性問題等。我們國家不少學者對邏輯哲學問題感興趣，介紹和引進了很多國外研究結果。自20世紀80年代起，我們國家的邏輯哲學研究日益展開，出版了幾部關于邏輯哲學的專著，發(fā)表了一大批關于邏輯的范圍、邏輯真諦、邏輯悖論、形式化方法、直覺主義的數(shù)學哲學和邏輯哲學、實質(zhì)主義、意義理論、蘊涵理論等方面的論文。有的專著基于現(xiàn)代邏輯的一些最基本的概念和內(nèi)容，反映了國外的新狀態(tài)、新理論、新的熱門問題；對與邏輯研究推理相關的問題提出了一系列解釋，包含“邏輯哲學的定義問題〞、“什么是邏輯〞、“否認〞、“蘊涵〞、“悖論〞等問題。有的專著討論了邏輯哲學的十個問題，包含意義理論和邏輯類型，“是〞的邏輯哲學分析，推理后承關系和蘊涵，形式化方法的哲學考察，模態(tài)的形而上學，邏輯真諦的性質(zhì)，邏輯悖論的反思，邏輯中的本體論承諾，歸納問題及其解決方案以及邏輯終究是什么。模態(tài)邏輯系統(tǒng)有不同的語義解釋，比較成熟而普遍的解釋是可能世界語義學。可能世界語義學為模態(tài)命題提供了一種語義解釋。模態(tài)邏輯的語義解釋依靠于可能世界域。由于模態(tài)詞本身的特殊含義，因而與一階邏輯有很大的區(qū)別，因此也產(chǎn)生了一些重大問題。比方等值替換原則的失效問題、抽象實體的存在性問題等等。有專著比較系統(tǒng)地討論了模態(tài)邏輯中的哲學問題，如可能世界、從言模態(tài)和從物模態(tài)、名稱和指導詞、實質(zhì)主義以及模態(tài)集合論等。邏輯悖論研究的多層面意義與價值正在逐步呈現(xiàn)出來。20世紀80年代以來，悖論研究逐步成為邏輯學界討論的熱門之一，相繼出現(xiàn)了一大批論文和專著。有的專著以三類狹義邏輯悖論——集合論語形驚論、語義悖論和語用悖論的研究為中心，系統(tǒng)闡述了各種解悖方案的歷史發(fā)展，并運用作為語用學概念的“邏輯悖論〞的獨特界說以及RZH解悖標準，進行了全面、深人的比較研究，澄清了悖論研究的不同層面及其互相關聯(lián)，討論了其哲學方向和方法論方向的一系列主要問題。有學者發(fā)現(xiàn)了“所有非——Z類的類的悖論〞，這一悖論具有很強的概括力，概括了沈有鼎的“所有有根類的類的悖論〞、羅素悖論和科里悖論等?！斑壿嫷纳鐣幕δ塄暿墙陙韺W者們關注的新領域，包含文化建設功能、社會理論功能和社會理論疑難的解題功能。邏輯學是兼具基礎性、工具性與人文性的主要學科，在現(xiàn)代學科體系中有著無足輕重的地位，同時也具有多方面的社會文化功能。在一些學術會議的討論中，很多學者就此方面的提出了看法，他們普遍以為，我們國家文化進程中由于邏輯傳統(tǒng)的缺失而導致的眾多弊端在如今的社會發(fā)展各個層面均有明顯具體表現(xiàn)出。充足發(fā)掘邏輯的社會文化功能，既關系到邏輯自己的生存和發(fā)展，從久遠看有又關系到國家和民族的興盛。二、歸納邏輯20世紀80年代之前，歸納邏輯的研究在我們國家?guī)缀跏强瞻住?981年開始，情況有所變化，有的學者發(fā)表論文，討論歸納推理的類型、正確進行歸納推理的條件問題，有的學者評介了國外歸納邏輯。在非演繹的回溯推理、穆勒五法的推廣、現(xiàn)代科學技術中的新歸納方法、各種類型的類比等方面，都有不少學者在探索探究。1983年，北京市邏輯學會專門討論了歸納問題，側(cè)重就歸納在邏輯中的地位、.歸納推理與歸納方法與認知經(jīng)過的關系等問題展開了討論。1984年，在大連召開了全國歸納與概率邏輯討論會，重要研討內(nèi)容有：歸納推理分為從分子到類，從部分到整體，從對象到本身的三種類型；我們國家邏輯史研究中關于歸納問題的研究；國外歸納邏輯及其在我們國家的研究大概情況；卡爾納普的歸納邏輯。80年代末，除了繼續(xù)介紹國外歸納邏輯研究進展之外，還對歸納法的詳細形式進行了考察。歸納與概率邏輯的研究在過去的基礎上也有了進一步的提升。80年代后期，出版了一批有關歸納邏輯的專著和論文。1988年至1989年間，歸納邏輯的研究有一個主要特點是在應用方面有所開拓。由于專家系統(tǒng)、知識工程與智能計算機研究的需要，經(jīng)專家建議,在國家社會科學基金項目中建立了歸納邏輯與人工智能課題。90年代之后，又有一批較有分量的歸納邏輯學術論文陸續(xù)發(fā)表，出版了歸納邏輯與概率邏輯的兩部專著，使我們國家歸納邏輯的研究無論從廣度還是從深度上都大大地跨越了以往的研究。2006年出版了歸納邏輯百年歷程的專著，集中介紹了各種歸納邏輯理論對歸納推理的研究情況，同時考察了這些歸納邏輯理論對于歸納問題的解決方式。科學理論確實證中，的確發(fā)現(xiàn)了一些感到困惑和疑難的問題，有的學者指出這是歸納悖論。國內(nèi)對于歸納悖論的研究仍處于比較軟弱的階段。有專著對三個歸納悖論分別給予了較具體的介紹和說明。之后國外歸納悖論的研究有較大發(fā)展，十分是古德曼悖論的研究比較發(fā)達，因而又出現(xiàn)了大量新的資料?？偟恼f來，國內(nèi)歸納悖論的研究還處于介紹階段，而且重要是介紹亨佩爾悖論。對歸納悖論的元條理研究無論國內(nèi)外基本還處于空白狀況。對于歸納悖論的定義、分類、解悖標準、解悖的方法論研究等基本問題還未進人研究者的視閾，這大大地制約了歸納悖論研究的發(fā)展。有學者討論了三個歸納悖論的來龍去脈和各自的比較有影響的解決方案，并對這些方案進行評論，嘗試對歸納悖論提供一個統(tǒng)一的說明。但也有學者并不同意這種觀點，以為這些問題并非邏輯悖論?，F(xiàn)代歸納邏輯從20世紀80年代初傳人我們國家，我們國家學者在改良有名的歸納邏輯體系、歸納與人工智能結合、歸納邏輯哲學問題研究等方面有不少結果。有學者對卡爾納普的X系統(tǒng)進行修正，建立了一個0系統(tǒng)。這個系統(tǒng)保證在無窮個體域中，在無反例的情況下，全稱假說能夠得到非零確實證度。凱恩斯、卡爾納普等人的概率邏輯系統(tǒng)是形式語義系統(tǒng)，沒有相應的語法系統(tǒng)。我們國家學者建立了一個概率演算的語法系統(tǒng)I。系統(tǒng)I是模態(tài)邏輯系統(tǒng)K的一種推廣，也是認知邏輯相應系統(tǒng)的一種概括，用帶測度函數(shù)的可能世界語義學作為系統(tǒng)I的語義學，而且證明了系統(tǒng)I對概率演算的可靠性。有的邏輯學者指出科恩的歸納邏輯系統(tǒng)有兩個缺點，一是在科恩的理論中相關變量只是一種直觀理解的背景，沒有用相關變量作為語義，二是科恩系統(tǒng)所討論的句子只限于有一樣相關變量、以一樣順序檢驗的句子，這樣無法對非本質(zhì)類似的假說的歸納可靠性進行比較，為了克制這兩個缺點，要建立一個歸納支持的邏輯系統(tǒng)VIL，用相關變量和檢驗給出嚴格的語義，而且側(cè)重討論歸納支持的可比較關系。有的學者把變量的相關看做人的一種信念，吸收了人工智能中信念修改邏輯的思想，在條件句邏輯的框架上建立起歸納支持的系統(tǒng)。這個系統(tǒng)克制了科恩相關變量法嚴格排序的缺陷，實現(xiàn)了對假說歸納支持推理非單調(diào)性的形式刻畫，而且克制了科恩否認原理的缺陷。有的學者證明科恩的基于非巴斯卡概率經(jīng)歷體驗解釋的歸納邏輯系統(tǒng)是不一致的，不恰當?shù)?，因此不能成立，進而構造了非帕斯卡概率的邏輯解釋，提出了度量和計算不相信度的方法，及基于非帕斯卡概率邏輯解釋的論，在相關變量法的基礎上構造了假說似規(guī)律度的句法理論，考察了在知識不完全和實驗結果不確定的條件下運用排除歸納法進行實驗推理的特點，構造了假說歸納可靠度理論。有的學者建立了一個貝葉斯認證邏輯系統(tǒng)，用貝葉斯定理為工具從新考察了古典的假說演繹法，指出其確證形式和否證形式的欠妥之處，提出了貝葉斯假設一演繹認證推理的形式和貝葉斯假設一演澤否證推理的形式，這兩種形式在這個系統(tǒng)中得到了辯解。歸納邏輯的學者與計算機學者合作將科恩的相關變量法、伯克斯的歸納概率理論、凱恩斯的統(tǒng)計推理等進行改造，寫成算法，在計算機上實現(xiàn)。這些工作大部分有?！皻w納問題〞，亦稱休謨問題，是英國哲學家休謨在200多年前提出的。能夠扼要表述為：能否能從過去太陽從東方升起推出它以后也必定如此嗎？能否能在理性上證明從有限事例歸納出全稱判定是合理的嗎？休謨由對因果觀念的分析人手，從邏輯的角度對歸納推理的合理性提出了嚴重挑戰(zhàn)。有學者提出了一種關于動態(tài)假設的貝葉斯主義的辯解以改良豪森和厄巴赫的辯解，還用貝葉斯認證邏輯理論對古德曼悖論、亨普爾悖論和凱伯格悖論一一給出了解決方案。也討論和分析動態(tài)大棄賭定理與休謨問題之間的邏輯關系。有人以為休謨問題有兩種表述形式，一種是關于歸納推理的，一種是關于因果關系的。在這里基礎上，再對因果關系進行語義分析，考察了幾種因果性定義，并給出了新的定義。三、應用邏輯與邏輯應用20世紀90年代以來，我們國家邏輯學界出現(xiàn)了一股應用邏輯著作熱，隨之出現(xiàn)了對應用邏輯的實質(zhì)和特征的討論。進人新世紀，又有很多學者引人和評介了國外應用邏輯方面的前沿結果。作為理論研究的應用邏輯，并非一般意義上的邏輯應用。對任何一個思維領域，我們都能夠作邏輯的應用研究，但能否建構出相應的應用邏輯需要更多的努力和研究。邏輯應用在形式化水平上有著懸殊的差別。有學者指出，一般而言，只要是運用了邏輯原理的，都能夠稱視為邏輯應用，但只要將邏輯原理系統(tǒng)而非零散地應用于某一學科或領域，而且在應用中構建起邏輯系統(tǒng)，十分是形式系統(tǒng)或系統(tǒng)的應用方法論的能力稱之為應用邏輯。假如從方法層面來看邏輯，那么，應用邏輯則處于方法論層面。有學者提出，應用邏輯應當是面向特定領域系統(tǒng)研究邏輯因素在該領域的作用機理，以及邏輯因素與非邏輯因素的互相作用機理，即關于該領域的邏輯應用方法論?？茖W邏輯，能夠看做應用邏輯的范例，即研究邏輯在科學發(fā)現(xiàn)、科學檢驗、科學發(fā)展經(jīng)過中的作用機理以及邏輯和非邏輯因素的互相作用機理?？茖W邏輯是一種成熟的、能夠作為典范的應用邏輯。我們國家的科學邏輯研究起始于20世紀60年代，80年代初構成了系統(tǒng)的研究綱領，除了翻譯了、發(fā)表了一些比較主要的譯文，有不少學者給出了概述性的論文。把科學邏輯定位為“經(jīng)歷體驗天然科學的邏輯方法論〞，分為“發(fā)現(xiàn)的邏輯〞、“檢驗的邏輯〞和“發(fā)展的邏輯〞三個基本方面，對演繹邏輯、歸納邏輯與辯證邏輯的基本理論與方法在科學研究中的作用機理展開了全面研討。我們國家科學邏輯研究的突出特點，是在80年代全面啟動之初就確立了在邏輯主義與歷史主義之間維持需要的張力、探尋求索其對立互補機理的研究綱領，并獲得了一系列與國際學界發(fā)展趨勢相合拍的主要結果，這在很大水平上得益于我們既安身于邏輯學的現(xiàn)代發(fā)展，又能把握辯證思維方法論的基本理論。在世紀交替之際,我們國家科學邏輯研究又逐步完成了由經(jīng)歷體驗天然科學方法論向經(jīng)歷體驗社會科學乃至人文科學方法論的擴張，在科學主義與人文主義之間維持需要張力的精神繼續(xù)新的探尋求索，在應對后現(xiàn)代思潮的沖擊方面發(fā)揮著獨特的作用。20世紀的60年代末70年代初，西方學界掀起了一場“非形式邏輯和批判思維運動〞，90年代,這場“運動〞影響到我們國家，近些年來愈加興盛。怎樣正確理解演繹邏輯與所謂非形式邏輯的關系也是討論的熱門問題。有學者以為，批判性思維與非形式邏輯密不可分，以至能夠交互使用。有學者通過分析批判性思維與形式邏輯、非形式邏輯的互相關聯(lián)指出，批判性思維的邏輯既離不開非形式邏輯，也離不開形式邏輯，兩者共同構成了批判性思維的邏輯基礎。有學者明確指出，非形式邏輯是研究論證的科學，論證概念是包含非形式邏輯在內(nèi)的論辯理論的核心。將論證理解為語義學概念還是語用學〔辯證的〕概念是非形式邏輯和經(jīng)典邏輯的分水嶺。近年來，非形式邏輯學家和人工智能專家開展了頗有成效的合作。非形式邏輯的一些概念和方法浸透到人工智能十分是“人工智能和法律〞的研究領域。一系列范疇和分析工具，如論證概念、論證形式、可廢止論證、對話類型、相干性、對話中的承諾等，既從非形式邏輯領域傳輸?shù)饺斯ぶ悄苎芯恐校衷谌斯ぶ悄苎芯恐械玫缴罨?。非形式邏輯啟發(fā)了人工智能研究的新思路和新方向，而人工智能研究開發(fā)了非形式邏輯的宏大潛能。有學者提出了一個關于論證的新理論框架，由論證類型新理論、論證分析新理論、論證評價新理論構成。理性是人類交往尋求的理想境界，批判性思維是人們通往理性的橋梁，論證則是實現(xiàn)批判性思維的主要途徑。形式邏輯與非形式邏輯都需要研究論證，形式邏輯研究是基于語義或語形的研究，而非形式邏輯則是基于語用的研究。實際上非形式邏輯是語用邏輯的最新發(fā)展。1979年成立邏輯與語言研究會以來，我們國家語言邏輯學者陸續(xù)發(fā)表了一些論文和專著。研究初期，話題重要集中在對語言邏輯的對象的討論上。80年代后期有學者論述了指號學與語言邏輯的關系，以為語言邏輯是天然語言的邏輯指號學。語言邏輯首先以語言中的天然語言為對象，但不排擠以人工語言為分析工具，其次，它研究語形、語義和語用，以此與經(jīng)典邏輯相區(qū)別，除此之外必需以現(xiàn)代邏輯的結果為基礎，絕不與現(xiàn)代邏輯相排擠。這些研究旨在把語言邏輯的對象與其他邏輯系統(tǒng)區(qū)別開來，固然認識的觀點、認識的水平均有不同，但是越來越多的邏輯學者意識到，不能把語言邏輯看做對天然語言的詞義分析，也不能把語言邏輯看做用傳統(tǒng)邏輯方法對天然語言的語法修辭作皮毛分析。語言邏輯的研究必需以現(xiàn)代邏輯的既有結果為基礎。1994年，出版了關于“正確思維和有效交際的理論〞的專著，這部專著把邏輯理解為正確思維和有效交際的理論，以現(xiàn)代邏輯、現(xiàn)代語言學和指號學為基礎理論，從新具體表現(xiàn)出了亞里士多德的邏輯設想，把邏輯、語法和修辭三者統(tǒng)一起來，構成了一個廣義的邏輯理論；并明確指出，傳統(tǒng)邏輯和數(shù)理邏輯只研究命題與命題之間的真假，而天然語言邏輯不僅要研究命題間的真假，還要研究各種包括了言語行為和命題的語句，如陳述句、命令句和疑問句等之間的真假關系。天然語言邏輯不是單純研究天然語言，而且還要研究其中豐富的邏輯形式；一個主要的研究途徑是根據(jù)語境，解決天然語言的多義性問題。在問句邏輯方面，有學者建立了關于“抑或問題〞和“哪個〔哪些個〕問題〞的形式系統(tǒng)，深化了對問題的邏輯討論。有學者構造了一個漢語部分語句系統(tǒng)，以包括廣義量詞與能夠處理“合舉意義〞的內(nèi)涵邏輯為工具，來解釋該系統(tǒng)生成的漢語量化語句的各種語義特征，這在國內(nèi)首開先河，標記著我們國家語言邏輯研究由一般性的原則討論過渡到本質(zhì)性詳細操作，由單純介紹西方有關結果發(fā)展到結合漢語實際來進行討論。這一研究不同于國內(nèi)以往描繪敘述型的語言邏輯研究方式，而代表了建立形式化系統(tǒng)的一種發(fā)展方向。范疇類型邏輯把天然語言的毗鄰組合歸結成運算和推演，而運算和推演所依靠的毗鄰組合則遵守“鄰近原則〞逐層逐級進行。話語表現(xiàn)理論〔也譯“語篇表示理論〞，DRT)擅于刻畫的天然語言語句中代詞和名詞的照顧關系，在范疇類型邏輯那里很難通過鄰近毗鄰組合的運算推演具體表現(xiàn)出出來。近年來，Jager嘗試增加范疇類型邏輯的推演工具去描繪敘述天然語言的照顧關系。為恰當說明句子序列中的照顧關系，有學者介紹了這一理論，并從部分角度對Jager方案做了一點增補。另外也有人介紹了處理天然語言語義的“分段式語篇表示理論〞，即通常所說的SDRT，這一理論是在語篇表示理論的基礎上產(chǎn)生的一種語義理論，核心思想是語篇能夠根據(jù)語義關聯(lián)分割成語段，語篇中存在著由語段和修辭關系構成的語篇構造；以語篇構造為中心，分段式語篇表示理論能夠解釋和處理天然語言中的多種難以解決的語義現(xiàn)象和問題，如代詞指涉、動詞短語省略、語篇融貫、預設、語詞歧義、隱喻等。有學者給出了語言邏輯系統(tǒng)GO-G4，目的是為了研究通過演繹方式獲得概稱句的推理，詳細地說，通過對正常個體選擇函數(shù)N進行細化研究，給出了概稱句主項含義和謂項含義之間的一些關系或限制條件，由此得到通過演繹的概稱句推理的不同語義模型〔概稱模型、主項單調(diào)模型、全含義模型、包括選擇模型、半退化模型〕，同時給出與語義模型相應的邏輯系統(tǒng)GO-G4。其完全性也得到了證明。在邏輯應用中，法律邏輯、經(jīng)濟邏輯、決策邏輯得到了相對集中的關注。我們國家對法律邏輯的研究起步于20世紀80年代，其研究重心是傳統(tǒng)邏輯在法律中的應用問題。進人21世紀，隨著研究的擴展和深人，我們國家法律研究步人本質(zhì)法律推理或論證的研究階段，而西方學者已經(jīng)在親密關注法律論證與法律論辯的人工智能模型了。如今隨著法律邏輯研究的非形式轉(zhuǎn)向，學界開始從非形式邏輯或論證理論角度討論法律邏輯的基本框架，并獲得了一些進展。四、辯證邏輯1980年，第一屆全國辯證邏輯討論會召開，會上成立了辯證邏輯專業(yè)委員會。1981年出版了我們國家第一部辯證邏輯的專著。至今公開出版的各類辯證邏輯著作達50多部，論文逾百篇。在新的歷史B寸期，辯證邏輯也出現(xiàn)了多角度、多層面的研究。由于研究方法不同，對辯證邏輯的一些基本問題產(chǎn)生了很多不同的觀點，構成了三大不同的研究方向：范疇理論方向、科學方法論方向和形式化方向。眾多學者對辯證邏輯的某些專題進行了研究，重要包含對辯證思維的特征、機制和一般模型的研究和闡述，對科學思維的辯證形式的基本原理、功能及歷史演變的闡述，對辯證思維的基本原則及其與現(xiàn)代思維的關系的研究，對辯證矛盾、邏輯矛盾與悖論的關系的討論，對非經(jīng)典邏輯的辯證性質(zhì)的討論等等。有學者主張，鑒于我們國家具有豐厚的辯證思維傳統(tǒng)，應當結合詳細研究辯證邏輯并系統(tǒng)闡述中國古代辯證邏輯的產(chǎn)生和發(fā)展。作為一個特殊的邏輯哲學問題，“辯證邏輯與形式邏輯的關系問題〞在現(xiàn)代邏輯與邏輯哲學研究長足發(fā)展的背景下得到了新的討論，兩者并非互斥而是互補的觀點占領了主導地位。有學者明確指出，科學現(xiàn)代化的發(fā)展，需要從新建構理論思維，辯證理性與分析性理性在分析性之精到準確性前提下的科學統(tǒng)一是歷史發(fā)展的必定。辯證邏輯或辯證思維方法論研究也是開掘邏輯的方法論價值的一個特殊維度。時至今日，對于“辯證邏輯能否邏輯〞仍存爭辯。有的邏輯學者不認同辯證邏輯是邏輯，有的則肯定辯證邏輯是邏輯。有的指出，以思維形式與內(nèi)容的區(qū)分來看，邏輯學的產(chǎn)生建基在對思維形式與思維內(nèi)容的嚴格區(qū)分之上。也有人以為，與演繹邏輯、歸納邏輯研究不同，辯證邏輯是以先驗內(nèi)容或者說純內(nèi)容為對象的理論，即思想的經(jīng)歷體驗內(nèi)容與形式之間的中介環(huán)節(jié)。因而，能否認可其在邏輯研究中的地位，要以怎樣認識其研究對象為根據(jù)?，F(xiàn)代形式的辯證邏輯不該糾纏于“辯證邏輯是不是邏輯〞之爭，而應當研究辯證思維的實際作用機理。對“辯證邏輯形式化〞的討論是新時期辯證邏輯研究的一個新特點。眾多學者進行了屢次論爭，重要構成兩個方向:一是建構與經(jīng)典邏輯相協(xié)調(diào)的擴大型辯證邏輯系統(tǒng),一是建構基于辯證哲學背景的異常邏輯系統(tǒng)。一些學者把弗協(xié)調(diào)邏輯視為辯證邏輯形式化的一條主要途徑，另一些學者否認這種認識。有些辯證邏輯學者以為當前辯證邏輯形式化的努力都存在許多問題,尚未構成成熟的研究方向。五、中西邏輯思想史與因明20世紀80年代后期，中國邏輯史研究課題被列為國家項目，得到贊助和支持。1989年出版了五卷本的中國邏輯史資料選與五卷本的中國邏輯史專著，這是我們國家“六五〞計劃重點項目之一,對20世紀中國邏輯史研究做了全面系統(tǒng)的總結，比較全面地論述了中國古代邏輯思想的發(fā)端和發(fā)展的歷史，及西方邏輯傳入中國以后的發(fā)展史，這在中國邏輯史的研究史上是空前的。80年代以來，中國邏輯史的對象有所純化，基本上是發(fā)掘、整理和論述中國歷史上有關傳統(tǒng)邏輯的理論和學說；對秦以后邏輯思想的研究明顯加強，否認了長達一千多年的所謂秦后名辯學“遂亡絕〞的傳統(tǒng)觀點。之后，又有一批專著與教學資料爭相付梓。墨家邏輯的現(xiàn)代研究，對批判繼承中國傳統(tǒng)文化遺產(chǎn)，建立包涵古今中外一切人類優(yōu)秀結果的新文化，具有主要意義。20世紀70年代末至80年代初，修訂出版了關于墨經(jīng)的邏輯學的專著，該書從現(xiàn)代邏輯的視角，從深條理揭示了“故〞、“理〞、“類〞的邏輯內(nèi)涵，這不同于以往對〔墨經(jīng)〕的研究，標記著中國〔墨經(jīng)〕研究到達了新的高度。20世紀90年代以來，圍繞怎樣提升中國邏輯史研究水平的問題，開始出現(xiàn)不同意見。表現(xiàn)為很多研究者更為自發(fā)地對以往的中國邏輯史研究，十分是對80年代的中國邏輯史研究進行反思。一方面，他們對80年代把中國古代名辯學等同于邏輯、以傳統(tǒng)邏輯體系為范本去建構中國古代邏輯體系的觀點和作法提出質(zhì)疑，主張先弄清中國古代名辯學的真實相貌，再回過頭來討論名辯學中的邏輯問題，進而揭示名辯邏輯的特點以及中華民族在世界邏輯史上的奉獻。相應的，出現(xiàn)了一批相關著作。另一方面，伴隨國外一些新的思想結果，如符號學、天然語言邏輯、內(nèi)涵邏輯等的傳人，研究者們開闊了視野，從不同角度，用不同的方法去研究中國古代的邏輯思想，如對〔周易〕和侔式推理從現(xiàn)代邏輯的角度作了新的討論，用邏輯推類的思想研究中國古代數(shù)學的發(fā)展。90年代以來，中國邏輯史研究開始走向深切進入。很多學者更多關注對中國古代固有的名辯學的研究，而不是一般意義上的中國古代邏輯或外來邏輯在中國的傳播和發(fā)展。90年代末開始，中國邏輯史研究的另一個熱門是對中國近、現(xiàn)、現(xiàn)代的邏輯進行研究。對梁啟超、胡適、金岳霖、馮友蘭、沈有鼎、殷海光等人在邏輯學研究上的奉獻，都有文章加以闡述。中國古代有沒有邏輯學，是近百年劇烈爭辯的一個問題。一種觀點以為中國有邏輯，并致力于對中國邏輯學的討論，另一種觀點以為中國沒有邏輯。更有人指出，中國有無邏輯的兩種觀點都是經(jīng)過與西方邏輯的比較構成的。無論怎樣，中國邏輯史研究同樣應該強調(diào)現(xiàn)代邏輯的觀念，而這種邏輯觀一定是建立在邏輯這門科學基礎之上的。我們國家的數(shù)理邏輯史研究工作始于20世紀80年代，首先有學者概述了數(shù)理邏輯的重要分支，包含邏輯演算、遞歸論、模型論、公理集合論和證明論初步建成的發(fā)展史，簡明地勾畫出數(shù)理邏輯理論、觀念、方法發(fā)展的線索，對一些主要觀念、理論等做了深人論述和評論。80年代也有學者考察了現(xiàn)代模態(tài)邏輯自建立至20世紀60年代的歷史，指出了模態(tài)邏輯在以往發(fā)展中呈現(xiàn)的幾個發(fā)展方向，包含用公理方