第一章 命题演算 1
第二章 谓词逻辑 26
第三章 自然演绎系统 45
第四章 模态逻辑 59
第五章 多值逻辑 73
第六章 直觉主义逻辑 90
第七章 元逻辑 103
第八章 量子逻辑 115
第九章 模糊逻辑 130
第十章 道义逻辑 143
第十一章 优先逻辑 157
第十二章 时间逻辑 171
第十三章 祈使逻辑 186
第十四章 自然逻辑 200
第十五章 问题逻辑 214
第十六章 相信逻辑 230
第十七章 断定逻辑 242
第十八章 内涵逻辑 255
第十九章 相干逻辑 272
第二十章 现代归纳逻辑 283
第二十一章 逻辑与计算机 298
第二十二章 悖论研究 317
第二十三章 科学逻辑 329
第二十四章 辩证逻辑的现代进展 343
第二十五章 现代西方主要哲学流派的逻辑思想 356
附录 371
主要参考文献 371
外国人名译名对照 375
常用逻辑符号表 382