萊布尼茨邏輯思想研究.pdf

1、在邏輯學(xué)的發(fā)展史上，萊布尼茨的研究成果可謂卓越無比，邏輯思想可圈可點(diǎn)，這很大程度上取決于他能“站在巨人的肩膀上”，在對前人知識(shí)分析綜合和批判繼承的基礎(chǔ)上，進(jìn)行知識(shí)創(chuàng)新。萊布尼茨的很多邏輯思想都能在其前人那里找到源頭，但他善良寬容、長于批判、敏銳機(jī)智的獨(dú)特個(gè)性，總能使他從別人熟視無睹、老生常談的東西那里發(fā)現(xiàn)真知爍見。
　　在數(shù)理邏輯方面，萊布尼茨關(guān)于普遍語言的思想論述，足以表明他是當(dāng)之無愧的數(shù)理邏輯奠基人。在今天看來就是由弗雷格、皮

2、爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng)，其特點(diǎn)是運(yùn)用人工語言符號，以及公理化、形式化的方法。這些萊布尼茨都已經(jīng)作過深入思考，并且做了大量開拓性的工作。他提出建立“普遍數(shù)學(xué)”的指導(dǎo)思想：一是建立一種普遍語言，如同數(shù)學(xué)的符號一樣，這種語言的每一符號表達(dá)一個(gè)概念；二是確立一個(gè)完善的邏輯演算體系，演算就是根據(jù)確立的邏輯規(guī)則進(jìn)行符號運(yùn)算。以上兩點(diǎn)正是數(shù)理邏輯的基本特征。他創(chuàng)立了一種關(guān)于兩個(gè)概念相結(jié)合的邏輯演算，提出了被后人所稱頌的“萊布尼茨定理”，即“

3、a是b”和“b是a”。這一定理意義非凡，能通過幾個(gè)步驟確定可能存在的無數(shù)的命題的真值，也能證明每一個(gè)可能存在的三段論。他提出了第一條真值定律，—通過替換相同的符號從預(yù)設(shè)的法則推出結(jié)論。這一定律可用自然語言解讀為等詞定義：一物能為另一物所替代而保持原來命題的真實(shí)性，那么它們就是同一的，這也稱為不可分辨同一性原理。將命題形式表達(dá)為符號公式是他在數(shù)理邏輯領(lǐng)域的另一主要貢獻(xiàn)。萊布尼茨堅(jiān)信，創(chuàng)造這種包含一切學(xué)科的普遍語言是極其困難的，但學(xué)起來卻是

4、非常容易的。由于這種語言驚人的靈巧和巨大的效用，將很快被人們接受，而且還可以再接受它的不同民族的交往中發(fā)揮積極而重要的作用。由此，他被尊為世界語的先驅(qū)。發(fā)現(xiàn)一種普遍化的萬能數(shù)學(xué)，用計(jì)算來代替思考，是他一生癡迷的事業(yè)和堅(jiān)持不懈的追求。
　　在傳統(tǒng)邏輯方面，萊布尼茨的主要貢獻(xiàn)體現(xiàn)在兩個(gè)方面：一是改進(jìn)了亞里士多德的三段論；二是提出充足理由原則，這一原則隨后被納入傳統(tǒng)邏輯基本規(guī)律的范疇。萊布尼茨認(rèn)識(shí)到，數(shù)學(xué)方法具有無與倫比的重要性，用文字

5、或符號取代概念，既簡明又無歧義，演算過程嚴(yán)謹(jǐn)，所得結(jié)果也不會(huì)有爭議。他便嘗試把線段、圓、字母、數(shù)字等符號用在亞里士多德三段論的形式化上，除三段論本身的一些規(guī)則，他又新確立一些自然演繹規(guī)則，用來對三段論中4格24式的有關(guān)轉(zhuǎn)化進(jìn)行推理論證。為區(qū)分推理真理和事實(shí)真理，萊布尼茨在哲學(xué)中第一次引入充足理由原則，這一原則是萊布尼茨思想體系大廈的基石，它用以證明有一個(gè)上帝存在，以及證明形而上學(xué)或自然神學(xué)的所有其他部分，甚至多少可以證明那些獨(dú)立不依賴于

6、數(shù)學(xué)的自然哲學(xué)原理，例如，動(dòng)力學(xué)原理或力的原理，時(shí)空的相對性等等，以此解決困擾人類理性的兩大迷宮問題。這一原則有著深刻的理論內(nèi)涵和實(shí)踐意義，它體現(xiàn)了人類探求世界本原的永恒渴望，體現(xiàn)了人類愛慕理性、窮詰真理的艱辛歷程。他對社會(huì)認(rèn)知具有指導(dǎo)作用，對近現(xiàn)代邏輯學(xué)、哲學(xué)及科學(xué)技術(shù)發(fā)展等都有不可忽視的作用。
　　在邏輯哲學(xué)方面，萊布尼茨提出兩種真理論，以及與此相關(guān)的可能世界理論。他在歷史上第一次明確提出推理真理與事實(shí)真理的劃分。真理是用命題

7、表達(dá)的，命題可以分為性質(zhì)命題和存在命題兩類，與此對應(yīng)的是兩種真理。性質(zhì)命題的謂項(xiàng)總包含在主項(xiàng)中，體現(xiàn)的是必然真理或推理真理，其真假判斷標(biāo)準(zhǔn)依照矛盾原則。存在命題體現(xiàn)的是事實(shí)真理，其真假判斷標(biāo)準(zhǔn)不能依照矛盾原則，因?yàn)槭聦?shí)的命題的反面也是可能的，不能因此而否認(rèn)這個(gè)命題的真理性，于是萊布尼茨另提出了充足理由原則作為存在命題的真假判斷標(biāo)準(zhǔn)。矛盾原則是關(guān)于本質(zhì)的原則，充足理由原則是關(guān)于存在的原則，前者適用于一切可能的世界，后者適用于現(xiàn)存世界(現(xiàn)象

8、世界)及其所內(nèi)蘊(yùn)的偶然的個(gè)體事物。推理真理與事實(shí)真理既有聯(lián)系，也有區(qū)別，兩者是對立統(tǒng)一的辯證關(guān)系。推理真理是事實(shí)真理的前提和基礎(chǔ)，事實(shí)真理最終要依靠推理真理。但推理真理是關(guān)于存在的偶然性真理，與關(guān)于本質(zhì)的必然性真理有著根本的區(qū)別。為充分說明兩類真理的區(qū)別于聯(lián)系，萊布尼茨又創(chuàng)立了可能世界理論。這一理論認(rèn)為，事物的存在方式是多種多樣的，只要不包含邏輯矛盾的事物組合都能構(gòu)成可能世界。后來的模態(tài)邏輯語義理論就是在這些思想上逐漸發(fā)展和完善的。20

9、世紀(jì)30年代興起了模態(tài)邏輯研究熱，可能世界語義學(xué)作為最具影響力的邏輯語義理論之一，如今廣泛應(yīng)用于真勢模態(tài)邏輯、道義邏輯、時(shí)態(tài)邏輯、拓?fù)溥壿嫷葟V義模態(tài)邏輯領(lǐng)域，不能不說這在很大程度上是拜萊布尼茨的“可能世界”思想所賜?？赡苁澜缯Z義學(xué)已經(jīng)相當(dāng)完善，但要適應(yīng)自然語言中所體現(xiàn)的更為復(fù)雜的人類模態(tài)思維實(shí)際，還有很多困難和問題。如何從哲學(xué)本體論和認(rèn)識(shí)論的角度來深刻理解該理論框架中的各種符號，也就是對于該語義理論框架如何進(jìn)行哲學(xué)意義上的“再解釋”或“