保罗·蒂德曼（Paul Tidman）（1956—），美国俄亥俄州尤宁山大学（University of Mount Union）哲学与宗教学系教授。主要研究方向为逻辑学、认识论、形而上学及应用伦理学。
霍华德·卡哈尼（Howard Kahane）（1928—2001），美国有名逻辑教育家，曾先后任教于堪萨斯大学、马里兰大学等。主要代表作：《逻辑与哲学：现代逻辑导论》（1969年第壹版，至第六版为独立作者，以后各版与他人合作），《六个归纳问题》（1962年），《逻辑与当代修辞学》（1971年），《契约伦理学》（1995年）。

章绪论
1.论证的要素
2.演绎与归纳
3.论证形式
4.真与有效性
5.可靠性
6.相容性
7.相容性和有效性之比较
8.发现的语境与辩护的语境
9.本书的安排
本章引入的关键术语
部分语句逻辑
第2章语句逻辑符号化
1.原子语句和复合语句
2.真值函数
3.合取
4.非真值函数联结词
5.变项与常项
6.否定
7.括号
8.析取
9.“并非既……又……”和“既不……也不……”
10.实质条件句
11.实质双条件句
12.“仅当”和“除非”
13.复杂语句符号化
14.语句逻辑的不同符号体系
本章引入的关键术语
第3章真值表
1.真值的计算
2.重言句、矛盾句和偶真句
3.逻辑等价与条件句
4.用真值表检验有效性
5.用真值表检验相容性
6.有效性和相容性
7.用简化真值表方法检验无效性
8.用简化真值表方法检验相容性
9.代入特例
10.真值表与语句形式
本章引入的关键术语
第4章证明
1.论证形式
2.肯定前件式和否定后件式
3.析取三段论和假言三段论
4.简化式和组合式
5.附加式和二难构成式
6.策略原则
7.双重否定律和德·摩根律
8.交换律、结合律和分配律
9.易位律、蕴析律和移出律
10.重言律和等值律
11.更多策略原则
2.解题中的常见错误
本章引入的关键术语
第5章条件证明和间接证明
1.条件证明
2.间接证明
3.运用CP和IP的策略提示
4.定理
5.前提不相容的证明
6.附加的有效论证形式
7.语句逻辑的完全性和可靠性
8.引入规则和消去规则
9.实质蕴涵和有效的论证形式
本章引入的关键术语
第6章语句逻辑真值树
1.语句逻辑真值树方法
2.真值树规则
3.真值树构造的细节
4.真值树方法的理论依据
5.真值树方法的应用
本章引入的关键术语
第二部分谓词逻辑
第7章谓词逻辑符号化
1.个体和属性
2.量词和自由变项
3.全称量词
4.存在量词
5.基本的谓词逻辑符号化
6.对当方阵
7.量化语句符号化的常见错误
8.展开式
9.“只有”“只有……才”和“除非”的符号化
小章引入的关键术语
第8章谓词逻辑语义学
1.谓词逻辑中的解释
2.无效性的证明
3.使用展开式证明无效性
4.谓词逻辑中的相容性
5.谓词逻辑中的有效性和不相容性
本章引入的关键术语
第9章谓词逻辑证明
1.有效性的证明
2.四个量词规则
3.五个主要限制
4.四个量词规则的精确形塑
5.熟练掌握四个量词规则
6.量词否定规则
本章引入的关键术语
0章关系谓词逻辑
1.关系谓词
2.含有重叠量词的符号表达式
3.展开式与重叠量词
4.地点与时间
5.“某人”“某地”“某时”等语词的符号化
6.关系谓词逻辑中的无效性与相容性
7.关系谓词逻辑的证明
8.关系谓词逻辑证明的策略
9.谓词逻辑中的定理与不相容性
10.谓词逻辑的元理论
11.量词规则的简化
1章四个量词规则精确形塑的理论说明
1.涉及五个主要限制的情形
2.一一对应问题
3.意外约束变项及其复杂情形
4.带有标记常项的谓词逻辑证明
2章谓词逻辑真值树
1.谓词逻辑真值树方法
2.无穷真值树
3章同一性与符号逻辑的哲学问题
1.同一性
2.限定摹状词
3.关系的性质
4.高阶逻辑
5.谓词逻辑的局限性
6.哲学问题
7.逻辑悖论
本章引入的关键术语
……
第三部分其他逻辑系统
部分习题解答
参考文献
特殊符号
索引
译者后记

本书是迄今为止国际上最畅销的现代逻辑基础教程（没有“之一”）。全书以清晰、准确的理论阐释见长，并辅以精心搜集、设计的例题、习题及部分习题解答，生动体现了逻辑学在哲学及相关学科中的应用价值，同时也通俗地阐释了当代逻辑与逻辑哲学领域的一些前沿问题。全书体现了“理论严整性”与“学生友好性”的完美结合，因而受到读者欢迎与好评。