第一章 绪论 1
第一节 逻辑学的对象 1
第二节 逻辑学的方法 7
第三节 逻辑学的性质和作用 9
第二章 语言分析 15
第一节 语词分析 15
第二节 语句分析 41
第三章 逻辑推理:命题演算 55
第一节 复合命题:形式语言PL 55
第二节 重言式:语义推导与等值变形 66
第三节 基本有效式 76
第四节 其他有效式 89
第五节 自然推理系统PN 101
第四章 逻辑推理:类演算与关系推理 126
第一节 直言命题 126
第二节 直接推理 134
第三节 三段论 141
第四节 直言命题推理:有效性判定 151
第五节 关系推理 159
第五章 逻辑推理:谓词演算 170
第一节 概述 170
第二节 谓词逻辑公式:形式语言QL 171
第三节 自然推理系统QN 174
第六章 逻辑推理:模态、规范推理 186
第一节 模态命题 186
第二节 模态推理 189
第三节 自然推理系统T N、QT N、 QT 197
第四节 规范命题 204
第五节 规范推理 207
第六节 自然推理系统DTN 217
第七章 合情推理:归纳逻辑 226
第一节 概述 226
第二节 回溯推理 227
第三节 归纳推理 229
第四节 密尔五法 232
第五节 类比推理 240
第六节 概率与统计推理 243
第七节 假说方法 246
第八章 逻辑基本规律 265
第一节 同一律 265
第二节 矛盾律 271
第三节 排中律 278
第九章 论证 284
第一节 证明与反驳 284
第二节 证明的规则 291
第三节 证明的方法 296
第四节 反驳的方法 301
第十章 论辩 308
第一节 对话与争辩 308
第二节 论辩的准则 314
第三节 论辩的方法 322
第四节 诡辩与谬误 336