《反基礎公理的模型研究》是2013年出版的一本圖書，作者是杜文靜。
基本介紹
- 書名：反基礎公理的模型研究
- 作者：杜文靜
- ISBN：978-7-309-09838-9/B.473
- 頁數：273頁
- 定價：24
- 出版時間：2013年5月
- 裝幀：平裝
- 開本：32 開
內容提要,圖書目錄,
內容提要
本著作旨在探索基於反基礎公理的非良基集合論，並為反基礎公理建立可構成模型和構造性模型。在經典的公理化集合論系統ZF中，有一條刻畫集合性質的公理，這條公理通常被稱作基礎公理、良基公理或正則公理，記作FA。在將FA加入ZF之前，循環集合在ZF中是否存在是不能斷定的。將FA加入ZF之後，它不但排除了羅素悖論，還使得經典集合論中的所有對象都是良基的。同時，它也排除了滿足循環條件x∈x和∈無窮遞降鏈條件構成的集合（這類集合被稱作非良基集合）。基礎公理FA把ZF的論域限制到整個良基集合的範圍中。因此，經典的公理化集合論系統ZF不能很好地刻畫循環現象。要為循環現象或者非良基集合建立模型是20世紀後期邏輯學家、數學家和計算機科學家的一項重要工作。
在借鑑和吸納國內外研究成果的基礎上，本著作的研究內容主要包括：利用典範圖探討集合全域中的外延公理。特別地，利用哥德爾的可構成模型L，根據可構成公理V=L，為含有反基礎公理AFA的集合論系統ZFC-+AFA和含有反基礎公理族AFA~的集合論系統ZFC-+AFA~建立可構成模型；此外，在林德斯姆工作的基礎上，採用阿克采爾的方法，為含有反基礎公理族AFA~的構造集合論系統CZF-+AFA~建立構造性模型。這些研究工作對豐富集合論理論具有一定的意義，並對運用人工智慧技術處理法律領域內論證的識別、構造、分析、評價的過程以及進一步促進論證形式化系統可視化、軟體化，都有一定的促進作用。
在借鑑和吸納國內外研究成果的基礎上，本著作的研究內容主要包括：利用典範圖探討集合全域中的外延公理。特別地，利用哥德爾的可構成模型L，根據可構成公理V=L，為含有反基礎公理AFA的集合論系統ZFC-+AFA和含有反基礎公理族AFA~的集合論系統ZFC-+AFA~建立可構成模型；此外，在林德斯姆工作的基礎上，採用阿克采爾的方法，為含有反基礎公理族AFA~的構造集合論系統CZF-+AFA~建立構造性模型。這些研究工作對豐富集合論理論具有一定的意義，並對運用人工智慧技術處理法律領域內論證的識別、構造、分析、評價的過程以及進一步促進論證形式化系統可視化、軟體化，都有一定的促進作用。
圖書目錄
第1章 引論
1.1研究背景
1.2研究意義
1.3國內外研究現狀
1.3.1國外研究現狀
1.3.2國內研究現狀
第2章 集合論預備知識
2.1集合論的創立與發展
2.1.1無窮集合的早期研究
2.1.2康托爾集合論的誕生
2.1.3集合論悖論
2.1.4公理化集合論的建立
2.1.5康托爾集合論的發展與展望
2.2集合論相關數學概念
2.2.1集合概念與屬於關係
2.2.2集合運算及某些特殊集合的符號表示
2.2.3邏輯學中的幾個概念
2.2.4集合的表示方法
2.2.5集合語言與數學概念
第3章 公理集合論概述
3.1公理化方法
3.2ZF公理系統
3.2.1外延公理
3.2.2空集公理
3.2.3對公理
3.2.4冪集公理
3.2.5並集公理
3.2.6子集公理
3.2.7替換公理
3.2.8無窮公理
3.2.9基礎公理
3.2.選擇公理
第4章 基礎公理FA與反基礎公理AFA
4.1關於基礎公理FA之爭
4.2基礎公理FA的局限性
4.2.1流
4.2.2無窮樹
4.3反基礎公理AFA
4.3.1AFA的提出
4.3.2AFA的等價形式
4.3.3AFA的一致性
4.4循環現象
4.4.1哲學中的循環現象
4.4.2經濟學中的循環現象
4.4.3模態邏輯中的循環現象
4.4.4情景語義學中的循環現象
4.4.5理論計算機科學中的循環現象
4.5非良基集合的發展歷史
4.5.1第一個階段：觀念的萌芽(1900—1924)
4.5.2第二個階段：公理集合論(1925—1949)
4.5.3第三個階段：非良基的存在性(1950—1974)
4.5.4第四個階段：非良基集合的引入及其套用(1975—)
第5章 4種反基礎公理
5.1集合的圖
5.2巴夫公理：BA1
5.3阿克采爾反基礎公理：AFA
5.3.1互模擬
5.3.2系統映射
5.3.3AFA的等價形式
5.4公理AFA的推廣：AFA～
5.5公理AFA的變體：FAFA和SAFA
5.5.1費斯勒公理：FAFA
5.5.2斯考特公理：SAFA
5.6公理AFA、 FAFA和SAFA的關係
第6章 非良基集合全域及其外延性公理
6.1巴夫集合全域B及其外延性
6.2非良基集合全域V~及其外延性
6.3非良基集合全域與數系擴張的類比
第7章 模型論概述和AFA的完全模型
7.1模型論概述
7.1.1一階語言
7.1.2定理
7.1.3模型論基本方法
7.1.4模型論的發展
7.2AFA的完全模型
7.2.1協調性與可滿足性
7.2.2完全模型Vc
第8章 反基礎公理的可構成模型
8.1ZF的可構成模型
8.1.1L的構造與性質
8.1.2L|=ZF的證明
8.1.3可構成公理L=V
8.2公理AFA的可構成模型
8.3公理族AFA～的可構成模型
第9章 反基礎公理的構造性模型
9.1構造集合論
9.1.1構造性數學
9.1.2公理系統：CZF
9.2AFA的構造模型
9.3公理族AFA～的構造模型
第10章 法律論證模型研究
10.1法律邏輯概述
10.1.1法律邏輯思想發展
10.1.2法律邏輯的定位
10.1.3法律推理
10.2法律論證
10.2.1法律論證的研究綜述
10.2.2法律論證的傳統框架
10.2.3法律論證的模型研究
附錄1The Axioms of Extensionality of NonWellFounded Sets
附錄2非良基集合理論的研究及其套用
參考文獻
1.1研究背景
1.2研究意義
1.3國內外研究現狀
1.3.1國外研究現狀
1.3.2國內研究現狀
第2章 集合論預備知識
2.1集合論的創立與發展
2.1.1無窮集合的早期研究
2.1.2康托爾集合論的誕生
2.1.3集合論悖論
2.1.4公理化集合論的建立
2.1.5康托爾集合論的發展與展望
2.2集合論相關數學概念
2.2.1集合概念與屬於關係
2.2.2集合運算及某些特殊集合的符號表示
2.2.3邏輯學中的幾個概念
2.2.4集合的表示方法
2.2.5集合語言與數學概念
第3章 公理集合論概述
3.1公理化方法
3.2ZF公理系統
3.2.1外延公理
3.2.2空集公理
3.2.3對公理
3.2.4冪集公理
3.2.5並集公理
3.2.6子集公理
3.2.7替換公理
3.2.8無窮公理
3.2.9基礎公理
3.2.選擇公理
第4章 基礎公理FA與反基礎公理AFA
4.1關於基礎公理FA之爭
4.2基礎公理FA的局限性
4.2.1流
4.2.2無窮樹
4.3反基礎公理AFA
4.3.1AFA的提出
4.3.2AFA的等價形式
4.3.3AFA的一致性
4.4循環現象
4.4.1哲學中的循環現象
4.4.2經濟學中的循環現象
4.4.3模態邏輯中的循環現象
4.4.4情景語義學中的循環現象
4.4.5理論計算機科學中的循環現象
4.5非良基集合的發展歷史
4.5.1第一個階段：觀念的萌芽(1900—1924)
4.5.2第二個階段：公理集合論(1925—1949)
4.5.3第三個階段：非良基的存在性(1950—1974)
4.5.4第四個階段：非良基集合的引入及其套用(1975—)
第5章 4種反基礎公理
5.1集合的圖
5.2巴夫公理：BA1
5.3阿克采爾反基礎公理：AFA
5.3.1互模擬
5.3.2系統映射
5.3.3AFA的等價形式
5.4公理AFA的推廣：AFA～
5.5公理AFA的變體：FAFA和SAFA
5.5.1費斯勒公理：FAFA
5.5.2斯考特公理：SAFA
5.6公理AFA、 FAFA和SAFA的關係
第6章 非良基集合全域及其外延性公理
6.1巴夫集合全域B及其外延性
6.2非良基集合全域V~及其外延性
6.3非良基集合全域與數系擴張的類比
第7章 模型論概述和AFA的完全模型
7.1模型論概述
7.1.1一階語言
7.1.2定理
7.1.3模型論基本方法
7.1.4模型論的發展
7.2AFA的完全模型
7.2.1協調性與可滿足性
7.2.2完全模型Vc
第8章 反基礎公理的可構成模型
8.1ZF的可構成模型
8.1.1L的構造與性質
8.1.2L|=ZF的證明
8.1.3可構成公理L=V
8.2公理AFA的可構成模型
8.3公理族AFA～的可構成模型
第9章 反基礎公理的構造性模型
9.1構造集合論
9.1.1構造性數學
9.1.2公理系統：CZF
9.2AFA的構造模型
9.3公理族AFA～的構造模型
第10章 法律論證模型研究
10.1法律邏輯概述
10.1.1法律邏輯思想發展
10.1.2法律邏輯的定位
10.1.3法律推理
10.2法律論證
10.2.1法律論證的研究綜述
10.2.2法律論證的傳統框架
10.2.3法律論證的模型研究
附錄1The Axioms of Extensionality of NonWellFounded Sets
附錄2非良基集合理論的研究及其套用
參考文獻
