第一章 绪论 1
第一节 逻辑与逻辑科学 1
第二节 逻辑学的研究对象 7
第三节 逻辑学的学科性质 16
第四节 学习逻辑学的意义和方法 20
练习题 22
第二章 命题逻辑 24
第一节 命题逻辑概述 24
第二节 联言命题及其推理 30
第三节 选言命题及其推理 34
第四节 假言命题及其推理 39
第五节 负命题及其等值推理 47
第六节 复合命题推理的推广形式 51
第七节 复合命题及其推理在实际思维中的应用 59
练习题 65
第三章 命题逻辑的现代发展 71
第一节 预备知识 71
第二节 真值函数 76
第三节 重言式的判定方法 83
第四节 命题逻辑的自然推理 96
第五节 公理化的命题演算系统 107
练习题 114
第四章 词项逻辑(上) 117
第一节 词项与概念 117
第二节 词项的种类 120
第三节 词项间的关系 125
第四节 词项的限制与概括 132
第五节 词项的定义 136
第六节 词项的划分 145
第七节 词项的运用与逻辑思维的训练 153
练习题 157
第五章 词项逻辑(下) 163
第一节 直言命题 163
第二节 直言命题的直接推理 173
第三节 直言命题的间接推理:三段论 181
第四节 直言命题及其推理的应用与逻辑思维训练 196
练习题 206
第六章 词项逻辑的现代发展 213
第一节 命题内部结构的逻辑分析 213
第二节 一阶谓词逻辑的形式语言及其解释 222
第三节 一阶谓词逻辑的自然推理 229
第四节 公理化的一阶谓词演算系统 238
练习题 249
第七章 模态逻辑初步 252
第一节 模态逻辑概述 252
第二节 真值模态命题及其推理 255
第三节 现代模态逻辑简介 270
第四节 规范(道义)模态命题及其推理 274
第五节 现代道义逻辑简介 282
练习题 284
第一节 传统逻辑基本规律的概述 288
第八章 传统逻辑的基本规律 288
第二节 同一律 291
第三节 矛盾律 295
第四节 排中律 298
第五节 传统逻辑基本规律在实际思维中的应用 301
练习题 305
第九章 归纳逻辑 312
第一节 归纳逻辑概述 312
第二节 完全归纳推理与不完全归纳推理 316
第三节 判明现象间因果联系的逻辑方法——古典的排除归纳推理 321
第四节 溯原推理 331
第五节 类比推理 333
第六节 假说 337
第七节 概率与统计方法初步——概率归纳逻辑简介 342
练习题 352
第十章 非形式的逻辑:论证与论辩 358
第一节 论证的概述 358
第二节 证明与反驳的种类和方法 364
第三节 论证的规则 372
第四节 论辩的结构与规则 377
第五节 论证的建构与评估及其在论辩过程中的作用 389
练习题 399
第十一章 谬误 405
第一节 谬误的概述 405
第二节 几种常见的非形式谬误 407
第三节 谬误的识别与避免 415
练习题 421
第十二章 语言逻辑初步 423
第一节 语言逻辑概述 423
第二节 语境 425
第三节 预设 434
练习题 438