現(xiàn)代邏輯學(xué)講義

定　價：￥35.00

作　者：	李小五編著
出版社：	中山大學(xué)出版社
叢編項：
標　簽：	邏輯學(xué)

購買這本書可以去

ISBN：	9787306025883	出版時間：	2005-01-01	包裝：	簡裝本
開本：	20cm	頁數(shù)：	237頁	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

現(xiàn)代邏輯學(xué)講義：模態(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章關(guān)系語義與可靠性定理
　 1 關(guān)系語義
　 2 對應(yīng)定理
　 3 可靠性定理
　 4 反模型方法
　第4章典范模型與完全性定理
　 1 完全性概念
　 2 典范模型及其基本定理
　 3 完全性定理
　 4 刻畫定理
　 5 kg（mn）/（jk）的刻畫定理
　第5章有窮模型性與可判定性
　 1 有窮模型性與窮框架性
　 2 過濾有窮模型性
　 3 極小典范模型與有窮模型性
　 4 有模型性與可判定性
　 5 沒有有窮模型性的系統(tǒng)
　第6章鄰域語義
　 1 領(lǐng)域語義
　 2 刻畫定理
　 3 過濾與有窮模型性
　 4 與關(guān)系主義的關(guān)系
　參考文獻
　后記
現(xiàn)代邏輯學(xué)講義：數(shù)理邏輯