0人評分過此書
集合論含有原子的自然模型和布林值模型》在含有原子的公理集合論系統的基礎上，力圖建立兩大類模型——自然模型和布林值模型。不僅從理論上豐富了數理邏輯的重要分支——公理集合論的刻畫集論模型的理論，為現代邏輯的研究提供證明根據，而且也促進了現代數理邏輯與哲學邏輯之間的相互滲透、相互融合，從而為描述和模擬人類思維提供指導，為哲學應用提供更可靠的工具，對於邏輯學研究的多元化具有重要的理論意義和現實意義。
- 《國家哲學社會科學成果文庫》出版說明
- 序
-
第一章 基本概念
-
§1 集合論的形式語言
-
§2 集合論的公理系統
-
§3 布林代數
-
§4 一些常用的概念
-
-
第二章 自然模型
-
§1 ZFC 的自然模型V 及其一些基本性質
-
§2 GB 的自然模型S 及其一些基本性質
-
§3 COG 的自然模型L 及其一些基本性質
-
§4 ACG 的自然模型 及其一些基本性質
-
-
第三章 含有原子的自然模型
-
§1 ZFA 的自然模型及其一些基本性質
-
§2 GBA 的自然模型及其一些基本性質
-
§3 COGA 的自然模型及其一些基本性質
-
§4 ACGA 的自然模型及其一些基本性質
-
-
第四章 布林值模型
-
§1 ZFC 的布林值模型及其一些基本性質
-
§2 GB 的布林值模型及其一些基本性質
-
§3 COG 的布林值模型及其一些基本性質
-
§4 ACG 的布林值模型及其一些基本性質
-
-
第五章 含有原子的布林值模型
-
§1 ZFA 的布林值模型及其一些基本性質
-
§2 GBA 的布林值模型及其一些基本性質
-
§3 COGA 的布林值模型及其一些基本性質
-
§4 ACGA 的布林值模型及其一些基本性質
-
- 附 論文 ON THE CONSISTENCY OF THE STRICT IMPLICATION SYSTEM S3
- 參考文獻
- 出版地 ： 臺灣
- 語言 ： 繁體中文
- DOI ： 10.6140/AP.9789865792602
評分與評論
請登入後再留言與評分
PDF
EPUB
EPUB
EPUB
PDF