第一篇 命题逻辑 1
第一章 真值联结词 真值函项 重言式 3
一·一 复合命题 复合命题的真假 3
一·二 真值联结词 真值形式 5
一·三 五个基本真值联结词 9
一·四 命题形式 11
一·五 真值表方法 14
一·六 真值函项 重言的真值函项 重言式 17
一·七 推理的形式结构 22
一·八 简化的真值表方法 正确推理形式的判定 27
四·一 判定问题 29
一·九 重言的等值式 31
第二章 命题演算 命题逻辑的公理化和形式化 35
二·一 公理系统和形式系统 35
二·二 命题演算的出发点 39
二·三 定理的推演 48
二·四 证明的简化 关于证明的语法规则 54
二·五 定理的推演(续) 60
二·六 求否定规则 对偶规则 70
第三章 范式 完全性 一致性 公理的独立性 76
三·一 范式 76
三·二 优范式 83
三·三 范式的作用 89
三·四 命题演算的一致性和完全性 95
三·五 公理的独立性 102
第四章 不同的命题逻辑 古典命题逻辑的不同的公理化 108
四·一 各种符号体系 109
四·二 不同的重言式系统 112
四·三 多值逻辑 116
四·四 模态逻辑 120
第二篇 狭谓词逻辑 125
第一章 狭谓词逻辑里的形式结构 普遍有效性和可满足性 127
一·一 谓词 变项和量词 127
一·二 狭谓词逻辑的命题形式和公式 134
一·三 普遍有效性和可满足性 144
第二章 狭谓词演算 151
二·一 狭谓词演算的出发点 151
二·二 定理的推演 语法规则 基本置换定理 168
第三章 演绎定理 范式 187
三·一 演绎定理 187
三·二 范式 前束范式 ？--前束范式 201
第四章 判定问题 一致性和完全性 209
四·二 一致性 225
四·三 完全性 231
第五章 狭谓词逻辑的不同系统 244
五·一 不同的狭谓词演算 244
五·二 自然推理系统 247
第六章 有等词的狭谓词演算 摹状词 258
六·一 数量公式 数量量词 259
六·二 摹状词 262
六·三 有等词的狭谓词演算 265
六·四 摹状词的不同处理 269
第三篇 数理逻辑发展简述 277
第一章 数理逻辑发展的第一阶段 282
一·一 莱布尼茨 283
一·二 布尔代数 286
一·三 关系逻辑与德摩根 289
第二章 数理逻辑发展的第二阶段 集合论的创建 292
二·一 无穷集的分类 293
二·二 多维连续统 296
二·三 更大的无穷 297
二·四 康托尔定理 299
二·五 良序定理 连续统假设 300
二·六 实无穷与潜无穷 301
第三章 公理方法的发展 305
三·一 《几何原本》 306
三·二 非欧几何 307
三·三 射影几何和度量几何 310
三·四《几何基础》 312
第四章 逻辑演算 316
四·一 数学的严格性和数学基础问题 316
四·二 弗雷格 318
四·三 皮亚诺 324
四·四 罗素 327
五·一 数学基础问题的争论 335
第五章 构造主义和证明论 335
五·二 直觉主义 构造主义和构造倾向 339
五·三 希尔伯特方案 348
第六章 歌德尔定理 数理逻辑发展的第三阶段 358
六·一 过渡时期 358
六·二 歌德尔定理 359
六·三 数理逻辑发展的第三阶段 368
第三篇参考文献 372
人名索引 392
术语索引 396
再版后记 407