蒯因著作集（第1卷）

導言
第一章 句子
1.合取、析取和否定
2.條件句
3.多重復合
4.使用和談論
5.談論句子和句子
6.準引語
7.括號與黑點
8.歸約為三個初始聯(lián)結(jié)詞
9.歸約為一個初始聯(lián)結(jié)詞
10.重言式
11.某些重言的形式

第二章 量化
12.量詞
13.公式
14.約束、自由、閉包
15.量化的公理
16.定理
17.元定理
18.等值代換
19.存在量詞
20.量詞的分配
21.字母變體

第三章 項
22.類和分子
23.邏輯公式
24.抽離
25.等同
26.再論抽離
27.摹狀詞和名字

第四章 關(guān)于類的進一步理論
28.層次
29.更進一步的從屬關(guān)系公理
30.等同事代入性
31.變元的代入
32.進一步的結(jié)果
33.邏輯積、和、補
34.包含
35.單類

第五章 關(guān)系
36.對和關(guān)系
37.關(guān)系的抽離
38.逆、象、關(guān)系積
39.祖先
40.函數(shù)
41.函數(shù)的抽離
42.作為關(guān)系的等同和從屬

第六章 數(shù)
43.零、一、后繼
44.自然數(shù)
45.可數(shù)集合
46.有窮的和無窮的
47.關(guān)系的冪
48.算術(shù)和、積、冪
49.普通算術(shù)恒等式
50.比值
51.實數(shù)
52.進一步的擴充

第七章 句法
53.形式性
54.句法的初始狀態(tài)
55.原句法
56.定義公式和句式
57.定義量化公理
58.定義定理
59.原句法自適用
60.不完全性

附錄
定理與元定理
定義表
定理和元定理表

參考文獻
人名索引
主題詞索引