模態(tài)邏輯導(dǎo)論

內(nèi)容概要

北京市社會科學(xué)理論著作出版基金資助出版
本書在闡述抽象理論的同時，注意給出較詳細(xì)的解釋與說明，包括對一些“非?；镜摹备拍詈蛦栴}的解釋與說明，適用于文科類讀者。

書籍目錄

第一章 緒論
1.1 模態(tài)邏輯
1.2 傳統(tǒng)模態(tài)邏輯與現(xiàn)代模態(tài)邏輯
1.3 學(xué)習(xí)模態(tài)邏輯的意義
1.4 本書內(nèi)容設(shè)置
1.5 附錄1 古典命題邏輯形式語言和古典命題演算P
1.6 附錄2 一階邏輯形式語言和一階演算Q
第二章模態(tài)命題演算
2.1 模態(tài)命題邏輯
2.2 模態(tài)邏輯的形式系統(tǒng)
2.3 形式語言
2.4 系統(tǒng)K
2.5 系統(tǒng)D和T
2.6 系統(tǒng)S4，S5和系統(tǒng)B
2.7 模態(tài)詞，模態(tài)詞的等價性
2.8 模態(tài)詞的嵌套與歸約模態(tài)合取范式
2.9 K，D，T，S4，S5和B的一致性
2.10 系統(tǒng)Tr及模態(tài)系統(tǒng)的坍塌
第三章可能世界語義學(xué)
3.1 邏輯語義學(xué)
3.2 可能世界語義學(xué)的基本思想
3.3 模態(tài)形式的語義分析
3.4 直觀語義與形式語義
3.5 框架、模型和有效性
3.6 模態(tài)公式與一階公式的對應(yīng)
3.7 S-框架與-框架可靠性
3.8 反模型方法及其一些結(jié)果
第四章模態(tài)語義圖和完全性證明
4.1 完全性與完全性證明
4.2 語義圖的基本思想和方法
4.3 S-語義圖
4.4 語義圖的三種結(jié)構(gòu)
4.5 語義圖的終止
4.6 有效性判定
4.7 語義圖的特征公式
4.8 完全性定理
4.9 語義圖方法下完全性的一些結(jié)果
第五章模態(tài)邏輯的各類系統(tǒng)（Ⅰ）嚴(yán)格蘊(yùn)涵系統(tǒng)及其擴(kuò)張
5.1 嚴(yán)格蘊(yùn)涵系統(tǒng)S1—S5
5.2 S1的定理和語法性質(zhì)
5.3 S2—S5的定理及語法性質(zhì)
5.4 模態(tài)系統(tǒng)P1—P5
5.5 可推出性與嚴(yán)格蘊(yùn)涵系統(tǒng)
5.6 S1—S5的某些語法擴(kuò)張
第六章模態(tài)邏輯的各類系統(tǒng)（Ⅱ）廣義模態(tài)系統(tǒng)
6.1 廣義模態(tài)與廣義模態(tài)邏輯
6.2 認(rèn)識論模態(tài)命題及其形式和認(rèn)識論邏輯
6.3 E-系統(tǒng)
6.4 可證性邏輯、直覺主義邏輯與模態(tài)邏輯
6.5 時態(tài)解釋下的模態(tài)邏輯
第七章非正規(guī)系統(tǒng)的語義解釋
7.1 非正規(guī)系統(tǒng)的直觀語義分析
7.2 形式語義框架、模型和有效性
7.3 E2，E3，S2和S3-框架
7.4 S6，S7和S8-框架
7.5 S0.5-框架
7.6 統(tǒng)一解釋（框架和有效性）
7.7 語義圖
第八章模態(tài)代數(shù)語義學(xué)
8.1 代數(shù)語義學(xué)
8.2 模態(tài)矩陣與正規(guī)模態(tài)矩陣
8.3 布爾代數(shù)
8.4 模態(tài)代數(shù)
8.5 可判定性
8.6 正規(guī)全可加冪集代數(shù)與框架的對應(yīng)
8.7 表示定理
8.8 一般框架
8.9 兩點(diǎn)說明
第九章模態(tài)謂詞邏輯（Ⅰ）邏輯、演算和完全性
9.1 模態(tài)謂詞邏輯概述
9.2 形式語言及其語義分析
9.3 形式語義框架、模型與有效性
9.4 模態(tài)謂詞演算QS+Bf
9.5 完全性的Henkin證明
9.6 典范模型
9.7 QS+Bf的模型完全性和框架完全性
第十章模態(tài)謂詞邏輯（Ⅱ）模態(tài)謂詞邏輯的三類問題10.1 模態(tài)謂詞邏輯問題概述
10.2 模態(tài)詞和量詞
10.3 模態(tài)詞和等詞
10.4 模態(tài)語境中指稱的隱晦性
10.5 專名與摹狀詞
10.6 歷史因果論的專名論
10.7 從物模態(tài)與從言模態(tài)
10.8 模態(tài)邏輯的哲學(xué)問題
附錄Ⅰ 關(guān)于可能世界語義學(xué)的說明
附錄Ⅱ 蘊(yùn)涵悖論與從真到真的推理和蘊(yùn)涵
習(xí)題
參考文獻(xiàn)
主題詞索引
規(guī)則和公式索引
系統(tǒng)索引與命題邏輯系統(tǒng)關(guān)系圖
符號索引

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    模態(tài)邏輯導(dǎo)論 PDF格式下載

---