逻辑学教程（第三版）

第一章 绪论
第一节 逻辑学的对象
一、逻辑学的含义
二、思维、语言与逻辑
三、逻辑学的研究对象
第二节 逻辑学的性质与作用
一、逻辑学的性质
二、逻辑学的作用
第三节 逻辑学的研究与学习方法
一、逻辑学的研究方法
二、逻辑学的学习方法
第四节 逻辑学的发展
一、逻辑学的早期状况
二、逻辑学的现代概况

第二章 传统词项逻辑
第一节 传统词项逻辑概述
一、简单命题和词项
二、传统词项逻辑的概念
第二节 词项
一、词项的定义及特征
二、词项的种类
三、词项外延间的关系
四、明确词项的逻辑方法
第三节 直言命题
一、直言命题及其结构
二、直言命题的种类
三、直言命题主、谓项的周延性
第四节 直言命题的直接推理
一、直言命题的对当关系推理
二、直言命题的变形推理
第五节 三段论
一、什么是三段论
二、三段论的规则及其应用
三、省略三段论

第三章 命题逻辑
第一节 命题逻辑概述
一、命题、判断与语句
二、命题与推理的类型
第二节 复合命题及其推理
一、复合命题及其推理概述
二、联言命题及其推理
三、选言命题及其推理
四、假言命题及其推理
五、负命题及其推理
六、复合命题的相互转换及其推理
第三节 归谬赋值法及真值表的作用
一、归谬赋值法
二、真值表的作用
第四节 命题逻辑的自然演绎系统
一、自然演绎系统概述
二、推导规则
三、条件证明规则
四、间接证明规则

第四章 谓词逻辑
第一节 命题的谓词形式
一、个体词、谓词和量词
二、简单命题的形式化
第二节 谓词逻辑公式
一、一阶谓词逻辑的形式语言
二、自由变项、约束变项和命题函项
三、公式的解释
第三节 命题形式化的一般方法
一、一般命题形式化的基本步骤
二、命题隐含意义的分析
第四节 谓词逻辑推理的规则
一、关于量词的推理规则
二、谓词逻辑推理的形式演算
三、对推理规则的限制
四、谓词逻辑的自然推理系统
第五节 带等词的谓词逻辑

第五章 模态逻辑
第一节 模态逻辑概述
一、模态和模态逻辑
二、模态命题的符号化
三、模态命题的逻辑性质
第二节 传统模态逻辑
一、基本模态命题之间的对当关系
二、基本模态命题的对当推理
三、模态命题与实然命题之间的真假关系及其推理
第三节 模态命题的自然推理系统TN
一、定义
二、推理规则
三、系统TN中的定理
第四节 规范模态逻辑
一、规范模态命题
二、规范命题的逻辑性质
三、规范对当关系及其推理

第六章 归纳逻辑
第一节 归纳逻辑概述
一、归纳逻辑的定义
二、归纳逻辑的性质和作用
三、归纳和演绎的关系
第二节 传统归纳逻辑
一、完全归纳推理
二、简单枚举归纳推理
三、类比归纳推理
四、穆勒“五法”
第三节 现代归纳逻辑
一、概率归纳推理
二、统计归纳推理

第七章 科学逻辑
第一节 科学逻辑概述
一、什么是科学逻辑
二、逻辑与科学方法
第二节 科学解释与科学预测
一、科学解释
二、科学预测
第三节 科学假说
一、假说及其基本特征
二、假说的形成
三、假说的检验

第八章 语用逻辑
第一节 语用逻辑概述
一、什么是语用逻辑
二、语言与言语
第二节 语境与预设
一、语境
二、预设
第三节 言语行为与合作原则
一、言语行为理论
二、合作原则与准则
第四节 言语交际与语用推理
一、言语交际
二、语用推理
三、隐涵与语用推理

第九章 论辩逻辑
第一节 论辩逻辑概述
一、论辩逻辑的定义
二、论辩的方法与作用
第二节 论证
一、论证概述
二、论证的种类
第三节 反驳
一、反驳的定义和组成
二、反驳的方法和种类
第四节 辩护
一、辩护的定义和组成
二、辩护的模式与方法
第五节 论辩的规则
一、关于论题的规则
二、关于论据的规则
三、关于论辩方式的规则

第十章 辩谬逻辑
第一节 辩谬概述
一、论辩、诡辩与谬误
二、辨析谬误的意义
三、谬误的分类
第二节 谬误的辨析
一、词项型谬误
二、命题型谬误
三、论辩型谬误
第三节 破斥诡辩
一、诡辩概述
二、诡辩的识别与破斥
三、诡辩术与论辩技巧的区别

第十一章 逻辑思维的基本规律
第一节 逻辑思维基本规律概述
一、逻辑思维基本规律的普适性
二、逻辑思维基本规律的确定性
三、逻辑思维基本规律的客观性
第二节 同一律
一、同一律的基本内容
二、同一律的逻辑要求和违反它的逻辑错误
三、同一律的作用
第三节 矛盾律
一、矛盾律的基本内容
二、矛盾律的逻辑要求和违反它的逻辑错误
三、矛盾律的作用
第四节 排中律
一、排中律的基本内容
二、排中律的逻辑要求和违反它的逻辑错误
三、排中律的作用
四、排中律与矛盾律的区别
附：各章练习题参考答案