课程简介
逻辑学有两千多年的发展历史。人们通常把19世纪中叶以前的逻辑学称为传统逻辑，又称为形式逻辑，把19世纪中叶以后发展起来的数理逻辑称为现代逻辑，也称为符号逻辑。传统逻辑主要是指传统演绎逻辑和传统归纳逻辑，即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。其中，传统演绎逻辑通常从词项逻辑和命题逻辑这两个视角来研究人类语言中的推理现象，而传统归纳逻辑主要研究枚举归纳推理、穆勒五法和类比推理。传统逻辑还包括关于同一律、矛盾律和排中律等逻辑思维规律的理论。
现代逻辑与传统逻辑的一个重要区别在于,现代逻辑在研究中广泛使用了人工符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学理论。现代逻辑通过更为精确的人工语言来研究人类思维中的推理现象。现代逻辑作为一种研究理论工具，不仅有助于研究哲学问题，而且对研究人工智能与计算机理论也有重要价值。
除了传统逻辑与现代逻辑，在上世纪70年代人们开始研究关于日常语言论证的非形式逻辑。非形式逻辑的任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序。形式逻辑研究论证主要是基于语义的研究，即真假命题之间的关系研究；而非形式逻辑研究论证主要是基于语用的研究，即从语境和论证目的角度进行研究，这更贴近人们的日常生活。
课程大纲
绪论
1.1 逻辑学的研究对象
1.2 逻辑学的作用
1.3 逻辑学的学习方法
1.4 逻辑学简史（逻辑三大传统）
词项
2.1 词项及其种类
2.2 词项之间的外延关系
2.3 词项的限制与概括、划分法和定义法
直言命题及其推理（一）
3.1 直言命题及其种类
3.2 对当关系推理
3.3 项的周延性
3.4 换质换位推理
3.5 换质位和换位质推理
直言命题及其推理（二）
4.1 直言三段论推理概述
4.2 直言三段论推理的基本规则
4.3 直言三段论推理的导出规则
直言命题及其推理（三）
5.1 直言三段论的格
5.2 直言三段论证明
5.3 直言三段论推理的应用
词项逻辑练习
6.1 对当关系推理练习
6.2 变形推理练习
6.3 三段论推理练习
6.4 三段论证明练习
复合命题及其推理（一）
6.1 合取命题及其推理
6.2 析取命题及其推理
6.3 充分条件假言命题及其推理
6.4 必要条件假言命题及其推理
6.5 负命题等值推理
复合命题及其推理（二）
7.1 常用的一些等值推理
7.2 反证法在行测中的运用
复合命题及其推理（三）
8.1 真值表方法
8.2 二难推理
复合命题练习
10.1 复合命题练习（一）
10.2 复合命题练习（二）
模态命题及其推理
11.1 什么是模态命题
11.2 模态推理
归纳推理
12.1 归纳推理概述
12.2 枚举归纳推理
12.3 探求因果联系的方法
类比推理
13.1 类比推理概述
13.2 类比推理应用
论辩逻辑
14.1 论证逻辑
逻辑思维规律
15.1 同一律
15.2 矛盾律
15.3 排中律
总复习
16.1 复习和考试注意事项
1.1 逻辑学的研究对象
1.2 逻辑学的作用
1.3 逻辑学的学习方法
1.4 逻辑学简史（逻辑三大传统）
词项
2.1 词项及其种类
2.2 词项之间的外延关系
2.3 词项的限制与概括、划分法和定义法
直言命题及其推理（一）
3.1 直言命题及其种类
3.2 对当关系推理
3.3 项的周延性
3.4 换质换位推理
3.5 换质位和换位质推理
直言命题及其推理（二）
4.1 直言三段论推理概述
4.2 直言三段论推理的基本规则
4.3 直言三段论推理的导出规则
直言命题及其推理（三）
5.1 直言三段论的格
5.2 直言三段论证明
5.3 直言三段论推理的应用
词项逻辑练习
6.1 对当关系推理练习
6.2 变形推理练习
6.3 三段论推理练习
6.4 三段论证明练习
复合命题及其推理（一）
6.1 合取命题及其推理
6.2 析取命题及其推理
6.3 充分条件假言命题及其推理
6.4 必要条件假言命题及其推理
6.5 负命题等值推理
复合命题及其推理（二）
7.1 常用的一些等值推理
7.2 反证法在行测中的运用
复合命题及其推理（三）
8.1 真值表方法
8.2 二难推理
复合命题练习
10.1 复合命题练习（一）
10.2 复合命题练习（二）
模态命题及其推理
11.1 什么是模态命题
11.2 模态推理
归纳推理
12.1 归纳推理概述
12.2 枚举归纳推理
12.3 探求因果联系的方法
类比推理
13.1 类比推理概述
13.2 类比推理应用
论辩逻辑
14.1 论证逻辑
逻辑思维规律
15.1 同一律
15.2 矛盾律
15.3 排中律
总复习
16.1 复习和考试注意事项