●上篇
叢書序
章 描述邏輯中的非標準推理:迄今為止的故事
1.1 引言
1.2 描述邏輯和標準推理
1.3 非標準推理——動機和定義
1.4 歸類的結構表征
1.5 最小公共包含
1.6 最具體概念
1.7 重寫
1.8 匹配
1.9 總結及未來展望
參考文獻
第2章 可證邏輯中的問題
2.1 引言
2.2 證明的非形式概念
2.3 可證邏輯的基礎
2.4 直覺算術的可證邏輯
2.5 可證邏輯和受囿算術
2.6 雙模態可證邏輯的分類
2.7 馬加裡代數
2.8 可解釋性邏輯
2.9 梯度可證性代數
2.10 問題列表
參考文獻
第3章 動態邏輯中的開放問題
3.1 動態邏輯
3.2 標準認知邏輯
3.3 公開宣告:動態認知邏輯
3.4 動態認知邏輯
3.5 標準邏輯的基礎
3.6 從信息更新到信念修正
3.7 時態認知邏輯
3.8 博弈邏輯和博弈論
3.9 結論
參考文獻
第4章 可計算性與湧現
4.1 一個新興的世界
4.2 描述、算法和歸納結構的崩塌
4.3 本體論和數學結構
4.4 一切從哪裡開始
4.5 面向基於算法內容的模型
4.6 實在的層級
4.7 算法內容的重新審視
4.8 將要做什麼
參考文獻
第5章 輪回
5.1 引言
5.2 關於過程的例子
5.3 我們需要什麼樣的邏輯學
5.4 邏輯繫統是什麼,它們應該是什麼
5.5 證明的本質
5.6 結論
參考文獻
第6章 兩扇即將打開的門
6.1 邏輯和認知科學
6.2 中世紀的阿拉伯語義
參考文獻
第7章 應用邏輯宣言
7.1 何謂應用邏輯
7.2 數學和邏輯,與數理邏輯的差別
7.3 應用哲學邏輯
7.4 計算機科學與應用邏輯的關繫
7.5 其他案例研究
7.6 盡可能的兼收並蓄
參考文獻
下篇
章 論可證明性的兩個模型
1.1 導論
1.2 可證邏輯
1.3 證明邏輯
1.4 致謝
參考文獻
第2章 超越純粹數學理論的可計算性理論方向
2.1 研究動機
2.2 方向
2.3 進展與展望
參考文獻
第3章 可計算性與可計算模型
3.1 預備知識
3.2 可計算模型的界
3.3 可計算模型的結構復雜性
3.4 同構問題
3.5 可計算模型及指標集的種類
3.6 致謝
參考文獻
第4章 相對論的一階邏輯基礎
4.1 簡介(邏輯學和時空幾何學)
4.2 更多具體的介紹(時空基礎)
4.3 廣義相對論時空的奇異的特征(對邏輯學家的挑戰)
4.4 加速觀察體擴展的狹義相對論的一階邏輯公理繫統
4.5 向廣義相對論(GR)前進一步(在時鐘上的引力效果)
4.6 未來研究的問題和建議
參考文獻
第5章 超越混合繫統
5.1 引言
5.2 數字程序
5.3 連續的植物和控制器
5.4 混合繫統
5.5 離散化
5.6 連續化
5.7 方法論
參考文獻
第6章 區域空間理論:區域代數、表像理論和邏輯
6.1 引言
6.2 區域空間理論的歷史回顧
6.3 區域代數、模型和表述理論
6.4 空間上的區域命題模態邏輯
6.5 致謝
參考文獻
索引
內容簡介
本書圍繞"邏輯學中很重要、很突出、很緊迫的問題是什麼"這一個主題展開,內容分上、下兩篇,共13章。上篇內容涉及描述邏輯中的非標準推理、可證邏輯中的問題與邏輯動態中的開放問題、可計算性理論、邏輯學的發展、邏輯與認知科學、中世紀的阿拉伯語義、應用邏輯與其他學科發展之間的關繫等。下篇內容涉及可證邏輯與證明邏輯、可計算性理論的研究動機與發展方向、可計算模型、相對論的一階邏輯基礎、數理邏輯的未來、區域空間理論等。