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

定　價(jià)：￥35.00

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

購(gòu)買這本書(shū)可以去

ISBN：	9787306025883	出版時(shí)間：	2005-01-01	包裝：	簡(jiǎn)裝本
開(kāi)本：	20cm	頁(yè)數(shù)：	237頁(yè)	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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