《逻辑学》教学日历

教学日历

课程安排

学时：作为专业基础课定为60—80学时。作为文化素质教育通选课定为36学时。

1-2课时：了解普通逻辑的研究对象，掌握思维的逻辑形式的构成：

基本内容：逻辑学的一些基本概念、思维的内容与形式，逻辑学的对象与性质、学习逻

辑学的作用，逻辑学的研究方法以及学习方法，逻辑学的发展简史：

重难点：思维的内容与形式，有效（形式正确）的推理，形式化、公理化。

3-4课时：熟练掌握概念、语词和词项的联系与区别，明确词项的种类，词项的内涵和

外延及词项外延间的关系、确定它的意义。明确词项的逻辑方法有：限制和概括、定义、划

分；

基本内容：词项、词项的分类、词项外延间的关系、限制和概括、定义、划分。

5-7课时：熟练掌握直言命题的定义、结构、种类，直言命题主、谓项的周延性问题，

直言命题间的对当关系以及对当关系的推理，直言命题的变形推理并熟练使用对当关系判断

命题真假；

基本内容：A、E、I、。四种命题的定义、周延性及其对当关系推理、变形推理；

重难点：直言命题的周延性及其推理。

8-9课时：要求学生熟练掌握三段论的定义、格和式，三段论的基本规则及有效形式，

学会判断三段论的格与式，了解三段论规则及应用；

基本内容：三段论的结构、格与式、三段论的基本规则及导出规则；

重难点：判定三段论有效性的规则。

10-12课时：正确理解命题、判断和语句之间的联系和区别，掌握复合命题、联言命题、

选言命题、假言命题、负命题等一般更合命题的结构与原理及其推理规则；

基本内容：理解判断、语句与命题之间的关系；掌握复合命题、联言命题、选言命题、

假言命题、负命题等一般复合命题的结构与原理。

13-15课时：熟练掌握命题形式和真值表方法，能够独立完成命题逻辑的形式化和证明

（真值表和自然演绎两种方法）；

基本内容：掌握一般更合命题的真值形式，掌握真值表方法、归谬赋值法的判定方式

与方法。

16-18课时：理解和拿握命题逻辑的自然演绎系统NP。通过运川形式推演的方法（即

“语法”的方法），为我们日常推理中的有效推理形式构造形式证明；

基本内容：掌握命题逻辑的自然演绎系统NP,掌握一般命题推理的实际推理运用。

19-20课时：掌握命题逻辑和谓词逻辑的区别与联系，理解什么是个体词、谓词、量词，

理解并掌握自然推理系统QNP,运用谓词逻辑的推导规则进行形式推演；

基本内容：谓词逻辑、个体词、谓词、量词，一阶语言的语义解释，谓词逻辑的推理规

则，自然推理系统QNP；

重难点：语义解释、语形与语义的关系，运用谓词逻辑的推导规则进行形式推演。

21-23课时：要求学生了解谓词的语言、理解约束变项、自由变项和命题函项这些概念;

初步掌握谓词逻辑的符号化方法：

基本内容：量化命题，量化命题的真假问题；

重难点：谓词逻辑推理的规则：全称例示规则、存在概括规则、存在例示规则、全称概

括规则。

24-25课时：复习并掌握谓词逻辑推理的规则，能够独立完成谓词逻辑的符号化和证明

（真值表和自然演绎两种方法），理解并掌握什么是一阶量化演绎系统Qm及Qm系统的规

则、Qm形式证明、Qm系统的可靠性和完全性；

基本内容：建立量化推理的形式证明。

重难点：Qm系统的量化规则、形式证明、的可靠性和完全性

26-27课时：了解归纳逻辑的定义，理解归纳与演绎的关系；熟练掌握“穆勒五法”，

了解传统归纳逻辑与现代归纳逻辑的区别；

基本内容：归纳逻辑的定义、性质和作用，简单枚举归纳推理、类比推理，探求因果联

系的五种方法，现代概率归纳推理和统计归纳推理；

重难点：探求因果联系五种方法的公式表示及相关联系，现代概率归纳推理和统计归纳

推理。

28-31课时：了解假说的形成、特征和检验；充分理解论证的种类和反驳的方法；了解

论辩、诡辩与谬误的辨析；

基本内容：掌握假说的实质和方法，论辨的三种方法、论辨的四条基本规则，论证的分

类、反证法，反驳的种类、归谬法，辨护的常用方法，论辩、诡辩、谬误与辩谬的定义与区

别，各种类型的谬误，破斥诡辩的方法：

重难点：反证法与归谬法的联系与区别，常见“推不出”的逻辑错误，区别各种类型的

谬误，对各种诡辩进行正确的、有力的破斥。

32-33课时：了解逻辑思维基本规律的性质，熟练掌握同一律、矛盾律和排中律的基本

内容；

基本内容：理解同一律的内涵及核心作用、掌握同一律的要求与违反同一律的错误，理

解矛盾律的内涵、掌握矛盾律的要求与违反矛盾律的错误，理解排中律的内涵、掌握排

中律的要求与违反排中律妁错误，掌握矛盾律与排中律的区别，理解充足理由律的内涵，掌

握充足理由律的要求与违反充足理由律的错误。

34-36课时：考试。

西南大学逻辑学教学日历

周

讲授题目及内容教学老师

次

第一讲绪论

第1节逻辑学的对象

第第2节逻辑学的性质及作用、逻辑学的发展何向东

1第3节逻辑学研究与学习方法

周

第二讲传统词项逻辑

第1节传统词项逻辑概述

第2节词项

第第3节直言命题何向东

1第4节直言命题的直接推理

周第5节三段论

第三讲命题逻辑

第1节命题逻辑概述

第2节复合命题及其推理、总结命题联结词及其推

第理规则郭美云

2第3节命题形式和直值表方法

周第4节命题逻辑的自然演绎系统NP

第四讲谓词逻辑

第第1节命题的谓词形式

3第2节命题形式化的一般方法

周第3节谓词逻辑公式唐晓嘉、马明辉

第4节简单命题的逻辑结构

第5节谓词逻辑推理的规则

第6节一阶量化演绎系统Qm

周

讲授题目及内容教学老师

次

第五讲归纳逻辑

第第1节归纳逻辑概述

4第2节传统归纳逻辑

周第3节现代归纳逻辑

第六讲科学逻辑王静

第1节科学逻辑概述、科学解释与科学预测

第2节科学假说

第七讲论辩与辩谬逻辑