蒯因著作集（第2卷）

邏輯方法（第四版）
引論
第Ⅰ部分 真值函項(xiàng)
1 否定、合取和析取
2 真值函項(xiàng)
3 條件句
4 歸組
5 真值分析
6 一致性和有效性
7 蘊(yùn)涵
8 語詞轉(zhuǎn)換為符號
9 等值
10 析取范式
11 簡化
12 對偶
13 公理
第Ⅱ部分 一般詞項(xiàng)和量詞
14 直言陳述句
15 文恩圖
16 三段論
17 這些方法的局限
18 布爾模式
19 有效性的實(shí)驗(yàn)
20 布爾模式的一些附帶問題
21 約束變元
22 量化式
23 移置規(guī)則 一元模式
24 前束和純化
25 再論有效性
26 代入
第Ⅲ部分 量化的一般理論
27 推廣的模式
28 推廣的代入
29 純存在模式
30 主要方法
31 應(yīng)用
32 完全性
33 勒文海姆定理
34 判定和不可判定的
35 函項(xiàng)范式
36 艾爾伯朗的方法
37 證明有效性的其他方法
38 演繹
39 可靠性
40 演繹的策略
第Ⅳ部分 進(jìn)一步的問題概覽
41 單獨(dú)詞項(xiàng)
42 同一性
43 摹狀詞
44 單獨(dú)詞項(xiàng)的消去
45 變元的消去
46 類
47 數(shù)
48 公理集合論
習(xí)題部分參考答案
參考文獻(xiàn)
索引
本體論的相對性及其他論文