內容介紹
內容提要本卷包括兩部論著：《威拉德·范·奧曼·蒯因自傳》（1986）和《數理邏輯》（1940）。前者是蒯因為“在世哲學家文庫”《蒯因哲學》卷所寫的簡明自傳；後者是蒯因的一部重要的邏輯著作，在其中，他仍然堅持邏輯主義綱領，試圖從邏輯中推導出數學，把先前在《數理邏輯的新基礎》（1937）一文中提出的NF系統，修改為ML系統，這是一個把命題邏輯、量化理論和集合論集為一身的系統，結構簡明、特性奇異。
目錄
威拉德·范·奧曼·蒯因自傳
數理邏輯
導言
第一章 句子
1 合取、析取和否定
2 條件句
3 多重複合
4 使用和談論
5 談論句子的句子
6 準引語
7 括弧與黑點
8 歸約為三個初始聯結詞
9 歸約為一個初始聯結詞
10 重言式
11 某些重言的形式
第二章 量化
12 量詞
13 公式
14 約束、自由、閉包
15 量化的公理
16 定理
17 元定理
18 等值代換
19 存在量詞
20 量詞的分配
21 字母變體
第三章 項
22 類和分子
23 邏輯公式
24 抽離
25 等同
26 再論抽離
27 摹狀詞和名字
第四章 關於類的進一步理論
28 層次
29 更進一步的從屬關係公理
30 等同可代入性
31 變元的代入
32 進一步的結果
33 邏輯積、和、補
34 包含
35 單類
第五章 關係
36 對和關係
37 關係的抽離
38 逆、象、關係積
39 祖先
40 函式
41 函式的抽離
42 作為關係的等同和從屬
第六章 數
43 零、一、後繼
44 自然數
45 可數集合
46 有窮的和無窮的
47 關係的冪
48 算術和、積、冪
……
第七章 句法
附錄
參考文獻
人名索引
主題詞索引
