現(xiàn)代邏輯學(xué)講義（兩冊(cè)）

內(nèi)容概要

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

書籍目錄

現(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)系語義與可靠性定理　  1 關(guān)系語義　  2 對(duì)應(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)　后記現(xiàn)代邏輯學(xué)講義：數(shù)理邏輯

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    現(xiàn)代邏輯學(xué)講義（兩冊(cè)） PDF格式下載

---