中国社会科学院大学：哲学院《数理逻辑》课程教学大纲.pdf_大学文库

《数理逻辑》课程大纲课程基本信息（Courselnformation）*学时*学分课程编号483102062032096(Course ID)(Credit Hours)(Credits)数理逻辑*课程名称(Course Name)Mathematical Logic先修课程(Prerequisite Courses)逻辑学是基础学科，19世纪末20世纪初兴起、20世纪30年代达到黄金时期的数理逻辑是逻辑学发展的现代阶段。本科生《数理逻辑》课程的目标主要在于让哲学专业二年级学生熟练掌握数理逻辑的核心内容一阶逻辑”，主要内容包括经典命题逻辑和经典谓词逻辑的句法、语义、形式系统等逻辑学理论以及演绎定理、可靠性定理、完全性定理*课程简介等关于逻辑学的元理论，这些内容既是进一步学习现代逻辑的基础，也是现代哲学分析(Description)的主要工具，难点在于一阶逻辑的完全性定理等元定理的证明，方法上讲采用教学和习题练习结合，使得学生既掌握作为一门现代科学的逻辑，也为后续学生掌握作为一门现代哲学的逻辑做准备。课程教学过程中，我们也将介绍我国逻辑学家们在数理逻辑方面所取得的主要成就，自觉弘扬中华优秀传统文化，以激发学生的家国情怀。Logic is a basic discipline. Mathematical logic, which rose in the late 19th century and early20thcentury and reached its golden age in the 1930s, is the modern stage in the historyoflogic.Undergraduatestudentsofthecurriculumgoal lies inmathematical logicmakesphilosophy major sophomoresmastering the core content of mathematical logic"first-orderlogic",the main contents include classical propositional logic and classical*课程简介predicatelogic,i.e.,syntax,semanticsandformal systems,andthemeta-theory oflogic(Description)suchasdeduction theorem,soundness theoremandcompletenesstheorem.Thecontentis not only the foundation of modern logic for further study but also the main tool ofmodernphilosophicalanalysis.Themaindifficultyliesintheproofofthecompletenesstheoremoffirstorderlogic.Inthecourse ofteaching,wewillalso introduce some important achievementsthatChinese logicians achieved in mathematical logic during the past years

《数理逻辑》课程大纲课程基本信息（Course Information）课程编号（Course ID） 102062032096 *学时（Credit Hours） 48 *学分（Credits） 3 *课程名称（Course Name）数理逻辑 Mathematical 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）《数理逻辑导引》，“现代数学基础丛书”，冯琦/编著，科学出版社，2017 年第一版，2018 年第二次印刷，ISBN 978-7-03-054579-4。参考资料（ 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）填写规范化要求见附件周次周学时其中教学内容摘要（必含章节名称、讲述的内容提要、实验的名称、教学方法、课堂讨论的题目、阅读文献参考书目及作业等）讲授实验课习题课课程讨论其他环节