改革開(kāi)放以來(lái)的中國(guó)邏輯學(xué)*

陳 波(著)，李 晽(譯)

(北京大學(xué) 哲學(xué)系，北京 100871)

一、對(duì)1978年前中國(guó)邏輯學(xué)的歷史概述

古希臘邏輯、印度邏輯和中國(guó)邏輯一起構(gòu)成了世界邏輯學(xué)的三大源頭。在春秋戰(zhàn)國(guó)時(shí)代，名家及墨子與墨家，還有其他的一些學(xué)者和學(xué)派，討論過(guò)許多與邏輯有關(guān)的話題，包括名、辭、說(shuō)、辯、謬、詭以及悖。在類(lèi)概念的基礎(chǔ)上，墨家發(fā)展出了一套叫做“推類(lèi)”的方法，包括以下4種具體形式：辟、侔、援、推，所有這4種形式都建立在同類(lèi)事物的相似性之上。后期墨家的一段話體現(xiàn)了對(duì)墨家邏輯的一般總結(jié)：

夫辯者，將以明是非之分，審治亂之紀(jì)，明同異之處，察名實(shí)之理，處利害，決嫌疑焉。摹略萬(wàn)物之然，論求群言之比。以名舉實(shí)，以辭抒意，以說(shuō)出故。以類(lèi)取，以類(lèi)予。有諸己不非諸人，無(wú)諸己不求諸人。(《墨子·小取》)

然而，在漢代采取“罷黜百家，獨(dú)尊儒術(shù)”的政策之后，所有與中國(guó)邏輯學(xué)相關(guān)的學(xué)說(shuō)都停滯不前，并遁入黑暗之中。晚明時(shí)期，李之藻與耶穌會(huì)士傅泛際共同把一份中世紀(jì)亞里士多德邏輯學(xué)文本譯為漢語(yǔ)，將其命名為《名理探》；徐光啟與利瑪竇合譯了歐幾里得《幾何原本》的前6卷。在清朝統(tǒng)治年間，嚴(yán)復(fù)翻譯了穆勒的《穆勒名學(xué)》和耶方斯的《名學(xué)淺說(shuō)》，李善蘭同偉烈亞力完成了歐幾里得《幾何原本》后9卷的翻譯，還有王國(guó)維翻譯了耶方斯的《辯學(xué)》。通過(guò)這些翻譯，西方邏輯學(xué)與近代科學(xué)得以介紹到中國(guó)。

在20世紀(jì)早期，新生的數(shù)理邏輯也得以傳入中國(guó)。除了把西方或日本的邏輯學(xué)教科書(shū)譯為漢語(yǔ)以外，中國(guó)學(xué)者也開(kāi)始撰寫(xiě)自己的邏輯學(xué)教科書(shū)，例如汪奠基的《邏輯和數(shù)學(xué)邏輯》(1927)、金岳霖的《邏輯》(1937)以及章士釗的《邏輯指要》(1943)。其中，金岳霖的《邏輯》是最為成功且最富影響力的。金岳霖于1920年在美國(guó)哥倫比亞大學(xué)取得博士學(xué)位，1926年開(kāi)始在清華大學(xué)教授邏輯學(xué)和哲學(xué)。在1930年代，他編寫(xiě)了教科書(shū)《邏輯學(xué)》(1936)，把懷特海和羅素合著的《數(shù)學(xué)原理》(1910—1913)中的邏輯系統(tǒng)——即命題演算和謂詞演算——介紹到中國(guó)，他也借此培養(yǎng)出了中國(guó)最早一代的數(shù)理邏輯學(xué)家，包括王浩、沈有鼎、王憲均和周禮全。王浩是其中最杰出的一位，后來(lái)成為國(guó)際一流的邏輯學(xué)家、計(jì)算機(jī)科學(xué)家和分析哲學(xué)家。

從1950年代到1960年代，中國(guó)在意識(shí)形態(tài)上緊跟蘇聯(lián)，譯成漢語(yǔ)的幾本蘇聯(lián)邏輯教科書(shū)，如斯特羅果維契撰寫(xiě)的《邏輯》和高爾斯基、塔瓦涅茨主編的《邏輯》，在中國(guó)的大學(xué)里頗為流行。在毛澤東的主導(dǎo)下，掀起了一場(chǎng)關(guān)于形式邏輯基本問(wèn)題的大討論。通過(guò)這場(chǎng)大討論，形式邏輯得以與唯心主義和形而上學(xué)(作為唯物主義和辯證法的對(duì)立面)區(qū)別開(kāi)來(lái)，由此贏得了合法性和獨(dú)立性，得以在當(dāng)時(shí)的中國(guó)官方意識(shí)形態(tài)下幸存下來(lái)。

1978年，在鄧小平的領(lǐng)導(dǎo)下，中國(guó)開(kāi)啟了改革開(kāi)放的進(jìn)程。同一年，在一場(chǎng)全國(guó)邏輯學(xué)會(huì)議上，張家龍?zhí)岢隽艘粋€(gè)后來(lái)耳熟能詳?shù)目谔?hào)“中國(guó)的形式邏輯現(xiàn)代化”。第二年，王憲均又提出了另一個(gè)口號(hào)“中國(guó)的邏輯教學(xué)現(xiàn)代化”。從1978年開(kāi)始，中國(guó)邏輯學(xué)者在推進(jìn)邏輯學(xué)科研和教學(xué)方面做出了很大的努力，并取得了很大的成就，值得我們欣慰甚至驕傲。

二、與國(guó)際邏輯學(xué)界的實(shí)質(zhì)性接觸

從1950年代到1980年代，中國(guó)邏輯學(xué)者與西方邏輯學(xué)界幾乎完全隔絕，并對(duì)西方國(guó)家邏輯學(xué)科研與教學(xué)的發(fā)展缺乏了解。幾乎沒(méi)有中國(guó)邏輯學(xué)者在西方關(guān)于邏輯學(xué)、數(shù)學(xué)和哲學(xué)方面的雜志上發(fā)表過(guò)什么科研成果。由于40年來(lái)的改革開(kāi)放，中國(guó)邏輯學(xué)的當(dāng)下?tīng)顩r與1978年以前有了巨大的不同。現(xiàn)在，中國(guó)的邏輯學(xué)者同他們的國(guó)際同事有了實(shí)質(zhì)性接觸。有些中國(guó)邏輯學(xué)者還在國(guó)外大學(xué)取得博士學(xué)位。許多人參加甚至主持國(guó)際性學(xué)術(shù)會(huì)議或工作坊；在SCI、SSCI和A&HCI索引的邏輯學(xué)和哲學(xué)期刊上發(fā)表論文；在著名的英語(yǔ)出版社出版他們的專(zhuān)著。

趙希順于1999年在南京大學(xué)獲得博士學(xué)位。他的科研專(zhuān)注于數(shù)理邏輯及其在計(jì)算機(jī)科學(xué)和人工智能方面的應(yīng)用，特別是在邏輯系統(tǒng)的表達(dá)力和復(fù)雜性方面。趙希順與德國(guó)同事一道，啟動(dòng)了對(duì)最小不可滿足性(MU)的研究，為量化布爾公式(QBF)建立了模型，并且提出了一種統(tǒng)一地研究緊致集上算子復(fù)雜性的方法。趙希順在國(guó)際刊物和國(guó)際會(huì)議上發(fā)表了50篇論文。在布寧和趙希順2003年的論文中[1]，趙希順提出了最小不可滿足性的分類(lèi)，集中研究了這些MU公式的結(jié)構(gòu)性質(zhì)，并最終解決了鮑羅斯猜想。在庫(kù)爾曼和趙希順2011年[2]和2012的論文[3]中，他們?cè)诿}邏輯、數(shù)論與組合數(shù)學(xué)之間建立了聯(lián)系，為研究SAT問(wèn)題提供了新工具。例如，采德提出的一個(gè)問(wèn)題就在庫(kù)爾曼和趙希順2011年的論文[2]中得到了解決；此外，趙希順2009年的論文[4]還證明，對(duì)線性CNF公式而言，SAT仍然是NP完備的。《可滿足性手冊(cè)》的第11章就包含了趙希順在這個(gè)領(lǐng)域中的主要成就。

陳波于1994年在中國(guó)人民大學(xué)獲得博士學(xué)位。他的研究范圍涉及邏輯哲學(xué)、語(yǔ)言哲學(xué)、分析哲學(xué)史以及對(duì)中國(guó)與西方的邏輯和哲學(xué)的比較研究。自2009年以來(lái)，他在A&HCI索引期刊上發(fā)表了近20篇英文論文。他在多篇論文中[5-7]，針對(duì)克里普克語(yǔ)言哲學(xué)及其在認(rèn)識(shí)論和形而上學(xué)方面的后果，表達(dá)了系統(tǒng)性質(zhì)疑，對(duì)克里普克反描述論的模態(tài)論證、語(yǔ)義論證和認(rèn)知論證以及對(duì)先天偶然和后天必然論題提出了批評(píng)。陳波還就下述問(wèn)題發(fā)展出他自己的理論，即“語(yǔ)言如何工作？”“語(yǔ)言意義如何生成？”以及“專(zhuān)名如何指稱(chēng)對(duì)象？”他把自己的語(yǔ)言哲學(xué)稱(chēng)作“語(yǔ)言與意義的社會(huì)建構(gòu)論”(縮寫(xiě)為SCLM)[8]，把自己的名稱(chēng)理論叫做“社會(huì)-歷史的因果描述論”(縮寫(xiě)為SHCD)[9]。例如，其SCLM包含了下述主張：(1)語(yǔ)言的主要功能是交流而非表征，所以語(yǔ)言本質(zhì)上是一種社會(huì)現(xiàn)象；(2)語(yǔ)言意義產(chǎn)生于人類(lèi)與世界的因果性互動(dòng)，以及人與人之間的社會(huì)性互動(dòng)；(3)語(yǔ)言意義包含在語(yǔ)言與世界的相互關(guān)系中，這種相互關(guān)系建立在語(yǔ)言共同體的集體意向之上；(4)語(yǔ)言意義是基于語(yǔ)言共同體長(zhǎng)期交流過(guò)程中所產(chǎn)生的約定之上；(5)語(yǔ)義知識(shí)是經(jīng)驗(yàn)的，是經(jīng)過(guò)提煉和濃縮的百科知識(shí)，也是語(yǔ)言共同體所接受的語(yǔ)言用法；(6)語(yǔ)言和意義隨著語(yǔ)言共同體的實(shí)踐變化而或快或慢地變化。通過(guò)這些主張，陳波強(qiáng)調(diào)了語(yǔ)言、人類(lèi)(語(yǔ)言共同體)及世界的三元關(guān)系，而不僅僅是語(yǔ)言和世界的二元關(guān)系。在過(guò)去10年中，他成功地在北京大學(xué)組織了8場(chǎng)國(guó)際學(xué)術(shù)會(huì)議，主題分別涉及弗雷格、蒯因、克里普克、威廉姆森、亨迪卡，悖論、真理以及哲學(xué)教育與當(dāng)代社會(huì)。2018年，陳波當(dāng)選為國(guó)際哲學(xué)學(xué)院(IIP)院士。

葉峰于2000年在普林斯頓大學(xué)獲得博士學(xué)位。他的邏輯學(xué)研究主要集中于與數(shù)學(xué)哲學(xué)相關(guān)的邏輯問(wèn)題。在其英文著作中[10]，他提出了一種嚴(yán)格意義上有窮化的公理系統(tǒng)，這個(gè)系統(tǒng)本質(zhì)上是無(wú)量詞原始遞歸算術(shù)的一個(gè)片段，然后在這個(gè)系統(tǒng)中發(fā)展出一些數(shù)學(xué)基礎(chǔ)方面的應(yīng)用，包括微積分基礎(chǔ)、常微分方程、度量空間、復(fù)分析、勒貝格積分、希爾伯特空間上無(wú)界線性算子的譜定理以及半黎曼幾何。這些內(nèi)容還包括了量子力學(xué)和廣義相對(duì)論所需要的應(yīng)用數(shù)學(xué)。這一工作并不是在數(shù)學(xué)的科學(xué)應(yīng)用中用有窮數(shù)學(xué)來(lái)取代經(jīng)典數(shù)學(xué)；相反，它試圖通過(guò)這些應(yīng)用數(shù)學(xué)上的新發(fā)展，在嚴(yán)格有窮主義的意義上，解釋經(jīng)典數(shù)學(xué)在科學(xué)中的可應(yīng)用性，而無(wú)需假定經(jīng)典數(shù)學(xué)自身在字面意義上的真。在其他一系列論文中，葉峰發(fā)展出一種嚴(yán)格意義上唯名論的、有窮主義的數(shù)學(xué)哲學(xué)。他還論證了任何一種數(shù)學(xué)哲學(xué)都必須預(yù)先設(shè)定認(rèn)知對(duì)象和認(rèn)知過(guò)程的觀念。他還試圖在當(dāng)代心靈哲學(xué)的物理主義基礎(chǔ)上來(lái)發(fā)展唯名論的、有窮主義的數(shù)學(xué)哲學(xué)，他認(rèn)為物理主義恰恰就提供了與科學(xué)相一致的認(rèn)知對(duì)象和認(rèn)知過(guò)程。葉峰在中文著作《二十世紀(jì)數(shù)學(xué)哲學(xué)——一個(gè)自然主義者的評(píng)述》(2010)中，對(duì)20世紀(jì)數(shù)學(xué)哲學(xué)的主要學(xué)派和人物進(jìn)行了研究，并對(duì)他們做出了批判性評(píng)價(jià)。

劉奮榮分別在中國(guó)社會(huì)科學(xué)院研究生院(2001)和阿姆斯特丹大學(xué)(2008)獲得博士學(xué)位。她與范丙申(Johan van Benthem)所領(lǐng)導(dǎo)的阿姆斯特丹邏輯學(xué)派建立了緊密聯(lián)系，并積極投身于邏輯學(xué)共同體的建立，啟動(dòng)了一系列會(huì)議(例如LORI和HOLIC)以促進(jìn)學(xué)術(shù)交流，還在許多國(guó)際委員會(huì)任職。劉奮榮是《邏輯研究圖書(shū)館叢書(shū)：亞洲邏輯》(StudiaLogicaLibrary:LogicinAsia)的主編之一、《澳大利亞邏輯學(xué)雜志》(AustralasianJournalofLogic)主編之一、《邏輯研究》(StudiaLogica)和《邏輯學(xué)研究》(StudiesinLogic)的副主編，以及《綜合》(Synthese)和《論題》(Topoi)雜志的編委會(huì)成員。她的主要研究領(lǐng)域是理性主體邏輯，她發(fā)展出了多個(gè)模型來(lái)解釋信息如何動(dòng)態(tài)地改變個(gè)人和其他主體的偏好[11-12]。她在英文著作《關(guān)于偏好動(dòng)力學(xué)的推理》[13]中，用現(xiàn)代信息流和行動(dòng)邏輯來(lái)發(fā)展一種整合性的新理論，解釋了什么是偏好以及偏好如何改變。這一理論強(qiáng)調(diào)了偏好的理由以及這些理由與我們信念的糾纏。此外，她還提供了動(dòng)態(tài)邏輯系統(tǒng)，這些系統(tǒng)描述了造成偏好改變的外在觸發(fā)條件，其中包括新信息、建議和命令。這部著作為許多領(lǐng)域——從哲學(xué)和計(jì)算機(jī)科學(xué)到經(jīng)濟(jì)學(xué)、語(yǔ)言學(xué)和心理學(xué)——建立了新橋梁，并對(duì)這些領(lǐng)域產(chǎn)生了廣泛的影響。她當(dāng)前的工作集中于在社會(huì)背景下對(duì)信息流和決策進(jìn)行邏輯分析，這一分析既是關(guān)于個(gè)人主體的，也是關(guān)于群體的(參見(jiàn)劉奮榮等2014年的論文[14])。此外，她還對(duì)中國(guó)古代邏輯史進(jìn)行了探討，特別是認(rèn)識(shí)論和論辯方式。她主編的英文書(shū)《中國(guó)邏輯史五問(wèn)》(2015，哥本哈根)在國(guó)際邏輯學(xué)界取得了很好的反響。當(dāng)前，她在編輯《中國(guó)邏輯思想史手冊(cè)》，其英文與中文版本都將很快問(wèn)世。

熊衛(wèi)于2003年在中山大學(xué)獲得博士學(xué)位。他的研究很大程度上落在了邏輯學(xué)、理性選擇理論和認(rèn)識(shí)論的交集上，利用其中一個(gè)學(xué)科的觀點(diǎn)和框架來(lái)討論另外一些學(xué)科。近年來(lái)，他所關(guān)注的是模糊(艾爾斯伯格類(lèi)型的)條件下理性策略的互動(dòng)。特別地，他還在博弈論的理論框架下探討了均衡精煉、動(dòng)態(tài)一致性和信息價(jià)值，這些理論框架被拓展到了模糊性的背景中。在劉海林和熊衛(wèi)2017年的論文[15]中，他們發(fā)展出了一個(gè)模糊性條件下不完全信息博弈的框架，這個(gè)框架把傳統(tǒng)貝葉斯博弈框架拓展到了艾爾斯伯格類(lèi)型的模糊性背景中。然后，為解決這種類(lèi)型的博弈，他們又提出新的概念方案，并把它們稱(chēng)作事前和事中的Γ-最大最小均衡。他們表明，與標(biāo)準(zhǔn)貝葉斯式納什均衡的概念不同，這些概念可能導(dǎo)致一種叫做動(dòng)態(tài)不一致性的反常現(xiàn)象。在這一推廣的框架下，他們還給出了保證動(dòng)態(tài)一致性的充分條件。在劉海林與熊衛(wèi)2016年的論文[16]中，對(duì)于策略不確定性下的均衡精煉，他們研究了把海薩尼和塞爾騰引入的線性追蹤過(guò)程與應(yīng)用概率集的不確定性模型結(jié)合起來(lái)的意義。在迭代意義上，他們把這個(gè)過(guò)程應(yīng)用于輔助博弈。基于這樣的想法，他們?yōu)榫馓岢隽艘粋€(gè)魯棒性(robust)概念，這個(gè)概念允許通過(guò)概率分配來(lái)為博弈者最初的預(yù)期建立模型。通過(guò)考察∈-感染類(lèi)，他們使用兩個(gè)例子來(lái)展示了這個(gè)概念，之后又討論了協(xié)作失敗中策略不確定性所扮演的角色。熊衛(wèi)等在2014年的論文[17]中提出了一個(gè)被稱(chēng)作模糊博弈的新博弈模型。他們進(jìn)一步研究了在對(duì)可能有回報(bào)的信念中，模糊性的程度如何可能影響一個(gè)模糊博弈的解決方案。特別地，一個(gè)博弈者為了取得更好的結(jié)果，會(huì)向?qū)κ轴尫呕蚨嗷蛏俚男畔ⅲ麄冞€鑒別了決定上述情況的各種條件。這個(gè)結(jié)果為模糊博弈中私人信息的管理提供了新洞見(jiàn)。

廖備水于2006年在浙江大學(xué)取得博士學(xué)位。他主要研究邏輯學(xué)和論辯理論。他出版過(guò)3部專(zhuān)著，并在SCI、SSCI以及A&HCI索引的著名期刊上發(fā)表過(guò)多篇論文。廖備水等在2011年的論文[18]中指出，論辯的改變及其進(jìn)攻關(guān)系如何是許多論辯系統(tǒng)的內(nèi)在性質(zhì)。因此，當(dāng)一個(gè)系統(tǒng)得到更新的時(shí)候，有效地理解論辯的狀態(tài)是如何演化的是十分重要的。他們建立了一個(gè)一般理論(被稱(chēng)作基于分層的方法)來(lái)處理基于一個(gè)新概念之上的問(wèn)題：對(duì)一個(gè)論辯框架分層。當(dāng)一個(gè)論辯框架得到更新的時(shí)候，它被分為了3個(gè)部分：一個(gè)未受影響的部分、一個(gè)受影響的部分和一個(gè)設(shè)定條件的部分。在未受影響的子框架中論辯的狀態(tài)保持不變，與此同時(shí)，受影響的論辯狀態(tài)在一個(gè)特定論辯框架(被條件限制的論辯框架，或簡(jiǎn)稱(chēng)為CAF)中得到局部計(jì)算，這個(gè)框架由一個(gè)受影響的部分和一個(gè)設(shè)定條件的部分所構(gòu)成。他們證明了：基于一種特定的、滿足指向性標(biāo)準(zhǔn)的語(yǔ)義學(xué)，被更新的框架外延與下述兩者的組合是相等的，即一個(gè)未受影響的框架外延和一個(gè)被指派CAF集合的外延集。鑒于分層方法的效率，它在論辯和多種動(dòng)態(tài)進(jìn)攻論辯系統(tǒng)中都是十分有用的。與此同時(shí)，廖備水還參與了多種學(xué)術(shù)活動(dòng)，例如在海內(nèi)外組織一系列工作坊和會(huì)議、指導(dǎo)合作性的科研項(xiàng)目、出任多個(gè)主流國(guó)際會(huì)議的項(xiàng)目委員會(huì)成員以及在會(huì)議或工作坊上進(jìn)行特邀演講，等等。

王彥晶于2010年在阿姆斯特丹大學(xué)取得博士學(xué)位。他通過(guò)還原公理對(duì)公開(kāi)宣告邏輯的現(xiàn)存公理化進(jìn)行了考察，并在論著中表明，許多“完備證明系統(tǒng)”被視作理所當(dāng)然，但實(shí)際上是不完備的，這是因?yàn)槠渲械膹?fù)雜性被忽略了。在不使用還原公理的條件下，利用公理化動(dòng)態(tài)認(rèn)知邏輯(DEL)的一個(gè)一般方法，王彥晶和曹欽翔在2013年的論文中[19]一同對(duì)正確的公理化做出了徹底的研究。這個(gè)方法還引出了一些非常符合直觀的公理，這些公理揭示出DEL相較于時(shí)態(tài)認(rèn)知邏輯的特征，這些特征有助于深化對(duì)這個(gè)領(lǐng)域的理解。通過(guò)為DEL設(shè)定行動(dòng)模型，這一工作在王彥晶和奧徹爾2013年的論文[20]中得到了進(jìn)一步探討。近年來(lái)，王彥晶提出并推進(jìn)了認(rèn)知邏輯方面的一項(xiàng)新的科研項(xiàng)目，這一項(xiàng)目的側(cè)重點(diǎn)是，關(guān)于“知道是否/如何/為什么/什么/誰(shuí)”(knowing whether/how/why/what/who)的邏輯(參見(jiàn)王彥晶在2018年文章[21]中所做的概述)，從而超越了關(guān)于知道一個(gè)命題(knowing that)的標(biāo)準(zhǔn)認(rèn)知邏輯。由這一工作產(chǎn)生出來(lái)的新邏輯通常是一階模態(tài)謂詞邏輯的可判定片段，這種邏輯所關(guān)注的模態(tài)是屬于一個(gè)量詞和一個(gè)模態(tài)的“束”。一個(gè)非常強(qiáng)但又可判定的邏輯基礎(chǔ)得以在王彥晶2017年的論文中[22]中提出。把量詞和模態(tài)一起打包的想法導(dǎo)致了一系列表現(xiàn)良好的一階模態(tài)邏輯的可判定片段的發(fā)現(xiàn)。

在一系列論文中[23-27]，熊明發(fā)展出了一個(gè)新的真理模式，他稱(chēng)之為相對(duì)化的T-模式，其途徑是把塔斯基的T-模式(“A”是真的，當(dāng)且僅當(dāng)A)推廣到關(guān)系框架中，也就是說(shuō)，對(duì)框架中的任意可能世界u和v來(lái)說(shuō)，如果v對(duì)u是可及的，那么“A”為真在v中成立，當(dāng)且僅當(dāng)A在u中成立。通過(guò)這種新的T-模式，他給出了如下定義：一個(gè)語(yǔ)句集在一個(gè)框架下是自相矛盾的，當(dāng)且僅當(dāng)集合中的這些語(yǔ)句不能通過(guò)經(jīng)典二值語(yǔ)義學(xué)得到評(píng)價(jià)，以至于在不導(dǎo)致矛盾的條件下，上述T-模式可以通過(guò)這些語(yǔ)句來(lái)實(shí)現(xiàn)。有關(guān)說(shuō)謊者悖論的一系列特征定理由此得以建立。例如，對(duì)任意正整數(shù)n=2i(2j+1)，循環(huán)深度為n的說(shuō)謊者在一個(gè)框架中有悖論，當(dāng)且僅當(dāng)，這個(gè)框架至少有一個(gè)循環(huán)，其深度不能被2i+1除盡；對(duì)任意無(wú)限序數(shù)α，循環(huán)深度為α的說(shuō)謊者在一個(gè)框架中有悖論，當(dāng)且僅當(dāng)，在這個(gè)框架的一個(gè)論域中，存在一個(gè)世界，從這個(gè)世界起始的步數(shù)深度可以任意大。基于這些結(jié)果，熊明得以提出悖論度的概念，并提供了一種為悖論確立層級(jí)的方法。有鑒于此，一個(gè)典型的結(jié)果就是，如果根據(jù)悖論度，布爾悖論通過(guò)小于等于關(guān)系得以排序的話，那么這些悖論就可以構(gòu)成無(wú)界稠密格。

除了上面提到的這些學(xué)者以外，其他中國(guó)邏輯學(xué)者，包括鞠實(shí)兒、劉虎、王瑋、文學(xué)鋒、馬明輝、熊明輝、謝耘、潘天群和張力鋒等，也在SCI、SSCI或A&HCI索引的邏輯和哲學(xué)期刊上發(fā)表了不少論文。

三、邏輯學(xué)科研機(jī)構(gòu)的建立和快速發(fā)展

1978年以前，中國(guó)境內(nèi)還沒(méi)有完整的邏輯學(xué)教學(xué)培養(yǎng)體系。僅有很少的教授能夠做邏輯學(xué)碩士生導(dǎo)師。如今，中國(guó)已經(jīng)擁有相當(dāng)完備的邏輯學(xué)教學(xué)培養(yǎng)體系了。大多數(shù)中國(guó)大學(xué)在本科階段講授邏輯學(xué)和批判性思維課程，3所學(xué)校——中山大學(xué)、南開(kāi)大學(xué)和北京大學(xué)——正在或曾經(jīng)開(kāi)設(shè)過(guò)邏輯學(xué)本科專(zhuān)業(yè)。許多中國(guó)大學(xué)擁有邏輯學(xué)碩士學(xué)位授予權(quán)，還有接近20所中國(guó)大學(xué)擁有邏輯學(xué)方面的博士學(xué)位授予權(quán)。此外，1978年以前，中國(guó)缺乏專(zhuān)業(yè)的邏輯學(xué)研究機(jī)構(gòu)，但自1990年代起，多家邏輯學(xué)研究機(jī)構(gòu)在中國(guó)境內(nèi)成立，發(fā)展和成長(zhǎng)得十分迅猛，并且變得十分國(guó)際化。為了表明這個(gè)事實(shí)，我將以下述3家邏輯研究所為例。

(一)中山大學(xué)邏輯與認(rèn)知研究所(ILC)

中山大學(xué)邏輯與認(rèn)知研究所成立于1997年。自此，該所便由鞠實(shí)兒領(lǐng)銜。在1990年代，鞠實(shí)兒認(rèn)識(shí)到邏輯學(xué)的認(rèn)知轉(zhuǎn)向正在發(fā)生，而這意味著邏輯學(xué)可以在與認(rèn)知科學(xué)互動(dòng)的基礎(chǔ)上得到研究。在鞠實(shí)兒的指導(dǎo)下，邏輯與認(rèn)知研究所已經(jīng)成為一個(gè)世界級(jí)的科研機(jī)構(gòu)，研究范圍遍及邏輯學(xué)、數(shù)學(xué)、計(jì)算機(jī)、人工智能，以及與文化和認(rèn)知相關(guān)的社會(huì)科學(xué)等學(xué)科之間的交叉領(lǐng)域。截至2018年5月，該所擁有23名全職研究人員，包括11名教授、8名副教授和4名講師，以及14名其他類(lèi)型的科研人員。該所的科研人員覆蓋了與邏輯學(xué)有關(guān)的多個(gè)領(lǐng)域，包括數(shù)理邏輯、哲學(xué)邏輯、非形式邏輯、邏輯史與邏輯哲學(xué)、認(rèn)知科學(xué)以及科學(xué)哲學(xué)。在2000年，該所被教育部評(píng)為人文社會(huì)科學(xué)重點(diǎn)研究基地。研究所擁有邏輯學(xué)學(xué)士、碩士和博士學(xué)位授予權(quán)，每年招收約35名本科生、約12名碩士研究生以及約10名博士研究生。自2008年起，該所開(kāi)始出版中英雙語(yǔ)期刊《邏輯學(xué)研究》，該刊是中國(guó)境內(nèi)唯一的邏輯學(xué)專(zhuān)業(yè)期刊。

在過(guò)去5年中(2013—2017)，該研究所成員總共發(fā)表了264篇科研論文，包括122篇中文論文和142篇英文論文。其中83篇發(fā)表在了主要索引刊物上：50篇SCI、17篇SSCI以及16篇A&HCI。此外，他們?cè)诖似陂g還出版了25部著作。

該研究所的一些成員也在非經(jīng)典邏輯領(lǐng)域，包括認(rèn)知邏輯、邏輯與博弈、信念修正理論、子結(jié)構(gòu)邏輯、決策與博弈論以及形式語(yǔ)義學(xué)方面取得重大成就。其論文發(fā)表在下述國(guó)際刊物上，如《綜合》《哲學(xué)邏輯雜志》《符號(hào)邏輯評(píng)論》《邏輯研究》《邏輯與計(jì)算雜志》《應(yīng)用邏輯學(xué)雜志》《IGPL邏輯雜志》以及《語(yǔ)言》。

在人工智能領(lǐng)域，該所的部分成員也在自動(dòng)規(guī)劃和推理語(yǔ)言、主體和多主體系統(tǒng)、計(jì)算性論辯理論以及論辯挖掘等方面做出了有影響力的成果。他們的大部分研究成果發(fā)表在優(yōu)秀的國(guó)際期刊上或者在國(guó)際會(huì)議上宣讀。該研究所還成立了計(jì)算論辯實(shí)驗(yàn)室，為該領(lǐng)域的進(jìn)一步研究提供了良好的硬件基礎(chǔ)和科研平臺(tái)。

在數(shù)理邏輯領(lǐng)域，該所的一些成員關(guān)注計(jì)算復(fù)雜性和反推數(shù)學(xué)。在量化布爾公式和實(shí)空間中緊致集算子的模型論研究方面，他們也有相當(dāng)大的國(guó)際影響：《可滿足性手冊(cè)》收入該所成員的11篇論文；圖靈獎(jiǎng)獲得者高德納在其名著《計(jì)算機(jī)編程的藝術(shù)》中引用了他們的著作；另一位圖靈獎(jiǎng)獲得者史蒂芬·庫(kù)克引用了趙希順等發(fā)表于2008年的論文[28]并對(duì)這篇文章做了評(píng)論。在反推數(shù)學(xué)領(lǐng)域，該研究所的一些成員還在頂級(jí)數(shù)學(xué)雜志，例如《數(shù)學(xué)前沿》上發(fā)表了研究成果。他們的研究結(jié)果也得到這一領(lǐng)域內(nèi)一流學(xué)者的回應(yīng)。

在論辯理論這一領(lǐng)域，該所的部分成員發(fā)展出一種有關(guān)“邏輯的文化相對(duì)性”和“廣義論證”的理論，這一理論拓寬了邏輯學(xué)的視野，并為邏輯學(xué)研究帶來(lái)了社會(huì)和文化上的轉(zhuǎn)向。這一理論在《論辯理論手冊(cè)》中得到介紹。具體地說(shuō)，就如何在非西方語(yǔ)境中重構(gòu)論辯話語(yǔ)而言，他們既考察了事實(shí)和理論基礎(chǔ)，也考察了方法論問(wèn)題。根據(jù)中國(guó)醫(yī)療系統(tǒng)及醫(yī)患關(guān)系，他們?cè)趥鹘y(tǒng)中醫(yī)診療的語(yǔ)境中，考察了醫(yī)生的論辯策略。他們所得出的成果發(fā)表在國(guó)際期刊如《論辯》雜志上。

在非形式邏輯領(lǐng)域，該所的一些成員提出并闡明了論辯研究中的批判性維度，還在當(dāng)代中國(guó)文化群體中，進(jìn)行了經(jīng)驗(yàn)研究并對(duì)論辯行為的理性思考和傾向習(xí)慣進(jìn)行了跨文化分析。他們的論文發(fā)表在國(guó)際期刊如《非形式邏輯》和《論辯》上。在法律邏輯領(lǐng)域，一些成員還將當(dāng)代非形式邏輯和論辯理論結(jié)合起來(lái)，為法律推理和論證提出了一種新的方法。

總而言之，中山大學(xué)邏輯與認(rèn)知研究所已經(jīng)逐漸地把他們的地位從一個(gè)國(guó)際學(xué)術(shù)潮流的“跟隨者”變成了“引領(lǐng)者”。該所旨在建立一個(gè)世界級(jí)的邏輯學(xué)研究中心，并以此來(lái)推動(dòng)邏輯學(xué)和相關(guān)領(lǐng)域在中國(guó)的發(fā)展。

(二)浙江大學(xué)語(yǔ)言和認(rèn)知研究中心(CSLC)

作為浙江大學(xué)的一個(gè)跨學(xué)科研究團(tuán)體，語(yǔ)言與認(rèn)知研究中心成立于2007年，專(zhuān)注于研究語(yǔ)言和認(rèn)知方面的基礎(chǔ)理論及應(yīng)用。該研究中心主要由3個(gè)下屬小組構(gòu)成：邏輯與認(rèn)知、心靈和認(rèn)知以及語(yǔ)言與心靈。自建立以來(lái)，該中心已經(jīng)成為中國(guó)最為活躍的邏輯學(xué)研究團(tuán)體之一，在論辯理論、語(yǔ)言與認(rèn)知邏輯方面有較高知名度。在邏輯與論辯領(lǐng)域，其成員發(fā)展出了一系列創(chuàng)新理論、方法、算法及原型系統(tǒng)，并組織和參與了大量的國(guó)際學(xué)術(shù)活動(dòng)。更為具體地說(shuō)，他們?cè)谙率鲱I(lǐng)域提出了新的理論和方法，如論辯語(yǔ)義學(xué)的高效計(jì)算[18,29-31]、概率論辯[32]、結(jié)構(gòu)化論辯[33-34]、基于論辯的非單調(diào)邏輯[35-36]以及基于論辯的主體系統(tǒng)[35-36]。他們?cè)谑澜缟系谝淮闻e辦了邏輯和論辯方面的系列會(huì)議(CLAR 2016、CLAR 2018)；與加貝、吉亞科明和凡德托里一道，共同舉辦了達(dá)格施圖爾觀點(diǎn)工作坊，主題是當(dāng)今與未來(lái)的形式論辯；他們還成為了許多領(lǐng)先會(huì)議的項(xiàng)目委員會(huì)成員，包括AAAI,IJCAI、KR、ECAI、PRICAI、COMMA和LORI。他們與許多形式論辯領(lǐng)域中的頂尖學(xué)者建立了緊密聯(lián)系，包括德克薩斯大學(xué)奧斯丁分校的羅伯特·庫(kù)恩斯、布雷西亞大學(xué)的里安德特·凡德托里、倫敦國(guó)王學(xué)院大學(xué)的多夫·加貝、阿伯丁大學(xué)的尼爾·奧倫、法國(guó)國(guó)立計(jì)算機(jī)科學(xué)與應(yīng)用數(shù)學(xué)學(xué)院的瑟琳娜·維拉塔等學(xué)者。在語(yǔ)言與認(rèn)知邏輯領(lǐng)域，他們?cè)陔[喻認(rèn)知與計(jì)算[37-38]、溯因與隱喻[39]、認(rèn)知理論[40-42]等領(lǐng)域提出了新方法。

(三)清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心(JRC)

該聯(lián)合研究中心成立于2013年，其使命是在阿姆斯特丹大學(xué)邏輯、語(yǔ)言與計(jì)算研究所和包括清華大學(xué)在內(nèi)的中國(guó)學(xué)者之間，創(chuàng)建一個(gè)活躍的科研教學(xué)平臺(tái)，并進(jìn)一步拓展邏輯學(xué)的跨學(xué)科視野以及建立在中國(guó)和國(guó)際社會(huì)之間溝通的橋梁。該中心由范丙申和劉奮榮共同領(lǐng)導(dǎo)，當(dāng)前正在推進(jìn)的3個(gè)科研項(xiàng)目分別涉及：(1)邏輯學(xué)與社會(huì)主體，目標(biāo)是在復(fù)雜信息的社會(huì)背景下考察進(jìn)行推理的主體；(2)中國(guó)邏輯史，目標(biāo)是召集中國(guó)和國(guó)際的研究者對(duì)廣義中國(guó)邏輯史展開(kāi)研究，并以編寫(xiě)中國(guó)邏輯思想史手冊(cè)為中心，輔以相關(guān)的活動(dòng)組織；(3)邏輯學(xué)、語(yǔ)言和哲學(xué)，目標(biāo)是探索語(yǔ)言、邏輯、哲學(xué)和文化之間的新橋梁。為支持該研究中心的第一個(gè)5年周期，兩所創(chuàng)始大學(xué)設(shè)立了兩類(lèi)特別講席：阿姆斯特丹-中國(guó)邏輯學(xué)講席，2014—2019年由劉奮榮擔(dān)任這一講席；另一類(lèi)新設(shè)的講席是金岳霖杰出講席教授，分別由范丙申、馬丁·司鐸霍夫、達(dá)格·韋斯特斯塔爾以及杰里米·塞利格曼擔(dān)任。為紀(jì)念清華大學(xué)哲學(xué)系創(chuàng)始人及為中國(guó)引進(jìn)現(xiàn)代邏輯的先驅(qū)金岳霖，該中心還設(shè)立了一系列杰出講座。2015年，第一場(chǎng)金岳霖講座由約翰·佩里主講(斯坦福大學(xué))，2017年由約瑟夫·哈爾蓬主講(康奈爾大學(xué))。在最近幾年，該中心已經(jīng)成功組織了許多國(guó)際會(huì)議、工作坊、討論班等，并舉行了許多特邀演講。在相當(dāng)短的時(shí)間內(nèi)，該中心正在成為世界上最為重要的邏輯學(xué)研究中心之一。

還有一些中國(guó)大學(xué)也設(shè)立了邏輯學(xué)研究所，例如南京大學(xué)現(xiàn)代邏輯和應(yīng)用邏輯研究所(建立于2003年)，北京大學(xué)邏輯、語(yǔ)言和認(rèn)知研究中心(2004)，西南大學(xué)邏輯與智能研究中心(2004)，北京師范大學(xué)邏輯與認(rèn)知科學(xué)研究中心(2005)，中國(guó)人民大學(xué)現(xiàn)代邏輯與科學(xué)技術(shù)哲學(xué)研究所(2007)，以及中國(guó)政法大學(xué)邏輯研究所。自創(chuàng)立以來(lái)，這些研究機(jī)構(gòu)都做了很多不錯(cuò)的工作并得到了良好的發(fā)展。

四、中國(guó)邏輯學(xué)分支學(xué)科的研究進(jìn)展

(一)對(duì)中國(guó)邏輯史的研究

中國(guó)邏輯史是一個(gè)充滿爭(zhēng)議的研究領(lǐng)域。其中有兩種主要的研究進(jìn)路。第一個(gè)是選取某種形式的西方邏輯理論——例如傳統(tǒng)形式邏輯、數(shù)理邏輯、非形式邏輯、論辯理論或符號(hào)學(xué)——作為解釋中國(guó)經(jīng)典中相關(guān)材料的框架，通過(guò)參考這些背景理論來(lái)重構(gòu)中國(guó)古代邏輯，然后通過(guò)比較研究來(lái)得出結(jié)論。即便是在這一進(jìn)路中，也存在著很大爭(zhēng)議：一些學(xué)者強(qiáng)調(diào)人類(lèi)思維的一般性和邏輯理論的普遍性，利用西方邏輯理論來(lái)解釋中國(guó)經(jīng)典并關(guān)注中西邏輯理論的整體性和融合性。采取這一進(jìn)路的主要成果有李匡武的《中國(guó)邏輯史》(五卷本，1987)、孫中原的《中國(guó)邏輯史》(先秦卷)(1987)和《中國(guó)邏輯研究》(2006)、周云之的《中國(guó)邏輯史》(2004)。其他學(xué)者則想要凸顯人類(lèi)思維方式中的差異性和不同文化中邏輯理論的特殊性，上述差異受到社會(huì)、歷史和文化要素的影響。他們堅(jiān)持要在中國(guó)文化原初特征的基礎(chǔ)上來(lái)建構(gòu)中國(guó)古代邏輯，反對(duì)把中國(guó)邏輯的材料硬塞進(jìn)西方邏輯的框架之中，并據(jù)此對(duì)兩者做出簡(jiǎn)單的比附。這一進(jìn)路的代表性成果有溫公頤和崔清田合編的《中國(guó)邏輯史教程》(1988初版，2001年第二版)以及崔清田的個(gè)人專(zhuān)著《墨家邏輯與亞里士多德邏輯比較研究》(2004)。其他的一些學(xué)者，例如宋文堅(jiān)、程仲棠和王路，他們?nèi)匀挥梦鞣竭壿嬂碚搧?lái)解釋中國(guó)邏輯的內(nèi)容，但他們把邏輯當(dāng)作一種能夠確保結(jié)論必然從前提得出的形式理論。根據(jù)他們的研究，中國(guó)古代不存在類(lèi)似于亞里士多德邏輯的東西，因此中國(guó)古代沒(méi)有邏輯——只有名學(xué)、辯學(xué)和論辯學(xué)。中國(guó)邏輯史研究的第二條進(jìn)路強(qiáng)調(diào)要以中國(guó)的傳統(tǒng)方式來(lái)解釋中國(guó)經(jīng)典。鞠實(shí)兒認(rèn)為，邏輯學(xué)理論受到文化要素、社會(huì)環(huán)境、認(rèn)知主體的動(dòng)機(jī)等因素的影響，不同文化的邏輯必定具有不同的特色，甚至可以說(shuō)，不同文化也許會(huì)擁有不同的邏輯[43]。文化相對(duì)性和邏輯多樣性不能被西方傳統(tǒng)中的形式和非形式邏輯所容納。鞠實(shí)兒提出一個(gè)廣義論證理論并主張利用它來(lái)作為重構(gòu)中國(guó)邏輯史的框架(參見(jiàn)鞠實(shí)兒2010年的論文[44])。對(duì)第二條進(jìn)路而言，目前尚未有代表性作品問(wèn)世。

1978年以來(lái)，中國(guó)對(duì)西方邏輯史研究的代表著作有：王憲均的《數(shù)理邏輯引論》(1982)，其中第三部分概述了從萊布尼茨到哥德?tīng)柕臄?shù)理邏輯發(fā)展史；王路的《亞里士多德的邏輯學(xué)說(shuō)》(1991)；張家龍的《數(shù)理邏輯發(fā)展史——從萊布尼茨到哥德?tīng)枴?1993)。在中國(guó)對(duì)因明學(xué)的研究中(包括藏傳因明和漢傳因明)，也有相當(dāng)多的重要著作，例如沈劍英的《因明學(xué)研究》、鄭偉宏的《佛家邏輯通論》以及張忠義的《因明蠡測(cè)》(2008)。

(二)對(duì)歸納邏輯、概率邏輯和博弈邏輯的研究

根據(jù)任曉明等人的說(shuō)法[45]，現(xiàn)代歸納邏輯首先是在1980年代被引進(jìn)到中國(guó)，隨后中國(guó)對(duì)歸納邏輯的研究從古典歸納邏輯轉(zhuǎn)向了現(xiàn)代歸納邏輯。在這一過(guò)程中，主要有三大轉(zhuǎn)向：第一是從非形式研究轉(zhuǎn)向形式研究以及形式研究與非形式研究的結(jié)合；第二是從因果歸納邏輯轉(zhuǎn)向概率歸納邏輯；第三是從巴斯卡概率轉(zhuǎn)向非巴斯卡概率。江天驥(1915—2006)在中國(guó)歸納邏輯的研究中起到了關(guān)鍵性作用。1984年，他在沈陽(yáng)開(kāi)設(shè)了關(guān)于現(xiàn)代歸納邏輯的系列講座；1985年，他在《不列顛科學(xué)哲學(xué)雜志》發(fā)表了英文論文《科學(xué)理性：形式的還是非形式的？》[46]；1987年，他出版了專(zhuān)著《歸納邏輯導(dǎo)論》，系統(tǒng)地討論了現(xiàn)代歸納邏輯。在1990年代，他還發(fā)表了關(guān)于現(xiàn)代歸納邏輯的一系列中文論文。此外，江天驥還影響了他的同事桂起權(quán)，并引導(dǎo)他的博士生(包括朱志方、陳曉平和任曉明)以及中國(guó)許多其他大學(xué)中的同事轉(zhuǎn)向歸納邏輯研究，最終在他周?chē)Y(jié)了一個(gè)歸納邏輯研究的學(xué)派。除了江天驥的《歸納邏輯導(dǎo)論》(1987)之外，鞠實(shí)兒的專(zhuān)著《非巴斯卡概率邏輯研究》(1993)也是中國(guó)歸納邏輯研究方面的主要成果之一。在該書(shū)中，鞠實(shí)兒系統(tǒng)地分析了沙克爾的潛在驚奇理論和科恩的歸納支持和歸納概率分級(jí)，建構(gòu)了他自己的非巴斯卡概率的形式系統(tǒng)——一個(gè)具有類(lèi)法則程度假設(shè)的句法系統(tǒng)。其他重要的中文歸納邏輯著作有：鄧生慶的《歸納邏輯：從古典向現(xiàn)代類(lèi)型的演進(jìn)》(1991)、李小五的《現(xiàn)代歸納邏輯和概率邏輯》(1992)、任曉明的《當(dāng)代歸納邏輯探賾》(1993)、陳曉平的《歸納邏輯和歸納悖論》(1994)、桂起權(quán)等的《機(jī)遇與冒險(xiǎn)的邏輯》(1995)、熊立文的《現(xiàn)代歸納邏輯的發(fā)展》(2004)、鄧生慶等的《歸納邏輯百年》(2006)，以及陳曉平的《貝葉斯方法與科學(xué)合理性——對(duì)休謨問(wèn)題的思考》(2010)。

鞠實(shí)兒在1993年的論文[47]中論證了：對(duì)于休謨問(wèn)題，既不存在一個(gè)肯定的也不存在一個(gè)否定的答案；可通過(guò)休謨問(wèn)題的一個(gè)局部解決方案發(fā)展出對(duì)歸納的一個(gè)局部證成。陳波在2001年的論文[48]中提出，在休謨問(wèn)題之下，存在著3個(gè)站不住腳的假設(shè)：休謨實(shí)際上接受了普遍必然的知識(shí)，追求演繹的必然性，并且要在感覺(jué)經(jīng)驗(yàn)的限制下來(lái)說(shuō)明因果關(guān)系的必然性和經(jīng)驗(yàn)知識(shí)的普遍性。這些條件相互之間是矛盾的，這使得休謨問(wèn)題在邏輯上不可解。陳波對(duì)歸納推理提出了一個(gè)基于實(shí)踐必然性的辯護(hù)，并提出了一個(gè)全面的歸納邏輯研究綱領(lǐng)。

熊立文、潘天群和唐曉嘉在決策論與博弈論及其邏輯中，也做了有價(jià)值的工作。

(三)對(duì)自然語(yǔ)言邏輯的研究

周禮全(1921—2008)對(duì)中國(guó)自然語(yǔ)言邏輯研究作出了巨大的貢獻(xiàn)。在1960年代，他發(fā)表了一篇中文論文來(lái)論證形式邏輯應(yīng)當(dāng)研究自然語(yǔ)言表達(dá)式在特定背景下的具體意義。在1980年代及以后，他不斷地堅(jiān)持這樣的觀點(diǎn)，即中國(guó)邏輯學(xué)者應(yīng)當(dāng)通過(guò)把現(xiàn)代邏輯、語(yǔ)言學(xué)和修辭學(xué)結(jié)合起來(lái)的方式來(lái)研究自然語(yǔ)言，用現(xiàn)代邏輯來(lái)分析自然語(yǔ)言，建立新的邏輯系統(tǒng)，并為日常思考和交流提供更有效的工具。他主編了《邏輯學(xué)——正確思維和成功交際的理論》一書(shū)(1994)，其中他把語(yǔ)用學(xué)分為3個(gè)層次：形式語(yǔ)用學(xué)、描述語(yǔ)用學(xué)和應(yīng)用語(yǔ)用學(xué)。在他看來(lái)，認(rèn)知邏輯、道義邏輯、命令邏輯、問(wèn)題邏輯等等，都屬于形式語(yǔ)用學(xué)；語(yǔ)境、言語(yǔ)行為、會(huì)話含義、假設(shè)和修辭都屬于描述語(yǔ)用學(xué)；演說(shuō)、講演、辯論和其他相關(guān)內(nèi)容屬于應(yīng)用語(yǔ)用學(xué)。在他的著作中，他發(fā)展了關(guān)于語(yǔ)境的語(yǔ)用概念和4個(gè)層次的意義。在他的指導(dǎo)和影響下，涌現(xiàn)出了兩代研究自然語(yǔ)言邏輯的中國(guó)邏輯學(xué)者。

第一代包括王維賢、李先焜、陳宗明，他們合著了《語(yǔ)言邏輯引論》(1989)，這是中國(guó)討論自然語(yǔ)言邏輯的第一本專(zhuān)著。他們還各自出版了個(gè)人專(zhuān)著，包括王維賢的《語(yǔ)言學(xué)論文集》(2007)；李先焜的《語(yǔ)言、符號(hào)和邏輯》(2006)；陳宗明的《說(shuō)話寫(xiě)文章中的邏輯》(1989)、《漢語(yǔ)邏輯概論》(1993)以及《中國(guó)語(yǔ)用學(xué)思想》(1997)。他們還為符號(hào)學(xué)在中國(guó)的引進(jìn)和研究作出了重要貢獻(xiàn)。

第二代包括鄒崇理、蔡曙山、鞠實(shí)兒、黃華新、胡澤洪和夏年喜等人。鄒崇理和蔡曙山是周禮全的博士研究生。鄒崇理聚焦于自然語(yǔ)言的形式語(yǔ)義學(xué)，例如蒙塔古語(yǔ)法、范疇語(yǔ)法和轉(zhuǎn)換生成語(yǔ)法等。他出版的著作有《邏輯、語(yǔ)言和蒙塔古語(yǔ)法》(1995)、《自然語(yǔ)言邏輯研究》(2000)以及《邏輯、語(yǔ)言和信息》(2002)。蔡曙山主要關(guān)注語(yǔ)言行為理論和語(yǔ)用邏輯，試圖進(jìn)一步發(fā)展奧斯丁和約翰·塞爾的工作并建立語(yǔ)用邏輯的形式系統(tǒng)。他出版的著作有《語(yǔ)言行為和語(yǔ)用邏輯》(1998)和《語(yǔ)言、邏輯和認(rèn)知》(2007)。

新一代研究自然語(yǔ)言邏輯的中國(guó)邏輯學(xué)者正在成長(zhǎng)的過(guò)程之中。

(四)對(duì)邏輯哲學(xué)的研究

在1980年代和1990年代之間，蘇珊·哈克的《邏輯哲學(xué)》(1978)被中國(guó)邏輯學(xué)者廣泛閱讀。正是通過(guò)閱讀該書(shū)，陳波才開(kāi)始對(duì)邏輯哲學(xué)有所了解，并從事他的獨(dú)立研究。陳波在這一領(lǐng)域出版了四部著作：《邏輯哲學(xué)引論》(1990)、《邏輯哲學(xué)導(dǎo)論》(2000)、《邏輯哲學(xué)》(2005)以及《邏輯哲學(xué)研究》(2014，《邏輯哲學(xué)引論》的修訂擴(kuò)充版)，其中的一些著作得到了廣泛閱讀并在中國(guó)一些大學(xué)被當(dāng)作教科書(shū)來(lái)使用。陳波的《悖論研究》(2014)對(duì)悖論進(jìn)行了相當(dāng)全面的考察并對(duì)其中一些悖論做了較為深入的研究。

王路于2000年出版了《邏輯的觀念》。在這本書(shū)中，他主張邏輯只是一門(mén)考察從前提必然得出結(jié)論的學(xué)科；其他類(lèi)型的所謂“邏輯”，例如“歸納邏輯”和“辯證邏輯”，并不是真正的邏輯，因?yàn)樗鼈儾⒉粚?zhuān)注于“必然得出”的關(guān)系。該書(shū)在下述問(wèn)題上引發(fā)了廣泛和激烈的爭(zhēng)論：什么是邏輯？人們應(yīng)當(dāng)如何研究邏輯？古代中國(guó)是否有邏輯？人們應(yīng)當(dāng)如何研究中國(guó)邏輯史？人們應(yīng)當(dāng)如何學(xué)習(xí)西方哲學(xué)？王路的另一本書(shū)《是與真：形而上學(xué)的基石》(2003)探索了“是”和“真”在哲學(xué)上的重要性以及它們恰當(dāng)?shù)臐h語(yǔ)譯名。該書(shū)在邏輯和哲學(xué)領(lǐng)域也引發(fā)了激烈的爭(zhēng)論。

張建軍是最早系統(tǒng)研究悖論的中國(guó)學(xué)者，他主要關(guān)注的是數(shù)學(xué)悖論和語(yǔ)義悖論。他在悖論方面出版了好幾本書(shū)，其中最富影響力的是《邏輯悖論研究引論》(2002年初版，2014年修訂)。在該書(shū)中，張建軍討論了悖論的組成要素、悖論的分類(lèi)以及各種悖論的來(lái)源和特征；他還對(duì)多種解悖方案做了比較研究，探索正確解悖的標(biāo)準(zhǔn)，并區(qū)分出悖論研究的不同層級(jí)以及相互之間的互動(dòng)關(guān)系。張建軍還主編了《當(dāng)代邏輯哲學(xué)前沿問(wèn)題研究》(2014)，該書(shū)考察和評(píng)價(jià)了自1970年代起邏輯哲學(xué)領(lǐng)域內(nèi)的新進(jìn)展。

在任曉明和桂起權(quán)2011年的專(zhuān)著中[49]，他們對(duì)一些非經(jīng)典邏輯系統(tǒng)，例如內(nèi)涵邏輯、直陳條件句邏輯、歸納和概率邏輯、多值邏輯和弗協(xié)調(diào)邏輯，進(jìn)行了發(fā)生學(xué)式的研究。他們還深入討論了邏輯哲學(xué)的中心問(wèn)題：邏輯系統(tǒng)中形式推理的有效性概念是否與日常語(yǔ)言和日常思維中非形式的有效性概念相關(guān)。李娜對(duì)公理化真理論進(jìn)行了系統(tǒng)研究，這項(xiàng)研究覆蓋了經(jīng)典公理化真理論、基于直覺(jué)主義的公理化真理論和基于集合論的公理化真理論。胡澤洪關(guān)注于真理論和自由邏輯及其哲學(xué)上的特征，出版了《邏輯的哲學(xué)反思》(2004)和《邏輯哲學(xué)研究》(與他人合著，2014)等著作。

(五)對(duì)非形式邏輯、批判性思維和法律論辯的研究

在1990年代，非形式邏輯和批判性思維得以引進(jìn)到中國(guó)來(lái)。2000年以后，非形式邏輯的專(zhuān)著和教科書(shū)，特別是批判性思維方面的書(shū)籍得以大規(guī)模譯成中文。一些外文著作甚至有多個(gè)中譯本。后來(lái)，一些中國(guó)學(xué)者開(kāi)始發(fā)表非形式邏輯和批判性思維的介紹性論文，并出版有關(guān)這些話題的教科書(shū)。在這方面，武宏志作出了很大貢獻(xiàn)。他發(fā)表了多篇批判性思維論文，撰寫(xiě)或合著了好幾部教科書(shū)，并在延安大學(xué)成立了21世紀(jì)新邏輯研究院(2008)。他的著作《論證型式》(2013)對(duì)論證型式提供了系統(tǒng)介紹和獨(dú)立研究，榮獲金岳霖學(xué)術(shù)獎(jiǎng)。許多中國(guó)大學(xué)都開(kāi)設(shè)了批判性思維的課程。不少批判性思維的教材得到了良好反響：武宏志和周建武的《批判性思維：論證邏輯視角》(初版2005，第二版2010，第三版2016)、劉壯虎和谷振詣《批判性思維教程》、楊武金的《邏輯與批判性思維》(2009)以及董毓的《批判性思維的原理和方法》(2010)。在我看來(lái)，劉壯虎和谷振詣的《批判性思維教程》與董毓的《批判性思維的原理和方法》比其他幾本教材好得多。熊明輝和謝耘在SSCI和A&HCI索引期刊上發(fā)表了他們關(guān)于非形式邏輯、批判性思維和論辯理論的部分研究成果。

在1980年代，中國(guó)學(xué)者開(kāi)始了對(duì)法律邏輯的研究，并出版了一些相關(guān)的教科書(shū)，但是在這一階段，所謂的“法律邏輯”只不過(guò)是傳統(tǒng)邏輯原理加上法律和司法方面的例子。在2000年以后，西方關(guān)于法律推理和論證的一些著作得以譯成中文，一些法律學(xué)者開(kāi)始參與法律邏輯研究。中國(guó)學(xué)者使用不同的資源或工具——如傳統(tǒng)形式邏輯、數(shù)理邏輯、非形式邏輯、批判性思維、論辯理論、法律推理和論證的理論、法理學(xué)和法哲學(xué)——來(lái)研究法律、司法偵查和司法審判等方面的邏輯問(wèn)題，并發(fā)展出有獨(dú)立特色的法律邏輯理論。法律邏輯方面的著作包括：王洪的《法律邏輯》(初版2001，第二版2016)、張繼成的《實(shí)用法律邏輯教程》(2004)、張保生的《法律推理的理論與方法》(2000)、謝興權(quán)的《通向正義之路——法律推理的方法論研究》、王洪的《制定法推理與判例法推理》(初版2013，第二版2016)、陳銳的《法律推理》(2006)、羅仕國(guó)的《科學(xué)與價(jià)值：作為實(shí)踐理性的法律推理導(dǎo)論》以及熊明輝的《訴訟論證一一訴訟博弈的邏輯分析》(2010)。

五、結(jié)語(yǔ)

總而言之，自從中國(guó)1978年開(kāi)啟改革開(kāi)放的進(jìn)程，中國(guó)邏輯學(xué)者為提高邏輯學(xué)教學(xué)科研水平做出了很大的努力，并取得了很大的成就。我們與國(guó)際邏輯學(xué)界建立了實(shí)質(zhì)性的交往：許多中國(guó)邏輯學(xué)者在SCI、SSCI和A&HCI索引的國(guó)際期刊上發(fā)表了他們的研究成果；他們還經(jīng)常參加或舉辦國(guó)際會(huì)議、工作坊和討論班。我們還成立了不少致力于邏輯學(xué)科研和教學(xué)的研究所，其中一些發(fā)展迅猛并呈現(xiàn)出明顯的國(guó)際特色。我們還在邏輯學(xué)的分支學(xué)科中取得了良好進(jìn)展，例如邏輯史(特別是中國(guó)邏輯史)、歸納和概率邏輯、自然語(yǔ)言邏輯、邏輯哲學(xué)、非形式邏輯、批判性思維、論辯理論和法律邏輯。我們?yōu)檫壿媽W(xué)的科研、教學(xué)和人才培養(yǎng)建立了相對(duì)完整的體系。

然而，我們?cè)谶壿媽W(xué)教學(xué)、科研和人才培養(yǎng)上仍然存在一些劣勢(shì)和不足。這里我只提下面三點(diǎn)：(1)我們的國(guó)際參與水平仍然比較低，只有相當(dāng)少的一部分中國(guó)邏輯學(xué)者能夠登上國(guó)際學(xué)術(shù)舞臺(tái)。目前，我們還沒(méi)有居于領(lǐng)先地位或具有一流水平的中國(guó)邏輯學(xué)家，我們的國(guó)際話語(yǔ)權(quán)和學(xué)術(shù)影響力還十分薄弱。(2)邏輯學(xué)教學(xué)和培養(yǎng)的水平還不夠好，有待進(jìn)一步提高。我們碩士和博士研究生的學(xué)術(shù)水準(zhǔn)偏低，科研水平并不理想，我們必須盡我們所能來(lái)為他們提供更好的教育，并敦促他們加倍努力學(xué)習(xí)并從事更有效率的科研。(3)組織有能力的中國(guó)邏輯學(xué)者來(lái)編寫(xiě)并出版一系列覆蓋所有分支學(xué)科的高水平邏輯學(xué)基礎(chǔ)教材，這也是十分必要的。對(duì)教育下一代中國(guó)邏輯學(xué)者而言，良好的教科書(shū)是很有助益的。

致謝

我謹(jǐn)向?yàn)檫@篇文章提供有價(jià)值的背景材料的邏輯研究機(jī)構(gòu)和學(xué)者表示誠(chéng)摯的謝意。鑒于人數(shù)眾多，這里無(wú)法一一列舉。無(wú)論如何，我還是要提到下列人士：趙希順、葉峰、劉奮榮、熊衛(wèi)、廖備水、王彥晶、熊明、劉虎、翟錦程、任曉明、李娜、張建軍、郭美云、武宏志、王洪及郭佳宏等。我還要感謝鞠實(shí)兒，他所主編的《當(dāng)代中國(guó)邏輯學(xué)研究(1949—2009)》一書(shū)為我提供了不可或缺的參考。