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

中国社会科学院大学逻辑哲学课程大纲课程基本信息（CourseInformation）课程编号*学时*学分3212220210282(Course ID)(Credits)(Credit Hours)逻辑哲学*课程名称(CourseName)Philosophy of Logic先修课程数理逻辑(Prerequisite Courses)学习一阶逻辑现在已经成为每一个哲学系大学生专业训练的一部分。我们在这里将要提出两个问题：第一，一阶逻辑的表达到底包含了什么？第二，一阶逻辑又取得了什么成果？我们讨论的重点在于前一个问题，而内容主要是参考逻辑史上的四个里程碑式的著作：（1）弗雷格在1879年出版的《概念文字》：（2）怀特海和罗素在1910-1913年出版的《数学原理》：（3）塔尔斯基在1933年和1936年分别发表的“形式化语言中真这个概念”、“科学语义学的建立”；（4）根岑完成于1935年的“逻辑演绎研究”。直到18世纪末，对逻辑学的研究已经停留了数百年；事实上，康德是对逻辑特别关注的少数几个启蒙哲学家之（莱布尼茨也是其中之一）。在这种背景下，现代逻辑的成就更加突出。本课程对逻辑哲学的介绍将结合两个方面来进行：一方面是精确陈述的、严格证明的技术性结果，另一方面是深刻的、有点难以捉摸的非技术*课程简介性的哲学关切。到目前为止，逻辑哲学最重大的进步都是在逻辑学本身进步的基础上(Description)取得的。今天对逻辑哲学的了解比柏拉图、亚里士多德、休谟或康德多得多，因为和他们那些时代相比，逻辑早就已经发展得面目全非了：只有一小部分现在的内容可以在那些时候找到相关的迹象。除此之外，习惯上认为，逻辑在本质上是关于有效后承的，而且这似平也被认为只是一个简单的常识。但是，这种对逻辑的描述早在1950年左右就已经完全脱离实际了，那个时候，逻辑已经开始分化成证明论、模型论和可计算性理论，这些本身都是主要的逻辑主题。“逻辑哲学”是哲学的一个部门：首先，我们需要有了某种探究之后才能来考虑这样一种“哲学”：其次，对这样一种探究，我们遇到了关于其性质的一般性问题，这些问题的出现有时候乃是因为前一工作本身中遇到的困难而起，逻辑哲学中最重要的开放型任务就是去掉以往那些错误和误解。一阶逻辑自从金岳森系统地引进国内之后，他对于逻辑哲学的创造性研究为我们的课程提供了重要参考。Learning first-orderlogic is now part of the professional training of every philosophy undergraduate.Weare going to raise two questions here:First,what does the expression offirst-orderlogic actually involve?Second, what has first-order logic achieved? The focus of our discussion is on theformer problem,andthe content is mainly based on four landmark works in the history of logic: (1) Frege's Begriffschrift,*课程简介published in 1879; (2) Principia Mathematica by Whitehead and Russell, 1910-1913; (3) Tarski's "The(Description)Concept of Truth inFormalized Languages"and"The Establishment of Scientific Semantics"published ir1933 and 1936 respectively; (4) Gentzen's "investigations into Logical Deduction" completed in 1935. Bytheendof the18thcentury,thestudy of logic had remained for hundreds of years; Infact, Kant was oneof the few Enlightenment philosophers (Leibniz among them)whopaidparticular attention to logic.Inthis context, the achievements of modern logic stand out even more.This course's introduction to the

中国社会科学院大学逻辑哲学课程大纲课程基本信息（Course Information）课程编号（Course ID） 1222021028 *学时（Credit Hours） 32 *学分（Credits） 2 *课程名称（Course Name）逻辑哲学 Philosophy of Logic 先修课程（Prerequisite Courses）数理逻辑 *课程简介（Description）学习一阶逻辑现在已经成为每一个哲学系大学生专业训练的一部分。我们在这里将要提出两个问题：第一，一阶逻辑的表达到底包含了什么？第二，一阶逻辑又取得了什么成果？我们讨论的重点在于前一个问题，而内容主要是参考逻辑史上的四个里程碑式的著作：（1）弗雷格在 1879 年出版的《概念文字》；（2）怀特海和罗素在 1910-1913 年出版的《数学原理》；（3）塔尔斯基在 1933 年和 1936 年分别发表的“形式化语言中真这个概念”、“科学语义学的建立”；（4）根岑完成于 1935 年的“逻辑演绎研究”。直到 18 世纪末，对逻辑学的研究已经停留了数百年；事实上，康德是对逻辑特别关注的少数几个启蒙哲学家之一（莱布尼茨也是其中之一）。在这种背景下，现代逻辑的成就更加突出。本课程对逻辑哲学的介绍将结合两个方面来进行：一方面是精确陈述的、严格证明的技术性结果，另一方面是深刻的、有点难以捉摸的非技术性的哲学关切。到目前为止，逻辑哲学最重大的进步都是在逻辑学本身进步的基础上取得的。今天对逻辑哲学的了解比柏拉图、亚里士多德、休谟或康德多得多，因为和他们那些时代相比，逻辑早就已经发展得面目全非了；只有一小部分现在的内容可以在那些时候找到相关的迹象。除此之外，习惯上认为，逻辑在本质上是关于有效后承的，而且这似乎也被认为只是一个简单的常识。但是，这种对逻辑的描述早在 1950 年左右就已经完全脱离实际了，那个时候，逻辑已经开始分化成证明论、模型论和可计算性理论，这些本身都是主要的逻辑主题。“逻辑哲学”是哲学的一个部门：首先，我们需要有了某种探究之后才能来考虑这样一种“哲学”；其次，对这样一种探究，我们遇到了关于其性质的一般性问题，这些问题的出现有时候乃是因为前一工作本身中遇到的困难而起，逻辑哲学中最重要的开放型任务就是去掉以往那些错误和误解。一阶逻辑自从金岳霖系统地引进国内之后，他对于逻辑哲学的创造性研究为我们的课程提供了重要参考。 *课程简介（Description） Learning first-order logic is now part of the professional training of every philosophy undergraduate. We are going to raise two questions here: First, what does the expression of first-order logic actually involve? Second, what has first-order logic achieved? The focus of our discussion is on the former problem, and the content is mainly based on four landmark works in the history of logic: (1) Frege's Begriffschrift, published in 1879; (2) Principia Mathematica by Whitehead and Russell, 1910-1913; (3) Tarski's "The Concept of Truth in Formalized Languages" and "The Establishment of Scientific Semantics" published in 1933 and 1936 respectively; (4) Gentzen's "Investigations into Logical Deduction" completed in 1935. By the end of the 18th century, the study of logic had remained for hundreds of years; In fact, Kant was one of the few Enlightenment philosophers (Leibniz among them) who paid particular attention to logic. In this context, the achievements of modern logic stand out even more. This course's introduction to the

philosophy of logicwill combinetwoaspects:preciselystated,rigorouslyproventechnical resultsontheonehand,and profound,somewhat elusive,non-technical philosophical concernsontheother.Sofarthe most significant advances in the philosophy of logic have been made on the basis of progress in logicitself. Much more is known of the philosophy of logic today than of Plato, Aristotle, Hume, or Kant, forlogic has long sincedevelopedbeyond recognition;Only a fraction of today's content isrelevant at thattime.In addition, it is customary to assume that logic is essentially about effective consequences, andthis too seems to beregardedas simple common sense.But this description of logic wasalreadycompletely out of line with reality as early as around 1950, when logic had begun to divide into prooftheory, model theory, and computability theory, which were themselves major logical topics."philosophyof Logic" is a branch of philosophy: first of all, we need to have some kind of inquiry before we canconsider such a"philosophy; In the second place, we encounter general questions about the nature ofsuch an inquiry, which sometimes arise from the difficulties of the previous work itself. The mostimportantopentaskinlogical philosophyistoremovetheerrorsandmisunderstandingsofthepast.SinceJinYuelinsystematicallyintroducedfirst-orderlogicintoChina,hiscreativeresearchonphilosophyof logichasprovidedan important referenceforourcourse.*教材自编讲义。国内缺乏逻辑哲学教材，本课程计划以《金岳霖全集》为基础，综合当前学界研究(Textbooks)进展，组织相关材料。参考资料《逻辑基础问题》，吉拉·谢尔/著，刘新文/译，中国社会科学出版社，2018年第一版，ISBN(OtherReferences)978-7-5203-3435-8*课程类别口公共基础课/全校公共必修课口通识教育课口专业基础课口其他口专业核心课/专业必修课专业拓展课/专业选修课(CourseCategory)口线上，教学平台*授课对象哲学专业/本科*授课模式团线下口混合式口其他生(TargetStudents)(ModeofInstruction)口实践类（70%以上学时深入基层）口中文口全外语语种*开课院系*授课语言哲学院口双语：中文+语种（外语讲授不低于(School)(Languageof Instruction）50%)课程负责人刘新文，中国社会科学院哲学研究所研究员。姓名及简介*授课教师信息(Teacher Information)团队成员无姓名及简介1.了解并认识逻辑哲学的发展概况与历史脉络：2.掌握逻辑学研究对象与研究范围的相关知识：学习目标3.通过逻辑哲学这门学科窗口，训练运用逻辑学理论与方法研究哲学、反思逻辑学CLearning的能力，开拓知识视野，提升思维能力，提高学生对表象的穿透力和对事物的洞察力，Outcomes)提高他们分析问题与解释问题的能力：*考核方式课程结业论文。平时成绩占总评成绩的30%。(Grading)

philosophy of logic will combine two aspects: precisely stated, rigorously proven technical results on the one hand, and profound, somewhat elusive, non-technical philosophical concerns on the other. So far, the most significant advances in the philosophy of logic have been made on the basis of progress in logic itself. Much more is known of the philosophy of logic today than of Plato, Aristotle, Hume, or Kant, for logic has long since developed beyond recognition; Only a fraction of today's content is relevant at that time. In addition, it is customary to assume that logic is essentially about effective consequences, and this too seems to be regarded as simple common sense. But this description of logic was already completely out of line with reality as early as around 1950, when logic had begun to divide into proof theory, model theory, and computability theory, which were themselves major logical topics. "Philosophy of Logic" is a branch of philosophy: first of all, we need to have some kind of inquiry before we can consider such a "philosophy"; In the second place, we encounter general questions about the nature of such an inquiry, which sometimes arise from the difficulties of the previous work itself. The most important open task in logical philosophy is to remove the errors and misunderstandings of the past. Since Jin Yuelin systematically introduced first-order logic into China, his creative research on philosophy of logic has provided an important reference for our course. *教材（Textbooks）自编讲义。国内缺乏逻辑哲学教材，本课程计划以《金岳霖全集》为基础，综合当前学界研究进展，组织相关材料。参考资料（Other References）《逻辑基础问题》，吉拉·谢尔/著，刘新文/译，中国社会科学出版社，2018 年第一版，ISBN 978-7-5203-3435-8 *课程类别（Course Category） 公共基础课/全校公共必修课 通识教育课 专业基础课 专业核心课/专业必修课 专业拓展课/专业选修课 其他 *授课对象（Target Students）哲学专业/本科生 *授课模式（Mode of Instruction） 线上，教学平台 线下 混合式 其他 实践类（70%以上学时深入基层） *开课院系（School）哲学院 *授课语言（Language of Instruction） 中文 全外语语种 双语：中文+ 语种（外语讲授不低于 50%） *授课教师信息（Teacher Information）课程负责人姓名及简介刘新文，中国社会科学院哲学研究所研究员。团队成员姓名及简介无学习目标（ Learning Outcomes） 1. 了解并认识逻辑哲学的发展概况与历史脉络； 2. 掌握逻辑学研究对象与研究范围的相关知识； 3. 通过逻辑哲学这门学科窗口，训练运用逻辑学理论与方法研究哲学、反思逻辑学的能力，开拓知识视野，提升思维能力，提高学生对表象的穿透力和对事物的洞察力，提高他们分析问题与解释问题的能力； *考核方式（Grading）课程结业论文。平时成绩占总评成绩的 30%