- 课程简介
- Ⅰ：1.1.逻辑：道理、原理、logos
- Ⅰ：1.2.逻辑的目标
- Ⅰ：1.3.说话与推理
- Ⅰ：1.4.推理的有效性
- Ⅱ：2.1.论证结构
- Ⅱ：2.2.论证的两个重要观念
- Ⅱ：2.3.语词与命题
- Ⅱ：2.4.命题的标准
- Ⅱ：2.5.论证形式
- Ⅱ：2.6.实例说明
- Ⅱ：2.7.充分条件和必要条件
- Ⅱ：2.8.有效论证的定义
- Ⅲ：3.1.日常语言的复杂性
- Ⅲ：3.2.歧义
- Ⅲ：3.3.含混性
- Ⅲ：3.4.开放性
- Ⅲ：3.5.形式语言的必要性
- Ⅲ：3.6.命题逻辑语言
- Ⅲ：3.7.句式结构树
- Ⅲ：3.8.关于句式的重要概念
- Ⅳ：4.1.语意学
- Ⅳ：4.2.古典逻辑语意学预设
- Ⅳ：4.3.连接词的语意
- Ⅳ：4.4.恒真句
- Ⅳ：4.5.矛盾句
- Ⅳ：4.6.偶真句
- Ⅳ：4.7.句式之间的关系
- Ⅳ：4.8.一群句式之间的关系
- Ⅴ：5.1.真值表法的结构、模型
- Ⅴ：5.2.真值表法演算步骤
- Ⅴ：5.3.无效论证和反例结构
- Ⅴ：5.4.无前提或无结论的论证
- Ⅴ：5.5.可决定性
- Ⅴ：5.6.简易真值表法
- Ⅵ：6.1.函映完备性
- Ⅵ：6.2.具备函映完备性的连接词集合
- Ⅵ：6.3.谢菲尔线
- Ⅵ：6.4.选言标准式（DNF）
- Ⅵ：6.5.连言标准式（CNF）
- Ⅵ：6.6.极端范例
- Ⅵ：6.7.等值句式的DNF与CNF
- Ⅵ：6.8.函映完备性的定理
- Ⅶ：7.1.语法蕴含关系
- Ⅶ：7.2.两种证明策略
- Ⅶ：7.3.真值树的结构
- Ⅶ：7.4.真值树的规则
- Ⅶ：7.5.真值树系统规则
- Ⅶ：7.6.有效论证实例
- Ⅶ：7.7.无效论证实例
- Ⅶ：7.8.一致性的证明
- Ⅷ：8.1.公理系统的结构
- Ⅷ：8.2.公理的取代句式
- Ⅷ：8.3.定理
- Ⅷ：8.4.论证的有效性
- Ⅸ：9.1.自然演绎法的特性与分类
- Ⅸ：9.2.树状自然演绎法规则
- Ⅸ：9.3.树状自然演绎法范例
- Ⅸ：9.4.线性自然演绎法等值规则
- Ⅸ：9.5.线性自然演绎法蕴含规则
- Ⅸ：9.6.线性自然演绎法范例
- Ⅹ：10.1.语词逻辑的起源
- Ⅹ：10.2.句型结构解析
- Ⅹ：10.3.三段论的论证结构
- Ⅹ：10.4.三段论的样态
- Ⅹ：10.5.三段论的有效性
- Ⅹ：10.6.三段论范例
- Ⅹ：10.7.文式图
- Ⅹ：10.8.文式图范例
- Ⅹ：10.9.作业讲解
- Ⅺ：11.1.述词逻辑的必要性
- Ⅺ：11.2.述词逻辑的新元素
- Ⅺ：11.3.述词逻辑语言
- Ⅺ：11.4.述词逻辑句式说明
- Ⅺ：11.5.一元述词的翻译
- Ⅺ：11.6.二元关系述词的重要性质
- Ⅻ：12.1.量词的翻译原则
- Ⅻ：12.2.二元述词的翻译
- Ⅻ：12.3.常用语词翻译
- Ⅻ：12.4.论域
- Ⅻ：12.5.量词与连接词
- Ⅻ：12.6.确定描述词
- XⅢ：13.1.推论规则
- XⅢ：13.2.推论规则说明
- XⅢ：13.3.有效论证实例说明
- XⅢ：13.4.无效论证实例说明
- XⅢ：13.5.不可决定性
- XⅢ：13.6.有效论证实例
- XⅢ：13.7.无效论证实例
- XIV：14.1.推论规则
- XIV：14.2.否定规则与个例规则
- XIV：14.3.通称规则
- XIV：14.4.存在预设
- XIV：14.5.自然演绎法实例（一）
- XIV：14.6.自然演绎法实例（二）
- XV：15.1.谬误的分类
- XV：15.2.形式谬误
- XV：15.3.不相干的谬误
- XV：15.4.误导的谬误
- XV：15.5.假定的谬误
课程介绍
一、课程教学目的
逻辑学是一门专业选修课，是实践性和技巧性很强的专业基础课，
是学习文科各专业的基础性和工具性的课程。通过教学，使学生掌握
普通逻辑思维的基本理论、基本知识和基本技能，培养学生逻辑思维
的能力和本质，为专业课程的学习和今后的工作提供逻辑学基础。在
教学过程中，本课程要求着重培养学生正确理解概念，准确作出判断，
有效进行推理，科学组织论证，能辨别人们逻辑思维的正误。
二、课程教学要求
本课程以概念、判断、推理、论证为为基本结构，内容有概念、
性质判断及其推理、复合判断及其推理、归纳和类比推理、逻辑思维
的基本规律、论证与假说。
执行本大纲应注意的问题：
1．注意讲清本课程中的基本概念和基本理论，在保持课程的科
学性及系统性的基础上，应突出重点、难点。
2．教学过程中要充分利用直不雅观教具如模型、图表、幻灯及录像
和计算机辅助教学软件等。
3．因学时有限，而内容较多，因此有一部分内容要求学生自学。
学生自学部位不占总学时，但仍然是大纲要求掌握内容。学生自学部
分，采用由教师提示，学生课后自学并提出问题，老师课后解答的方
式；
4. 必要时对重点章节，可在讲授基础上，引导学生查阅资料，
并进行课后学习兴趣小组讨论，写出读书报告，以培养学生综合分析问题的能力。
课程目录
课程简介
Ⅰ：1.1.逻辑：道理、原理、logos
Ⅰ：1.2.逻辑的目标
Ⅰ：1.3.说话与推理
Ⅰ：1.4.推理的有效性
Ⅱ：2.1.论证结构
Ⅱ：2.2.论证的两个重要不雅观念
Ⅱ：2.3.语词与命题
Ⅱ：2.4.命题的标准
Ⅱ：2.5.论证形式
Ⅱ：2.6.实例说明
Ⅱ：2.7.充分条件和必要条件
Ⅱ：2.8.有效论证的定义
Ⅲ：3.1.日常语言的复杂性
Ⅲ：3.2.歧义
Ⅲ：3.3.含混性
Ⅲ：3.4.开放性
Ⅲ：3.5.形式语言的必要性
Ⅲ：3.6.命题逻辑语言
Ⅲ：3.7.句式结构树
Ⅲ：3.8.关于句式的重要概念
Ⅳ：4.1.语意学
Ⅳ：4.2.古典逻辑语意学预设
Ⅳ：4.3.连接词的语意
Ⅳ：4.4.恒真句
Ⅳ：4.5.矛盾句
Ⅳ：4.6.偶真句
Ⅳ：4.7.句式之间的关系
Ⅳ：4.8.一群句式之间的关系
Ⅴ：5.1.真值表法的结构、模型
Ⅴ：5.2.真值表法演算步骤
Ⅴ：5.3.无效论证和反例结构
Ⅴ：5.4.无前提或无结论的论证
Ⅴ：5.5.可决定性
Ⅴ：5.6.简易真值表法
Ⅵ：6.1.函映完备性
Ⅵ：6.2.具备函映完备性的连接词集合
Ⅵ：6.3.谢菲尔线
Ⅵ：6.4.选言标准式（DNF）
Ⅵ：6.5.连言标准式（CNF）
Ⅵ：6.6.极端范例
Ⅵ：6.7.等值句式的DNF与CNF
Ⅵ：6.8.函映完备性的定理
Ⅶ：7.1.语法蕴含关系
Ⅶ：7.2.两种证明策略
Ⅶ：7.3.真值树的结构
Ⅶ：7.4.真值树的规则
Ⅶ：7.5.真值树系统规则
Ⅶ：7.6.有效论证实例
Ⅶ：7.7.无效论证实例
Ⅶ：7.8.一致性的证明
Ⅷ：8.1.公理系统的结构
Ⅷ：8.2.公理的取代句式
Ⅷ：8.3.定理
Ⅷ：8.4.论证的有效性
Ⅸ：9.1.自然演绎法的特性与分类
Ⅸ：9.2.树状自然演绎法规则
Ⅸ：9.3.树状自然演绎法范例
Ⅸ：9.4.线性自然演绎法等值规则
Ⅸ：9.5.线性自然演绎法蕴含规则
Ⅸ：9.6.线性自然演绎法范例
Ⅹ：10.1.语词逻辑的起源
Ⅹ：10.2.句型结构解析
Ⅹ：10.3.三段论的论证结构
Ⅹ：10.4.三段论的样态
Ⅹ：10.5.三段论的有效性
Ⅹ：10.6.三段论范例
Ⅹ：10.7.文式图
Ⅹ：10.8.文式图范例
Ⅹ：10.9.作业讲解
Ⅺ：11.1.述词逻辑的必要性
Ⅺ：11.2.述词逻辑的新元素
Ⅺ：11.3.述词逻辑语言
Ⅺ：11.4.述词逻辑句式说明
Ⅺ：11.5.一元述词的翻译
Ⅺ：11.6.二元关系述词的重要性质
Ⅻ：12.1.量词的翻译原则
Ⅻ：12.2.二元述词的翻译
Ⅻ：12.3.常用语词翻译
Ⅻ：12.4.论域
Ⅻ：12.5.量词与连接词
Ⅻ：12.6.确定描述词
XⅢ：13.1.推论规则
XⅢ：13.2.推论规则说明
XⅢ：13.3.有效论证实例说明
XⅢ：13.4.无效论证实例说明
XⅢ：13.5.不成决定性
XⅢ：13.6.有效论证实例
XⅢ：13.7.无效论证实例
XIV：14.1.推论规则
XIV：14.2.否定规则与个例规则
XIV：14.3.通称规则
XIV：14.4.存在预设
XIV：14.5.自然演绎法实例（一）
XIV：14.6.自然演绎法实例（二）
XV：15.1.谬误的分类
XV：15.2.形式谬误
XV：15.3.不相干的谬误
XV：15.4.误导的谬误
XV：15.5.假定的谬误
