博雅大學(xué)堂·哲學(xué)：數(shù)理邏輯簡(jiǎn)介，目錄書摘
2020-01-16 16:07
來源：京東
作者：京東
博雅大學(xué)堂·哲學(xué)：數(shù)理邏輯
暫無報(bào)價(jià)
300+評(píng)論
98%好評(píng)
編輯推薦: 按照許多學(xué)校的安排，在邏輯的入門課之后，還有相應(yīng)的進(jìn)深課程，供有興趣的同學(xué)選修。我們?cè)谡n程設(shè)置上，也采取了這個(gè)策略。在這樣的安排之下，《數(shù)理邏輯》的內(nèi)容，對(duì)應(yīng)于大學(xué)本科的一門數(shù)理邏輯或符號(hào)邏輯課程。
內(nèi)容簡(jiǎn)介: 《數(shù)理邏輯》是一本入門教材，針對(duì)邏輯學(xué)的初學(xué)者，尤其是初學(xué)邏輯的學(xué)生，而不要求讀者有數(shù)學(xué)方面的預(yù)備知識(shí)。在內(nèi)容方面，《數(shù)理邏輯》只介紹一階邏輯的基本的知識(shí)和技術(shù)，包括一階語言的語形和語義、一階推演系統(tǒng)、一階邏輯的完全性定理等。這些知識(shí)和技術(shù)已經(jīng)成為邏輯入門的必要裝備，也因此構(gòu)成目前大學(xué)教育的一個(gè)基礎(chǔ)部分，在哲學(xué)、語言學(xué)等文科專業(yè)和數(shù)學(xué)、計(jì)算機(jī)科學(xué)等理科專業(yè)里，普遍列為必修或選修的內(nèi)容。當(dāng)然，按照一種比較理想的要求，大學(xué)生對(duì)邏輯的了解，還應(yīng)該包括更深層次的內(nèi)容，如適當(dāng)部分的模型論、基本的不可判定性結(jié)果、哥德爾不完全性定理的證明等。但這些更深層次的內(nèi)容適合于在更加專門的課程中介紹。
目錄:第一章 緒論：從直觀到形式
1 從“矛盾”說起
2 直觀上的推理
3 正確推理
4 一階語言
5 推演系統(tǒng)
第二章 集合
1 集合（不）是什么？
2 關(guān)系
3 函數(shù)
4 可數(shù)集與不可數(shù)集
第三章 一階語言的語形
1 字母表
2 歸納定義
3 項(xiàng)
4 公式
5 遞歸定義
6 自由和約束代入
第四章 經(jīng)典語義學(xué)
1 結(jié)構(gòu)與解釋
2 等詞、量詞和聯(lián)結(jié)詞
3 滿足真
4 語義后承
5 可滿足性有效性語義等值
6 代入引理
7 模型舉例
第五章 自然推演系統(tǒng)
1 推理規(guī)則概說
2 聯(lián)結(jié)詞規(guī)則
3 命題推演語形后承
4 量詞和等詞規(guī)則
5 一階推演
6 經(jīng)典與直覺主義邏輯的關(guān)系
第六章 可靠性與完全性
1 經(jīng)典可靠性
2 一致性
3 經(jīng)典命題完全性
4 Henkin定理
5 可滿足性定理
6 經(jīng)典完全性
7 緊致性定理與Lowenheim-Skolem定理
8 直覺主義完全性
參考文獻(xiàn)
1 從“矛盾”說起
2 直觀上的推理
3 正確推理
4 一階語言
5 推演系統(tǒng)
第二章 集合
1 集合（不）是什么？
2 關(guān)系
3 函數(shù)
4 可數(shù)集與不可數(shù)集
第三章 一階語言的語形
1 字母表
2 歸納定義
3 項(xiàng)
4 公式
5 遞歸定義
6 自由和約束代入
第四章 經(jīng)典語義學(xué)
1 結(jié)構(gòu)與解釋
2 等詞、量詞和聯(lián)結(jié)詞
3 滿足真
4 語義后承
5 可滿足性有效性語義等值
6 代入引理
7 模型舉例
第五章 自然推演系統(tǒng)
1 推理規(guī)則概說
2 聯(lián)結(jié)詞規(guī)則
3 命題推演語形后承
4 量詞和等詞規(guī)則
5 一階推演
6 經(jīng)典與直覺主義邏輯的關(guān)系
第六章 可靠性與完全性
1 經(jīng)典可靠性
2 一致性
3 經(jīng)典命題完全性
4 Henkin定理
5 可滿足性定理
6 經(jīng)典完全性
7 緊致性定理與Lowenheim-Skolem定理
8 直覺主義完全性
參考文獻(xiàn)
京公網(wǎng)安備 11000002000088號(hào)
