日韩国产欧美亚洲一区不卡,亚洲成av人片在www色猫咪,巨大乳bbwsex中国

內(nèi)容簡介

　　《模態(tài)邏輯》：模態(tài)邏輯是研究可以用模態(tài)語言表述的推理形式的有效性的學問。它是哲學邏輯的基礎，作為一門課程，它是邏輯學專業(yè)的基礎課之一。本講義介紹了句子層次上（命題型的）模態(tài)邏輯最基本的內(nèi)容。本講義內(nèi)容多，知識面廣，定理定義表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。《數(shù)理邏輯》：數(shù)理邏輯是研究可以用數(shù)學語言表述的推理形式的有效性的學問。它是全部邏輯的基礎，作為一門課程，它是邏輯學專業(yè)最重要的基礎課。數(shù)理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內(nèi)容和量化邏輯的基礎——一階邏輯的基本內(nèi)容。本講義內(nèi)容豐富，知識面廣，表達嚴謹，習題例題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。

作者簡介

　　李小五，男，1955年1月生于浙江湖州。1980-1984年在北京大學哲學系念哲學本科，1986-1989年在北京大學哲學系攻讀邏輯學碩士學位，1989年獲碩士學位。1992年從國防大學調(diào)入中國社會科學院所邏輯研究室，2000年10月在中國社會科學院聘為研究員。2002年8月作為引進人才調(diào)入中山大學哲學系邏輯與認知研究所。主要著作有《現(xiàn)代歸納邏輯與概率邏輯》、《無窮邏輯》（上、下卷）、《條件句邏輯》。還發(fā)表多篇論文、多部合著和一部譯著?，F(xiàn)任中山大學教授和博士生導師、北京中心客座研究員。

圖書目錄

現(xiàn)代邏輯學講義：模態(tài)邏輯
　第1章公理化系統(tǒng)
　 1 公理化系統(tǒng) 協(xié)調(diào)性和諧性
　 2 初等系統(tǒng)
　 3 基本系統(tǒng)
　 4 退化系統(tǒng)
　 5 其他一些重要的系統(tǒng)
　第2章強推演、一致性與極大一致性
　 1 強推演
　 2 s-一致性與極大性
　第3章關系語義與可靠性定理
　 1 關系語義
　 2 對應定理
　 3 可靠性定理
　 4 反模型方法
　第4章典范模型與完全性定理
　 1 完全性概念
　 2 典范模型及其基本定理
　 3 完全性定理
　 4 刻畫定理
　 5 kg（mn）/（jk）的刻畫定理
　第5章有窮模型性與可判定性
　 1 有窮模型性與窮框架性
　 2 過濾有窮模型性
　 3 極小典范模型與有窮模型性
　 4 有模型性與可判定性
　 5 沒有有窮模型性的系統(tǒng)
　第6章鄰域語義
　 1 領域語義
　 2 刻畫定理
　 3 過濾與有窮模型性
　 4 與關系主義的關系
　參考文獻
　后記
現(xiàn)代邏輯學講義：數(shù)理邏輯