引言&L．格勃尔 1
第1章 经典逻辑Ⅰ：一阶逻辑&W．霍季斯 10
第2章 经典逻辑Ⅱ：高阶逻辑&S．夏皮罗 36
第3章 集合论&J.P．伯格斯 61
第4章 哥德尔的不完全性定理&R．斯穆里安 80
第5章 真&A．古普塔 102
第6章 逻辑推论&P.A．布朗切特 131
第7章 模态逻辑&M.J．克雷斯韦尔 153
第8章 道义逻辑&R．希尔庇能 179
第9章 认知逻辑&J.-J.Ch．梅尔 205
第10章 时间逻辑&Y．维尼玛 228
第11章 直觉主义逻辑&D.V．达伦 252
第12章 自由逻辑&K．拉姆伯特 290
第13章 相干逻辑&E.D．马莱斯、R.K．梅尔 316
第14章 多值逻辑&G．马利诺韦斯基 349
第15章 非单调逻辑&J.F．霍蒂 380
第16章 概率、逻辑、概率逻辑&A．哈耶克 411
第17章 条件句逻辑&D．埃金顿 438
第18章 否定&H．万星 476
第19章 量词&D．韦斯特斯塔尔 500
第20章 逻辑和自然语言&A.T．米伦 527
索引 554