《模態邏輯》：模態邏輯是研究可以用模態語言表述的推理形式的有效性的學問。它是哲學邏輯的基礎，作為一門課程，它是邏輯學專業的基礎課之一。本講義介紹了句子層次上（命題型的）模態邏輯最基本的內容。
基本介紹
版權資訊,內容簡介,作者簡介,目錄,
版權資訊
書 名: 現代邏輯學講義
作 者：李小五
出版時間： 2006
ISBN: 9787306025883
開本： 16
定價: 35.00 元
內容簡介
本講義內容多，知識面廣，定理定義表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業本科生、研究生教材使用。
《數理邏輯》：數理邏輯是研究可以用數學語言表述的推理形式的有效性的學問。它是全部邏輯的基礎，作為一門課程，它是邏輯學專業最重要的基礎課。
數理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內容和量化邏輯的基礎——一階邏輯的基本內容。
本講義內容豐富，知識面廣，表達嚴謹，習題例題豐富，可作為高等學校邏輯學專業本科生、研究生教材使用。
作者簡介
李小五，男，1955年1月生於浙江湖州。
1980-1984年在北京大學哲學繫念哲學本科，1986-1989年在北京大學哲學系攻讀邏輯學碩士學位，1989年獲碩士學位。
1992年從國防大學調入中國社會科學院所邏輯研究室，2000年10月在中國社會科學院聘為研究員。2002年8月作為引進人才調入中山大學哲學系邏輯與認知研究所。
主要著作有《現代歸納邏輯與機率邏輯》、《無窮邏輯》（上、下卷）、《條件句邏輯》。還發表多篇論文、多部合著和一部譯著。
現任中山大學教授和博士生導師、北京中心客座研究員。
目錄
現代邏輯學講義：模態邏輯
第1章公理化系統
1公理化系統協調性和諧性
2初等系統
3基本系統
4退化系統
5其他一些重要的系統
第2章強推演、一致性與極大一致性
1強推演
2S-一致性與極大性
第3章關係語義與可靠性定理
1關係語義
2對應定理
3可靠性定理
4反模型方法
第4章典範模型與完全性定理
1完全性概念
2典範模型及其基本定理
3完全性定理
4刻畫定理
5KG（mn）/（jk）的刻畫定理
第5章有窮模型性與可判定性
1有窮模型性與窮框架性
2過濾有窮模型性
3極小典範模型與有窮模型性
4有模型性與可判定性
5沒有有窮模型性的系統
第6章鄰域語義
1領域語義
2刻畫定理
3過濾與有窮模型性
4與關係主義的關係
參考文獻
後記
現代邏輯學講義：數理邏輯
