逻辑学教程（第二版）

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

第二章 命题逻辑
第一节 命题逻辑概述
一、命题、语句和判断
二、命题和推理的种类
三、复合命题推理概述
第二节 复合命题及其推理
一、负命题及其推理
二、联言命题及其推理
三、选言命题及其推理
四、假言命题及其推理
五、其他关于联结词的推理
第三节 命题逻辑的自然演绎系统NP
一、形式语言
二、推导规则
三、NP系统中的语法推出关系
第四节 命题逻辑有效性的判定
一、形式语言的语义解释
二、命题逻辑语义有效性的判定
练习题

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

第四章 谓词逻辑
第一节 谓词逻辑概述
一、命题逻辑与谓词逻辑
二、个体词和谓词
三、量词
第二节 一阶语言及其语义解释
一、一阶语言
二、一阶语言的语义解释
第三节 谓词逻辑的自然推理系统QNP
一、关于全称量词的推理规则
二、关于存在量词的推理规则
三、谓词逻辑的自然推理系统QNP
四、QNP系统的可靠性和完全性
练习题

第五章 模态逻辑
第一节 模态逻辑
一、模态逻辑的定义
二、传统模态逻辑
三、现代模态逻辑的内容和特点
四、模态命题逻辑的自然推理系统
五、可能世界语义学
第二节 规范模态逻辑
一、规范模态逻辑的定义
二、规范逻辑系统DT
三、道义语义学
练习题

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

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

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

第九章 论辩逻辑
第一节 论辩逻辑概述
一、论辩逻辑的定义
二、论辩的方法
三、论辩与推理
四、论辩的作用
第二节 论证
一、论证概述
二、论证的种类
三、论证的评估与建构
第三节 反驳
一、反驳的定义和组成
二、反驳的方法和种类
第四节 辩护
一、辩护的定义和组成
二、辩护的模式与方法
第五节 论辩的逻辑原则和规则
一、论辩的逻辑原则
二、论辩规则
练习题

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