中国社会科学院大学：马克思主义学院《逻辑学概论》课程教学大纲

《逻辑学概论》课程大纲 课程基本信息（Course Information） 课程编号 （Course ID） 1212030049 *学时 （Credit Hours） 48 *学分 （Credits） 3 *课程名称 （Course Name） 逻辑学概论 Introduction to Logic 先修课程 （Prerequisite Courses） *课程简介 （Description） 逻辑学是基础学科，19 世纪末 20 世纪初兴起、20 世纪 30 年代达到黄金时期的 数理逻辑是逻辑学发展的现代阶段。本科生《逻辑学概论》课程的目标主要在于让马 克思主义学院二、三年级学生熟练掌握数理逻辑的核心内容“一阶逻辑”，主要内容包 括经典命题逻辑和经典谓词逻辑的句法、语义、形式系统等逻辑学理论以及演绎定理、 可靠性定理、完全性定理等关于逻辑学的元理论，这些内容既是进一步学习现代逻辑 的基础，也是现代哲学分析的主要工具，难点在于一阶逻辑的完全性定理等元定理的 证明，方法上讲采用教学和习题练习结合，使得学生既掌握作为一门现代科学的逻辑， 也掌握一门作为哲学分析的现代工具。 课程教学过程中，我们也将介绍我国逻辑学家们在现代逻辑方面所取得的主要成 就，自觉弘扬中华优秀传统文化，以激发学生的家国情怀。 *课程简介 （Description） Logic is a basic discipline. Mathematical logic, which rose in the late 19th century and early 20th century and reached its golden age in the 1930s, is the modern stage in the history of logic. Undergraduate students of the curriculum goal lies in mathematical logic makes philosophy major sophomores mastering the core content of mathematical logic "first-order logic", the main contents include classical propositional logic and classical predicate logic, i.e., syntax, semantics and formal systems, and the meta-theory of logic such as deduction theorem, soundness theorem and completeness theorem. The content is not only the foundation of modern logic for further study but also the main tool of modern philosophical analysis. The main difficulty lies in the proof of the completeness theorem of first order logic. In the course of teaching, we will also introduce some important achievements that Chinese logicians achieved in mathematical logic during the past years. *教材 （Textbooks） 《逻辑基础》，王路/著，高等教育出版社，2019 年第一版，ISBN: 9787040515725。 参考资料 （ Other References） *课程类别 （Course Category） 公共基础课/全校公共必修课 通识教育课 专业基础课 专业核心课/专业必修课 专业拓展课/专业选修课 其他

*授课对象 （Target Students） 思政、马理论专 业二、三年级本 科生 *授课模式 （Mode of Instruction） 线上，教学平台 线下 混合式 其他 实践类（70%以上学时深入基层） *开课院系 （School） 马克思主义学院 *授课语言 （Language of Instruction） 中文 全外语 双语：中文+ （外语讲授不低于 50%） *授课教师信息 （Teacher Information） 课程负责人 姓名及简介 刘新文，中国社会科学院哲学研究所研究员、哲学博士，现为逻 辑室主任、中国社会科学院大学博士生导师。 团队成员 姓名及简介 学习目标 (Learning Outcomes) 1. 了解并认识现代逻辑学的发展概况与历史脉络； 2. 掌握现代逻辑学研究对象与研究范围的相关知识； 3. 通过《逻辑学导论》这门学科窗口，训练运用现代逻辑学基本理论并以之进行哲 学研究的能力，开拓知识视野，提升思维能力，提高学生对表象的穿透力和对事物的 洞察力，提高他们分析问题与解释问题的能力。 *考核方式 （Grading） 所有考试的课程成绩均采取结构成绩制，每门课程的成绩由平时成绩、期末成绩组成总评成绩。平 时成绩占总评成绩的 30%。 *课程教学计划（Teaching Plan）（以表述清楚教学安排为宜，字数不限）填写规范化要求见附件 周次 周 学 时 其中 教学内容摘要 （必含章节名称、讲述的内容提要、实验的名称、教学方法、课堂讨论的题目、 阅读文献参考书目及作业等） 讲 授 实 验 课 习 题 课 课 程 讨 论 其 他 环 节 第一周 3 3 第一章 逻辑简史 第一节 逻辑的性质； 第二节 逻辑、语言与思维 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第二周 3 3 第二章 命题逻辑 第一节 命题联结词的句法 第二节 命题联结词的语义 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第三周 3 3 第二章 命题逻辑 第三节 重言式 第四节 有效性 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题

第四周 3 3 第二章 命题逻辑 第五节 真值表法 第六节 简化真值表法 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第五周 3 3 第二章 命题逻辑 第七节 真值树法 第八节 证明规则 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第六周 3 3 第二章 命题逻辑 第九节 等值规则 第十节 条件证明 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第七周 3 3 第二章 命题逻辑 第十一节 间接证明 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第八周 3 3 第二章 命题逻辑 第十二节 重言式的形式证明 第十三节 命题逻辑推理规则的运用 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第九周 3 3 第三章 词项逻辑 第一节 直言命题及其形式 第二节 对当方阵 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十周 3 3 第三章 词项逻辑 第三节 对当方阵推理 第四节 换质位推理 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十一周 3 3 第三章 词项逻辑 第五节 三段论的格与式 第六节 有效性 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十二周 3 3 第四章 谓词逻辑 第一节 个体词 第二节 谓词 第三节 量词

教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十三周 3 3 第四章 谓词逻辑 第四节 关系命题 第五节 多个量词 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十四周 3 3 第四章 谓词逻辑 第六节 量词的否定 第七节 真 第八节 可满足 第九节 有效性 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十五周 3 3 第四章 谓词逻辑 第十节 树形判定法 第十一节 形式证明 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 第十六周 3 3 第四章 谓词逻辑 第十二节 条件证明 第十三节 间接证明 第十四节 谓词逻辑的运用 教学方法：讲授法 阅读文献/讨论题目/作业：课后习题 总计 48 4 8 备注（Notes）