中国社会科学院大学：哲学院《逻辑、语言与认知》课程教学大纲.pdf_大学文库

中国社会科学院大学逻辑、语言和认知课程大纲课程基本信息（CourseInformation）*学时*学分课程编号322(CourseID)(Credit Hours)(Credits)逻辑、语言和认知*课程名称(CourseName)Logic, Language and Cognition先修课程数理逻辑(Prerequisite Courses)模态逻辑诞生于20世纪初，作为现代逻辑的分支、哲学逻辑的基础理论，是对哲学*课程简介概念和主题的分析。迄今为止，模态逻辑仍然是许多学科的交叉研究领域，为具有广(Description)阔的跨学科兴趣的学生提供了唯一的优势。本课程为哲学、符号系统、语言学、计算机科学及其它领域的学生提供了教学材料。目的在于为他们提供模态逻辑的现代导论，主题包括技术性视角以及广泛的应用范围。Modal logic wasborn in theearlypartofthe20thcenturyas abranchof logicapplied tothe analysis of philosophical notions and issues.While it still retains a bit of this grandeur,today,modallogic sits ata cross-roads ofmanyacademicdisciplines,andthus, itprovidesa unique vantage point forstudents with broad interdisciplinary interests.This courseis*课程简介theaccumulatedmaterialfora coursetaughttostudents inphilosophy,symbolic systems,(Description)linguistics,computerscience,andotherfields.Thepurposeistogivethemamodernintroduction tomodal logic, beyond lingering conceptions datingback tothedistantpast-andtopics includebothtechnicalperspectives,andawiderangeofapplicationsshowingthecurrentrangeofthefield.*教材《模态逻辑》，约翰·范本特姆、刘新文、李大柱/著，邮电出版社，2014年，即出。(Textbooks)参考资料(OtherReferences)*课程类别口公共基础课/全校公共必修课口通识教育课口专业基础课口其他（Course Category)口专业核心课/专业必修课回专业拓展课/专业选修课口线上，教学平台*授课对象哲学专业/全校*授课模式口线下口混合式口其他本科生(TargetStudents)(Modeof Instruction)口实践类（70%以上学时深入基层）团中文语种口全外语*开课院系*授课语言哲学院口双语：中文+语种（外语讲授不低于(School)(Languageof Instruction)50%)

中国社会科学院大学逻辑、语言和认知课程大纲课程基本信息（Course Information）课程编号（Course ID） *学时（Credit Hours） 32 *学分（Credits） 2 *课程名称（Course Name）逻辑、语言和认知 Logic, Language and Cognition 先修课程（Prerequisite Courses）数理逻辑 *课程简介（Description）模态逻辑诞生于 20 世纪初，作为现代逻辑的分支、哲学逻辑的基础理论，是对哲学概念和主题的分析。迄今为止，模态逻辑仍然是许多学科的交叉研究领域，为具有广阔的跨学科兴趣的学生提供了唯一的优势。本课程为哲学、符号系统、语言学、计算机科学及其它领域的学生提供了教学材料。目的在于为他们提供模态逻辑的现代导论，主题包括技术性视角以及广泛的应用范围。 *课程简介（Description） Modal logic was born in the early part of the 20th century as a branch of logic applied to the analysis of philosophical notions and issues. While it still retains a bit of this grandeur, today, modal logic sits at a cross-roads of many academic disciplines, and thus, it provides a unique vantage point for students with broad interdisciplinary interests. This course is the accumulated material for a course taught to students in philosophy, symbolic systems, linguistics, computer science, and other fields. The purpose is to give them a modern introduction to modal logic, beyond lingering conceptions dating back to the distant past – and topics include both technical perspectives, and a wide range of applications showing the current range of the field. *教材（Textbooks）《模态逻辑》，约翰·范本特姆、刘新文、李大柱/著，邮电出版社，2014 年，即出。参考资料（Other References） *课程类别（Course Category） 公共基础课/全校公共必修课 通识教育课 专业基础课 专业核心课/专业必修课 专业拓展课/专业选修课 其他 *授课对象（Target Students）哲学专业/全校本科生 *授课模式（Mode of Instruction） 线上，教学平台 线下 混合式 其他 实践类（70%以上学时深入基层） *开课院系（School）哲学院 *授课语言（Language of Instruction） 中文 全外语语种 双语：中文+ 语种（外语讲授不低于 50%）

*授课教师信息（Teacher Information）课程负责人姓名及简介刘新文，中国社会科学院研究生院哲学博士，现为哲学所研究员、逻辑室主任，中国社会科学院大学教授、博士生导师。团队成员姓名及简介无学习目标（ Learning Outcomes） 1.了解并认识模态逻辑的发展概况与历史脉络 2.掌握模态逻辑的研究对象与研究范围的相关知识 3.通过模态逻辑的学科窗口，训练运用现代逻辑理论与科学方法研究哲学概念和命题的能力，开拓知识视野，提升思维能力，提高学生对表象的穿透力和对事物的洞察力，提高他们分析问题与解释问题的能力。 *考核方式（Grading）平时成绩：30%，开卷考试：70%。 *课程教学计划（Teaching Plan）周次周学时其中教学内容摘要（必含章节名称、讲述的内容提要、实验的名称、教学方法、课堂讨论的题目、阅读文献参考书目及作业等，主讲教师）讲授实验课习题课课程讨论其他环节第一周 2 第一章模态命题逻辑第一节模态逻辑简史第二节基本语言和语义学 1. 模态命题逻辑的句法教学方法：面授，课堂练习阅读文献/讨论题目/作业：随堂布置第二周 2 第二章模态命题逻辑第一节模态命题逻辑的语义第二节表达力和不变性教学方法：面授；随堂练习阅读文献/讨论题目/作业：随堂布置第三周 2 第三章模态命题逻辑第三节有效性和可判定性第四节公理、证明和完全性教学方法：面授；随堂练习阅读文献/讨论题目/作业：随堂布置第四周 2 第四章模态命题逻辑基本理论第一节翻译和表达力教学方法：面授；随堂练习阅读文献/讨论题目/作业：随堂布置第五周 2 第五章模态命题逻辑基本理论第二节增强表达力：模态逻辑图景教学方法：面授；随堂练习阅读文献/讨论题目/作业：随堂布置