李新民

【摘要】不同的學(xué)者就萊布尼茨在西方邏輯史中的分期問題給出了不同的見解。萊布尼茨既修正和改進(jìn)了傳統(tǒng)邏輯又對現(xiàn)代邏輯奠定了基礎(chǔ)，這是產(chǎn)生爭議的原因?，F(xiàn)代邏輯與傳統(tǒng)邏輯的最大區(qū)別在于具有形式語言和邏輯演算的特點(diǎn)。萊布尼茨的邏輯思想體現(xiàn)了形式語言與邏輯演算的邏輯思想和特點(diǎn)，這些特點(diǎn)體現(xiàn)在他的“普遍語言”和“思維演算”思想中。因此萊布尼茨的邏輯思想具有現(xiàn)代邏輯思想的內(nèi)容和特點(diǎn)，他的邏輯思想屬于現(xiàn)代邏輯思想，他是現(xiàn)代邏輯學(xué)家。

【關(guān)鍵詞】萊布尼茨；分期問題；西方邏輯史

【中圖分類號】B810? ? ? ? ? ?【文獻(xiàn)標(biāo)識碼】A? ? ? ? ? ?【文章編號】2096-8264（2023）44-0087-04

【DOI】10.20024/j.cnki.CN42-1911/I.2023.44.027

萊布尼茨在西方邏輯史的分期問題是一個有爭議的問題。有一些學(xué)者認(rèn)為應(yīng)當(dāng)將萊布尼茨歸類為傳統(tǒng)的經(jīng)院邏輯學(xué)家，另一些學(xué)者認(rèn)為應(yīng)當(dāng)把萊布尼茨歸類為現(xiàn)代邏輯學(xué)家，還有一些學(xué)者認(rèn)為萊布尼茨既是傳統(tǒng)邏輯學(xué)家又是現(xiàn)代邏輯學(xué)家。

一、萊布尼茨在西方邏輯史中存在分期問題

萊布尼茨被認(rèn)為是西方傳統(tǒng)古典邏輯的繼承者與改革者，同時也是現(xiàn)代數(shù)理邏輯的開創(chuàng)者。作為從傳統(tǒng)邏輯向現(xiàn)代邏輯轉(zhuǎn)折的人物，許多學(xué)者在其應(yīng)當(dāng)屬于傳統(tǒng)邏輯時期的代表人物還是屬于現(xiàn)代邏輯時期的代表人物的問題上存在爭議。

（一）將萊布尼茨歸為傳統(tǒng)邏輯學(xué)家的觀點(diǎn)

翻開西方邏輯史的著作，有的學(xué)者將萊布尼茨歸為傳統(tǒng)邏輯時期的代表人物。例如，萊布尼茨在馬玉珂編寫的著作《西方邏輯史》中被歸類為近代傳統(tǒng)邏輯的代表人物，作者提出自己的觀點(diǎn)認(rèn)為萊布尼茨可以被稱作現(xiàn)代形式邏輯的“初步奠基者”。此外，一些學(xué)者認(rèn)為“他的邏輯研究在很大程度上與亞里士多德的三段論相似，他的思想屬于過去?！盵1]將萊布尼茨的邏輯思想與亞里士多德的邏輯思想相比較，認(rèn)為這兩位學(xué)者的邏輯思想相似，認(rèn)為萊布尼茨的邏輯思想是在吸收亞里士多德邏輯思想中的核心部分的基礎(chǔ)上發(fā)展而來的，認(rèn)為萊布尼茨的邏輯思想并沒有超越亞里士多德邏輯思想的框架，因此是屬于傳統(tǒng)邏輯的思想，因此應(yīng)當(dāng)把萊布尼茨歸為傳統(tǒng)邏輯學(xué)家。

國外邏輯學(xué)家們對萊布尼茨的歷史分期問題也存在分歧。威廉·涅爾與瑪莎·涅爾在其著作《邏輯的發(fā)展》中認(rèn)為萊布尼茨的邏輯思想“對其之后的兩百年間幾乎沒有產(chǎn)生大的影響”[2]，認(rèn)為萊布尼茨的邏輯思想雖然在邏輯思想史上非常重要，但是因?yàn)殚L期被封存導(dǎo)致其邏輯思想對于現(xiàn)代邏輯的產(chǎn)生和發(fā)展并沒有直接的影響和多大的推動作用，因此萊布尼茨的邏輯思想是屬于傳統(tǒng)邏輯思想，萊布尼茨是傳統(tǒng)邏輯學(xué)家。

總之，不少國內(nèi)邏輯學(xué)家和國外邏輯學(xué)認(rèn)為萊布尼茨的邏輯思想并沒有擺脫亞里士多德邏輯思想的影響，認(rèn)為其邏輯思想對現(xiàn)代邏輯的發(fā)展并無多少影響。

（二）將萊布尼茨歸為現(xiàn)代邏輯學(xué)家的觀點(diǎn)

有一部分學(xué)者認(rèn)為應(yīng)當(dāng)將萊布尼茨歸類為現(xiàn)代邏輯時期的代表人物。例如，萊布尼茨在張家龍編寫的《邏輯學(xué)思想史》中屬于現(xiàn)代邏輯時期的代表人物。在張家龍編寫的著作《數(shù)理邏輯發(fā)展史》中萊布尼茨被評價為現(xiàn)代西方數(shù)理邏輯的創(chuàng)始人?！叭R布尼茨是近代西方哲學(xué)史少有的幾個卓越的哲學(xué)家……他對現(xiàn)代西方哲學(xué)產(chǎn)生了深遠(yuǎn)的影響?！盵3]認(rèn)為萊布尼茨的邏輯思想對現(xiàn)代西方邏輯思想具有奠基的作用，因此屬于現(xiàn)代邏輯思想。另一些學(xué)者也提出觀點(diǎn)，他們認(rèn)為“現(xiàn)代西方邏輯思想始于17世紀(jì)后半葉萊布尼茨的研究成果?！盵4]萊布尼茨的邏輯思想被認(rèn)為是現(xiàn)代西方邏輯思想的開端和奠基。現(xiàn)代西方邏輯思想是在萊布尼茨邏輯思想的基礎(chǔ)上建立起來的，而與形成明顯對比的是海因里·肖爾茲將萊布尼茨歸類為現(xiàn)代邏輯學(xué)家，他認(rèn)為萊布尼茨可以稱得上是現(xiàn)代邏輯的創(chuàng)始人。在古都拉特編寫的著作《萊布尼茨邏輯文集》中萊布尼茨的邏輯思想被分類為現(xiàn)代邏輯。艾力克·J·艾頓認(rèn)為萊布尼茨的“普遍語言”和“思維演算”在“現(xiàn)代邏輯史中扮演了重要的作用”[5]，萊布尼茨是現(xiàn)代邏輯學(xué)家中的重要代表人物。

當(dāng)然，也有學(xué)者認(rèn)為萊布尼茨的一部分邏輯思想屬于傳統(tǒng)邏輯，而另一部分邏輯思想屬于現(xiàn)代邏輯，因此萊布尼茨屬于傳統(tǒng)邏輯與現(xiàn)代邏輯轉(zhuǎn)折點(diǎn)上的代表人物?？傊谌R布尼茨應(yīng)該屬于傳統(tǒng)邏輯時期還是應(yīng)當(dāng)屬于現(xiàn)代邏輯時期這個問題上，無論是國內(nèi)學(xué)者還是國外學(xué)者都沒有形成一致的見解。

二、對萊布尼茨在西方邏輯史上分期問題產(chǎn)生原因的分析

不同的學(xué)者對萊布尼茨在西方邏輯史上的分期問題有著不同的見解。產(chǎn)生這種現(xiàn)狀的原因有許多，其中最主要的原因是萊布尼茨處于傳統(tǒng)邏輯與現(xiàn)代邏輯的歷史轉(zhuǎn)折期，其邏輯思想既對西方傳統(tǒng)邏輯思想進(jìn)行了修正和改進(jìn)，并在繼承傳統(tǒng)邏輯思想的基礎(chǔ)上提出具有現(xiàn)代邏輯思想特點(diǎn)的學(xué)術(shù)觀點(diǎn)。正是因?yàn)槿R布尼茨的邏輯思想介于傳統(tǒng)邏輯思想與現(xiàn)代邏輯思想之間，使得學(xué)者對其邏輯思想在邏輯史中的分期問題存在爭議。

（一）萊布尼茨對西方傳統(tǒng)邏輯進(jìn)行了修正和改進(jìn)

萊布尼茨對西方傳統(tǒng)邏輯進(jìn)行修正和改進(jìn)主要表現(xiàn)亞里士多德邏輯思想進(jìn)行了繼承和修正，此外對傳統(tǒng)邏輯規(guī)律進(jìn)行了改進(jìn)和補(bǔ)充。萊布尼茨的邏輯思想是建立在亞里士多德古典邏輯思想特別是三段論思想的基礎(chǔ)之上，并對亞里士德的同一律理論和化歸理論進(jìn)行了修正和改進(jìn)。此外，萊布尼茨改進(jìn)傳統(tǒng)邏輯規(guī)律，認(rèn)為“同一律”是屬于邏輯規(guī)律，并提出了將“充足理由律”作為邏輯規(guī)律的觀點(diǎn)。

首先，萊布尼茨對亞氏三段論進(jìn)行了修正。萊布尼茨的邏輯思想是在傳統(tǒng)邏輯思想的基礎(chǔ)上進(jìn)行修正和改進(jìn)而產(chǎn)生的，并以傳統(tǒng)邏輯的方式闡述出來。萊布尼茨在對亞里士多德三段論思想進(jìn)行修正的基礎(chǔ)上提出了自己的邏輯思想。萊布尼茨將亞里士多德的三段論思想中的化歸理論進(jìn)行了修正和改進(jìn)。這種改進(jìn)主要體現(xiàn)在用三段論和同一律證明換位法的合理性，并將換位法歸為三段論理論體系中。例如，“所有的甲不是乙”；“所有乙是乙”；“所有乙不是甲”。在這個三段論中，大前提中的主項(xiàng)和謂項(xiàng)換位成了結(jié)論中的謂項(xiàng)和主項(xiàng)，小前提使用了同一律。此外，萊布尼茨通過建立論證，證明了亞里士多德的直言三段論中的第四個格是有效的，并證明了其中的二十四個有效式是存在的。萊布尼茨的這些論證是對亞里士多德的古典三段論思想進(jìn)行了補(bǔ)充和修正。

萊布尼茨對亞里士多德三段論思想的改進(jìn)還表現(xiàn)在用幾何圖形來描述三段論，并用符號表示命題的質(zhì)和量：U表示全稱，P表示特稱，A表示肯定，N表示否定。例如U.A.表示全稱肯定命題?？傊?，萊布尼茨的邏輯思想繼承了亞里士多德的古典三段論思想，但他的邏輯思想并沒有受限于亞里士多德的思想框架，而是在此基礎(chǔ)上進(jìn)行了理性批判，并提出了獨(dú)到而創(chuàng)新的理論思想。

其次，萊布尼茨對傳統(tǒng)邏輯規(guī)律進(jìn)行了改進(jìn)。萊布尼茨對傳統(tǒng)古典邏輯中的邏輯規(guī)律理論進(jìn)行改進(jìn)和完善。亞里士多德在其著作中曾提出過“同一律”的邏輯思想，但他并沒有對“同一律”理論進(jìn)行詳細(xì)的論證，他更沒有把“同一律”當(dāng)作是一個邏輯規(guī)律。萊布尼茨將亞里士多德邏輯思想中的“同一律”單獨(dú)列出來研究，并在此基礎(chǔ)上明確地提出了觀點(diǎn)，提出了“同一性原則”這個概念，對“同一性原則”進(jìn)行了論證，并將這一原則上升到邏輯“律”的高度。因此，人們也將“同一律”稱作“萊布尼茨律”。

此外，萊布尼茨也是邏輯史上第一個將“充足理由律”作為邏輯規(guī)律的學(xué)者，稱“充足理由律”為“原初命題”。亞里士多德的傳統(tǒng)邏輯思想一向重視對必然性真理的研究，而“矛盾律”和“排中律”對必然性真理的論證提供了理論基礎(chǔ)，因此，亞里士多德的邏輯思想中只有“矛盾律”和“排中律”這兩種邏輯規(guī)律。萊布尼茨提出了偶然事實(shí)真理的觀點(diǎn)，為了證明偶然事實(shí)真理是存在，萊布尼茨為此提出了“充足理由律”理論。萊布尼茨認(rèn)為“充足理由律”作為思維和推理的規(guī)則，“充足理由律”被用來確立偶然事實(shí)真理。與傳統(tǒng)邏輯中的“矛盾律”和“排中律”等必然性真理的原則相對，萊布尼茨認(rèn)為“充足理由律”是“偶然事實(shí)真理”的原則。

（二）“萊布尼茨之夢”是對現(xiàn)代邏輯的啟發(fā)和奠基

萊布尼茨在繼承和改進(jìn)傳統(tǒng)邏輯的基礎(chǔ)上提出了對現(xiàn)代邏輯的構(gòu)想。萊布尼茨對現(xiàn)代邏輯的構(gòu)想可以形象生動的用“萊布尼茨之夢”表述。萊布尼茨希望創(chuàng)造一種不同于人類約定俗成的自然語言的無歧義的人工語言，當(dāng)人們就某個問題而產(chǎn)生爭執(zhí)的時候，只要使用這種無歧義的語言，坐下來用筆和紙算一算就可以解決爭議。“萊布尼茨之夢”最核心的思想是使人的思維符號化和規(guī)則化，像數(shù)學(xué)計算那樣。萊布尼茨的這種構(gòu)想主要體現(xiàn)在其邏輯思想“普遍語言”和“思維演算”中。萊布尼茨的“普遍語言”是一種直接表示概念的符號系統(tǒng)，是一種表達(dá)人們?nèi)克枷氲淖址?。這種“普遍語言”的特點(diǎn)是抽象性和無歧性，可以直接表達(dá)人們的思維。萊布尼茨的“思維演算”思想表現(xiàn)在他的邏輯思想中包含有乘、加、否、減、除運(yùn)算，將命題推理轉(zhuǎn)換為代數(shù)運(yùn)算的思想。他的“普遍語言”和“思維演算”理論對邏輯代數(shù)和數(shù)理邏輯的發(fā)展產(chǎn)生深遠(yuǎn)影響，并且“為后世邏輯學(xué)家的研究提出了新的范式和方法，后世現(xiàn)代哲學(xué)的發(fā)展都產(chǎn)生重要影響?！盵6]

總之，萊布尼茨的邏輯思想既繼承和改進(jìn)了傳統(tǒng)邏輯的思想，與此同時，提出了對現(xiàn)代邏輯的構(gòu)想。正是因?yàn)槿R布尼茨的邏輯思想具有承前啟后的學(xué)術(shù)地位，不同的學(xué)者對其邏輯思想在邏輯史中的分期問題上存在不同的見解和爭議。

三、萊布尼茨應(yīng)當(dāng)被歸為現(xiàn)代邏輯學(xué)家

萊布尼茨的邏輯理論思想既是對傳統(tǒng)古典邏輯思想的繼承與改進(jìn)，也是對現(xiàn)代邏輯的構(gòu)想并產(chǎn)生啟發(fā)，其邏輯思想是在傳統(tǒng)古典邏輯向現(xiàn)代數(shù)理邏輯發(fā)展的轉(zhuǎn)折時期形成的。而萊布尼茨對現(xiàn)代邏輯的構(gòu)想是其邏輯貢獻(xiàn)的主要部分。為了實(shí)現(xiàn)“萊布尼茨之夢”，萊布尼茨提出了“普遍語言”和“思維演算”的邏輯思想。其“普遍語言”思想體現(xiàn)了形式語言的特點(diǎn)，其“思維演算”思想體現(xiàn)了邏輯演算的特點(diǎn)。形式語言和邏輯演算是現(xiàn)代的主要特點(diǎn)。所以萊布尼茨的“普遍語言”和“思維演算”思想具有現(xiàn)代邏輯思想的特點(diǎn)。因此，萊布尼茨的邏輯思想是屬于現(xiàn)代邏輯思想。此外，萊布尼茨的邏輯思想為數(shù)理邏輯的產(chǎn)生和發(fā)展奠定了基礎(chǔ)，在數(shù)理邏輯的產(chǎn)生和發(fā)展上具有一定的作用和貢獻(xiàn)。萊布尼茨在數(shù)理邏輯理論上的貢獻(xiàn)遠(yuǎn)遠(yuǎn)大于其對傳統(tǒng)邏輯的貢獻(xiàn)。例如，弗雷格直接吸收萊布尼茨的邏輯思想，在其原有符號的基礎(chǔ)上又增加了新的符號，以此構(gòu)建出其“概念文字”。鑒于萊布尼茨的邏輯思想的特點(diǎn)萊布尼茨應(yīng)當(dāng)被歸為現(xiàn)代邏輯學(xué)家。

（一）形式語言和邏輯演算是現(xiàn)代邏輯的主要特點(diǎn)

大部分學(xué)者認(rèn)為西方邏輯學(xué)可以被劃分為傳統(tǒng)邏輯和現(xiàn)代邏輯兩個階段。傳統(tǒng)的古典西方邏輯主要是指現(xiàn)代數(shù)理邏輯產(chǎn)生以前的西方邏輯學(xué)思想，它是由古希臘亞里士多德創(chuàng)立并在此基礎(chǔ)上發(fā)展而來的。西方傳統(tǒng)古典邏輯思想經(jīng)過中世紀(jì)時期與近代的漫長發(fā)展，形成以下幾個主要內(nèi)容：概念理論、詞項(xiàng)邏輯、古典命題邏輯和古典歸納邏輯。現(xiàn)代西方邏輯主要是指數(shù)理邏輯。數(shù)理邏輯通常是指一階邏輯、公理集合論、模型論、遞歸論和證明論等理論。此外現(xiàn)代邏輯還包括高階邏輯、哲學(xué)邏輯、現(xiàn)代歸納邏輯等內(nèi)容。

傳統(tǒng)西方邏輯與現(xiàn)代西方邏輯的重要區(qū)別在于現(xiàn)代西方邏輯采用形式語言和邏輯演算作為研究工具和方法。形式語言區(qū)別于人們?nèi)粘Ｊ褂玫淖匀徽Z言，這是一種具有高度抽象特點(diǎn)并經(jīng)過嚴(yán)格定義了的人工語言符號。形式語言是專門為研究邏輯學(xué)理論和思想而人為創(chuàng)造的人工語言，它不是人們約定俗成的。形式語言中的符號和符號所表達(dá)的意義是經(jīng)過嚴(yán)格定義的，從而避免了歧義。相比之下，自然語言為研究邏輯的工具容易產(chǎn)生歧義。這正是抽象的形式語言與人們所使用的日常自然語言的主要區(qū)別。因此區(qū)分傳統(tǒng)邏輯與現(xiàn)代邏輯的一個重要依據(jù)是看在研究邏輯理論時是使用形式語言還是自然語言。

現(xiàn)代邏輯的另一個重要內(nèi)容與特點(diǎn)是邏輯演算。傳統(tǒng)古典西方邏輯和現(xiàn)代邏輯的研究對象都是人類的思維形式，尤其注重對推理的研究?，F(xiàn)代西方數(shù)理邏輯理論是在數(shù)學(xué)科學(xué)理論與心理思維科學(xué)的基礎(chǔ)上發(fā)展而來的，并且對數(shù)學(xué)基礎(chǔ)研究產(chǎn)生了推動。現(xiàn)代邏輯尤其是數(shù)理邏輯企圖用數(shù)學(xué)化的思想來研究邏輯現(xiàn)象，使得邏輯理論的研究數(shù)學(xué)化，這些邏輯系統(tǒng)都具有抽象化的特點(diǎn)，這些邏輯思想與現(xiàn)實(shí)生活的距離似乎更遙遠(yuǎn)了。

總之，形式語言和邏輯演算是現(xiàn)代邏輯的主要特點(diǎn)。

（二）萊布尼茨的邏輯思想具有形式語言和邏輯演算的特點(diǎn)

萊布尼茨是傳統(tǒng)邏輯與現(xiàn)代邏輯轉(zhuǎn)折點(diǎn)上的邏輯學(xué)家，其邏輯思想是在對傳統(tǒng)邏輯的繼承和修正的基礎(chǔ)上對現(xiàn)代邏輯的提出的構(gòu)想。萊布尼茨最核心邏輯思想是具有現(xiàn)代邏輯思想的內(nèi)容和特點(diǎn)，即萊布尼茨的邏輯思想具有形式語言和邏輯演算的特點(diǎn)。正如有學(xué)者認(rèn)為的“萊布尼茨的數(shù)理邏輯思想主要包括在兩個方面，一是嘗試創(chuàng)造‘通用的符號語言’，二是運(yùn)用抽象符號語言系統(tǒng)進(jìn)行抽象的‘思維的演算’。”[7]

首先，萊布尼茨的“普遍語言”思想體現(xiàn)了形式語言的特點(diǎn)。在萊布尼茨編寫的著作《神正論》中，他提出了“普遍語言”這一邏輯思想。他把“普遍語言”稱作為“人類思想的字母表”。運(yùn)用這種抽象的語言，一切真理都可以被還原為一種思維的演算。萊布尼茨所指的“普遍語言”其實(shí)是一種人工語言系統(tǒng)?！斑@種語言是一種用來代替自然語言的人工語言，它是表意符號的語言而不是表音符號的語言，每一個語言符號都表達(dá)了一個概念，就如同數(shù)學(xué)符號一樣?！盵8]萊布尼茨提出觀點(diǎn)，認(rèn)為應(yīng)該通過使用一種統(tǒng)一的科學(xué)語言來統(tǒng)一人類科學(xué)，為認(rèn)識世界而建立一種統(tǒng)一無歧義的表達(dá)方式?！叭R布尼茨的‘普遍語言’具有三個特點(diǎn)：首先，‘普遍語言’中的符號與人腦中的概念是一一對應(yīng)的；其次，‘普遍語言’中的符號是可以分解的；最后，‘普遍語言’符號之間的關(guān)系與人腦中概念之間的關(guān)系是一一對應(yīng)的?！盵9]由此可知，萊布尼茨所說的“普遍語言”是一種區(qū)別于自然語言的嚴(yán)格語言，這種人工語言符號與人們的思維內(nèi)容是一一對應(yīng)的關(guān)系，是為了描述人腦中的思維內(nèi)容、思維過程和思維形式而創(chuàng)立出來的，這種語言使思想的表達(dá)變得十分精確。有學(xué)者認(rèn)為萊布尼茨提出的“普遍語言”邏輯思想是受到中國漢字這種表義文字的啟發(fā)而構(gòu)想出來的一種人工語言理論。中國的漢字是表義語言，每一個漢字表示一個意義，漢字與漢字之間表現(xiàn)了內(nèi)容之間的內(nèi)在關(guān)系。萊布尼茨所提出的“普遍語言”描述和反映的是人腦中的思維概念，其中的語言符號是與概念一一對應(yīng)的關(guān)系，是一種表義的語言。并且，正因?yàn)槿绱?，有學(xué)者提出觀點(diǎn)，認(rèn)為“萊布尼茨在‘普遍語言’理論的論述思想中足以證明他是數(shù)理邏輯的奠基人?！盵10]總之，萊布尼茨所指的“普遍語言”是一種區(qū)別于自然語言的抽象的且表義的人工語言。這種語言只表達(dá)人腦中的概念和概念之間的各種關(guān)系，并且具有高度的抽象性與概括性的特點(diǎn)，而這就是現(xiàn)代數(shù)理邏輯中的形式語言的特點(diǎn)。

其次，萊布尼茨的“思維演算”思想體現(xiàn)了邏輯演算的特點(diǎn)。萊布尼茨對現(xiàn)代邏輯的設(shè)想還表現(xiàn)在其“思維演算”思想中?！皵?shù)學(xué)化思想”思潮的形成是有一個歷史發(fā)展的過程。隨著現(xiàn)代科學(xué)技術(shù)的發(fā)展，數(shù)學(xué)是近現(xiàn)代自然科學(xué)發(fā)展的基礎(chǔ)，在自然科學(xué)發(fā)展過程中扮演著越來越重要的角色。正因?yàn)閿?shù)學(xué)在科學(xué)領(lǐng)域的重要作用突顯出來，人們發(fā)現(xiàn)了數(shù)學(xué)在推動科學(xué)技術(shù)發(fā)展中是不可或缺的，“數(shù)學(xué)化思想”慢慢進(jìn)入人們的視野?！皵?shù)學(xué)化思想”成為近代以來的一種思潮，人們將數(shù)學(xué)思想和理論運(yùn)用到各個領(lǐng)域中，企圖用數(shù)學(xué)解決一切問題。例如，從伽利略開始，自然科學(xué)開始全面的數(shù)學(xué)化。萊布尼茨繼承前人的思想，并將“數(shù)學(xué)化思想”向社會科學(xué)領(lǐng)域擴(kuò)展。萊布尼茨將數(shù)學(xué)化思想“應(yīng)用于邏輯問題的研究，形成自己獨(dú)特的數(shù)學(xué)化思想?！盵11]萊布尼茨的“數(shù)學(xué)化思想”在邏輯學(xué)領(lǐng)域的成果是其“思維演算”理論。萊布尼茨的“思維演算”理論的核心思想包括把思維過程簡化為推理過程和把邏輯推理數(shù)學(xué)化。萊布尼茨在其著作《論組合術(shù)》中提了建立思維演算的設(shè)想。這個設(shè)想就是把推理化歸于計算，用計算來解決人們的爭論。“萊布尼茨非常希望把數(shù)學(xué)的計算理論和方法用到邏輯學(xué)的研究中，用來處理邏輯的各種關(guān)系和推理問題的研究，把推理變成一種數(shù)學(xué)演算，把推理規(guī)則轉(zhuǎn)變成為數(shù)學(xué)演算的規(guī)則?！盵12]萊布尼茨的“思維演算”理論是受“數(shù)學(xué)化思想”的影響發(fā)展起來的，企圖用數(shù)學(xué)化的思想來研究邏輯現(xiàn)象，使邏輯理論的研究數(shù)學(xué)化，這正是邏輯演算的特點(diǎn)?？傊?，萊布尼茨對邏輯學(xué)發(fā)展所作的巨大貢獻(xiàn)主要體現(xiàn)在他對現(xiàn)代邏輯的設(shè)想上。萊布尼茨對現(xiàn)代邏輯的設(shè)想主要有“普遍語言”和“思維演算”。“萊布尼茨之夢”為現(xiàn)代邏輯的產(chǎn)生和發(fā)展提出了方向，提供了設(shè)想，奠定了基礎(chǔ)。因此，萊布尼茨應(yīng)當(dāng)是現(xiàn)代邏輯學(xué)家。

四、結(jié)語

萊布尼茨在西方邏輯史中的分期問題在國內(nèi)外學(xué)者中存在爭議。對這個問題的回答不僅關(guān)系到是將萊布尼茨劃歸為傳統(tǒng)邏輯學(xué)家還是劃歸為現(xiàn)代邏輯學(xué)家，更重要的是體現(xiàn)了對萊布尼茨邏輯思想在西方邏輯史中的地位和對現(xiàn)代數(shù)理邏輯發(fā)展中的作用和意義的認(rèn)識。本文從西方傳統(tǒng)邏輯思想與現(xiàn)代數(shù)理邏輯思想之間的主要區(qū)別為思考的切入點(diǎn)，運(yùn)用歷史分析法，比較萊布尼茨邏輯思想的主要特點(diǎn)和其思想對后世邏輯學(xué)發(fā)展的影響，提出了將萊布尼茨的邏輯思想歸類為現(xiàn)代邏輯思想中來在觀點(diǎn)，將萊布尼茨歸入現(xiàn)代邏輯學(xué)家?？偟膩碚f，萊布尼茨的邏輯思想對現(xiàn)代邏輯的產(chǎn)生和發(fā)展具有啟發(fā)和奠基的作用。

參考文獻(xiàn)：

[1]朱建平.萊布尼茨邏輯學(xué)說的歷史命運(yùn)[J].南京社會科學(xué)，2014，（03）：62-68.

[2]KNEALE W，KNEALE M.The Development of Logic[M].Oxford：Clarendon Press，1962.

[3]段德智.萊布尼茨對現(xiàn)代西方哲學(xué)的影響[J].武漢大學(xué)學(xué)報（哲學(xué)社會科學(xué)版），1996，（06）：9-14.

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

[5]AITON E，LEIBNIZ.A Biography[M].Boston：Adam Hilger，1985.

[6]劉曉東.萊布尼茨邏輯思想探析[D].河北大學(xué)，2020.

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

[8]張家龍.數(shù)理邏輯的產(chǎn)生和發(fā)展[J].北京航空航天大學(xué)學(xué)報（社會科學(xué)版），2000，（01）：26-29.

[9]劉輝.普遍語言與人工智能——萊布尼茨的語言觀探析[J].外語學(xué)刊，2020，（01）：122-126.

[10]王自貴.萊布尼茨邏輯思想研究[D].西南大學(xué)，2016.

[11]王琦.萊布尼茨的語言數(shù)學(xué)化思想[J].自然辯證法研究，2016，32（06）：106-112.

[12]刁明禮.從邏輯演算的角度看萊布尼茨的數(shù)理邏輯思想[J].蘭州大學(xué)學(xué)報（社會科學(xué)版），2009，37（S1）：54- 56.