蒯因著作集（第1卷）

導(dǎo)言
第一章 句子
1.合取、析取和否定
2.條件句
3.多重復(fù)合
4.使用和談?wù)?br />5.談?wù)摼渥雍途渥?br />6.準(zhǔn)引語(yǔ)
7.括號(hào)與黑點(diǎn)
8.歸約為三個(gè)初始聯(lián)結(jié)詞
9.歸約為一個(gè)初始聯(lián)結(jié)詞
10.重言式
11.某些重言的形式

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

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

第四章 關(guān)于類的進(jìn)一步理論
28.層次
29.更進(jìn)一步的從屬關(guān)系公理
30.等同事代入性
31.變?cè)拇?br />32.進(jìn)一步的結(jié)果
33.邏輯積、和、補(bǔ)
34.包含
35.單類

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

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

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

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

參考文獻(xiàn)
人名索引
主題詞索引