邏輯學(xué)讀后感
邏輯學(xué)讀后感
邏輯學(xué)讀后感
1. 《邏輯學(xué)十五講》，陳波著，北京大學(xué)出版社，2008年出版。
2. 中國(guó)邏輯學(xué)的教學(xué)內(nèi)容以傳統(tǒng)邏輯(包括命題邏輯和一階謂詞邏輯)為主，并得到相當(dāng)程度的普及，但卻處于現(xiàn)代數(shù)理邏輯的發(fā)展主流之外，使得中國(guó)邏輯的教學(xué)與研究遠(yuǎn)遠(yuǎn)落后于國(guó)際水準(zhǔn)，這種局面迄今為止并沒(méi)有得到實(shí)質(zhì)性改變。
3. 邏輯是關(guān)于推理或論證的科學(xué)，包括演繹和歸納兩種方式，其中，演繹推理是必然性推理，本質(zhì)上不提供前提不能包含的新知識(shí);歸納推理是或然性推理，提供了新的.知識(shí)和新的假說(shuō)。邏輯的基本規(guī)律包括：同一律;矛盾律;排中律和充足理由律。
二，西方歷史上的邏輯學(xué)家
1. 亞里士多德(公元前384-公元前322)：邏輯之父，在亞歷山大死后，病死于逃亡途中。
2. 中世紀(jì)邏輯：對(duì)許多邏輯問(wèn)題進(jìn)行了深入探討和創(chuàng)造性闡發(fā)，并且創(chuàng)造了新的學(xué)說(shuō)，包括詞項(xiàng)屬性、悖論研究和廣義模態(tài)邏輯等。
3. 培根(1561-1626)：倡導(dǎo)基于觀察和實(shí)驗(yàn)的歸納法(對(duì)應(yīng)于以前的演繹邏輯)，晚年因被控貪污受賄而身敗名裂，因做冷凍防腐實(shí)驗(yàn)感染風(fēng)寒去世。密爾(1806-1873)將邏輯推理分為歸納和演繹。休謨(1711-1776)對(duì)歸納推理的必然性提出質(zhì)疑，即考慮經(jīng)驗(yàn)證據(jù)對(duì)于假說(shuō)確證程度，從而導(dǎo)出基于概率論和數(shù)理統(tǒng)計(jì)的概率歸納邏輯。
4. 萊布尼茨(1646-1716)：將邏輯數(shù)學(xué)化(數(shù)理邏輯)——把所有推理劃歸于計(jì)算，是推理的錯(cuò)誤稱(chēng)為計(jì)算的錯(cuò)誤;并提出可能世界的概念。終身未婚，晚年失寵于宮廷，平時(shí)不進(jìn)教堂，死后由私人秘書(shū)和幾名工人葬于無(wú)名墓地。
5. 弗雷格(1848-1925)：最先闡述了邏輯主義綱領(lǐng)——從純邏輯的概念，定義出數(shù)學(xué)概念，以及從邏輯命題推理出數(shù)學(xué)命題;符號(hào)化邏輯系統(tǒng)，部分實(shí)現(xiàn)了萊布尼茨的理想。生前的工作基本上沒(méi)有得到承認(rèn)，其邏輯研究遭遇普遍的不理解。由于胡塞爾、羅素、維特根斯坦和卡爾納普等人的推薦，在20世紀(jì)得到關(guān)注，被公認(rèn)為現(xiàn)代邏輯和分析哲學(xué)的奠基者。
6. 羅素(1872-1970)：堅(jiān)定的邏輯主義綱領(lǐng)實(shí)踐家，證明了從邏輯演算出發(fā)，加上無(wú)窮公理和選擇公理，就可以退出一般算術(shù)和康托爾集合;發(fā)現(xiàn)羅素悖論，并在某種程度上提出了解決方案。
7. 哥德?tīng)?1906-1978)：狹謂詞演算的完全性證明;哥德?tīng)柌煌陚涠ɡ?連續(xù)統(tǒng)假設(shè)的協(xié)調(diào)性;給出古典數(shù)論的一個(gè)構(gòu)造性解釋。晚年因?qū)?xì)菌傳播的病態(tài)性的恐懼，死于饑餓和營(yíng)養(yǎng)不良。
8. 克里普克(1940-)：為模態(tài)邏輯創(chuàng)立了一種語(yǔ)義理論——可能世界語(yǔ)義學(xué)，使得模態(tài)邏輯稱(chēng)為一個(gè)成熟的邏輯分支，獲得當(dāng)代邏輯學(xué)科體系中的經(jīng)典地位。
三、邏輯悖論的必要條件
1. 自我指稱(chēng)：這句話是假的。
2. 否定性概念：這句話是假的。
3. 總體或無(wú)限：我說(shuō)過(guò)的所有話，包括這句話，都是假的(總體)。羅素悖論(無(wú)限，潛無(wú)窮)。
【邏輯學(xué)讀后感】相關(guān)文章：
3.讀后感
4.讀后感
5.讀后感
6.讀后感
7.讀后感
8.讀后感