蒯因著作集（第3卷）

引言
第一篇 基本原理

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

第二章 真實類
4 實在,外延性與個體
5 虛在實中
6 等同與代換

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

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

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

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

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

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

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

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

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

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

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

第十二章 一般變元與策海洛
37 帶一般變元的類型論
38 累積類型與策海洛
39 無窮公理及其他

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

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

五個公理系統(tǒng)一覽
編號公式表
參考文獻
索引