前辅文
绪论
第一节 逻辑学的研究对象和类型
一、逻辑学的含义
二、逻辑学的研究对象
三、逻辑学的类型
第二节 逻辑学的性质与学习逻辑学的作用
一、逻辑学的性质
二、学习逻辑学的作用
第三节 逻辑学的研究方法与学习方法
一、逻辑学的研究方法
二、逻辑学的学习方法
第四节 逻辑学的发展概况
一、逻辑学的三大传统
二、现代逻辑学的发展
三、当代中国逻辑学的普及与发展
第一章 传统词项逻辑
第一节 词项
一、词项概述
二、词项的种类
三、词项外延之间的关系
第二节 直言命题
一、直言命题及其逻辑结构
二、直言命题的分类
三、直言命题主项和谓项的周延性
四、对当方阵
第三节 直接推理
一、直接推理的特点
二、对当关系推理
三、直言命题变形推理
四、直言命题直接推理的检验
第四节 三段论
一、什么是三段论
二、三段论推理的一般规则
三、三段论的格及其特殊规则
四、三段论的式
五、非标准形式三段论
六、用文恩图解法检验三段论的有效性
第二章 命题逻辑
第一节 命题逻辑概述
一、句子与命题
二、简单命题与复合命题
三、推理
第二节 复合命题及其推理
一、命题联结词的真值表
二、复合命题推理
三、复合命题的逻辑等值推理
四、复合命题推理的综合运用
第三节 真值表方法
第三章 命题逻辑的自然演绎系统
第一节 证明与子证明
第二节 推理规则
一、结构规则
二、联结词规则
第三节 系统ＮＰ 中的推导
一、合取规则的运用
二、蕴涵规则的运用
三、否定规则的运用
四、析取规则的运用
五、等值规则的运用
六、综合运用
第四节 无前提推导与演绎定理
第四章 谓词逻辑
第一节 个体词、谓词和量词
一、个体词
二、谓词
三、量词
第二节 谓词逻辑的形式语言
一、谓词逻辑的公式
二、命题的符号化
第三节 基本语法概念
一、自由变元与约束变元
二、代入
第四节 谓词逻辑语义
一、模型和赋值
二、有效公式与有效推理
第五章 谓词逻辑的自然演绎系统
第一节 谓词逻辑自然演绎系统
一、全称量词消去规则
二、全称量词引入规则
三、存在量词消去规则
四、存在量词引入规则
第二节 带等词的谓词逻辑自然演绎系统
一、等词消去规则
二、等词引入规则
第六章 传统归纳逻辑
第一节 归纳推理
一、归纳推理的定义
二、归纳推理的作用
第二节 枚举归纳推理
一、枚举归纳推理的定义
二、枚举归纳推理的作用
第三节 穆勒五法
一、求同法
二、求异法
三、求同求异并用法
四、共变法
五、剩余法
六、如何正确对待穆勒五法
第四节 类比推理
一、类比推理的定义
二、运用类比推理时应该注意的问题
三、模拟方法
第七章 现代归纳逻辑
第一节 概率和概率演算
一、概率和概率解释
二、概率演算
三、贝叶斯规则
第二节 统计推理
一、统计推理概述
二、统计推理的类别、形式和相关概念
三、统计推理的抽样问题
四、统计推理的应用
第八章 科学逻辑
第一节 科学方法与科学逻辑
第二节 科学说明与科学预测
一、科学说明
二、科学预测
第三节 科学假说
一、科学假说的基本特征
二、科学假说的形成
三、科学假说的检验
第四节 科学理论及其演化
一、假说转化为理论
二、科学理论的系统演化
三、科学悖论的形成与解决
第九章 论辩逻辑
第一节 非形式逻辑与论辩逻辑
第二节 论证、反驳与辩护
一、论证的建构与评估
二、反驳的建构与评估
三、辩护的建构与评估
第三节 定义与划分
一、明确概念的基本方法
二、定义的种类与评估
三、划分的种类与评估
第四节 谬误与诡辩
一、形式谬误与非形式谬误
二、非形式谬误的辨析
第十章 语言交际的逻辑
第一节 语言逻辑概述
一、句法学
二、语义学
三、语用学
第二节 言语行为理论
一、言语行为理论的产生与发展
二、语用逻辑
三、间接言语行为
第三节 言语行为与成功交际
一、切当性标准
二、成功交际的条件
三、间接言语行为的准则
第十一章 逻辑思维的基本规律
第一节 逻辑规律与思维规范
第二节 矛盾律
一、矛盾律的基本内容
二、矛盾律的规范作用
第三节 排中律
一、排中律的基本内容
二、排中律的规范作用
第四节 同一律
一、同一律的基本内容
二、同一律的规范作用
练习题参考答案
阅读文献
人名译名对照表
术语中英文对照表
后记
