逻辑学导论（第3版）

第一章 绪论
第一节 逻辑的研究对象
第二节 逻辑的基本规律
一、同一律
二、矛盾律
三、排中律
第三节 逻辑的功能定位
一、逻辑是一门基础性学科
二、逻辑的功能
第四节 逻辑的历史演进
一、逻辑的发源地
二、传统逻辑
三、现代逻辑
练习题
第二章 命题逻辑(一)
第一节 命题和推理的概述
一、命题、判断与语句
二、命题的分类
三、推理及其有效性
第二节 联言命题及其推理
一、联言命题
二、联言推理
第三节 选言命题及其推理
一、选言命题
二、选言推理
第四节 假言命题及其推理
一、充分条件假言命题及其推理
二、必要条件假言命题及其推理
三、充分必要条件假言命题及其推理
第五节 负命题及其推理
一、负命题
二、复合命题的负命题
三、负命题的等值推理
第六节 二难推理
一、什么是二难推理
二、二难推理的形式
三、二难推理的应用
第七节 其他复合命题推理
一、假言联言推理
二、假言连锁推理
三、假言易位推理
四、归谬推理
五、反三段论
练习题
第三章 命题逻辑(二)
第一节 真值联结词
一、真值联结词概述
二、5个基本的真值联结词
第二节 真值形式
一、什么是真值形式
二、真值函项
三、重言式
第三节 真值表方法
一、列真值表的方法
二、真值表的判定作用
三、简化真值表方法
第四节 范式及其应用
一、范式
二、求范式的方法
三、简化范式和优范式
四、范式的应用
练习题
第四章 命题逻辑(三)
第一节 命题逻辑自然推理概述
一、初始符号
二、形成规则
三、推演规则
第二节 推理规则及其应用
一、推理规则
二、推理规则的应用
第三节 置换规则及其应用
一、置换规则
二、置换规则的应用
第四节 条件证明规则及其应用
一、条件证明规则
二、条件证明规则的应用
练习题
第五章 谓词逻辑(一)
第一节 直言命题
一、直言命题及其组成
二、直言命题的分类
三、直言命题的真假
四、直言命题间的真假关系
五、直言命题的文恩图解
六、词项的周延性
第二节 直言命题的直接推理
一、对当关系推理
二、命题变形推理
第三节 三段论
一、对三段论的一般考察
二、三段论的规则
三、三段论的格与式
四、运用文恩图解方法检验三段论的有效性
五、三段论的还原
六、三段论的带证式
练习题
第六章 谓词逻辑(二)
第一节 谓词逻辑的基本概念
第二节 直言命题符号化
第三节 关系命题
一、关系命题的结构成分
二、关系命题的形式
三、带等词的命题形式
第四节 否定式的量化式与量化式的否定式
一、否定式的量化式
二、量化式的否定式
第五节 普遍有效性和可满足性
一、普遍有效式
二、不可满足式
三、可满足式
练习题
第七章 谓词逻辑(三)
第一节 谓词逻辑的推理规则
一、量词销去与引入的规则
二、量词互换的规则
三、“引进主词假设”的规则
第二节 带量词的关系命题推理
第三节 转换判定方法
一、全称式转换为合取式
二、存在式转换为析取式
第四节 解释方法
练习题
第八章 模态逻辑
第一节 真值模态命题及其推理
一、什么是真值模态命题
二、真值模态命题间的对当关系
三、真值模态推理
第二节 规范命题及其推理
一、什么是规范命题
二、规范命题间的对当关系
三、规范推理
第三节 时态命题及其推理
一、时态命题
二、时态命题间的对当关系
三、时态推理
练习题
第九章 归纳逻辑
第一节 归纳逻辑概述
一、含义
二、基本形态
三、发展过程
第二节 枚举归纳推理
一、枚举归纳推理的含义
二、枚举归纳推理的形式
三、枚举归纳推理的有效性
第三节 探求因果联系的逻辑方法
一、求同法
二、求异法
三、求同求异并用法
四、共变法
五、剩余法
第四节 类比与隐喻
一、类比推理
二、隐喻认知
第五节 概率推理和统计推理
一、随机事件与概率
二、统计推理
第六节 溯因推理
一、概念界定
二、认知特性
练习题
第十章 语用逻辑(一)
第一节 语境概念的提出
一、国外学者的语境观
二、国内学者的语境观
三、语境的特点
第二节 语境的分类
一、言内语境与言外语境
二、内涵语境与外延语境
三、真实语境与虚拟语境
第三节 语境的实质——认知语境
一、认知语境的基本特征
二、认知语境的建构过程