反基礎(chǔ)公理的模型研究

定　價：￥24.00

作　者：	杜文靜著
出版社：	復(fù)旦大學(xué)出版社
叢編項：
標　簽：	邏輯學(xué) 哲學(xué)/宗教

購買這本書可以去

ISBN：	9787309098389	出版時間：	2013-05-01	包裝：	平裝
開本：	大32開	頁數(shù)：	273	字數(shù)：

內(nèi)容簡介

　　《反基礎(chǔ)公理的模型研究》旨在探索基于反基礎(chǔ)公理的非良基集合論，并為反基礎(chǔ)公理建立可構(gòu)成模型和構(gòu)造性模型。在經(jīng)典的公理化集合論系統(tǒng)ZF中，有一條刻畫集合性質(zhì)的公理，這條公理通常被稱作基礎(chǔ)公理、良基公理或正則公理，記作FA。在將FA加入ZF之前，循環(huán)集合在ZF中是否存在是不能斷定的。將FA加入ZF之后，它不但排除了羅素悖論，還使得經(jīng)典集合論中的所有對象都是良基的。同時，它也排除了滿足循環(huán)條件x∈x和∈無窮遞降鏈條件構(gòu)成的集合（這類集合被稱作非良基集合）。基礎(chǔ)公理FA把ZF的論域限制到整個良基集合的范圍中。因此，經(jīng)典的公理化集合論系統(tǒng)ZF不能很好地刻畫循環(huán)現(xiàn)象。要為循環(huán)現(xiàn)象或者非良基集合建立模型是20世紀后期邏輯學(xué)家、數(shù)學(xué)家和計算機科學(xué)家的一項重要工作。在借鑒和吸納國內(nèi)外研究成果的基礎(chǔ)上，《反基礎(chǔ)公理的模型研究》的研究內(nèi)容主要包括：利用典范圖探討集合全域中的外延公理。特別地，利用哥德爾的可構(gòu)成模型L，根據(jù)可構(gòu)成公理V=L，為含有反基礎(chǔ)公理AFA的集合論系統(tǒng)ZFC-+AFA和含有反基礎(chǔ)公理族AFA~的集合論系統(tǒng)ZFC-+AFA~建立可構(gòu)成模型；此外，在林德斯姆工作的基礎(chǔ)上，采用阿克采爾的方法，為含有反基礎(chǔ)公理族AFA~的構(gòu)造集合論系統(tǒng)CZF-+AFA~建立構(gòu)造性模型。這些研究工作對豐富集合論理論具有一定的意義，并對運用人工智能技術(shù)處理法律領(lǐng)域內(nèi)論證的識別、構(gòu)造、分析、評價的過程以及進一步促進論證形式化系統(tǒng)可視化、軟件化，都有一定的促進作用。

作者簡介

暫缺《反基礎(chǔ)公理的模型研究》作者簡介

圖書目錄

第1章引論
1.1 研究背景
1.2 研究意義
1.3 國內(nèi)外研究現(xiàn)狀
1.3.1 國外研究現(xiàn)狀
1.3.2 國內(nèi)研究現(xiàn)狀

第2章集合論預(yù)備知識
2.1 集合論的創(chuàng)立與發(fā)展
2.1.1 無窮集合的早期研究
2.1.2 康托爾集合論的誕生
2.1.3 集合論悖論
2.1.4 公理化集合論的建立
2.1.5 康托爾集合論的發(fā)展與展望
2.2 集合論相關(guān)數(shù)學(xué)概念
2.2.1 集合概念與屬于關(guān)系
2.2.2 集合運算及某些特殊集合的符號表示
2.2.3 邏輯學(xué)中的幾個概念
2.2.4 集合的表示方法
2.2.5 集合語言與數(shù)學(xué)概念

第3章公理集合論概述
3.1 公理化方法
3.2 ZF公理系統(tǒng)
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 基礎(chǔ)公理
3.2.10 選擇公理

第4章基礎(chǔ)公理FA與反基礎(chǔ)公理AFA
4.1 關(guān)于基礎(chǔ)公理FA之爭
4.2 基礎(chǔ)公理FA的局限性
4.2.1 流
4.2.2 無窮樹
4.3 反基礎(chǔ)公理AFA
4.3.1 AFA的提出
4.3.2 AFA的等價形式
4.3.3 AFA的一致性
4.4 循環(huán)現(xiàn)象
4.4.1 哲學(xué)中的循環(huán)現(xiàn)象
4.4.2 經(jīng)濟學(xué)中的循環(huán)現(xiàn)象
4.4.3 模態(tài)邏輯中的循環(huán)現(xiàn)象
4.4.4 情景語義學(xué)中的循環(huán)現(xiàn)象
4.4.5 理論計算機科學(xué)中的循環(huán)現(xiàn)象
4.5 非良基集合的發(fā)展歷史
4.5.1 第一個階段：觀念的萌芽（1900-1924）
4.5.2 第二個階段：公理集合論（1925-1949）
4.5.3 第三個階段：非良基的存在性（1950-1974）
4.5.4 第四個階段：非良基集合的引入及其應(yīng)用（1975-）

第5章 4種反基礎(chǔ)公理
5.1 集合的圖
5.2 巴夫公理：BA1
5.3 阿克采爾反基礎(chǔ)公理：AFA
5.3.1 互模擬
5.3.2 系統(tǒng)映射
5.3.3 AFA的等價形式
5.4 公理AFA的推廣：AFA～
5.5 公理AFA的變體：FAFA和SAFA
5.5.1 費斯勒公理：FAFA
5.5.2 斯考特公理：SAFA
5.6 公理AFA、 FAFA和SAFA的關(guān)系

第6章非良基集合全域及其外延性公理
6.1 巴夫集合全域B及其外延性
6.2 非良基集合全域V~及其外延性
6.3 非良基集合全域與數(shù)系擴張的類比

第7章模型論概述和AFA的完全模型
7.1 模型論概述
7.1.1 一階語言
7.1.2 定理
7.1.3 模型論基本方法
7.1.4 模型論的發(fā)展
7.2 AFA的完全模型
7.2.1 協(xié)調(diào)性與可滿足性
7.2.2 完全模型Vc

第8章反基礎(chǔ)公理的可構(gòu)成模型
8.1 ZF的可構(gòu)成模型
8.1.1 L的構(gòu)造與性質(zhì)
8.1.2 L|=ZF的證明
8.1.3 可構(gòu)成公理L=V
8.2 公理AFA的可構(gòu)成模型
8.3 公理族AFA～的可構(gòu)成模型

第9章反基礎(chǔ)公理的構(gòu)造性模型
9.1 構(gòu)造集合論
9.1.1 構(gòu)造性數(shù)學(xué)
9.1.2 公理系統(tǒng)：CZF
9.2 AFA的構(gòu)造模型
9.3 公理族AFA～的構(gòu)造模型

第10章法律論證模型研究
10.1 法律邏輯概述
10.1.1 法律邏輯思想發(fā)展
10.1.2 法律邏輯的定位
10.1.3 法律推理
10.2 法律論證
10.2.1 法律論證的研究綜述
10.2.2 法律論證的傳統(tǒng)框架
10.2.3 法律論證的模型研究
附錄1 The Axioms of Extensionality of Non?Well?Founded Sets
附錄2 非良基集合理論的研究及其應(yīng)用
參考文獻