現(xiàn)代數(shù)學哲學教程 從哥德爾到赫爾曼（第一冊）

第一章數(shù)學實在論1

第一節(jié)哥德爾的數(shù)學實在論思想1

1. 哥德爾關于類和概念的實在論觀點4

2. 羅素無類理論的唯名論立場9

3. 連續(xù)統(tǒng)假設、不可判定性和無窮公理16

4. 從數(shù)學即模型論和哲學即認識論兩個角度分析集合論公理21

第二節(jié)奎因的科學實在論思想27

1. 分析性、意義與同義性29

2. 由同義性決定的非形式和形式定義33

3. 保真可互換性、認知同義性與分析性36

4. 分析性、語義規(guī)則和真性39

5. 意義的證實理論與激進還原主義42

6. 經(jīng)驗與虛構：奎因的科學實在論46

第三節(jié)普特南的數(shù)學實在論立場49

1. 集合論對科學和純粹邏輯的不可或缺性52

2. 對不可或缺性的頭兩種反對意見以及普特南的回應54

3. 對不可或缺性的第三個反對意見以及普特南的第一個回應57

4. 對不可或缺性論證的第三個反對意見以及普特南的第二個回應60

第四節(jié)帕森斯的數(shù)學實在論思想63

1. 直覺的兩種用法：對象關系用法和命題態(tài)度用法66

2. 數(shù)學直覺和感官知覺類比的困境68

3. 數(shù)學直覺的優(yōu)先性71

4. 符號串類型的知覺73

5. 作為范式的知覺和想象75

6. 對數(shù)學可能性的三種態(tài)度以及帕森斯的回應78

7. 類型的無時間性、非因果性和不完全性80

8. 正面結論的有限范圍82

第五節(jié)麥蒂的集合實在論思想84

1. 貝納塞拉夫難題和利爾難題87

2. 視位—對象關系和元素—集合關系間的相似性89

3. 小蟲探測器、三角形探測器和對象探測器94

4. 集合探測器99

5. 直覺原則與固有知識103

6. 麥蒂集合實在論對千原唯名論的回應108

第二章數(shù)學唯名論113

第一節(jié)古德曼和奎因的唯名論思想113

1. 抽象對象、具體對象與虛構世界116

2. 具體世界、成形對象和有限性117

3. 唯名論者的定義方式118

4. 唯名論者的還原方法119

5. 柏拉圖式對象語言、唯名論句法語言及其九個謂詞124

6. 十二個輔助謂詞126

7. 撇號串、變元、量詞串和量詞化128

8. 原子公式、半公式和公式129

9. 三條公理和兩條規(guī)則131

10. 證明、定理和理論限制135

第二節(jié)貝納塞拉夫的唯名論思想138

1. 貝納塞拉夫反對數(shù)即集合的結構主義唯名論思想138

2. 關于數(shù)學真性和數(shù)學知識的貝納塞拉夫難題161

第三節(jié)普特南的唯名論思想179

1. 數(shù)學中的基礎主義以及普特南對數(shù)學的模態(tài)化處理179

2. 普特南的模型論論證以及對可構成性公理的反實在

論解釋198

第四節(jié)千原的唯名論思想223

1. 還原類比與知覺類比226

2. 虛構類比、身心類比與真性類比以及算子分析227

3. 哥德爾的本體論柏拉圖主義論證、數(shù)學直覺學說以及

千原對它們的質疑239

4. 公理的結實性以及奎因對哥德爾本體論柏拉圖主義

論證的推進244

第三章從虛構主義數(shù)學到結構主義數(shù)學247

第一節(jié)菲爾德的虛構主義數(shù)學247

1. 數(shù)學反實在論的第一個版本：以協(xié)調性替換實在論的真性249

2. 數(shù)學反實在論的第二個版本：以保守性替換真性253

3. 菲爾德的物理學唯名論化策略260

4. 菲爾德的元邏輯唯名論化策略266

第二節(jié)雙重視角下的元邏輯模態(tài)觀點270

1. 獨立于數(shù)學虛構主義的元邏輯272

2. 柏拉圖主義者的邏輯協(xié)調性、邏輯蘊涵和邏輯真性273

3. 虛構主義者改良可能性原則的認識論地位282

4. 模態(tài)性、協(xié)調性、元邏輯與本體論287

第三節(jié)赫爾曼的模態(tài)結構主義集合論289

1. 赫爾曼模態(tài)結構主義的兩個思想來源291

2. 模態(tài)結構主義集合論原則294

3. 自然模型、半范疇性與模態(tài)存在性假設297

4. 普特南語義學、穩(wěn)定性定理與正確性定理304

5. 可構造的無窮公理309

6. 替換公理、反射原則、不可描述性與大基數(shù)313

7. 用尾擴充證明兩個定理321

第四節(jié)赫爾曼的消除結構主義數(shù)學323

1. 結構主義各種路徑的共同性與消除結構主義的特殊性324

2. 復數(shù)量詞、分體論、直謂主義與唯名論化綱領329

3. 度量空間、測度論、拓撲空間與層理論341

參考文獻349