張家龍，江蘇江都人，1938 年6 月生。1961 年北京大學(xué)哲學(xué)系畢業(yè)，后留校繼續(xù)攻讀哲學(xué)系數(shù)理邏輯專業(yè)研究生，1965 年2 月畢業(yè)。1965 年8月到中國科學(xué)院哲學(xué)研究所（現(xiàn)中國社會科學(xué)院哲學(xué)研究所）工作，歷任助理研究員、副研究員、研究員和博士生導(dǎo)師，2002 年1 月5 日退休。自1992 年起享受國務(wù)院特殊津貼。

杜國平：張老師，您好！中國社會科學(xué)院哲學(xué)研究所為了全面總結(jié)建國70 周年以來哲學(xué)研究所所取得的巨大成就，決定對著名學(xué)者進行學(xué)術(shù)訪談，記錄老學(xué)者的學(xué)術(shù)思想、心路歷程，以便保留這一寶貴的精神財富，傳承優(yōu)秀學(xué)術(shù)傳統(tǒng)，開創(chuàng)哲學(xué)研究的新局面！

張家龍：這個決定很好！

杜國平：您作為邏輯學(xué)界的元老、資深學(xué)者，曾經(jīng)擔(dān)任過邏輯研究室主任和三屆中國邏輯學(xué)會會長，對中國邏輯學(xué)研究和普及以及中國邏輯學(xué)會的發(fā)展作出了巨大的貢獻，發(fā)揮了極大的推動作用。為了全面記錄哲學(xué)研究所邏輯學(xué)以及中國邏輯學(xué)的發(fā)展歷程，哲學(xué)研究所委托我對您進行訪談。

張家龍：好的！

杜國平：張老師，您長期從事邏輯學(xué)的研究工作，尤其是在邏輯思想史、哲學(xué)邏輯和邏輯哲學(xué)等方面取得了很大的學(xué)術(shù)成就，產(chǎn)生了廣泛的學(xué)術(shù)影響力。您能否首先給我們介紹一下您的主要研究工作。

張家龍：好！我今天主要談?wù)勎业娜緯?，這樣可以總結(jié)我對研究工作的想法和體會。

第一本書：《從現(xiàn)代邏輯觀點看亞里士多德的邏輯理論》，中國社會科學(xué)出版社，2016。

亞里士多德（公元前384 年-公元前322 年）是古希臘最偉大的哲學(xué)家，同時也是邏輯學(xué)的創(chuàng)始人。他邏輯學(xué)方面的代表作是《工具論》（公元1 世紀由安德羅尼柯根據(jù)亞里士多德的著述整理編纂而成）。他創(chuàng)立的邏輯理論直至今天仍然有許多邏輯學(xué)家在不斷地進行深入研究，并在大學(xué)課堂上被繼續(xù)傳授。我通過對《工具論》的研讀、分析和發(fā)掘，認為亞里士多德的邏輯理論是多方面的，絕不限于直言命題和直言三段論。概括起來亞里士多德的邏輯理論有九大方面：1.詞項理論；2.直言命題和直言三段論理論；3.偏好邏輯；4.關(guān)系理論；5.模態(tài)命題邏輯；6.模態(tài)三段論理論；7.邏輯規(guī)律；8.公理方法和歸納方法；9.辨謬理論。由此可見，亞里士多德的邏輯理論博大精深，是邏輯學(xué)的永恒研究課題。

長期以來，國外邏輯學(xué)家對亞里士多德邏輯理論的研究采用的是評述方法，就亞里士多德邏輯理論本身的問題進行評述。主要是詞項理論、直言命題和直言三段論、辨謬理論等，忽略了亞里士多德邏輯理論中對現(xiàn)代邏輯的發(fā)展起重要啟發(fā)作用的理論，如偏好和關(guān)系的理論、模態(tài)命題邏輯和模態(tài)三段論等，甚至關(guān)系邏輯的創(chuàng)始人德·摩根都認為亞里士多德沒有關(guān)系理論，認為用“所有馬是動物，所以，所有的馬頭都是動物頭”這個推理就可證明亞里士多德邏輯理論的局限性，這種錯誤觀點使國內(nèi)外的一些邏輯學(xué)者對亞里士多德的邏輯理論產(chǎn)生了諸多誤解。直到1951 年，國際著名邏輯學(xué)家、多值邏輯創(chuàng)始人盧卡西維茨出版了《亞里士多德的三段論》（1957 年出第二版，商務(wù)印書館1981 年出版了中譯本），才開創(chuàng)了用現(xiàn)代邏輯的方法研究邏輯史特別是亞里士多德邏輯理論的全新道路。把這樣一種方法提升到方法論的高度，就是馬克思所說的：“人體解剖對于猴體解剖是一把鑰匙，低等動物身上表露的高等動物的征兆，反而只有在高等動物本身已被認識之后才能理解。因此，資產(chǎn)階級經(jīng)濟為古代經(jīng)濟等等提供了鑰匙。……人們認識了地租，就能理解代役租、什一稅等等，但是不應(yīng)當(dāng)把它們等同起來?！蔽曳Q這種方法為“人體解剖法”。盧卡西維茨的研究成果揭示了亞里士多德的直言三段論已經(jīng)達到了何種水平，對邏輯的發(fā)展有何重要意義，存在哪些不嚴格之處，并從現(xiàn)代邏輯的高度解決亞里士多德所不能解決的課題，促進了現(xiàn)代邏輯的發(fā)展。盧卡西維茨證明了直言三段論公理系統(tǒng)的一致性、獨立性，自弗雷格以來在現(xiàn)代邏輯中建立了第一個形式化的排斥系統(tǒng)，解決了有意義的三段論表達式的判定問題，揭示了亞里士多德模態(tài)三段論的缺陷，創(chuàng)建了自己的4 值模態(tài)邏輯系統(tǒng)。由此可見，用“人體解剖法”研究邏輯史，也是一種推陳出新的好方法，用“人體解剖”研究“猴體解剖”的目的是為了發(fā)展“人體解剖”，而我們的目的也是為了古為今用，開創(chuàng)現(xiàn)代邏輯研究的新課題。自20 世紀50 年代以來，國外對亞里士多德邏輯的研究大都應(yīng)用盧卡西維茨的方法，如S.McCall 的專著Aristotle’s Modal Syllogisms（《亞里士多德的模態(tài)三段論》，1963），J.Lear 的專著Aristotle and Logical Theory（《亞里士多德與邏輯理論》，1980），R.Patterson 的專著Aristotle’s Modal logic（《亞里士多的模態(tài)邏輯》，1995），P.Thom 的專著The Logic of Essentialist:An interpretation of Aristotle’s Modal syllogistic（《本質(zhì)主義的邏輯：亞里士多德模態(tài)三段論的一個解釋》，1996）等等，他們都用現(xiàn)代邏輯的方法研究亞里士多德的邏輯理論。他們的成果主要集中在對直言的和模態(tài)的三段論的研究，發(fā)展了盧卡西維茨的研究成果，對現(xiàn)代邏輯的發(fā)展具有重要意義。國內(nèi)曾出版過兩部關(guān)于亞里士多德邏輯的專著，但沒有全面論述亞里士多德的邏輯理論，缺少偏好邏輯、關(guān)系理論、模態(tài)三段論與公理方法等相關(guān)內(nèi)容的研究。

根據(jù)剛才所說的情況可知，現(xiàn)時在國際國內(nèi)還沒有一部從現(xiàn)代邏輯觀點全面系統(tǒng)地研究亞里士多德邏輯理論的專著，本書希望能成為這樣一部專著，也希望與國際上用現(xiàn)代邏輯的方法研究亞里士多德邏輯理論的成果特別是直言三段論和模態(tài)三段論的成果接軌。本書把盧卡西維茨用“人體解剖法”研究亞里士多德的直言三段論理論的方法擴展到亞里士多德的其他邏輯理論，深刻揭示出亞里士多德邏輯理論的偉大成就，它對邏輯發(fā)展的巨大影響及其不足之處，糾正了亞里士多德在偶然模態(tài)三段論理論方面的錯誤，并從中生發(fā)出現(xiàn)代邏輯的一些重大理論問題，如直言三段論系統(tǒng)和模態(tài)三段論系統(tǒng)的構(gòu)造方法、形式排斥系統(tǒng)的建立、整個系統(tǒng)的判定問題的解決以及系統(tǒng)模型的建立等。本書不是評述性的著作，而是首先用“人體解剖”進行“猴體解剖”，在此基礎(chǔ)上再進行進一步的“推陳出新”的擴展研究。本書按亞里士多德邏輯理論的九大方面設(shè)九章論述，構(gòu)成研究亞里士多德邏輯理論的一個學(xué)術(shù)體系，這九章的標(biāo)題省去了“亞里士多德的”字樣，論述了我用現(xiàn)代邏輯的工具分析亞里士多德這些邏輯理論所取得的成果。另外增加七章，第一章是“亞里士多德的生平和邏輯著作《工具論》”；在論述亞里士多德的直言三段論理論之后加了三章：1.“直言三段論的現(xiàn)代研究”，評述五個著名邏輯系統(tǒng)；2.“作為一階邏輯子系統(tǒng)的直言三段論系統(tǒng)”和3.“樹枝形的直言三段論自然演繹系統(tǒng)”，專門論述我的研究成果；在論述亞里士多德的模態(tài)三段論理論之后加了三章：1.“模態(tài)三段論的現(xiàn)代研究”，評述兩個著名系統(tǒng)；2.“樹枝形的必然三段論自然演繹系統(tǒng)”和3.“樹枝形的偶然三段論自然演繹系統(tǒng)”，專門論述我的研究成果。本書的創(chuàng)新之處主要體現(xiàn)在：

1.指明亞里士多德在關(guān)于第一實體和第二實體的理論中提出了簡單類型論的思想，為兩千年后羅素的簡單類型論奠定了基礎(chǔ)。

2.一般流傳的看法認為亞里士多德的直言三段論共有4 個格24 個式，本書嚴格證明了共有3 個格36 個式。為突出直言三段論對現(xiàn)代邏輯的意義，本書首先在數(shù)理邏輯基礎(chǔ)——一階邏輯中構(gòu)造了直言三段論系統(tǒng)，使直言三段論成為一階邏輯的一個子系統(tǒng)。

3.本書認為，亞里士多德的直言三段論系統(tǒng)類似現(xiàn)代邏輯的自然演繹系統(tǒng)。本書嚴格按照自然演繹系統(tǒng)的要求重新構(gòu)造了直言三段論的樹枝形自然演繹系統(tǒng)，證明了所有有效式，并建立了排斥系統(tǒng)，排除了所有無效式，建立了這個系統(tǒng)的判定程序和語義模型，證明了這個系統(tǒng)的可靠性和完全性。

4.在用現(xiàn)代邏輯方法分析亞里士多德模態(tài)命題邏輯理論的基礎(chǔ)上，指出亞里士多德是模態(tài)命題邏輯的開拓者，他提出了現(xiàn)今模態(tài)命題邏輯的很多原理，特別是T 公理和D 公理以及模態(tài)對當(dāng)方陣。本書把亞里士多德的偶然定義應(yīng)用到現(xiàn)代模態(tài)命題邏輯的系統(tǒng)之中，證明了偶然命題同必然命題、可能命題之間關(guān)系的30 多條定理，并討論了它們的哲學(xué)意義，為馬克思主義哲學(xué)關(guān)于必然、可能和偶然關(guān)系的理論提供了豐富的邏輯資料。

5.亞里士多德不但是模態(tài)命題邏輯的開拓者，而且是模態(tài)一元謂詞邏輯（模態(tài)三段論）的創(chuàng)始人。本書用現(xiàn)代自然演繹的方法分析了亞里士多德的模態(tài)三段論系統(tǒng)，以此為基礎(chǔ)重新構(gòu)造了必然三段論和偶然三段論的樹枝形自然演繹系統(tǒng)。在這兩個系統(tǒng)中，不但證明了所有有效式，而且建立了形式排斥系統(tǒng)，排斥了所有無效式，證明了這兩個系統(tǒng)的判定問題，建立了這兩個系統(tǒng)的模型，特別是提出了必然模態(tài)三段論系統(tǒng)的可能世界語義模型，證明了這兩個系統(tǒng)的可靠性和完全性。

6.偏好是一種特殊的關(guān)系，本書論證了亞里士多德是偏好邏輯的開拓者，他提出了現(xiàn)代偏好邏輯的許多原理。

7.一般認為亞里士多德沒有關(guān)系理論，本書不同意這種看法，提出亞里士多德是關(guān)系邏輯的開拓者，用現(xiàn)代邏輯的方法詳細分析了亞里士多德的關(guān)系理論，揭示了在《工具論》中蘊涵著豐富的關(guān)系邏輯的原理，如關(guān)系與逆關(guān)系、關(guān)系之間的相似關(guān)系（同構(gòu)）、關(guān)系之間的包含關(guān)系、復(fù)雜概念的推理、等同物的不可分辨性原理和不可分辨物的等同原理等。這些原理已被吸收在現(xiàn)代邏輯之中并得到應(yīng)用。那種流行的認為亞里士多德沒有關(guān)系理論的觀點完全是不實之詞，應(yīng)予推倒。

8.本書認為亞里士多德是公理方法和歸納方法的開拓者，他的公理化思想對歐幾里得的《幾何原本》有重要的影響，他最早提出了直覺歸納法、簡單枚舉法以及融合典型事例歸納和類比的例證法等。

9.指出亞里士多德認為客觀事物有同一律、矛盾律和排中律的思想十分重要，這是邏輯規(guī)律的客觀基礎(chǔ)，與辨證法規(guī)律是相輔相成的；本書闡明，亞里士多德關(guān)于排中律不適用于未來偶然事件的看法是不成立的，指出排中律是邏輯規(guī)律，并從現(xiàn)代時態(tài)邏輯的角度進行分析，認為排中律也適用于未來偶然事件。

10.指明亞里士多德的辨謬理論為現(xiàn)代的“批判性思維”這一學(xué)科開了先河。

我之所以能取得這些成果，是因為以馬克思主義哲學(xué)為指導(dǎo)，得益于采用了馬克思的“人體解剖對于猴體解剖是一把鑰匙”的“人體解剖法”，從現(xiàn)代邏輯的觀點研究亞里士多德的邏輯理論。這種方法一方面揭示了亞里士多德邏輯中所包含的現(xiàn)代邏輯的胚芽，另一方面也揭示了亞里士多德邏輯理論中許多不足之處，發(fā)現(xiàn)了其中的一些重要錯誤并加以糾正，然后用現(xiàn)代邏輯的方法進行嚴格的處理，使之具有更科學(xué)的形態(tài)，在此基礎(chǔ)上進行“推陳出新”；研究了亞里士多德不能研究的、對現(xiàn)代邏輯具有重要意義的一些理論問題，如幾個三段論系統(tǒng)的形式排斥、判定程序、模型、可靠性和完全性等問題。

第二本書：《邏輯學(xué)思想史》（主編，并撰寫其中的西方邏輯部分），湖南教育出版社，2004 年。

這是國際國內(nèi)第一部從邏輯思想的層面上論述世界三大邏輯學(xué)的基本理論和基本概念演進歷史的專著，其特點是不采用編年史的形式，而采用馬克思主義哲學(xué)關(guān)于歷史與邏輯相統(tǒng)一的方法，形式很新穎。全書分三編：中國名辯學(xué)、印度正理-因明和西方邏輯。各編的第一章是概述，第一節(jié)論述各大邏輯學(xué)產(chǎn)生的歷史背景，第二節(jié)論述各大邏輯學(xué)的發(fā)展時期，將各個時期主要邏輯學(xué)家和邏輯學(xué)派的基本學(xué)說作一個歷史的鳥瞰。各編的其余各章從世界三大邏輯學(xué)的歷史發(fā)展中概括出各自的基本概念和基本理論，構(gòu)成一個體系，然后按歷史的發(fā)展來論述這些基本理論和基本概念的演進。第一編由劉培育撰寫，主要內(nèi)容有：名、辭、說、辯以及名辯與因明、邏輯；第二編由邵強進、鄭偉宏撰寫，主要內(nèi)容有：論證式、因三相規(guī)則和過失論；第三編由張家龍撰寫，主要內(nèi)容有：直言三段論學(xué)說、詞項理論、命題邏輯、模態(tài)邏輯、邏輯基本規(guī)律、歸納法和古典歸納邏輯以及邏輯演算。這樣就將邏輯思想史編織成一張以邏輯概念和理論為經(jīng)線、以歷史發(fā)展為緯線的縱橫交錯的思想之網(wǎng)。我在主編本書時，同時采用了“人體解剖法”，特別是在我寫的西方邏輯部分，用現(xiàn)代邏輯的精神去分析古代和中世紀的邏輯思想和理論。其實，“人體解剖法”實質(zhì)上也是“邏輯與歷史相統(tǒng)一的方法”。

這里順便談一個問題，我認為西方邏輯的終點是羅素、弗雷格的邏輯演算。后來數(shù)理邏輯的發(fā)展，全世界邏輯學(xué)家都做出了貢獻，中國許多邏輯學(xué)家對數(shù)理邏輯的發(fā)展也做出了貢獻，數(shù)理邏輯史不能僅僅包含在西方邏輯史之中，應(yīng)當(dāng)單獨加以研究。

我談的第三本書是：《數(shù)理邏輯發(fā)展史——從萊布尼茨到哥德爾》，社會科學(xué)文獻出版社，1993 年。

這是國內(nèi)第一部全面系統(tǒng)地論述從萊布尼茨到哥德爾的數(shù)理邏輯史專著，這本書首先提出了研究數(shù)理邏輯史的方法論原則：(1)數(shù)理邏輯理論的發(fā)生和發(fā)展同社會實踐具有辯證關(guān)系，一方面要承認數(shù)理邏輯的概念和理論的產(chǎn)生從本源來說是由實踐決定的，另一方面也要承認其相對獨立性；(2)觀點和材料的統(tǒng)一；(3)邏輯和歷史相統(tǒng)一的方法；(4)嚴格區(qū)別邏輯學(xué)家的哲學(xué)觀和具體的邏輯學(xué)說，不能隨便否定一些唯心主義哲學(xué)家的邏輯成就。該書將數(shù)理邏輯發(fā)展分為前史、初創(chuàng)、奠基、發(fā)展初期等4 個時期，采用邏輯方法與歷史方法相統(tǒng)一的原則加以論述，總結(jié)出數(shù)理邏輯發(fā)展的外部動因和內(nèi)在規(guī)律，深刻地闡明了實踐和數(shù)理邏輯理論的辯證關(guān)系。本書對數(shù)理邏輯重大成果的論述側(cè)重于邏輯方法的分析，對一些重大成果（如哥德爾不完全性定理、基數(shù)與序數(shù)理論）的哲學(xué)意義作了總結(jié)和概括。

同時要說明的是，由于歷史的共通性，研究數(shù)理邏輯發(fā)展史的這套方法論原則也應(yīng)當(dāng)適用于中國名辯史和印度因明史的研究，至少可以采用“人體解剖法”和“邏輯與歷史相統(tǒng)一的方法”。比如，我用現(xiàn)代邏輯方法構(gòu)造了《周易》的形式邏輯系統(tǒng)，討論了這個系統(tǒng)的二進制的語義解釋（《從數(shù)理邏輯觀點看〈周易〉》，載《邏輯史論》，中國社會科學(xué)出版社，2016）；用“人體解剖法”研究《墨經(jīng)》，將“侔”式推理歸納為六種有效式（《論〈墨經(jīng)〉中‘侔’式推理的有效式》，載《邏輯史論》）；研究印度因明，我總結(jié)出有四種有效式，不但有AAA 式，而且有EAE 式，不但有全稱的論式，還有單稱的論式（《從現(xiàn)代邏輯觀點看印度新因明三支論式》，載《邏輯史論》）。

最后總結(jié)一下我搞研究的體會：首先要自覺地以馬克思主義哲學(xué)來指導(dǎo)自己的研究工作，要有正確的研究方法，要厚積薄發(fā)，從邏輯史和前人的成果中善于發(fā)現(xiàn)新課題，這樣才能在所從事的領(lǐng)域有所創(chuàng)新。

杜國平：您擔(dān)任過邏輯研究室的主任，請您談?wù)勥壿嬍业膬?yōu)良傳統(tǒng)，以便將它們發(fā)揚光大。

張家龍：好?。?/p>

邏輯研究室與哲學(xué)所同步建立，當(dāng)時叫邏輯組，金岳霖先生任副所長兼邏輯組組長。“團結(jié)、民主、嚴謹、創(chuàng)新”，這八個大字就是邏輯室的室風(fēng)和學(xué)風(fēng)，這是由我根據(jù)周禮全先生的多次講話精神概括而成的，2001 年我在慶祝周禮全先生80 壽辰大會上，做了《弘揚周禮全先生的學(xué)風(fēng)》的講話，正式提出了這八字學(xué)風(fēng)，這是周禮全先生的學(xué)風(fēng)，也是我們邏輯室的學(xué)風(fēng)，我在擔(dān)任中國邏輯學(xué)會會長時，也在中國邏輯學(xué)會提倡這八字學(xué)風(fēng)。

現(xiàn)在我具體談?wù)勔恍┦虑椤?/p>

一、邏輯室十分重視學(xué)術(shù)工作，在1976 年粉碎“四人幫”之前邏輯室就開始為年輕研究人員補課，由沈有鼎、周禮全等老一輩學(xué)者親自授課。

二、在招收碩士生和博士生以后，不但導(dǎo)師親自上課，室里其他研究人員也給學(xué)生上課，把培養(yǎng)學(xué)生當(dāng)成是集體的事情，對博士生的指導(dǎo)成立以導(dǎo)師為組長的指導(dǎo)小組，上課的形式多樣，有講課、討論班和讀書班等形式。

三、邏輯室的在職人員對退休人員十分尊敬，每周返所時也請退休人員來所團聚，有時進行學(xué)術(shù)交流，有時也聊天溝通。邏輯學(xué)會有事情，例如發(fā)通知、寄郵件，大家一起動手。

四、在研究工作上，集體研究與個人研究相結(jié)合，碩果累累，獲獎多多?，F(xiàn)在我把我所參與的集體研究成果列舉在下面：

1.《學(xué)點邏輯》（倪鼎夫、張家龍、劉培育），人民出版社，1974（1978 年第二版；1984 年第三版，書名改為《邏輯入門》）。

2.《簡明邏輯史》(亨利?！ば柶澲?，張家龍譯，沈有鼎校），商務(wù)印書館出版，1977 年10 月第一版。

3.《形式邏輯簡明讀本》（張尚水、諸葛殷同、倪鼎夫、張家龍、劉培育），中國青年出版社，1978 年修訂版和1979 年青年文庫版。

4.《形式邏輯原理》（諸葛殷同、張家龍、張尚水、倪鼎夫、劉培育、周云之），人民出版社，1982；2007 年納入中國社會科學(xué)院文庫由社會科學(xué)文獻出版社再版。1993 年獲中國社會科學(xué)院首屆優(yōu)秀科研成果獎，2004 年獲中國邏輯學(xué)會首屆優(yōu)秀科研成果獎。

5.《西方邏輯史研究》（張家龍、王路參編），人民出版社，1984。

6.《中國大百科全書·哲學(xué)》（胡繩主編，周禮全、張尚水、諸葛殷同、張家龍、劉培育、周云之等參編），中國大百科全書出版社，1987。1993 年獲中國社會科學(xué)院首屆優(yōu)秀科研成果獎榮譽獎。

7.《歸納邏輯導(dǎo)引》（王雨田主編，張家龍、劉培育參編），上海人民出版社，1992。

8.《邏輯百科辭典》(周禮全主編，張尚水、諸葛殷同、張家龍、劉培育、周云之等參編)，四川教育出版社，1994。1996 年獲中國社會科學(xué)院第二屆優(yōu)秀科研成果獎，1999 年獲國家社會科學(xué)基金優(yōu)秀成果三等獎，2004 年獲中國邏輯學(xué)會首屆優(yōu)秀科研成果獎。

9.《邏輯學(xué)思想史》（張家龍主編，劉培育參編），湖南教育出版社，2004。2006年獲中國社會科學(xué)院哲學(xué)所優(yōu)秀成果獎，2008 年獲中國邏輯學(xué)會優(yōu)秀科研成果獎二等獎。

10.《邏輯哲學(xué)九章》（張清宇主編，張家龍、鄒崇理、王路、李小五參編），江蘇人民出版社，2004。

11.《金岳霖思想研究》（劉培育主編，諸葛殷同、張家龍參編），中國社會科學(xué)出版社，2004。2005 年獲金岳霖學(xué)術(shù)獎一等獎。

12.在1997 年我主持的國家社科基金“九五”重點項目“哲學(xué)邏輯幾個重點分支的進展及其哲學(xué)問題系列研究”，1998 年列入中國社科院“精品戰(zhàn)略”首批重點管理項目。其成果共有五部專著：張家龍的《模態(tài)邏輯與哲學(xué)》、張清宇的《弗協(xié)調(diào)邏輯研究》、李小五的《條件句邏輯》、鄒崇理的《自然語言邏輯研究》、王路的《走進分析哲學(xué)》。

13.劉培育主編的《金岳霖全集》（張尚水、張家龍、杜國平、賈青等參編，人民出版社，2013）

此外還有我未參加的：

周云之、劉培育參編的《中國邏輯史》（5 卷本，獲得1999 年國家社會科學(xué)基金優(yōu)秀成果三等獎）、周禮全主編的《邏輯——正確思維與成功交際的理論》（獲得1999 年國家社會科學(xué)基金優(yōu)秀成果三等獎）、張清宇主編的《哲學(xué)邏輯研究》（獲得中國社科院優(yōu)秀科研成果一等獎）。劉培育、諸葛殷同、張清宇編的《沈有鼎文集》，王路編的《周禮全集》，等等。

總之，邏輯室以“團結(jié)、民主、嚴謹、創(chuàng)新”的學(xué)風(fēng)為引領(lǐng)，重視學(xué)術(shù)，以傳幫帶的精神培養(yǎng)人才，重視集體的力量，也發(fā)揮個人的專長，學(xué)術(shù)成果累累，獲得的榮譽多多。希望現(xiàn)在的邏輯室要好好發(fā)揚這種優(yōu)良傳統(tǒng)。

杜國平：張老師，您長期擔(dān)任中國邏輯學(xué)會的組織和領(lǐng)導(dǎo)工作，為中國邏輯事業(yè)的發(fā)展嘔心瀝血。對于如何辦好中國邏輯學(xué)會以及中國邏輯學(xué)會的未來發(fā)展，能否談?wù)勀目捶ǎ?/p>

張家龍：好的！關(guān)于中國邏輯學(xué)會的發(fā)展，我曾經(jīng)說過，現(xiàn)在也仍然認為要堅持邏輯教學(xué)與研究的現(xiàn)代化，以使中國邏輯學(xué)屹立于世界邏輯之林。概括地說就是：

· 一個主題（理念）：

-同一個邏輯，同一個夢想。搞邏輯研究就像是參加邏輯的“國際奧林匹克運動會”，希望中國邏輯學(xué)家能多得集體冠軍和單項冠軍。

· 兩個目標(biāo)：

-一是全面實現(xiàn)邏輯教學(xué)和研究的現(xiàn)代化；

-二是與國際邏輯教學(xué)和研究水平全面接軌。

· 三個結(jié)合：

-一是教學(xué)與研究相結(jié)合；

-二是理論研究與應(yīng)用研究相結(jié)合；

-三是提高與普及相結(jié)合。邏輯學(xué)者有普及邏輯的責(zé)任，要普及現(xiàn)代邏輯的知識，改變社會忽視邏輯的現(xiàn)狀。

· 四種精神：

-團結(jié)，民主，嚴謹，創(chuàng)新。

杜國平：關(guān)于邏輯學(xué)“學(xué)科體系、學(xué)術(shù)體系、話語體系”的三大體系建設(shè)，您有何建議？

張家龍：邏輯與數(shù)學(xué)的性質(zhì)類似，是基礎(chǔ)性的、技術(shù)性的、國際性的學(xué)科，本身沒有階級性，不屬于社會意識形態(tài)，但是它與哲學(xué)又有密切聯(lián)系，建立學(xué)科體系、學(xué)術(shù)體系、話語體系有其特殊性。

關(guān)于學(xué)科體系，國際上關(guān)于邏輯學(xué)科體系總體上已經(jīng)成型，包括邏輯演算與“四論”的體系、以模態(tài)邏輯為核心的哲學(xué)邏輯體系、邏輯思想史的三大體系等等。在培養(yǎng)學(xué)生過程中，堅持以邏輯演算與“四論”為基礎(chǔ)的教學(xué)體系，加強“以模態(tài)邏輯為核心的哲學(xué)邏輯”的教學(xué)體系。根據(jù)三個結(jié)合的原則進行調(diào)整，在哲學(xué)社會科學(xué)部門應(yīng)當(dāng)以“哲學(xué)邏輯與邏輯哲學(xué)”為主，邏輯史為輔。

關(guān)于學(xué)術(shù)體系，包括兩個方面：一是思想、理念、原理、觀點、理論、學(xué)說、知識等；二是研究方法、材料和工具等。需要將新的研究方法、新的研究工具加以總結(jié)，形成文本，構(gòu)建中國特色的邏輯學(xué)術(shù)體系。比如，中國邏輯學(xué)家提出了許多新的理論和方法；我提出過直言三段論、必然模態(tài)三段論和偶然模態(tài)三段論的“樹枝形自然演繹系統(tǒng)”、研究邏輯史的“人體解剖法”、《周易》的形式系統(tǒng)方法等等；這些成果需要加以總結(jié)，以便吸收進具有中國特色的邏輯學(xué)術(shù)體系之中。

關(guān)于話語體系，中國邏輯學(xué)家取得的成果要用中國化的話語表述，中國邏輯學(xué)家提出、創(chuàng)造的理論應(yīng)當(dāng)用中國學(xué)者的名字命名。例如，我將張清宇提出的“悖論”，命名為“張清宇悖論”；將國際上原有的“沈有鼎悖論”這個概念加以擴展，從只指“所有有根類的類的悖論”擴展到包括兩個語義悖論在內(nèi)（見《論沈有鼎悖論在數(shù)理邏輯史上的地位》，載《邏輯史論》）；我根據(jù)沈有鼎的廣義模態(tài)邏輯的思想，構(gòu)建了一個邏輯系統(tǒng)，我將它命名為“沈有鼎型的認知邏輯系統(tǒng)KBT”（見《沈有鼎型的認知邏輯系統(tǒng)KBT》，載《邏輯史論》）。另外，邏輯學(xué)譯名要統(tǒng)一，比如：語型和句法、變項和變元、蘊涵和蘊含等等。

杜國平：邏輯學(xué)作為基礎(chǔ)學(xué)科，邏輯研究將如何應(yīng)對新科技革命等重大現(xiàn)實問題？

張家龍：我們應(yīng)當(dāng)按照邏輯理論研究與應(yīng)用研究相結(jié)合的方針去做。目前，邏輯學(xué)的發(fā)展有三個方向：數(shù)學(xué)方向、計算機與人工智能方向、邏輯方向（包括數(shù)理邏輯與哲學(xué)邏輯等）。我們的專長是邏輯方向，有著雄厚的邏輯基礎(chǔ)。邏輯與人工智能相結(jié)合，可以解決人工智能的基礎(chǔ)問題。中國有一些大學(xué)的數(shù)學(xué)系和計算機系從事邏輯研究的專家專門研究人工智能中的邏輯應(yīng)用問題，取得了一些成果，值得我們學(xué)習(xí)，我們也要積極開展這方面的邏輯研究。12019年，中國社會科學(xué)院哲學(xué)研究所正式成立了“智能與邏輯實驗室”。

杜國平中國社會科學(xué)院哲學(xué)研究所dgpnju@163.com