現(xiàn)代邏輯起源于19與20世紀(jì)之交人類對于數(shù)學(xué)基礎(chǔ)問題的思考。其早期發(fā)展無疑是對人類理性事業(yè)的重大推動。弗雷格概念文字、希爾伯特公理系統(tǒng)、塔斯基真定義、哥德爾完備性與不完備性定理、圖靈機(jī)對機(jī)械可計算的刻畫等成果不僅讓人類對數(shù)學(xué)基礎(chǔ)有了全新的理解，孕育了現(xiàn)代計算機(jī)科學(xué)，還促成了分析哲學(xué)的崛起，由此深刻地改變了哲學(xué)研究的樣貌。
此后的數(shù)理邏輯越來越陷入高度的技術(shù)化與專業(yè)化，并漸漸淡出公眾、哲學(xué)家甚至其他領(lǐng)域數(shù)學(xué)家的視野。然而，無論是數(shù)學(xué)基礎(chǔ)問題還是一般的哲學(xué)問題都仍然呼喚著哲學(xué)與邏輯的再度攜手。楊睿之*的《作為哲學(xué)的數(shù)理邏輯/邏輯與形而上學(xué)教科書系列》試圖將經(jīng)過演變與發(fā)展的數(shù)理邏輯與哲學(xué)重新介紹給對方，讓哲學(xué)工作者或愛好者快速正確地理解當(dāng)代數(shù)理邏輯的主要工作，也讓邏輯學(xué)工作者或?qū)W生了解與他們的工作有關(guān)的哲學(xué)上的關(guān)切。
目錄：
第一章 導(dǎo)言
1.1 數(shù)理邏輯與分析哲學(xué)的蜜月期
1.1.1 弗雷格《概念文字》與《算術(shù)基礎(chǔ)》
1.1.2 羅素《論指稱》
1.1.3 劉易斯對嚴(yán)格蘊(yùn)涵的刻畫
1.1.4 塔斯基的真定義
1.1.5 圖靈對能行過程的刻畫
1.2 分道揚鑣
1.2.1 形式語言vs．日常語言
1.2.2 自然化的分析哲學(xué)
1.2.3 新形式主義
1.3 危機(jī)與困境
1.3.1 分析哲學(xué)的危機(jī)
1.3.2 數(shù)理邏輯的困境
第二章 計算與隨機(jī)
2.1 不可計算的度
2.1.1 遞歸可枚舉集
2.1.2 度的結(jié)構(gòu)
2.2 隨機(jī)性
2.2.1 隨機(jī)性的對象
2.2.2 刻畫隨機(jī)性
2.2.3 隨機(jī)性與可計算性
第三章 相對一致性
3.1 相對一致性結(jié)果的意義和有窮主義方法
3.2 可構(gòu)成集與直謂主義
3.3 力迫法與脫殊擴(kuò)張
3.3.1 外模型與玩具模型
3.3.2 想象的語言
第四章 無窮之上
4.1 二階算術(shù)與大基數(shù)
4.1.1 描述集合論
4.1.2 無窮博弈與決定性公理
4.1.3 大基數(shù)公理
4.2 連續(xù)統(tǒng)假設(shè)與內(nèi)模型計劃
參考文獻(xiàn)
索引
符號索引
術(shù)語索引
人名索引
|
