《形式逻辑》课程教学大纲

一、课程基本信息

英文名称 Formal Logic 课程性质 大类基础课程 学 分 3 主讲教师 课程代码 PHIL2050 授课对象 本科生 学 时 51 修订日期 2021.6.12 指定教材 何向东主编：《逻辑学》，高等教育出版社，2018年，第二版 二、课程目标（四号黑体）

（一）总体目标：（小四号黑体）

逻辑学研究推理的有效性。逻辑的基础性在于它构成了任何科学论证的框架，是清晰地进行观点表达的必要工具，因而这种基础性也决定了其广泛的可应用性。形式逻辑是逻辑学的初阶课程和基础课程，适合于未进行专业逻辑训练的所有大学生。本课程旨在通过对逻辑学基本概念和方法的学习，使学生理解严格科学所依赖的符号化方法、公理化方法和系统化方法的实质。在此基础上，通过基本的逻辑训练，使学生掌握一些基本的符号化方法和逻辑推理方法，准确识别论证中的逻辑错误，最终提高学生的逻辑思维能力和批判性思维水平。

（二）课程目标：（小四号黑体）

课程目标1：理解逻辑学的研究对象、目标和基本逻辑规律，在此基础上，掌握逻辑研究的不同阶段与逻辑学目标实现方式的对应。

1.1 掌握逻辑学的起源与逻辑研究对象之间的联结；

1.2 掌握推理有效性基本涵义，理解逻辑学研究的具体目标和实现途径；

1.3 理解逻辑学基本规律的根源和对其认识的历史发展，掌握逻辑错误与逻辑规律之间的关联；

1.4 理解逻辑学研究在实现其目标的探求中各个发展阶段的成果和创新性标志。 课程目标2：熟练掌握词项逻辑、命题逻辑和谓词逻辑对推理有效性的刻画和实现方式，掌握一些重要的分析推理有效性性的工具和方法，能够运用逻辑的方式解决一些现实中涉及推理的问题。

2.1 掌握直言命题的符号表达及直言命题之间的推理关系；掌握亚里士多德三段论的推

理规则及相互关系，学会用文恩图判定三段论的有效性；

2.2 掌握命题逻辑对自然语言符号化刻画的方式，理解命题联结词的基本涵义和相互关系；熟练地运用真值表和真值树方式判定公式是否为重言式；熟练掌握一个公理化系统和自然演绎系统，理解逻辑系统化思维的实质和用途；

2.3掌握谓词逻辑对自然语言符号化刻画的方式，理解量词的基本涵义和相互关系；熟练掌握谓词逻辑的基本语法和语义模型；能够在谓词逻辑的自然演绎系统中进行部分推导的证明，理解量化和变元的实质。

课程目标3：掌握归纳逻辑的方基础，理解归纳和演绎的区别和联系。

（三）课程目标与毕业要求、课程内容的对应关系（小四号黑体）

表1：课程目标与课程内容、毕业要求的对应关系表（五号宋体）

课程目标 课程子目标 1.1 1.2 课程目标1 1.3 对应课程内容 绪论 绪论 第十一章 熟练掌握，横向和纵向相结合 对应毕业要求 1.4 绪论 2.1 课程目标2 2.2 2.3 第一章 第二章、第三章 第四章、第五章 学会证明，规则和运用相结合 课程目标3 无 第六章 懂得比较，跳出边界看对象

三、教学内容（四号黑体）

（具体描述各章节教学目标、教学内容等。实验课程可按实验模块描述）

第一章 逻辑学导论（小四号黑体）

1.教学目标 （五号宋体）

掌握逻辑学的起源与逻辑研究对象之间的联结；掌握推理有效性基本涵义，理解逻辑学研究的具体目标和实现途径；理解逻辑学研究在实现其目标的探求中各个发展阶段的成果和创新性标志；理解逻辑学基本规律的根源和对其认识的历史发展，掌握逻辑错误与逻辑规律之间的关联。

2.教学重难点

理解有效性概念的本质，探究不同时期对有效性刻画的不同方式。 3.教学内容

逻辑的思想根源；逻辑学的对象；学习逻辑的方法；逻辑的历史发展；逻辑基本规律和逻辑谬误。

4.教学方法

理论说明和文献例证分析 5.教学评价

结合逻辑研究的对象和逻辑发展的历史，引导学生理解课程设置的用意。

第二章 词项逻辑（小四号黑体）

1.教学目标 （五号宋体）

掌握直言命题的符号表达及直言命题之间的推理关系；掌握亚里士多德三段论的推理规则及相互关系，学会用文恩图判定三段论的有效性。

2.教学重难点

三段论推理规则之间的关系。 3.教学内容

词项的分类；词项的外延关系；直言命题的分类；周延性；直言命题推理；三段论及其推理规则；文恩图方法。

4.教学方法

课堂讲解和例证分析、课后练习和讲解分析。 5.教学评价

通过课堂上的举例分析，培养学生具体分析的能力和批判性思维。

第三章和第四章命题逻辑及其系统（小四号黑体）

1.教学目标 （五号宋体）

掌握命题逻辑对自然语言符号化刻画的方式，理解命题联结词的基本涵义和相互关系；熟练地运用真值表和真值树方式判定公式是否为重言式；熟练掌握一个公理化系统和自然演绎系统，理解逻辑系统化思维的实质和用途。

2.教学重难点

命题逻辑系统中定理的推导。 3.教学内容

命题的解释；命题联结词的涵义；复合命题推理；真值表和真值树方法；命题逻辑的自然演绎系统的规则和运用。

4.教学方法

课堂讲解和例证分析、课后练习和讲解分析。 5.教学评价

通过推导能力的培养和训练，引导学生理解逻辑推导的本质。

第五章和第六章谓词逻辑及其系统（小四号黑体）

1.教学目标 （五号宋体）

掌握谓词逻辑对自然语言符号化刻画的方式，理解量词的基本涵义和相互关系；熟练掌握谓词逻辑的基本语法和语义模型；能够在谓词逻辑的自然演绎系统中进行部分推导的证明，理解量化和变元的实质。

2.教学重难点

量词的规则与解释，变元的代入。 3.教学内容

语句的量化分析；自然语言符号化；量词和变元的解释；谓词逻辑的语法； 模型与赋值；谓词逻辑的自然演绎系统的推理规则及其运用。

4.教学方法

课堂讲解和例证分析、课后练习和讲解分析。 5.教学评价

通过量化推理的学习，培养学生对量化思维和质性思维的把握。

第七章归纳逻辑（小四号黑体）

1.教学目标 （五号宋体）

掌握归纳逻辑的方基础，理解归纳和演绎的区别和联系。 2.教学重难点

归纳与演绎的区分和联系。 3.教学内容

归纳的定义与模式；穆勒五法；类比推理的模式；概率演算；贝叶斯定理。 4.教学方法

课堂讲解和例证分析。

5.教学评价

通过归纳和演绎的对比，引导学生理解逻辑思维的本质。

四、学时分配（四号黑体）

表2：各章节的具体内容和学时分配表（五号宋体） 章节 导论 第一章 第二章 第三章 第四章 第五章 第六章 章节内容 逻辑学导论 词项逻辑 命题逻辑 命题逻辑的自然演绎系统 谓词逻辑 谓词逻辑的自然演绎系统 归纳逻辑 学时分配 6 9 7 8 8 6 4 五、教学进度（四号黑体）

表3：教学进度表（五号宋体）

周次 章节名称 内容提要 授课时数 作业及要求 结合逻辑研究的对象和逻辑发展的历史，引导学生理解课程设置的用意。 相关练习题 相关练习题 相关练习题 备注 1-2 导论 逻辑学导论 6 3-5 6-7 7-9 第一章 第二章 第三章 词项逻辑 命题逻辑 命题逻辑的自然演9 7 8 绎系统 10 11-13 期中考试 第四章 谓词逻辑 谓词逻辑的自然演绎系统 归纳逻辑 8 相关练习题 14-15 第五章 6 相关练习题 16 17-18 第六章 期末考试 4 实例分析 六、教材及参考书目（四号黑体）

（电子学术资源、纸质学术资源等，按规范方式列举）（五号宋体） 1.何向东主编：《逻辑学》，高等教育出版社，2018年，第二版

2.柯匹和科恩等著，胡泽洪等译：《逻辑要义》，北京联合出版公司 2018年。 3.Elliott Mendelson. Introduction to Mathematical Logic, CRC, 2009.

七、教学方法（四号黑体）

（讲授法、讨论法、案例教学法等，按规范方式列举，并进行简要说明）（五号宋体） 1. 讲授法：通过PPT讲解文章主要内容。

2. 案例教学：通过逐步的分析，引导学生掌握逻辑证明方法。

3. 讨论法：对于学习中涉及到的比较复杂的逻辑哲学问题，通过讨论引导学生理解。 4.习题解释法：形式逻辑是一个很依赖于具体练习的课程，课程的一些问题需要在学生完成练习题后讲解才能达到很好的效果。

八、考核方式及评定方法（四号黑体）

（一）课程考核与课程目标的对应关系（小四号黑体）

表4：课程考核与课程目标的对应关系表（五号宋体）

课程目标 课程目标1 考核要点 逻辑的发展与定义 考核方式 习题和考试 课程目标2 课程目标3 逻辑的主要内容 归纳 习题和考试 习题和考试 （二）评定方法（小四号黑体）

1．评定方法（五号宋体）

平时成绩：20%，期中考试：30%，期末考试50%

2．课程目标的考核占比与达成度分析（五号宋体）

表5：课程目标的考核占比与达成度分析表（五号宋体）

考核占比 平时 课程目标 课程目标1 课程目标2 课程目标3 20% 20% 20% 30% 30% 30% 50% 50% 50% 体现为考试和平时习题，按相应比例确定。 期中 期末 总评达成度 （三）评分标准（小四号黑体）

评分标准 课程 目标 86-100 优 A 熟练掌握基本概念，证明娴熟，对目标1、逻辑方法的本质有2、3 所理解 课程

75-85 良 B 熟练掌握基本概念，证明娴熟 60-74 合格 C ＜60 不合格 D 掌握重要概念，证基本概念理解不明熟练 清，逻辑证明水平较差