本译作的特点有：其一，与大多数教材不同，作者使用的是树形图证明论方法。这个方法的优点是机械，解题并不需要多少灵感的创造，学生较容易把握。相对照，常见的公理化方法或者自然演绎法，学生不容易把握。其二，作者强调逻辑与哲学的紧密关系。逻辑中有哲学问题，并且哲学会推动逻辑的创新。国内的教材，据我所知，较少使用树形图方法构造证明论。这本教材的出版将为国内的逻辑教材提供一种重要补充。

逻辑要求人们讲道理，告诉人们如何去讲道理，告诉人们如何去识别他人（有时候包括我们自己）是如何地不讲道理，并如何去反驳这种不讲道理。因此，逻辑是对于理性精神的培养和训练。本译作是一本经典逻辑导论教材，主要阐述了经典命题逻辑和经典谓词逻辑。经典命题逻辑，研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系；经典谓词逻辑，研究量化命题的逻辑性质及其相互之间的推理关系。二者是本书重点介绍也是本书的核心内容。

导言
写给学生/1
写给教师/2
第一部分 命题逻辑
第1章命题与论证
命题/6
论证/7
论证形式/8
小结/10
进阶读物/10
习题/10
第2章联结词与论证形式
合取与析取/13
条件句与双向条件句/15
否定/16
一种形式的语言/17
更多论证形式/19
小结/20
习题/21
第3章真值表
……