徐　華，李　明

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

?

萊布尼茨邏輯思想國(guó)內(nèi)研究述評(píng)

徐華1，李明2

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

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

萊布尼茨 ； 邏輯 ； 述評(píng)

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

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

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

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

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

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

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

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

1.從邏輯本身的進(jìn)路進(jìn)行研究

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

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

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

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

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

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

3.從方法論的進(jìn)路進(jìn)行研究

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

在從方法論這個(gè)角度上，基本上都是從普遍語(yǔ)言和理性演算來(lái)談的，但是也是僅僅局限于普遍語(yǔ)言和理性語(yǔ)言的特點(diǎn)上，至于為什么它的特點(diǎn)可以使傳統(tǒng)邏輯轉(zhuǎn)向數(shù)理邏輯沒(méi)有說(shuō)明，這是因?yàn)槲覀儗?duì)于萊布尼茨的邏輯思想沒(méi)有系統(tǒng)的把握，所以只知是什么，而不知為什么。

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

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

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

5.從語(yǔ)言哲學(xué)的角度進(jìn)行研究

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

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

三、評(píng)價(jià)與研究展望

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[17]趙永青.談?dòng)?jì)算機(jī)語(yǔ)言的邏輯基礎(chǔ)[J].哈爾濱市委黨校學(xué)報(bào)，2009(6)：34-35.

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

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

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

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

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

[23]夏國(guó)軍.語(yǔ)言邏輯與形式化[J].南開(kāi)學(xué)報(bào)，2004(3)：63-72.

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

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

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

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

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

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

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

G02

A

1672-9617(2016)03-0381-06