本书共分四编：命题逻辑、命题演算、谓词逻辑和谓词演算(这些只是各编的名称，请勿当真把符号逻辑划分成这样四个部分)。每一编都从简单的问题和不太严格的讨论开始，逐渐过渡到较复杂的问题和较严格的讨论。全书内容涉及符号化、语义学、费奇式推演、弗雷格．希尔伯特式系统和简单的元定理及其证明。

 第一章 引言

1.1 论说

 1.1.1 论说的好坏

 1.1.2 论说形式的好坏

 1.1.3 论说的好坏取决于其形式的好坏

1.2 演绎

 1.2.1 演绎的例子（一）

 1.2.2 演绎的例子（二）

 1.2.3 可演绎性、可证性和独立性

 1.2.4 可演绎性与论说

1.3 一致性

 1.3.1 关于一致性的基本想法

 1.3.2 不一致命题集的例子

 1.3.3 一致性、逻辑蕴涵和可演绎性的关系

1.4 与逻辑或“逻辑”有关的几个问题

 1.4.1 “逻辑是什么”不是逻辑问题

 1.4.2 逻辑与“逻辑”的用法

 1.4.3 逻辑与“习惯的说理方式”

 1.4.4 当代逻辑、传统逻辑和“普通人需要的逻辑

第一编 命题逻辑

 第二章 命题连接词与真值表方法

 第三章 命题逻辑的基本概念

第二编 命题演算

 第四章 费奇式推演Ⅰ

 第五章 弗雷格-希尔伯特式演算Ⅰ

 第六章 弗雷格-希尔伯特式演算Ⅱ

第三编 谓词逻辑

 第七章 走进谓词逻辑

 第八章 谓词逻辑的基本语法和语义Ⅰ

 第九章 谓词逻辑的基本语法和语义Ⅱ

第四编 谓词演算

 第十章 费奇式推演Ⅱ

 第十一章 弗雷格-希尔伯特式演算Ⅲ

 第十二章 弗雷格-希尔伯特式演算Ⅳ

附录 演算、数学归纳法、习题答案

结语

参考文献和推荐书目

希腊字母读音表

索引