徐　華，李　明

(1.北京化工大學(xué) 馬克思主義學(xué)院，北京 100029； 2.沈陽農(nóng)業(yè)大學(xué) 馬克思主義學(xué)院， 遼寧 沈陽 100866 )

?

萊布尼茨邏輯思想國內(nèi)研究述評

徐華1，李明2

(1.北京化工大學(xué) 馬克思主義學(xué)院，北京 100029； 2.沈陽農(nóng)業(yè)大學(xué) 馬克思主義學(xué)院， 遼寧 沈陽 100866 )

萊布尼茨是數(shù)理邏輯的奠基人，是處于傳統(tǒng)邏輯向數(shù)理邏輯轉(zhuǎn)折點上的人物，他提出了較為完整的關(guān)于建立新的邏輯的思想。萊布尼茨的邏輯思想是其哲學(xué)思想的核心，在整個萊布尼茨哲學(xué)體系中具有重要地位。選取一個時期以來國內(nèi)萊布尼茨邏輯思想的研究文本，從邏輯本身、認(rèn)識論、方法論、認(rèn)知科學(xué)、語言哲學(xué)五個方面進行審視，并作簡要評述，這對走進萊布尼茨的邏輯思想世界，并進一步深刻了解其哲學(xué)體系具有重要的推動作用。

萊布尼茨 ； 邏輯 ； 述評

一、萊布尼茨國內(nèi)研究概況

萊布尼茨是一位百科全書式的學(xué)者，被稱為17世紀(jì)的亞里士多德，不僅是一位數(shù)學(xué)家和哲學(xué)家，更重要的是萊布尼茨還是數(shù)理邏輯的奠基人，因為他的數(shù)學(xué)和哲學(xué)是建立在其邏輯學(xué)之上的。萊布尼茨很少有專著發(fā)表，他的思想都隱藏在其留下的15 000多張的手稿中，而這些手稿大部分是書信的形式，羅素稱這是萊布尼茨的“秘傳哲學(xué)”，他也曾認(rèn)為，假使萊布尼茨的研究成果在當(dāng)時發(fā)表了，那么數(shù)理邏輯將會提前150多年問世，可見萊布尼茨的邏輯思想對邏輯史的發(fā)展這些都具有重大影響。萊布尼茨的邏輯學(xué)思想在萊布尼茨哲學(xué)思想中具有核心地位。

國內(nèi)對于萊布尼茨研究的工作，已經(jīng)陸續(xù)開始，在武漢大學(xué)和北京師范大學(xué)相繼成立了中德國際萊布尼茨研究中心。但對于萊布尼茨的哲學(xué)思想研究國內(nèi)大都處于一個翻譯階段，關(guān)于萊布尼茨本人的譯著，主要有朱雁冰譯的《神義論》、陳修齋先生譯的《人類理智新論》和《新系統(tǒng)及其說明》、祖慶年譯的《萊布尼茨自然哲學(xué)著作選》、陳修齋譯《萊布尼茨與克拉克論戰(zhàn)書信集》《政治哲學(xué)著作選》《單子論》。其中只有祖慶年譯的《萊布尼茨自然哲學(xué)著作選》中的部分內(nèi)容是關(guān)于萊布尼茨邏輯思想介紹的，介紹了萊布尼茨普遍字符的提出緣由，以及邏輯演算諸法則，是關(guān)于邏輯的研究。國內(nèi)關(guān)于萊布尼茨邏輯的研究專著，只有在段德智《萊布尼茨哲學(xué)研究》中有少量內(nèi)容，主要是針對萊布尼茨的普遍字符與綜合科學(xué)的介紹性研究，專門研究萊布尼茨邏輯思想的專著是沒有的。

除此之外，在期刊研究方面，通過在中國知網(wǎng)(CNKI)中關(guān)于“萊布尼茨”和“萊布尼茨”∧“邏輯”的檢索中可以看出，見圖1。

圖1　國內(nèi)萊布尼茨邏輯思想研究文獻數(shù)量走勢

關(guān)于萊布尼茨邏輯思想的文獻研究一共200余篇，大概是從20世紀(jì)50年代開始只有幾篇研究文獻，中間出現(xiàn)過斷層，大概從2000年左右才有人正式開始持續(xù)研究萊布尼茨的邏輯思想。而國內(nèi)關(guān)于萊布尼茨哲學(xué)思想的期刊研究狀況與之相比卻大不相同，對萊布尼茨哲學(xué)的研究處于一個急速上升狀態(tài)，開始的時間也是20世紀(jì)50年代左右，在80年代末90年代初突然出現(xiàn)過一個小高峰，后處于持續(xù)穩(wěn)定上升狀態(tài)(以CNKI為基礎(chǔ))。顯然關(guān)于萊布尼茨邏輯思想研究與關(guān)于萊布尼茨哲學(xué)思想的研究是不對稱的。

二、國內(nèi)萊布尼茨邏輯研究基本進路

萊布尼茨的邏輯思想是萊布尼茨哲學(xué)思想的基礎(chǔ)?！皬娜R布尼茨的邏輯學(xué)出發(fā)，就是從萊布尼茨哲學(xué)的最高原則出發(fā)，是從萊布尼茨哲學(xué)的終極基礎(chǔ)出發(fā)，這是許多萊布尼茨研究者所未曾達到的。”[1]雖然挖掘萊布尼茨的邏輯學(xué)思想是一項長期而又艱巨的任務(wù)，但是，國內(nèi)還是有一些學(xué)者嘗試對其進行分析研究。國內(nèi)對于萊布尼茨邏輯研究大概有五個進路，分別是邏輯本身、認(rèn)識論、方法論、認(rèn)知科學(xué)、語言哲學(xué)。

1.從邏輯本身的進路進行研究

對于從邏輯本身的角度來看，國內(nèi)關(guān)于萊布尼茨邏輯思想的研究有很多，但是側(cè)重點各有不同，有從邏輯史發(fā)展的角度、同一性原則的角度、邏輯演算等等。陳濤[2]是從同一性原則的角度對萊布尼茨的邏輯思想進行闡述的，指出自然語言中的同一性陳述是被萊布尼茨形式化的，但是沒有指出萊布尼茨怎么將它形式化的。王路和朱建平則是從邏輯發(fā)展史的角度對萊布尼茨的邏輯思想進行了探究。王路[3]描述了整個數(shù)理邏輯的發(fā)展史，指出萊布尼茨是處于數(shù)理邏輯的初創(chuàng)階段。但是對萊布尼茨對于整個數(shù)理邏輯發(fā)展史有什么樣的作用，沒有加以分析。朱建平[4]闡述了萊布尼茨邏輯的歷史意義，提到了萊布尼茨的邏輯運算思想，并做了簡要分析，但是分析不夠深入。他對萊布尼茨邏輯與現(xiàn)代邏輯的關(guān)系進行了論述，指出萊布尼茨對現(xiàn)代邏輯的影響，歷史上有不同的意見。刁明禮[5]則是從邏輯演算的角度研究了萊布尼茨的邏輯，萊布尼茨曾把三段論系統(tǒng)比作“普遍的數(shù)學(xué)”，要求使三段論成為一種更一般的“關(guān)于符號的技術(shù)”。為此,他希望能把數(shù)學(xué)的計算方法應(yīng)用到邏輯學(xué)中,處理邏輯命題的關(guān)系和推理,把推理變成一種演算,把推理規(guī)則變成演算規(guī)則。

此外，還有與亞里士多德邏輯的對比研究，萊布尼茨繼承了亞里士多德的邏輯思想，也克服了亞里士多德邏輯學(xué)的某些局限性。姜成林[6]指出萊布尼茨把邏輯數(shù)學(xué)化，在很大程度上集成了亞里士多德的思想，萊布尼茨認(rèn)為利用符號字母表示思維,我們便可以使一切經(jīng)驗科學(xué)合理化,毫無剩余地納入邏輯演算的范圍。把一般推理的規(guī)則改變?yōu)檠菟愕囊?guī)則,大大地簡化了推理程序。萊布尼茨并沒有完成他所提出的邏輯思維形式化的工作,沒有留下一個符號邏輯的完整體系。作者沒有指出為什么萊布尼茨沒有留下一個符號邏輯的完整體系，局限性在哪里。林笳[7]介紹了萊布尼茨發(fā)現(xiàn)“自然”語言中，符號與對象之間并不完全是一一對應(yīng)的，于是通過普遍字符，開創(chuàng)了數(shù)理邏輯。但是，對于這個原因分析太過于簡單且不明確。林瓊[8]主要從亞里士多德三段論命題和推理的形式化處理以及對亞氏三段論理論本身的改進三個方面，闡述了萊布尼茨對亞里士多德三段論的改進和發(fā)展，但沒有談萊布尼茨對于亞里士多德三段論改進的局限性。

以上這些是從邏輯本身的角度關(guān)于萊布尼茨邏輯思想的研究，但是對于萊布尼茨符號邏輯思想的研究不成系統(tǒng)。要知道為什么萊布尼茨的符號邏輯體系不成系統(tǒng)，我們首先要明確一下邏輯體系是什么，我們只有明確了邏輯體系之后，才能知道關(guān)于萊布尼茨邏輯符號思想體系研究不足之處。對于邏輯的分類，形式不一。邏輯分為命題邏輯，詞項邏輯，謂詞邏輯，模態(tài)邏輯以及歸納邏輯。[9]此外還有從時間上進行分類的，分為古典邏輯(主要是以三段論為主的形式邏輯)和現(xiàn)代邏輯(以符號邏輯等為主)等等。[10]不管分類是怎樣的，一個完整的邏輯系統(tǒng)必須要對一些基本的命題加以界定，命題的結(jié)構(gòu)分析，遵循的基本原則以及命題之間的變形推理等。對于萊布尼茨的邏輯屬于哪一類，我們不能簡單地做以劃分，萊布尼茨處于傳統(tǒng)邏輯向現(xiàn)代邏輯轉(zhuǎn)型期的一個人物，他的邏輯兼有傳統(tǒng)邏輯和現(xiàn)代邏輯的特點。但是我們從上述對于萊布尼茨邏輯思想的研究來看，國內(nèi)對于萊布尼茨邏輯思想的研究，尤其是從邏輯本身角度上的側(cè)重點各有不同，有從邏輯原則、邏輯史、邏輯演算等角度進行分析的，但是對于萊布尼茨符號邏輯體系到底是一個什么樣的體系并未還原，對于萊布尼茨符號邏輯體系里的命題結(jié)構(gòu)的分析也未有涉及，對于從演算角度進行分析的，也只是從普遍字符這個角度來進行闡述的，至于它是怎么演算的，何以演算，演算所遵循的理論根據(jù)是什么沒有進行詳細分析。此外，對于命題之間的并行推理也沒有涉及。由此可見，對于萊布尼茨符號邏輯思想體系的研究不成系統(tǒng)。

總的來說，從邏輯本身的角度對萊布尼茨邏輯思想的研究都不深入。但是從邏輯本身的角度來研究萊布尼茨邏輯思想應(yīng)該是其他角度研究的基礎(chǔ)，只有在搞清了萊布尼茨邏輯思想是什么，還原了萊布尼茨邏輯體系的藍圖，基于這個基礎(chǔ)之上，從其他角度再對萊布尼茨的邏輯思想進行研究才不會華而不實。

2.從認(rèn)識論的進路進行研究

國內(nèi)對于萊布尼茨邏輯思想的研究還有從認(rèn)識論的角度進行的，這也是一個很重要的方面。馬洪銳[11]指出早期萊布尼茨關(guān)注的核心問題之一就是真理論與符號的關(guān)系。就是說，真(真命題)理是用命題陳述的，而命題不過是符號的組合，人不但需要用符號來表達真理，符號本身就是通向真理的必要途徑。真理是由思想和命題所表達的，但真理屬于概念的可能組合，這種組合不依賴于人的意志，因此獨立于思想和符號。真理是對可能的概念即理念的認(rèn)識，不過人只能通過可感之物(語言符號)才能達到可知之物(理念或觀念)。在此就真理與符號的關(guān)系展開了闡述，但是對于為什么真理與符號可以這樣對應(yīng)，以及什么樣的符號是萊布尼茨所認(rèn)同的并沒有展開詳細論述，這也是因為我們對于萊布尼茨的邏輯思想體系把握不清楚，是因為從邏輯自身的這個角度研究不系統(tǒng)，萊布尼茨邏輯思想原貌未還原造成的。

3.從方法論的進路進行研究

萊布尼茨建立普遍文字的思想，促使他力圖把舊的邏輯改革成新的邏輯——現(xiàn)代形式邏輯，他實際上已經(jīng)發(fā)現(xiàn)了現(xiàn)代形式邏輯的若干重要原則和原理，奠定了現(xiàn)代形式邏輯的基礎(chǔ)。因此，從方法論這個角度，國內(nèi)也有學(xué)者論述，比如，崔文芊，王紹源[12]對于萊布尼茨數(shù)理邏輯的成就及成因進行了分析。成因歸結(jié)為：首先傳統(tǒng)邏輯為數(shù)理邏輯打下了基礎(chǔ); 其次，近代數(shù)學(xué)的發(fā)展和萊布尼茨一以貫之的理性演算思想也直接促進了數(shù)理邏輯的形成; 最后，萊布尼茨的數(shù)理邏輯思想是為他的認(rèn)識論服務(wù)的。對于數(shù)理邏輯的成就歸結(jié)為理性演算和普遍語言等。劉新文[13]及劉嘯霆[14]以萊布尼茨的“普遍語言”和“理性演算”思想為基本框架作了簡要介紹，萊布尼茨作為一個從傳統(tǒng)邏輯到數(shù)理邏輯轉(zhuǎn)折性的人物，他把邏輯加以數(shù)學(xué)化的偉大理想，對于后人影響較大。這里的普遍語言就是指普遍字符，理性演算就是指數(shù)學(xué)演算，萊布尼茨認(rèn)為一切東西都可以被數(shù)學(xué)化。

在從方法論這個角度上，基本上都是從普遍語言和理性演算來談的，但是也是僅僅局限于普遍語言和理性語言的特點上，至于為什么它的特點可以使傳統(tǒng)邏輯轉(zhuǎn)向數(shù)理邏輯沒有說明，這是因為我們對于萊布尼茨的邏輯思想沒有系統(tǒng)的把握，所以只知是什么，而不知為什么。

4.從認(rèn)知科學(xué)的進路進行研究

萊布尼茨[15]數(shù)理邏輯和機器數(shù)學(xué)繼承和發(fā)展了萊布尼茨普遍字符思想的有用的、積極的一面，并形成了計算機這門獨立的科學(xué)分支，萊布尼茨被尊稱為數(shù)理邏輯的創(chuàng)始人和“計算機之父”。汪靜、張怡[16]、趙永青[17]剖析了網(wǎng)絡(luò)語言(計算機語言)的兩種含義：表層上，網(wǎng)絡(luò)語言是日常語言；深層上，網(wǎng)絡(luò)語言是支撐網(wǎng)絡(luò)中日常語言的邏輯語言。文中從網(wǎng)絡(luò)語言的特點，萊布尼茨的通用字符與網(wǎng)絡(luò)語言以及萊布尼茨的形而上學(xué)與網(wǎng)絡(luò)語言三個方面，對網(wǎng)絡(luò)語言與萊布尼茨的淵源進行了分析。指出網(wǎng)絡(luò)語言的邏輯語言形式最早可以追溯到萊布尼茨，他的通用字符思想和形而上學(xué)為今天的計算機原理奠定了邏輯基礎(chǔ)。史新穎[18]指出萊布尼茨的“普遍字符”以及制作的“物理推理機”通過把邏輯看作一個形式的、演繹的系統(tǒng)，推理的有效原則可以明確地表示成演繹的規(guī)則，并且一旦把推理的原則作用在這種規(guī)則上，那些符號和規(guī)則背后的含義對于我們來說則變?yōu)橥该鞯模评砭褪窃谔幚砟切┓?。因此，易于在機器上操作的那些簡單的表征符號，使得在機器上推理成為可能。郭菁[19]從認(rèn)知科學(xué)的基礎(chǔ)理論層面上進行了剖析，分析了萊布尼茨心智計算的設(shè)想、其心智計算的特征以及萊布尼茨心智計算思想的發(fā)展機器挑戰(zhàn)。說明了認(rèn)知計算主義的產(chǎn)生在一定程度上是依賴于萊布尼茨的，萊布尼茨是一個轉(zhuǎn)折性的人物，他把自然語言形式化、符號化了，才使得今天的認(rèn)知計算主義得以可能。可見萊布尼茨對于我們現(xiàn)在認(rèn)知科學(xué)的發(fā)展產(chǎn)生了極其重要的影響，但是，不是所有的人都這樣認(rèn)為，劉孝廷[20]指出萊布尼茨在當(dāng)代的境遇是個矛盾，人們對于萊布尼茨的工作評價貶褒不一。

從認(rèn)知科學(xué)這個角度，大家也基本是圍繞普遍語言這一方面進行闡述的，但是就為什么要使用普遍語言，或者說普遍語言在萊布尼茨邏輯思想中的位置是什么樣的沒有闡述，其次，萊布尼茨的邏輯思想體系對于現(xiàn)代認(rèn)知科學(xué)的發(fā)展是什么樣的也沒有闡述，這歸根究底是由于我們對于萊布尼茨邏輯思想體系沒有系統(tǒng)的把握。

5.從語言哲學(xué)的角度進行研究

除此之外，國內(nèi)關(guān)于萊布尼茨的邏輯思想研究還有從語言哲學(xué)的角度進行分析的，這也是一個非常重要的方面。比如，段德智[21]提出，當(dāng)人們談?wù)撜Z言哲學(xué)的時候便會立即想到理想語言學(xué)派或日常語言學(xué)派。但是，殊不知語言哲學(xué)還有另外一種形態(tài)，那就是理性主義的語言哲學(xué)。在理性主義的語言哲學(xué)中萊布尼茨無疑是一個典型的代表。表現(xiàn)在他的語言哲學(xué)上，表現(xiàn)在他關(guān)于普遍字符和天才設(shè)想上。馮曉虎[22]在萊布尼茨的語言思想中體現(xiàn)的邏輯思想就是對于通用字符的闡述，萊布尼茨并非歐洲“通用字符”思想的始作俑者，但他的研究無疑是那個時代歐洲學(xué)者中最深入的。他的思想很明確:被表達之“通用字符”是人類思維通用的符號表達系統(tǒng)，約等于“單子”，都包含在一個無限理解認(rèn)識里的絕對單純觀念。指出，他提出通用字符的初衷不是要解決語言問題，而是解決哲學(xué)中的概念演算問題。夏國軍[23]指出語言邏輯就是自然語言的邏輯，對于自然語言的形式化做了介紹，以及二者之間的關(guān)系，形式化對于自然語言邏輯的作用，也指出了形式化方法在語言邏輯領(lǐng)域存在的不足與缺陷。如，形式化在語言邏輯領(lǐng)域不具備普遍的效力，形式化方法不能消除自然語言的歧義性，形式化方法不能取代自然語言的修辭現(xiàn)象等。但是作者沒有談到為什么自然語言要形式化。陳嘉映[24]概述了人工語言產(chǎn)生的原因和歷史，介紹了萊布尼茨、弗雷格、羅素等人對邏輯語言的基本構(gòu)想，討論了人工語言、邏輯語言、自然語言幾者的關(guān)系。得出的結(jié)論是，邏輯語言是邏輯研究必需的工具，它與自然語言的本體論地位不同，自然語言是全方位的，決定我們對現(xiàn)實的直接理解，因此。邏輯語言根本不能取代自然語言。

對于語言哲學(xué)這個角度，也大都從自然語言到符號語言這個方面進行闡述的，對于語言與邏輯思想體系的關(guān)系是什么，沒有詳細闡述，這也是由于萊布尼茨的邏輯思想體系沒有被還原，大家對于萊布尼茨邏輯思想體系沒有系統(tǒng)的把握造成的。

三、評價與研究展望

通過對萊布尼茨邏輯思想國內(nèi)的研究現(xiàn)狀看，首先，是維度問題。國內(nèi)關(guān)于萊布尼茨邏輯思想的研究角度少，沒有從歷史背景、生命科學(xué)角度以及形而上學(xué)角度進行研究的，而國外關(guān)于從形而上學(xué)角度研究萊布尼茨邏輯思想的已經(jīng)有了好多專著，而不僅僅是停留在介紹性文章的層面上，沒有文獻研究。從邏輯本身這個角度來看，國內(nèi)的文獻研究不系統(tǒng)，沒有國外的細化，國外在邏輯本身的角度有量子邏輯、與亞里士多德邏輯相比較的研究、關(guān)于邏輯演算的研究、模態(tài)邏輯、命題邏輯以及邏輯原則等等，而國內(nèi)對于萊布尼茨邏輯思想的研究主要在于萊布尼茨邏輯原則、與傳統(tǒng)邏輯的對比研究、與現(xiàn)代邏輯或數(shù)理邏輯繼承關(guān)系上的研究，而且這些研究都比較淺，沒有去深入剖析。

其次，是深度問題。國內(nèi)的研究介紹性層面的材料居多，研究不深入。對于萊布尼茨邏輯思想體系的系統(tǒng)研究缺乏，甚至說是沒有。很多萊布尼茨的邏輯思想的研究都是淺嘗輒止，關(guān)于萊布尼茨邏輯思想的專著沒有，大多數(shù)的文獻都是翻譯而來，而翻譯過來的關(guān)于萊布尼茨邏輯思想的文獻鳳毛麟角。萊布尼茨的邏輯思想在國內(nèi)存在著很大的空白。從國內(nèi)關(guān)于萊布尼茨邏輯思想文章的參考文獻看，其參考文獻一手文獻太少，外文文獻少，有的甚至是關(guān)于哲學(xué)史的一些參考文獻，可見，國內(nèi)的萊布尼茨邏輯思想研究不深入，介紹性、敘述性的文章居多。

再者，是發(fā)展不對稱問題。從關(guān)于萊布尼茨的研究和萊布尼茨邏輯思想的研究對比來看，關(guān)于萊布尼茨的研究在急劇上升(從歷年來的文獻發(fā)表數(shù)量得出)，而關(guān)于萊布尼茨邏輯思想的研究卻與萊布尼茨研究的發(fā)展速度脫節(jié)了。單從國內(nèi)的萊布尼茨邏輯思想研究來看，關(guān)于萊布尼茨邏輯思想研究從20 世紀(jì)五六十年代開始出現(xiàn)相關(guān)文獻，但是中間出現(xiàn)多次斷層，研究狀態(tài)至今日仍然處于一個不溫不火的狀態(tài)，沒有明顯改善。

總的來說，分兩點：①關(guān)于萊布尼茨邏輯體系沒有一個系統(tǒng)的整理；②對于萊布尼茨邏輯體系背后的思想把握不足；而萊布尼茨的邏輯思想是萊布尼茨哲學(xué)思想的核心，羅素曾說過，萊布尼茨的哲學(xué)差不多完全源于其邏輯學(xué)。國內(nèi)關(guān)于萊布尼茨邏輯思想的研究較少，現(xiàn)存的文獻研究不深入，有的只是在相關(guān)文章中一帶而過，并沒有展開詳細論述，特別是從邏輯自身的角度對于萊布尼茨邏輯思想的研究，國內(nèi)研究不足，這個角度本身很薄弱，不深入、不系統(tǒng)，國內(nèi)關(guān)于萊布尼茨邏輯思想體系原貌未還原。因此，從邏輯本身的角度對于萊布尼茨邏輯思想的研究是非常必要的，弄清萊布尼茨邏輯思想體系及其創(chuàng)建過程是進行萊布尼茨邏輯思想其他研究的前提與基礎(chǔ)。從邏輯本身的角度對于萊布尼茨邏輯體系進行深入的分析是我們進行其他分析的前提，因為只有搞清楚萊布尼茨邏輯體系到底是什么，對它有一個清楚地把握，我們才能從其他角度對它進行更好的切入。因此，從邏輯本身的角度對于萊布尼茨邏輯思想進行研究是必不可少的一步。

如今國際上對于萊布尼茨的研究已經(jīng)發(fā)展很快，我們國內(nèi)的研究略顯不足，為了與國際接軌，必須加強對萊布尼茨哲學(xué)思想的研究，而要做好萊布尼茨哲學(xué)思想的研究，必須夯實基礎(chǔ)，加強對其邏輯思想體系的系統(tǒng)、深入的研究。隨著國內(nèi)萊布尼茨研究的崛起，對于萊布尼茨邏輯思想的研究是具有遠大前景的。對于未來的研究重點，應(yīng)該放在其邏輯思想體系的挖掘上，這樣對于其他方面的研究才會枝繁葉茂。

[1]羅素，著.對萊布尼茨哲學(xué)的批評性解釋[M].段德智，張傳有，陳家琪,譯.北京：商務(wù)印書館，2010：11.

[2]陳濤.同一性陳述的本體論分析[J].畢節(jié)學(xué)院學(xué)報，2010,28(5)：42-45.

[3]王路.數(shù)理邏輯的光輝歷程——介紹張家龍著《數(shù)理邏輯發(fā)展史——從萊布尼茲到哥德爾》[J].哲學(xué)動態(tài)，1994(增刊)：176.

[4]朱建平.萊布尼茨邏輯學(xué)說的歷史命運[J].南京社會科學(xué)，2014(3)：62-68.

[5]刁明禮.從邏輯演算的角度看萊布尼茨的數(shù)理邏輯思想[J].蘭州大學(xué)學(xué)報，2009，36(6)：54-56.

[6]姜成林.數(shù)理邏輯的先驅(qū)—萊布尼茨[J].邏輯與語言學(xué)習(xí)，1982(5)：41-42.

[7]林笳.現(xiàn)代西方符號學(xué)理論初探[J].外語研究，2000(1)：13-16.

[8]林瓊.萊布尼茨對亞里斯多德三段論的改進和發(fā)展[J].廣東社會科學(xué)，1994(5)：82-88.

[9]中國人民大學(xué)哲學(xué)院邏輯學(xué)教研室.邏輯學(xué)[M].北京：中國人民大學(xué)出版社，2008.

[10]Irving M.Copi,Carl Cohen.邏輯學(xué)導(dǎo)論[M].張建軍，潘天群，頓新國,等,譯.北京：中國人民大學(xué)出版社，2014.

[11]馬洪銳.早期萊布尼茨真理論中的符號問題[J].哲學(xué)動態(tài)，2012(1)：70-75.

[12]崔文芊，王紹源.論萊布尼茨的數(shù)理邏輯成就及成因[J].江西社會科學(xué)，2013(6)：32-36.

[13]劉新文.萊布尼茨的理想[J].哲學(xué)動態(tài)，2014(12)：88-93.

[14]劉嘯霆.萊布尼茨數(shù)學(xué)思想的統(tǒng)一性[J].自然辯證法通訊，1995，17(5)：53-61.

[15]萊布尼茨.萊布尼茨自然哲學(xué)著作選[M].北京：中國社會科學(xué)出版社,1985.

[16]汪靜，張怡.萊布尼茨與現(xiàn)代網(wǎng)絡(luò)語言[J].東華大學(xué)學(xué)報：社會科學(xué)版，2007,7(3)：239-243.

[17]趙永青.談計算機語言的邏輯基礎(chǔ)[J].哈爾濱市委黨校學(xué)報，2009(6)：34-35.

[18]史新穎.認(rèn)知計算主義的源起與當(dāng)代發(fā)展[D].上海：東華大學(xué)，2007.

[19]郭菁.萊布尼茨的心智計算思想研究[J].自然辯證法研究，2015,31(11)：86-91.

[20]劉孝廷.萊布尼茨的當(dāng)代境遇[J].學(xué)術(shù)交流，2002(1)：1-4.

[21]段德智.萊布尼茨語言哲學(xué)的理性主義實質(zhì)及其歷史地位研究[J].武漢大學(xué)學(xué)報：人文科學(xué)版，2013(5)：54-63.

[22]馮曉虎.萊布尼茨的語言思想[J].外國語(上海外國語大學(xué)學(xué)報)，2011，34(3)：67-76.

[23]夏國軍.語言邏輯與形式化[J].南開學(xué)報，2004(3)：63-72.

[24]陳嘉映.簡論人工語言和邏輯語言[J].云南大學(xué)學(xué)報：社會科學(xué)版，2008,7(2)：17-19,60.

(責(zé)任編輯伊人鳳校對祁剛)

Domestic Research Review of Leibniz Logical Thought

XU Hua1,LI Ming2

(1.College of Marxism,Beijing University of Chemical Technology,Beijing 100029,China;2.College of Marxism,Shenyang Agricultural University,Shenyang 100866,China)

Leibniz is the founder of mathematical logic,who lies on the turning point from the traditional logic to mathematical logic,and he proposed a more complete thoughts on the establishment of a new logic.Leibniz′s logical thinking is the core of its philosophy,the study of logic Leibniz thought has an important role.Therefore,we must understand the current situation of the research of Leibniz′s logical thought in China.This paper gives a brief introduction to the present research situation of Leibniz thought in China from five aspects:the logic itself,epistemology,methodology,cognitive science,philosophy of language,makes a brief comment,and strives for a clear understanding of the research of Leibniz′s logical thought in china.

Leibniz;logic;review

2016-04-10

遼寧省教育廳人文社會科學(xué)研究一般項目(W2013272)

徐華(1991- )，女，山東青島人，碩士研究生。

李明(1981-)，男，遼寧鳳城人，副教授，博士，主要從事科學(xué)技術(shù)與社會(STS)、馬克思主義哲學(xué)研究。

10.13888/j.cnki.jsie(ss).2016.03.017

G02

A

1672-9617(2016)03-0381-06