李新民

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

【關鍵詞】萊布尼茨；分期問題；西方邏輯史

【中圖分類號】B810? ? ? ? ? ?【文獻標識碼】A? ? ? ? ? ?【文章編號】2096-8264（2023）44-0087-04

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

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

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

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

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

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

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

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

（二）將萊布尼茨歸為現代邏輯學家的觀點

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

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

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

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

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

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

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

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

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

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

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

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

總之，萊布尼茨的邏輯思想既繼承和改進了傳統(tǒng)邏輯的思想，與此同時，提出了對現代邏輯的構想。正是因為萊布尼茨的邏輯思想具有承前啟后的學術地位，不同的學者對其邏輯思想在邏輯史中的分期問題上存在不同的見解和爭議。

三、萊布尼茨應當被歸為現代邏輯學家

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

（一）形式語言和邏輯演算是現代邏輯的主要特點

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

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

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

總之，形式語言和邏輯演算是現代邏輯的主要特點。

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

萊布尼茨是傳統(tǒng)邏輯與現代邏輯轉折點上的邏輯學家，其邏輯思想是在對傳統(tǒng)邏輯的繼承和修正的基礎上對現代邏輯的提出的構想。萊布尼茨最核心邏輯思想是具有現代邏輯思想的內容和特點，即萊布尼茨的邏輯思想具有形式語言和邏輯演算的特點。正如有學者認為的“萊布尼茨的數理邏輯思想主要包括在兩個方面，一是嘗試創(chuàng)造‘通用的符號語言’，二是運用抽象符號語言系統(tǒng)進行抽象的‘思維的演算’?！盵7]

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

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

四、結語

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

參考文獻：

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

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

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

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

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

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

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

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

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

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

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

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