經典邏輯與非經典邏輯基礎（研究生教學用書）

第一章 預備知識
1.1 集
1.2 集運算
1.3 關系和映射
1.4 集合的基數(shù)
第二章 命題邏輯
2.1 基于命題聯(lián)系的推理
2.2 命題語言
2.3 公理系統(tǒng)
2.4 命題邏輯自然推理系統(tǒng)
2.5 語義
2.6 真值表
2.7 真值連接詞的完全集
2.8 命題邏輯的元理論
第三章 一階謂詞邏輯
3.1 自然語言的一階表示
3.2 一階語言
3.3 一階語義
3.4 一階謂詞邏輯公理系統(tǒng)
3.5 一階謂詞邏輯自然推理系統(tǒng)
3.6 一階謂詞邏輯系統(tǒng)元理論
第四章 公理集合論基礎
4.1 ZFC簡介
4.2 外延公理、空集公理和子集公理
4.3 偶集公理
4.4 并集公理和冪集公理
4.5 關系
4.6 等價關系和劃分
4.7 函數(shù)和選擇公理
4.8 無窮公理、歸納定義和正則公理
4.9 序數(shù)和替換公理
4.10 基數(shù)
第五章 模態(tài)邏輯
5.1 模態(tài)語言
5.2 模態(tài)命題邏輯系統(tǒng)K
5.3 模態(tài)命題邏輯系統(tǒng)D、T
5.4 模態(tài)命題邏輯系統(tǒng)S4、B、S5
5.5 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B和S5的一致性
5.6 可能世界語義學
5.7 模態(tài)公式與一階公式的對應
5.8 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B、S5的可靠性
5.9 反模型方法
5.10 模態(tài)命題邏輯系統(tǒng)K、D、T、S4、B、s5的完全性
第六章 時態(tài)邏輯
6.1 時態(tài)語言
6.2 時態(tài)語義
6.3 時態(tài)邏輯極小系統(tǒng)K
6.4 K.的元理論
6.5 其他時態(tài)邏輯系統(tǒng)
第七章 弗協(xié)調邏輯
7.1 弗協(xié)調邏輯的產生
7.2 形式語言
7.3 公理系統(tǒng)Cn(1≤n<ω)
7.4 Cn(1≤n<ω)的語義及可靠性
7.5 足道集與Cn(1≤n<ω)的完全性
7.6 Cn(1≤n<ω)的判定問題
7.7 Cn的語義
第八章 直覺主義邏輯
8.1 直覺主義
8.2 直覺主義邏輯形式系統(tǒng)
8.3 直覺主義邏輯的語義
8.4 直覺主義邏輯元理論
參考書目