




下載本文檔
版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、淺析萊布尼茨的數(shù)理邏輯學思想摘要:萊布尼茨區(qū)分和研究了理性的真理即必然性命題、事實的真理即偶然性命題,并在邏輯學中引入了“充足理由律”,后來被人們認為是一條基本思維定律。其設想把數(shù)學方法應用于邏輯,使邏輯推理變成純符號的邏輯演算,為邏輯成為一種證明的藝術,且為此進行了開創(chuàng)性的研究工作。盡管其后來中斷了這一研究,但卻給邏輯的發(fā)展指出了新的方向,對后來數(shù)理邏輯的創(chuàng)建起到了重要作用,因而被公認為數(shù)理邏輯的奠基人。關鍵詞:萊布尼茨 通用語言 數(shù)理邏輯一、萊布尼茨的邏輯學說萊布尼茨,我國知識界并不陌生,皆知其為德國著名數(shù)學家,發(fā)明了幾何微積分。但是,他還是一位百科全書式的人文學者,他的著作或者說萊布尼茨
2、全集至今德國科學院還在整理,直到2050年才有望出齊。從某種意義上說,萊布尼茨是德國哲學和文化史中的一位源頭性的人物,是人類近現(xiàn)代思想史中一位百科全書式的極為罕見的全才。萊布尼茨對邏輯問題的最早探索和最初貢獻是試圖沿著笛卡爾和霍布斯的思路建構所謂的“通用語言”。這種語言是一種用來代替自然語言的人工語言,它通過字母和符號進行邏輯分析與綜合,把一般邏輯推理的規(guī)則改變?yōu)檠菟阋?guī)則,以便更精確更敏捷地進行推理。也就是說,“通用語言”是一套表達思想和事物的符號系統(tǒng),利用這些符號可以進行演算并推出各種知識。在論組合術中,20歲的萊布尼茨曾立志要創(chuàng)設“一個一般的方法,在這個方法中所有推理的真實性要簡化為一種計
3、算。同時,這會成為一種通用語言或文字,但與那些迄今為止設想出來的全然不同;因為它里面的符號甚至詞匯要指導推理;錯誤,除去那些事實上的錯誤,只會是計算上的錯誤。形成或者發(fā)明這種語言或者記號會是非常困難的,但是可以不借助任何詞典就很容易懂它”1在1679年9月8日給惠更斯的信中他又寫道,有一個“完全不同于代數(shù)的新符號語言,它對精確而自然地在腦子里再現(xiàn)即不同圖形,依賴于想象的一切有很大好處。它的主要效用在于能夠通過記號即符號的運算完成結論和推理,這些記號不經過非常精細的推敲或使用大量的點和線會把它們混淆起來,因而不得不作出無窮多個無用的實驗;另一方面,這個方法會確切而簡單地所需要的結果。我相信力學差
4、不多可以象幾何學一樣用這種方法去處理?!?第二時間段,萊布尼茨用等式符號作系詞符號,借公式a=by表述全稱肯定命題即y為一未確定的系數(shù),用以修飾b而使b成為a的一部分,同時提出雙重否定為之肯定,即“非非a=a”,并由此演繹出一系列定理。為了進一步發(fā)展演繹,萊布尼茨還試圖通過與屬性組合的關系,用代數(shù)方法來描述四個直言命題,甚至對四個直言命題的表示法提出了方案。第三時間段,萊布尼茨最有價值的工作是羅列了十四個基本命題:(1)a=aa;(“”表示邏輯相乘,下同);(2)如a=b且b=c,則=;(3)如=且,;(4)如a=b,且b二、萊布尼茨的數(shù)理邏輯思想萊布尼茨是公認的現(xiàn)代邏輯的奠基者。他繼承霍布斯
5、等人“思維就是計算”的思想,把邏輯的論證方式歸結為“計算”“我將作出一種通用代數(shù),一切推理的正確性都將化歸于計算”。萊布尼茨在300年前用2個記號0和1的二進制算術來評注和闡述中國古代伏羲圖的意義過程中,發(fā)現(xiàn)六十四卦圖中的64個六爻排列恰好與從0到63的二進制數(shù)字一一對應。這一發(fā)現(xiàn)使他異常興奮,立即用法文修改和補充1679年的文章手稿,并將這一法文文稿送交法國科學院院報6。在某種意義上,萊布尼茨是把易圖的“可能世界”嚴格化、精確化了。萊布尼茨的數(shù)理邏輯設想,是構建一種理想化的“通用語言”和“通用數(shù)學”,把所有的推理都化歸為計算,讓所有推理的錯誤都成為計算的錯誤,以至最后可以通過計算解決各種爭論
6、的問題。萊布尼茨設計了“通用語言”和“通用數(shù)學”來準備構建他的邏輯體系,而且現(xiàn)代形式邏輯也是按照他的這種設計思路發(fā)展和完善起來的,從這個意義來說,演繹作為邏輯的根本特征似乎是更加鞏固和更加不可動搖了。肖爾茨對此評價說:“我們必須把這種對演算規(guī)則的真正作用的見解看做是萊布尼茨的最偉大的發(fā)現(xiàn)之一,并看做是一般人類精神的最精彩的發(fā)現(xiàn)之一。”4萊布尼茨和亞里士多德一樣并沒有忽略去建立“一種新的邏輯”,而且他也看到了亞里士多德對這種“邏輯”的認識。他說“我們需要有一種新的邏輯來處理概率問題,因為亞里士多德在他的正位篇中所做的也不亞于此在這里,涉及的問題是要擴充論題和給予它的概然性?!?盡管萊布尼茨沒有在
7、完整的意義上構造出與演繹邏輯相媲美的歸納邏輯,探究其原因,是科學的發(fā)展在萊布尼茨時代還沒有成熟到可以支持現(xiàn)代歸納邏輯建立和發(fā)展起來的程度,構造現(xiàn)代歸納邏輯的條件尚不具備,但萊布尼茨對所謂的“新邏輯”問題給予了充分重視和肯定,說明歸納邏輯在他理想的邏輯體系中占有與演繹邏輯同等重要的位置。萊布尼茨的思想對西方哲學的發(fā)展影響深遠,無論是邏輯學,或是形而上學的發(fā)展,其理論均起到繼承發(fā)展的作用,特別是其所處的17世紀,而被黑格爾抱怨為貧瘠的哲學時代,因而其思想極其珍貴的。參考文獻:1馬玉珂.西方邏輯史m.北京:中國人民大學出版社,1985.2羅素.西方哲學史m.北京:商務印書館,1981.3張家龍.數(shù)理邏輯發(fā)展史從萊布尼茨到哥德爾m.北京
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 個體合伙轉讓合同范例
- UbD模式在培養(yǎng)初中生批判性思維中的應用研究
- 代簽發(fā)包合同范例
- 以實驗為主導的高一化學課堂有效教學研究
- 緊密型醫(yī)聯(lián)體協(xié)同困境及對策研究
- 辦公工程合同范例
- 企業(yè)合同范例編制工作
- 書畫委托銷售合同范例
- 研究斜面的作用實驗說課
- 收費站安全培訓內容
- 2024年江西省中考地理試題(原卷版+解析版)
- CHT 1024-2011 影像控制測量成果質量檢驗技術規(guī)程(正式版)
- 新概念英語第二冊-Lesson18-同步習題含答案
- 2024年3月江蘇海洋大學招考聘用專職輔導員和工作人員5人筆試參考題庫附帶答案詳解
- 東來順牛羊肉培訓
- 中考百日誓師大會-百日沖刺決戰(zhàn)中考-2024年中考百日誓師大會(課件)
- 非線粒體氧化體系講解課件
- 初中八年級語文課件-桃花源記 全國公開課一等獎
- 《無人機操控技術》教案全套 1.1 無人機概述 -6.2 自動機場操控
- ISO27001標準培訓課件
- 《審核員培訓教程》課件
評論
0/150
提交評論