本文關鍵詞：萊布尼茨邏輯思想研究

  更多相關文章： 萊布尼茨 普遍語言 充足理由原則 可能世界

【摘要】：在邏輯學的發(fā)展史上,萊布尼茨的研究成果可謂卓越無比,邏輯思想可圈可點,這很大程度上取決于他能“站在巨人的肩膀上”,在對前人知識分析綜合和批判繼承的基礎上,進行知識創(chuàng)新。萊布尼茨的很多邏輯思想都能在其前人那里找到源頭,但他善良寬容、長于批判、敏銳機智的獨特個性,總能使他從別人熟視無睹、老生常談的東西那里發(fā)現(xiàn)真知爍見。在數(shù)理邏輯方面,萊布尼茨關于普遍語言的思想論述,足以表明他是當之無愧的數(shù)理邏輯奠基人。在今天看來就是由弗雷格、皮爾士、羅素等人創(chuàng)立的現(xiàn)代邏輯系統(tǒng),其特點是運用人工語言符號,以及公理化、形式化的方法。這些萊布尼茨都已經(jīng)作過深入思考,并且做了大量開拓性的工作。他提出建立“普遍數(shù)學”的指導思想:一是建立一種普遍語言,如同數(shù)學的符號一樣,這種語言的每一符號表達一個概念;二是確立一個完善的邏輯演算體系,演算就是根據(jù)確立的邏輯規(guī)則進行符號運算。以上兩點正是數(shù)理邏輯的基本特征。他創(chuàng)立了一種關于兩個概念相結(jié)合的邏輯演算,提出了被后人所稱頌的“萊布尼茨定理”,即“a是b”和“b是a”。這一定理意義非凡,能通過幾個步驟確定可能存在的無數(shù)的命題的真值,也能證明每一個可能存在的三段論。他提出了第一條真值定律,——通過替換相同的符號從預設的法則推出結(jié)論。這一定律可用自然語言解讀為等詞定義:一物能為另一物所替代而保持原來命題的真實性,那么它們就是同一的,這也稱為不可分辨同一性原理。將命題形式表達為符號公式是他在數(shù)理邏輯領域的另一主要貢獻。萊布尼茨堅信,創(chuàng)造這種包含一切學科的普遍語言是極其困難的,但學起來卻是非常容易的。由于這種語言驚人的靈巧和巨大的效用,將很快被人們接受,而且還可以再接受它的不同民族的交往中發(fā)揮積極而重要的作用。由此,他被尊為世界語的先驅(qū)。發(fā)現(xiàn)一種普遍化的萬能數(shù)學,用計算來代替思考,是他一生癡迷的事業(yè)和堅持不懈的追求。在傳統(tǒng)邏輯方面,萊布尼茨的主要貢獻體現(xiàn)在兩個方面:一是改進了亞里士多德的三段論;二是提出充足理由原則,這一原則隨后被納入傳統(tǒng)邏輯基本規(guī)律的范疇。萊布尼茨認識到,數(shù)學方法具有無與倫比的重要性,用文字或符號取代概念,既簡明又無歧義,演算過程嚴謹,所得結(jié)果也不會有爭議。他便嘗試把線段、圓、字母、數(shù)字等符號用在亞里士多德三段論的形式化上,除三段論本身的一些規(guī)則,他又新確立一些自然演繹規(guī)則,用來對三段論中4格24式的有關轉(zhuǎn)化進行推理論證。為區(qū)分推理真理和事實真理,萊布尼茨在哲學中第一次引入充足理由原則,這一原則是萊布尼茨思想體系大廈的基石,它用以證明有一個上帝存在,以及證明形而上學或自然神學的所有其他部分,甚至多少可以證明那些獨立不依賴于數(shù)學的自然哲學原理,例如,動力學原理或力的原理,時空的相對性等等,以此解決困擾人類理性的兩大迷宮問題。這一原則有著深刻的理論內(nèi)涵和實踐意義,它體現(xiàn)了人類探求世界本原的永恒渴望,體現(xiàn)了人類愛慕理性、窮詰真理的艱辛歷程。他對社會認知具有指導作用,對近現(xiàn)代邏輯學、哲學及科學技術發(fā)展等都有不可忽視的作用。在邏輯哲學方面,萊布尼茨提出兩種真理論,以及與此相關的可能世界理論。他在歷史上第一次明確提出推理真理與事實真理的劃分。真理是用命題表達的,命題可以分為性質(zhì)命題和存在命題兩類,與此對應的是兩種真理。性質(zhì)命題的謂項總包含在主項中,體現(xiàn)的是必然真理或推理真理,其真假判斷標準依照矛盾原則。存在命題體現(xiàn)的是事實真理,其真假判斷標準不能依照矛盾原則,因為事實的命題的反面也是可能的,不能因此而否認這個命題的真理性,于是萊布尼茨另提出了充足理由原則作為存在命題的真假判斷標準。矛盾原則是關于本質(zhì)的原則,充足理由原則是關于存在的原則,前者適用于一切可能的世界,后者適用于現(xiàn)存世界(現(xiàn)象世界)及其所內(nèi)蘊的偶然的個體事物。推理真理與事實真理既有聯(lián)系,也有區(qū)別,兩者是對立統(tǒng)一的辯證關系。推理真理是事實真理的前提和基礎,事實真理最終要依靠推理真理。但推理真理是關于存在的偶然性真理,與關于本質(zhì)的必然性真理有著根本的區(qū)別。為充分說明兩類真理的區(qū)別于聯(lián)系,萊布尼茨又創(chuàng)立了可能世界理論。這一理論認為,事物的存在方式是多種多樣的,只要不包含邏輯矛盾的事物組合都能構成可能世界。后來的模態(tài)邏輯語義理論就是在這些思想上逐漸發(fā)展和完善的。20世紀30年代興起了模態(tài)邏輯研究熱,可能世界語義學作為最具影響力的邏輯語義理論之一,如今廣泛應用于真勢模態(tài)邏輯、道義邏輯、時態(tài)邏輯、拓撲邏輯等廣義模態(tài)邏輯領域,不能不說這在很大程度上是拜萊布尼茨的“可能世界”思想所賜�？赡苁澜缯Z義學已經(jīng)相當完善,但要適應自然語言中所體現(xiàn)的更為復雜的人類模態(tài)思維實際,還有很多困難和問題。如何從哲學本體論和認識論的角度來深刻理解該理論框架中的各種符號,也就是對于該語義理論框架如何進行哲學意義上的“再解釋”或“元解釋”,同樣爭議不斷。筆者以為,這些問題的解決,仍有必要回到萊布尼茨“可能世界”及其相關的哲學思想中汲取營養(yǎng),通過認真清理和發(fā)掘,找出可供經(jīng)世致用之道。
【關鍵詞】：萊布尼茨 普遍語言 充足理由原則 可能世界
【學位授予單位】：西南大學
【學位級別】：博士
【學位授予年份】：2016
【分類號】：B81-0
【目錄】：

• 摘要5-8
• ABSTRACT8-12
• 文獻綜述12-19
• 第1章 學術生涯19-37
• 1.1 學生時代20-22
• 1.2 獻身真理22-37
• 1.2.1 創(chuàng)立微積分24-25
• 1.2.2 哲學家與倫理學家25-33
• 1.2.3 邏輯學家33-37
• 第2章 真理觀上的新進展37-61
• 2.1 萊氏真理觀的時代背景37
• 2.2 萊氏真理觀的歷史考察37-43
• 2.3 萊氏認識論上的折衷主義43-44
• 2.4 真理觀上的創(chuàng)新44-49
• 2.4.1 真理與“包含”45-47
• 2.4.2 兩種真理論溯源47
• 2.4.3 真理的分類47-48
• 2.4.4 兩種真理觀的解析48
• 2.4.5 真理觀上的辯證法48-49
• 2.5 萊布尼茨真理觀對后世的影響49-52
• 2.5.1 人類理性的三分法49-50
• 2.5.2 康德的“三個判斷”50-51
• 2.5.3 邏輯實證主義的真理觀51-52
• 2.6 萊氏真理觀的評價52-61
• 2.6.1 蘇珊·哈克對各種真理觀的概括52-54
• 2.6.2 兩種真理劃分法的回歸54
• 2.6.3 本質(zhì)上的融貫論54
• 2.6.4 兼容符合論的融貫論54-55
• 2.6.5 實用主義與道義上的必然性55-56
• 2.6.6 語義真理與詞和物的關系56-58
• 2.6.7 奎因的詰難與可能回應58
• 2.6.8 總評萊布尼茨的真理觀58-61
• 第3章 邏輯規(guī)律與三段論61-91
• 3.1 邏輯規(guī)律的創(chuàng)新61-79
• 3.1.1 同一律與萊布尼茨定律61-63
• 3.1.2 矛盾律、排中律與萊氏的矛盾原則63-64
• 3.1.3 充足理由律與因果律64-65
• 3.1.4 充足理由原則的哲學意蘊65-69
• 3.1.5 充足理由原則的作用及其對后世的影響69-79
• 3.2 改進三段論79-91
• 3.2.1 性質(zhì)命題80-81
• 3.2.2 概說三段論81-84
• 3.2.3 完善三段論的格與式84-85
• 3.2.4 三段論命題的形式化85-89
• 3.2.5 三段論推理的形式化89-91
• 第4章 思想表達的邏輯化91-110
• 4.1 普遍語言的設想91-93
• 4.2 普遍語言的構建93-105
• 4.2.1 符號代替概念98-99
• 4.2.2 構建邏輯演算系統(tǒng)99-105
• 4.3 萊氏的普遍語言對計算機語言的影響105-106
• 4.4 普遍語言的是非評判106-110
• 第5章 可能世界思想110-130
• 5.1.“可能世界”與真勢模態(tài)概念110-113
• 5.1.1 “可能世界”的基本涵義110-112
• 5.1.2 萊氏對真勢模態(tài)概念的理解112-113
• 5.2.萊氏思想對現(xiàn)代模態(tài)邏輯語義學的影響113-117
• 5.2.1 卡爾納普模態(tài)邏輯語義學對萊氏思想的繼承與發(fā)展114-115
• 5.2.2.克里普克可能世界語義學對萊氏思想的繼承與發(fā)展115-117
• 5.3 從邏輯哲學立場看萊氏思想對可能世界語義學的再啟示117-130
• 5.3.1 關于“可能世界”的本體論地位119-122
• 5.3.2 關于如何理解“可及關系”122-124
• 5.3.3 關于跨界個體的同一性識別124-130
• 結(jié)語130-133
• 參考文獻133-138
• 后記138-139
• 讀博期間的科研成果139

，

本文編號：1047610