集合論含有原子的自然模型和布爾值模型

內(nèi)容概要

《集合論含有原子的自然模型和布爾值模型》由李娜所著，在含有原子的公理集合論系統(tǒng)的基礎(chǔ)上，力圖建立兩大類模型——自然模型和布爾值模型。不僅從理論上豐富了數(shù)理邏輯的重要分支——公理集合論的刻畫集論模型的理論，為現(xiàn)代邏輯的研究提供證明根據(jù)，而且也促進了現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯之間的相互滲透、相互融合，從而為描述和模擬人類思維提供指導(dǎo)，為哲學(xué)應(yīng)用提供更可靠的工具，對于邏輯學(xué)研究的多元化具有重要的理論意義和現(xiàn)實意義。

作者簡介

李娜，女，1958年3月生于河南開封市。1982年畢業(yè)于河南大學(xué)數(shù)學(xué)系，獲理學(xué)學(xué)士學(xué)位。1989年畢業(yè)于中國科學(xué)院軟件研究所，獲理學(xué)碩士學(xué)位?，F(xiàn)任南開大學(xué)哲學(xué)系教授、博士生導(dǎo)師，中山大學(xué)邏輯與認知研究所專職研究員。主要著作有《現(xiàn)代邏輯若干問題研究》等。

書籍目錄

序
第一章基本概念
§1 集合論的形式語言
§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ì)
附論文
參考文獻

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    集合論含有原子的自然模型和布爾值模型 PDF格式下載

---