定 價(jià)：35 元
叢書(shū)名：國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù)
- 作者：李娜 著
- 出版時(shí)間：2011/3/1
- ISBN：9787303121694
- 出 版 社：北京師范大學(xué)出版社
- 中圖法分類(lèi)：O144
- 頁(yè)碼：187
- 紙張：膠版紙
- 版次：1
- 開(kāi)本：16開(kāi)
《集合論含有原子的自然模型和布爾值模型》在含有原子的公理集合論系統(tǒng)的基礎(chǔ)上，力圖建立兩大類(lèi)模型——自然模型和布爾值模型。不僅從理論上豐富了數(shù)理邏輯的重要分支——公理集合論的刻畫(huà)集論模型的理論，為現(xiàn)代邏輯的研究提供證明根據(jù)，而且也促進(jìn)了現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯之間的相互滲透、相互融合，從而為描述和模擬人類(lèi)思維提供指導(dǎo)，為哲學(xué)應(yīng)用提供更可靠的工具，對(duì)于邏輯學(xué)研究的多元化具有重要的理論意義和現(xiàn)實(shí)意義。
李娜，女，1958年3月生于河南開(kāi)封市。1982年畢業(yè)于河南大學(xué)數(shù)學(xué)系，獲理學(xué)學(xué)士學(xué)位。1989年畢業(yè)于中國(guó)科學(xué)院軟件研究所，獲理學(xué)碩士學(xué)位。現(xiàn)任南開(kāi)大學(xué)哲學(xué)系教授、博士生導(dǎo)師，中山大學(xué)邏輯與認(rèn)知研究所專(zhuān)職研究員。主要著作有《現(xiàn)代邏輯若干問(wèn)題研究》等。
序
第一章 基本概念
§1 集合論的形式語(yǔ)言
§2 集合論的公理系統(tǒng)
§3 布爾代數(shù)
§4 一些常用的概念
第二章 自然模型
§1 ZFC的自然模型V及其一些基本性質(zhì)
§2 GB的自然模型∑及其一些基本性質(zhì)
§3 COG的自然模型人及其一些基本性質(zhì)
§4 ACG的自然模型Q及其一些基本性質(zhì)
第三章 含有原子的自然模型
§1 ZFA的自然模型及其一些基本性質(zhì)
§2 GBA的自然模型及其一些基本性質(zhì)
§3 COGA的自然模型及其一些基本性質(zhì)
§4 ACGA的自然模型及其一些基本性質(zhì)
第四章 布爾值模型
§1 ZFC的布爾值模型及其一些基本性質(zhì)
§2 GB的布爾值模型及其一些基本性質(zhì)
§3 COG的布爾值模型及其一些基本性質(zhì)
§4 ACG的布爾值模型及其一些基本性質(zhì)
第五章 含有原子的布爾值模型
§1 ZFA的布爾值模型及其一些基本性質(zhì)
§2 GBA的布爾值模型及其一些基本性質(zhì)
§3 COGA的布爾值模型及其一些基本性質(zhì)
§4 ACGA的布爾值模型及其一些基本性質(zhì)
附 論文
參考文獻(xiàn)
書(shū)單推薦
