本文關(guān)鍵詞：萊布尼茨邏輯思想研究

  更多相關(guān)文章： 萊布尼茨 普遍語(yǔ)言 充足理由原則 可能世界

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

• 摘要5-8
• ABSTRACT8-12
• 文獻(xiàn)綜述12-19
• 第1章 學(xué)術(shù)生涯19-37
• 1.1 學(xué)生時(shí)代20-22
• 1.2 獻(xiàn)身真理22-37
• 1.2.1 創(chuàng)立微積分24-25
• 1.2.2 哲學(xué)家與倫理學(xué)家25-33
• 1.2.3 邏輯學(xué)家33-37
• 第2章 真理觀上的新進(jìn)展37-61
• 2.1 萊氏真理觀的時(shí)代背景37
• 2.2 萊氏真理觀的歷史考察37-43
• 2.3 萊氏認(rèn)識(shí)論上的折衷主義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 萊布尼茨真理觀對(duì)后世的影響49-52
• 2.5.1 人類理性的三分法49-50
• 2.5.2 康德的“三個(gè)判斷”50-51
• 2.5.3 邏輯實(shí)證主義的真理觀51-52
• 2.6 萊氏真理觀的評(píng)價(jià)52-61
• 2.6.1 蘇珊·哈克對(duì)各種真理觀的概括52-54
• 2.6.2 兩種真理劃分法的回歸54
• 2.6.3 本質(zhì)上的融貫論54
• 2.6.4 兼容符合論的融貫論54-55
• 2.6.5 實(shí)用主義與道義上的必然性55-56
• 2.6.6 語(yǔ)義真理與詞和物的關(guān)系56-58
• 2.6.7 奎因的詰難與可能回應(yīng)58
• 2.6.8 總評(píng)萊布尼茨的真理觀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 充足理由原則的哲學(xué)意蘊(yùn)65-69
• 3.1.5 充足理由原則的作用及其對(duì)后世的影響69-79
• 3.2 改進(jìn)三段論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章 思想表達(dá)的邏輯化91-110
• 4.1 普遍語(yǔ)言的設(shè)想91-93
• 4.2 普遍語(yǔ)言的構(gòu)建93-105
• 4.2.1 符號(hào)代替概念98-99
• 4.2.2 構(gòu)建邏輯演算系統(tǒng)99-105
• 4.3 萊氏的普遍語(yǔ)言對(duì)計(jì)算機(jī)語(yǔ)言的影響105-106
• 4.4 普遍語(yǔ)言的是非評(píng)判106-110
• 第5章 可能世界思想110-130
• 5.1.“可能世界”與真勢(shì)模態(tài)概念110-113
• 5.1.1 “可能世界”的基本涵義110-112
• 5.1.2 萊氏對(duì)真勢(shì)模態(tài)概念的理解112-113
• 5.2.萊氏思想對(duì)現(xiàn)代模態(tài)邏輯語(yǔ)義學(xué)的影響113-117
• 5.2.1 卡爾納普模態(tài)邏輯語(yǔ)義學(xué)對(duì)萊氏思想的繼承與發(fā)展114-115
• 5.2.2.克里普克可能世界語(yǔ)義學(xué)對(duì)萊氏思想的繼承與發(fā)展115-117
• 5.3 從邏輯哲學(xué)立場(chǎng)看萊氏思想對(duì)可能世界語(yǔ)義學(xué)的再啟示117-130
• 5.3.1 關(guān)于“可能世界”的本體論地位119-122
• 5.3.2 關(guān)于如何理解“可及關(guān)系”122-124
• 5.3.3 關(guān)于跨界個(gè)體的同一性識(shí)別124-130
• 結(jié)語(yǔ)130-133
• 參考文獻(xiàn)133-138
• 后記138-139
• 讀博期間的科研成果139

，

本文編號(hào)：1047610