第一章 绪论 1
第一节 逻辑学的对象 1
第二节 逻辑学的方法 7
第三节 逻辑学的性质和作用 9
第二章 语言分析 16
第一节 语词分析 16
第二节 语句分析 43
第三章 逻辑推理：命题演算 59
第一节 复合命题：形式语言PL 59
第二节 重言式：语义推导与等值变形 70
第三节 基本有效式 81
第四节 其他有效式 93
第五节 自然推理系统PN 106
第四章 逻辑推理：类演算与关系推理 133
第一节 直言命题 133
第二节 直接推理 141
第三节 三段论 148
第四节 直言命题推理：有效性判定 158
第五节 关系推理 166
第五章 逻辑推理：谓词演算 178
第一节 概述 178
第二节 谓词逻辑公式：形式语言QL 179
第三节 自然推理系统QN 182
第六章 逻辑推理：模态、规范推理 194
第一节 模态命题 194
第二节 模态推理 197
第三节 自然推理系统TN、QTN 206
第四节 规范命题 212
第五节 规范推理 215
第六节 自然推理系统DTN 226
第七章 合情推理：归纳逻辑 235
第一节 概述 235
第二节 回溯推理 236
第三节 归纳推理 238
第四节 密尔五法 241
第五节 类比推理 250
第六节 概率与统计推理 252
第七节 假说方法 255
第八章 逻辑基本规律 277
第一节 同一律 277
第二节 矛盾律 283
第三节 排中律 290
第九章 论证 297
第一节 证明与反驳 297
第二节 证明的规则 305
第三节 证明的方法 309
第四节 反驳的方法 314
第十章 论辩 322
第一节 对话与争辩 322
第二节 论辩的准则 328
第三节 论辩的方法 336
第四节 诡辩与谬误 351
后记 368