蒯因著作集（第3卷）

引言
第一篇 基本原理

第一章 邏輯
1 量化與等同
2 虛擬類(lèi)
3 虛擬關(guān)系

第二章 真實(shí)類(lèi)
4 實(shí)在,外延性與個(gè)體
5 虛在實(shí)中
6 等同與代換

第三章 類(lèi)的類(lèi)
7 單元類(lèi)
8 并,交,摹狀詞
9 作為對(duì)子之類(lèi)的關(guān)系
10 函數(shù)

第四章 自然數(shù)
11 未詮釋的數(shù)
12 經(jīng)詮釋的數(shù)
13 歸納法

第五章 迭代與算術(shù)
14 序列與迭代
15 祖先化
16 和,積,冪

第二篇 較高形式的數(shù)

第六章 實(shí)數(shù)
17 大綱;數(shù)字對(duì)
18 經(jīng)詮釋的比率與實(shí)數(shù)
19 存在的需求;運(yùn)算與擴(kuò)張

第七章 次序與序數(shù)
20 超窮歸納法
21 次序
22 序數(shù)
23 序數(shù)的定律
24 序數(shù)的次序

第八章 超窮遞歸
25 超窮遞歸
26 超窮遞歸的定律
27 枚舉

第九章 基數(shù)
28 類(lèi)的比較大小
29 施羅德-伯恩斯坦定理
30 無(wú)窮基數(shù)

第十章 選擇公理
31 選定物和選擇者
32 此公理的其他的等價(jià)者
33 此公理的地位

第三篇 公理系統(tǒng)

第十一章 羅素的類(lèi)型論
34 構(gòu)造性部分
35 類(lèi)與可歸約公理
36 現(xiàn)代類(lèi)型論

第十二章 一般變?cè)c策海洛
37 帶一般變?cè)念?lèi)型論
38 累積類(lèi)型與策海洛
39 無(wú)窮公理及其他

第十三章 分層與終極類(lèi)
40 "新基礎(chǔ)"
41 非康托爾類(lèi);再談歸納法
42 附加終極類(lèi)

第十四章 馮·諾伊曼的系統(tǒng)及其他
43 馮·諾伊曼-貝爾奈斯系統(tǒng)
44 偏離與比較
45 諸系統(tǒng)的強(qiáng)度

五個(gè)公理系統(tǒng)一覽
編號(hào)公式表
參考文獻(xiàn)
索引