命题模态逻辑-北京大学哲学系
哲学专业(逻辑学与科学技术哲学方向)
北京大学哲学系、宗教学系哲学专业（逻辑学与科学技术哲学方向）一、哲学专业（逻辑学与科学技术哲学方向）简介该方向始于1987年，原为逻辑专业，2003年改为现名，学制4年，毕业授予哲学学士学位。
二、专业培养要求、目标哲学专业科哲与逻辑学方向，培养兼具自然科学和哲学知识背景的综合型理论人才和科技传播、科技管理人才。
经过四年学习，使学生初步具备原典阅读与独立研究能力，具有较高的理论思维能力与语言表达能力，能够以自己的哲学素养处理现实工作中遇到的各种社会与文化问题。
本专业的毕业生，除了学习哲学系的基本课程之外，还要对中文、历史、考古等人文学科都有较多的了解，对相关的自然科学和社会科学都有一定的了解，具备比较全面的人文与科学的学术训练。
三、授予学位哲学学士四、学分要求与课程设置总学分：134学分，其中：1．公共与基础课程44-50学分2. 核心课程30学分3. 限选课程32学分4．通识与自主选修课程28-22学分并须同时满足下列选课要求：1.公共与基础课程：44-50学分（1）全校公共必修课：29-35学分留学生与哲学系学生要求一致。
注2：港澳台学生可以免修政治理论课及军事理论，免修课程学分必须由其他课程（可全校任选课程）补足。
注3：新生入学，英语要分级考试，根据考试结果确定需选修的学分，A级需修8学分（A 级课程4学分+B级课程4学分），B级需修6学分（B级课程4学分+C级课程2学分），C级需修C级课程4学分，C+级需修2学分。
本系学生修完C+级课程后，仅可以选修二外来补足学分；留学生免修英语。
免修课程学分必须由英语及母语以外第三门语言或者中文系开设的语言类课程来补足。
（2）学科基础课程15学分在下列课程中选15学分，其中带*号的为必修：数学类理学部4 通识与自主选修课：28-22学分，其中（1）专业任选课：4学分。
（2）通选课：18学分核心通选课：6-12学分；其他通选课：12-6学分A.数学与自然科学类：4学分（可用学科基础类课程中的相关课程代替）B.社会科学类：2学分C.心理学类：2学分（可用学科基础类课程中的心理系课程代替）D.历史学类：2学分E.艺术类：2学分（必须为艺术学院开设课程）（3）第二外语：6-0学分公共英语课程未修满8学分的，用二外补齐。
超模态逻辑K[TnK]和K[TKn]
![超模态逻辑K[TnK]和K[TKn]](https://img.taocdn.com/s3/m/e2940561f6ec4afe04a1b0717fd5360cba1a8d2f.png)
超模态逻辑K[TnK]和K[TKn]许春梅【期刊名称】《逻辑学研究》【年(卷),期】2012(005)003【摘要】The work of this paper is based on one paper of D. M. Gabbay, which is 'A theory of hypermodal logics: Mode shifting in modal logic'. Specially, based on his two satisfaction relations, I define n + 1 satisfaction relations, and then gain two kinds of more general logics K[TnK]andK[TKn], whereas n 〉 1. There we will get more general results: (1) For any n ≥ 1,口j+(n+l)kp→ 口i+(n+l)kp are theorems of K[TnK], whereas 0 ≤i 〈 j ≤ n. (2) For any n ≥1, every logic of IC[TKn] has theorems 口j+(n+l)kp→ 口i+(n+l)kp, whereas n 〉 1. However, 口j+(n+l)kp→ 口i+(n+l)kp are not theorems of IC[TK@ whereas 0 ≤i 〈j ≤ n., and j ≠ 1, or i ≠0. So, (3) every logic of 1C[TnK] is a proper extension of logic K[TnK], for each n 〉 1. (4) The rule of Necessitation is not available to logics of IC[TnK] and K.[TKn], well, for any n ≥1, Yqn+lA is a theorem of K[TnK]and K[TKn], whereas A is a theorem of ICK[TnK]and K[TKn], respectively. (5) Logics of K[TnK]and K[TKn] are not closed under substitution of provably equivalent formulas. Besides, based on his two translations T0, T1 from hypermodal logic K[TK] to standard K, we define n + 1 translations TO, T1.....Tn from hypermodal logics K[TnK] and K[TKn] to standard K, respectively. Then we get a correspondence of pointed model satisfaction with logics IC[TnK], 1C[TKn]and standard K, respectively, i.e. a hypermodal formula is true in a world by some satisfaction relation iff the corresponding translation of the hypermodal formula is true in that world by the standard K satisfaction relation.%本文的工作是在D．M．Gabbay的一篇论文《超模态逻辑理论：在模态逻辑中的模转换》基础上所做的，主要是将他的两类满足关系扩充到n＋1种满足关系，然后在此基础上得到两类一般性的逻辑类K[TnK]和K[TKn]，其中n≥1。
北大哲学系研究生考研科目
北大哲学系研究生考研科目
北大哲学系研究生考研科目和内容
北大哲学系研究生考研涵盖了多个科目，这些科目旨在评估考生的哲学素养和研究能力。
以下是一些常见的考研科目：
1. 古代哲学：这门科目重点研究古代哲学的理论，包括中国古代哲学、印度哲学和西方古代哲学。
考生需要学习古代哲学家的思想和理论，理解其思想背景、发展过程及其对后世的影响。
2. 现代哲学：这门科目主要涵盖了西方现代哲学的重要理论和流派，如启蒙哲学、分析哲学、现象学等。
考生需理解现代哲学家对世界、自我和知识等问题的独特见解，同时还需掌握其思想体系和批判性思维能力。
3. 逻辑学：逻辑学是哲学的重要组成部分，也是研究生考研的重要科目之一。
这门科目测试考生的逻辑思维和推理能力，包括命题逻辑、谓词逻辑、模态逻辑等。
考生需要熟悉不同类型的逻辑符号和推理规则，并能运用逻辑分析解决问题。
4. 伦理学：伦理学研究道德和价值观的基本原则和理论。
考生需了解不同伦理学派别的观点，如德性伦理学、功利主义、形而上伦理学等。
同时还需要思考道德决策、善恶行为的评价等伦理问题。
5. 美学：美学是研究艺术、美和审美的学科。
考生需了解美学理论和美学家的主要观点，包括形式美学、艺术哲学、审美经
验等内容。
此外，应该能够分析艺术作品的审美特征和表达形式。
除上述科目外，北大哲学系研究生考研还涉及一些其他相关学科，如知识论、科学哲学、心灵哲学等。
在备考过程中，考生需要系统学习和理解各个科目的基本理论和研究方法，并培养批判性思维和论证能力。
北京大学哲学系介绍
北京大学哲学系始建于1912 年，1914 正式招生，是我国高等学校中最早成立的哲学系。
创建之初为北大文科哲学门，亦称“ 中国哲学门” ，1919 年更名为哲学系。
历史上，著名学者蔡元培、胡适、蒋梦麟、熊十力、唐钺、邓以蜇、汤用彤、梁漱溟、金岳霖、冯友兰、宗白华、朱光潜、冯定、陈康、贺麟、沈有鼎、洪谦、张岱年、胡世华等先后在这里执教，培养了数代中国最优秀的哲学家，使这里成为现代中国哲学的摇篮。
1937 年，由于日本发动全面的侵华战争，哲学系随校内迁，在云南昆明与清华、南开的相关科系合组为西南联合大学哲学系。
抗战胜利后，1946 年北大复校，哲学系也随校北上，恢复为北大哲学系。
1952 年全国院系调整，部分高校哲学骨干教师汇入哲学系，进一步壮大了哲学系的阵容。
1978 年，心理学专业从哲学系分出，独立成为心理学系。
1978 年以来，哲学系在改革开放的环境里快速发展，学科门类逐步完备，教师配备渐趋合理，图书资料日益丰富，科研条件极大改善。
1981 年，马克思主义哲学、中国哲学、外国哲学、逻辑学、美学成为第一批博士学位授权点。
1988 年，马克思主义哲学、中国哲学、外国哲学等三个学科被评为国家重点学科。
1994 年起列为国家文科基础学科人才培养和科学研究基地。
1998 年被国务院学位委员会批准为哲学一级学科博士点，在哲学的全部8 个二级学科（马克思主义哲学、中国哲学、外国哲学、逻辑学、伦理学、美学、宗教学、科学技术哲学）招收博士和硕士研究生。
1999 年经教育部批准设立哲学学科博士后流动站。
2002 年，马克思主义哲学、中国哲学、外国哲学、美学等四个学科被评为国家重点学科。
由于学科发展的需要，1995 年9 月宗教学由原来与哲学、逻辑学并列的专业独立成系。
按照一种新的办学模式，宗教学系与哲学系联体运作，以求协力发展。
90 年来，哲学系共培养了8000 余名毕业生，其中有张申府、冯友兰、孙本文、罗常培、顾颉刚、杨晦、潘菽、朱自清、朱谦之、牟宗三、何其芳、胡世华这样的大学者，也有邓中夏这样的革命志士，还有各行各业的大批骨干力量。
北京大学哲学系逻辑学专业考博参考书-考博分数线-专业课真题
北京大学哲学系逻辑学专业考博参考书-考博分数线-专业课真题一、专业的设置北京大学哲学系共招生34人，系实行申请-考核制。
其中拟招收直博生15%，本校硕博连读生30%,笔试、面试各占50%。
二、招生专业及人数学科、专业名称及研究方向导师考试科目备注010104逻辑学1、符号逻辑2、语言与逻辑，形式语义学3、逻辑、认知与心灵哲学4、逻辑哲学、数学哲学和逻辑史刘壮虎、周北海周北海、刘壮虎周北海陈波符号逻辑三、导师介绍周北海，1955年出生，1989获北京大学哲学博士学位，毕业后留校任教。
现为北京大学哲学系教授，博士生导师，任北京大学哲学系逻辑教研室主任，北京市逻辑学会会长，中国逻辑学会常务理事，副秘书长。
主要研究方向，符号逻辑、语言哲学以及逻辑、语言与认知的交叉研究。
目前主要关注形式方法下的概念研究，建立基于概念形式理论的内涵逻辑，近期主要成果有论文“概称句本质与概念”、“涵义语义与关于概称句推理的词项逻辑”、“通名的四个语义层次”，“概念语义与弗雷格迷题消解”等。
陈波，1957年生，哲学博士，北京大学哲学系教授，博士生导师。
育明教育考博分校解析：考博如果能够提前联系导师的话，不论是在备考信息的获取，还是在复试的过程中，都会有极大的帮助，甚至是决定性的帮助。
育明教育考博分校经过这些年的积淀可以协助学员考生联系以上导师。
四、参考书目（推荐）专业课信息应当包括一下几方面的内容：第一，关于参考书和资料的使用。
这一点考生可以咨询往届的博士学长，也可以和育明考博联系。
参考书是理论知识建立所需的载体，如何从参考书抓取核心书目，从核心书目中遴选出重点章节常考的考点，如何高效的研读参考书、建立参考书框架，如何灵活运用参考书中的知识内容来答题，是考生复习的第一阶段最需完成的任务。
另外，考博资料获取、复习经验可咨询叩叩：捌九叁，二肆壹，二二六，专业知识的来源也不能局限于对参考书的研读，整个的备考当中考生还需要阅读大量的paper，读哪一些、怎么去读、读完之后应该怎么做，这些也会直接影响到考生的分数。
哲学专业(逻辑学与科学技术哲学方向)
北京大学哲学系、宗教学系哲学专业（逻辑学与科学技术哲学方向）一、哲学专业（逻辑学与科学技术哲学方向）介绍哲学专业（逻辑学与科学技术哲学方向）始于1987年，原为逻辑专业，2003年改为现名，学制4年，毕业授予哲学学士学位。
二、专业培养要求、目标哲学专业（逻辑学与科学技术哲学方向），培养兼具自然科学和哲学知识背景的综合型理论人才。
经过四年学习，使学生初步具备原典阅读与独立研究能力，具有较高的理论思维能力与语言表达能力，能够以自己的哲学素养处理现实工作中遇到的各种社会与文化问题。
本专业的毕业生，除了学习哲学系的基本课程之外，还要对人文学科、相关的自然科学和社会科学都有一定的了解，具备比较全面的人文与科学的学术训练。
三、授予学位哲学学士四、学分要求与课程设置总学分：134分，其中：⒈公共与基础课程44-50学分⒉核心课程30学分⒊限选课程32学分⒋通识与自主选修课程28-22学分⒈公共与基础课程：44-50学分⑴全校公共必修课程：29-35学分注1：哲学系学生可免修“思想道德修养与法律基础”，以“马克思主义哲学”（上）代替；留学生与哲学系学生要求一致。
注2：港澳台学生可以免修政治理论课及军事理论，免修课程学分必须由其他课程（可全校任选课程）补足。
注3：新生入学，英语要分级考试，根据考试结果确定需选修的学分。
A级需修8学分（A级课程4学分+B级课程4学分）B级需修6学分（B级课程4学分+C级课程2学分）C级需修4学分（C级课程4学分）C+级需修2学分。
本系学生修完C+级课程后，可以选修二外或英语授课的哲学专业课程来补足学分。
留学生免修英语，免修课程学分必须由英语及母语以外的第三门语言或者中文系开设的留学生课程来补足学分。
⑵学科基础课程：15分在下列课程内选修15分，其中带*号的为必修：⒉核心课程：30学分⒊限选课程：32学分⑴专业限选课程：24学分在每一类别中选修规定学分，其中带*号的为必修：哲学基础类：2学分外国哲学类：2学分逻辑学类：8学分科技哲学类：8学分⑵非本专业限选课程：12学分⒋通识与自主选修课程：28-22学分⑴自主选修课程：10学分⑵通选课和通识核心课：12学分注1：各领域通选课程可用学科基础课程或非本专业限选课程中相应类别课程替代。
模态逻辑与哲学
作者： 周北海
作者机构： 北京大学哲学系
出版物刊名： 北京航空航天大学学报：社会科学版
页码： 32-36页
主题词： 模态逻辑;本质主义;哲学;抽象实体;现代逻辑
摘要：模态逻辑是关于必然性与可能性的逻辑，因此也就涉及到必然与可能相关的一些哲学问题。
除语义学方面的问题外，模态逻辑自身也存在与哲学相关的问题，如本质主义问题、抽象实体的存在性问题等。
模态逻辑也引发一些哲学问题，如可能世界的本体论总理２，可能个体的跨界同一和识别问题等。
模态的研究成果对当代哲学的发展也具有重要的意义。
当代马克思主义哲学的研究也应该结合与考察现代的研究成果。
北大哲学系考研科目
北大哲学系考研科目北大哲学系考研科目主要包括：哲学专业基础知识、哲学史、现代西方哲学、中国古代哲学、逻辑学等。
首先，哲学专业基础知识是考研的基础。
其中包括哲学概论、形而上学、认识论和价值论等。
哲学概论是对哲学学科体系、历史、方法论等的全面介绍；形而上学是研究存在、实在性、本质等问题的学科；认识论研究人类认识的来源、方法和限度等问题；价值论研究价值的本质、判断和实践等。
通过学习这些基础知识，可以对哲学学科有一个整体的把握。
其次，哲学史是考研的重点科目之一。
哲学史主要包括古希腊哲学、中世纪哲学、近代哲学和现代哲学等。
古希腊哲学是西方哲学的源头，包括柏拉图、亚里士多德等重要哲学家的思想；中世纪哲学是基督教影响下的哲学，主要研究宗教哲学和玄学；近代哲学是现代科学和工业革命的思想背景下，对人类认识和存在问题的探索；现代哲学是20世纪以来的哲学，包括存在主义、实用主义、批判理论、分析哲学等。
通过学习哲学史，可以了解到不同哲学流派和思想家的思想，对于理解和分析当代哲学问题起到了重要作用。
此外，还有现代西方哲学和中国古代哲学两门科目。
现代西方哲学主要涉及西方思想史上的重要流派和理论，包括康德、黑格尔、尼采、杜维金等哲学家的观点和思想；中国古代哲学主要介绍中国传统哲学的核心观点和思想，包括儒家、道家、墨家等。
最后，逻辑学是考研的必修科目之一。
逻辑学研究人类思维的规则和方法，包括命题逻辑、谓词逻辑、归纳逻辑和演绎逻辑等。
通过学习逻辑学，可以提高思维的严密性和逻辑推理的能力。
综上所述，北大哲学系考研科目主要包括哲学专业基础知识、哲学史、现代西方哲学、中国古代哲学、逻辑学等。
通过学习这些科目，可以全面了解哲学学科的基本理论和发展脉络，为进行深入研究和思考提供坚实的基础。
10—11学年第一学期北大哲学系课表
10—11学年第一学期北大哲学系课表本科生课表：课程名课程类别参考学分起止周班号专业教师姓名教师职称上课时间教室备注哲学导论任选 2.0 1-17 1 李猛副教授周二10-11二教319大类平台课逻辑导论通选课3.0 1-17 1 陈波教授周一10-11单周三10-11二教205现代西方哲学通选课2.0 1-17 1 李超杰副教授周一10-11文史219本系学生不可选伦理学导论通选课2.0 1-17 2 王海明教授周一10-11二教401本系学生不可选美国环境思想通选课2.0 1-17 1 苏贤贵副教授周四5-6三教307管理哲学通选课2.0 1-17 1 陈少峰教授周三10-11理教211波普的历史哲学限选 2.0 1-17 1 席大民副教授周一10-11二教509科学社会学导论全校任选2.0 1-17 1 朱效民副教授周二10-11二教210投影、电脑日本佛教全校任选2.0 1-17 1 王颂副教授周三10-11二教404模态逻辑限选 4.0 1-17 1 周北海教授周二5-6 周三10-11一教209数学哲学专题限选 2.0 1-17 1 叶峰教授周一10-12 本研合上数学结构限选 2.0 1-17 1 刘壮虎教授周一7-9 理教120佛教文献与佛学研究全校任选2.0 1-17 1 王颂副教授周一10-11二教519印度佛教史通选课2.0 1-17 1 姚卫群教授周二10-11二教410话筒阿拉伯哲学限选 2.0 1-17 1 沙宗平副教授周二7-9 本研合上道家哲学专题限选 2.0 1-17 1 周四3-4 三教103郑开老师讲授基督教原典限选 2.0 1-17 1 吴玉萍讲师周五3-4 二教529旧约导读圣经神学限选 2.0 1-17 1 周二10-11 一教107讲授东正教艺术通选课2.0 1-17 1 徐凤林教授周二10-11二教401宗教哲学专题限选 2.0 1-17 1 吴飞副教授周三7-9 本研合上基督教专题限选 2.0 1-17 1 吴玉萍讲师周五1-2 文史102路加福音(下)印度佛教经典选读限选 2.0 1-17 1 周学农副教授周四3-4三教201投影、主机本体论论证限选 2.0 1-17 1 邢滔滔副教授周一5-6二教408宗教哲学英文课全球化时代的宗教关系全校任选2.0 1-17 1 赵敦华教授周三10-11二教425后现代主义哲学全校任选2.0 1-17 1 赵光武教授周三7-9本研合上02311260政治哲学通选课2.0 1-17 1 吴增定副教授周四10-11二教205语言哲学全校任选2.0 1-17 1 韩林合教授周二10-11二教211民主理论限选 2.0 1-17 1 韩水法教授周四5-6 文史115为元培学生开设资本论哲学研究限选 2.0 1-17 1 王东教授周二7-9 本研合上哲学之用任选 1.0 1-17 1 于晓凤副教授周五5-6单二教308就业指导课复杂性科学与哲学全校任选2.0 1-17 1 赵光武教授周六7-9本研合上02311700文学与伦理通选课2.0 1-17 1 何怀宏教授周一10-11二教307世界文明中的科学技术通选课2.0 1-17 1 周程副教授周二10-11二教109博物学导论全校任选2.0 1-17 1 刘华杰教授周二5-6三教508投影、电脑中国现代哲学史专业必修2.0 1-17 1哲学胡军教授周一7-8三教306伦理学导论专业必修2.0 1-17 1哲学李猛副教授周四7-8二教307美学原理专业必修2.0 1-17 1哲学彭锋副教授周三7-8二教309西方马克思主义专题专业必修2.0 1-17 1哲学仰海峰教授周二7-8理教122伊斯兰教史限选 2.0 1-17 1 宗教沙宗平副教授周一10-11二教511本研合上02318372宗教社会学专业必修2.0 1-17 1宗教学孙尚扬教授周三3-4二教315中国宗教史专业必修2.0 1-17 1宗教学王宗昱教授周二3-4二教304哲学导论专业必修2.0 1-17 1哲学类赵敦华教授周三5-6电教114马克思主义哲学导论（下）专业必修2.0 1-17 1哲学类杨学功副教授周一7-8二教311宗教学导论专业必修2.0 1-17 1哲学类吴飞副教授周四1-2电教112和大类平台课合上西方哲学史（下）专业必修2.0 1-17 1哲学类先刚副教授周三3-4理教205中国哲学史（下）专业必修2.0 1-17 1哲学类张学智教授周一3-4理教103研究生课表：课程名课程类别参考学分起止周班号专业教师姓名教师职称上课时间教室备注马列原著精读专业必修4.0 1-17 1马克思主义哲学丰子义教授周一7-9周三6-8教研室上课马克思主义哲学史研究(1)专业必修3.0 1-17 1马克思主义哲学丰子义教授周三2-4周三上午教研室授课马克思主义哲学原著研究（下）专业必修3.0 1-17 1马克思主义哲学徐春副教授周二7-9四教406《资本论》哲学研究任选 3.0 1-17 1马克思主义哲学王东教授周二7-9二教512哲学前沿问题研究专业必修3.0 1-17 1马克思主义哲丰子义教授周四7-9 合上西方马克思主义哲学专题任选 3.0 1-17 1 马克思主义哲学仰海峰 教授 周四7-9 文史112西方历史哲学研究 任选 3.0 1-17 1 马克思主义哲学席大民 副教授周二10-12教研室上课中国佛教哲学原著选读 专业必修 3.0 1-17 1 中国哲学 周学农 副教授 周一7-9 四教302儒家哲学著作选读专业必修3.0 1-17 1中国哲学王 博 教授 周二7-9文史107中国哲学专题 任选 2.0 1-17 1中国哲学 王中江 教授 周二3-4 二教424德国古典哲学原著 专业必修 3.0 1-17 1外国哲学 刘哲副教授周二2-4 外哲基地227上课 现代欧陆哲学 任选 3.0 1-17 1外国哲学靳希平 教授 周二6-8外哲基地227上课 欧洲近代哲学原著 专业必修 3.0 1-17 1 外国哲学 尚新建 教授 周三2-4外哲基地227上课 海德格尔后期哲学研究 任选 3.0 1-17 1 外国哲学 吴增定 副教授 周三10-12上课 英美分析哲学原著 专业必修 3.0 1-17 1 外国哲学 叶 闯 教授 周日10-12外哲基地227上课 递归论基础 任选 3.0 1-17 1 逻辑学 叶 峰 教授 周四7-9 文史106一阶逻辑 专业必修3.0 1-17 1 逻辑学 邢滔滔副教授 周三10-12 文史117数学哲学 任选 3.0 1-17 1 逻辑学 叶 峰 教授 周一10-12 文史110数学结构 任选 3.0 1-17 1 逻辑学 刘壮虎 教授 周一7-9理教120逻辑前沿问题（上）专业必修 3.0 1-17 1 逻辑学 周北海 教授 周二7-9 二教421正义理论研究 任选 3.0 1-17 1 伦理学 徐向东 教授 周四6-8 外哲基地227上课 中国伦理学史研究专业必修3.0 1-17 1 伦理学 陈少峰 教授 周二7-9文史112伦理学问题研究 专业必修 2.0 1-17 1 伦理学 王海明 教授 周一7-8 文史107生命伦理学经典任选 2.0 1-17 1 伦理学文献选读#中国美学专题任选 3.0 1-17 1 美学朱良志教授周三10-12西方美学概论专业必修3.0 1-17 1 美学宁晓萌讲师周一7-9四教406中国美学概论专业必修3.0 1-17 1 美学王锦民副教授周二7-9文史110西方美学专题任选 3.0 1-17 1 美学章启群教授周四7-9 一教216美学前沿问题研究任选 3.0 1-17 1 美学叶朗教授周三7-9四教411佛教研究方法任选 3.0 1-17 1 宗教学李四龙副教授周一7-9一教106俄罗斯哲学研究任选 3.0 1-17 1 宗教学徐凤林教授周一7-9 二教530佛典精读专业必修3.0 1-17 1 宗教学姚卫群教授周四7-9一教309汉译佛典选读（三）专业必修3.0 1-17 1 宗教学姚卫群教授周四7-9《坛经》导读任选 3.0 1-17 1 宗教学周学农副教授周二7-9一教308宗教学专题专业必修3.0 1-17 1 宗教学张志刚教授周二10-12教研室上课灵宝经选读专业必修3.0 1-17 1 宗教学王宗昱教授周四7-9二教521宗教哲学专题专业必修3.0 1-17 1 宗教学吴飞副教授周三7-9二教506伊斯兰教研究专题任选 2.0 1-17 1 宗教学沙宗平副教授周一10-11本科生课表《阿拉伯哲学》任选 3.0 1-17 1 宗教学沙宗平副教授周二7-9四教407以赛亚书和罗马书任选 3.0 1-17 1 宗教学周四10-12二教508读书与写作专业必修3.0 1-17 1科学技术哲学冀建中研究员周一2-49-12点承泽园上课科学哲学原著选读专业必修3.0 1-17 1科学技术哲学孙永平副教授周二6-8科学史名著选读专业必修3.0 1-17 1科学技术哲学吴国盛教授周三2-4科学的社会研究专题专业必修3.0 1-17 1科学技术哲学苏贤贵副教授周二2-4科学技术与社会（STS）任选 3.0 1-17 1科学技术哲学王骏副教授周四2-4中国近现代科学与社会任选 3.0 1-17 1科学技术哲学任元彪副教授周四7-9二教507科技哲学前沿I任选 3.0 1-17 1 科学技术哲学吴国盛教授周二6-8科技政策文献选读任选 3.0 1-17 1科学技术哲学王骏副教授周二6-8科学社会史研究专题专业必修3.0 1-17 1科学技术史周程副教授周二7-9一教208中国现代化问题研究专业必修2.0 1-17 1 杨学功副教授周三7-8二教206中国哲学名著概论专业必修3.0 1-17 1 杨立华教授周二10-12一教302后现代主义哲学研究任选 3.0 1-17 1 赵光武教授周三7-9一教104复杂性科学与哲学任选 3.0 1-17 1 赵光武教授周六7-9二教210古希腊语导论（下）任选 3.0 1-17 1 靳希平教授周一7-9外哲基地227上课政府管理学院西方政治思想专题研究限选3.0 1-17 00政治学理论李强教授周二1-3政管514政管514 党史专业限选本科课程详细介绍课程号02330001 参考学分2.0 周学时 2.0 总学时32.0修读对象课程名称哲学导论英文名称An Introduction to Philosophy 教材参考书1、《理想国》，郭斌和、张竹明译，商务印书馆，1986年8月第1版2、The Republic of Plato, translated, with notes, an interpretive essay, and a new introduction by Allan Bloom, Basic Books, 1968.课程介绍"哲学"的希腊文本义是"爱智慧"。
北大803 数理逻辑
北大803 数理逻辑数理逻辑是一门研究推理和论证的学科，它运用数学的方法和符号来分析和描述逻辑的规律和性质。
北大803 数理逻辑课程是北京大学开设的一门数学类选修课，主要介绍数理逻辑的基本概念、原理和应用。
数理逻辑的起源可以追溯到古希腊的哲学家亚里士多德，他首次提出了命题逻辑的概念。
命题逻辑是数理逻辑的基础，它研究的是命题之间的逻辑关系。
在命题逻辑中，一个命题可以是真（True）或假（False），通过逻辑运算符（如与、或、非）可以将多个命题组合成复合命题。
在北大803 数理逻辑课程中，学生将学习到命题逻辑的基本概念和运算规则。
首先，课程会介绍命题的定义和命题逻辑的符号化表示方法。
通过使用逻辑运算符和括号，可以将复杂的命题表示为简洁的符号串。
例如，命题“如果今天下雨，那么我会带伞”可以表示为“p→q”，其中p表示“今天下雨”，q表示“我会带伞”。
除了命题逻辑，数理逻辑还包括一阶逻辑和模态逻辑等其他分支。
一阶逻辑研究的是一阶语言中的谓词、量词和函数等概念，可以用于描述现实世界中的对象和关系。
模态逻辑则研究的是命题的特殊性质，如可能性、必然性和时间性等。
在北大803 数理逻辑课程中，学生还将学习到数理逻辑的推理方法和证明技巧。
推理是数理逻辑的核心内容，它通过逻辑规则和演绎法则来推导出新的命题。
证明是推理的一种特殊形式，它通过一系列的逻辑推理步骤来证明一个命题的真实性。
数理逻辑在计算机科学、人工智能和哲学等领域有着广泛的应用。
在计算机科学中，逻辑推理是人工智能和自动推理系统的基础。
通过使用数理逻辑的方法，可以对知识和信息进行形式化表示和处理。
而在哲学领域，数理逻辑也被用来研究真理、推理和语言等基本概念。
北大803 数理逻辑课程是一门重要的数学类选修课，它通过学习命题逻辑、一阶逻辑和模态逻辑等内容，培养学生的逻辑思维和推理能力。
数理逻辑的应用广泛，不仅在学术研究中有重要地位，同时也在实际应用中发挥着重要作用。
中国大学本科专业前景分析之逻辑学
中国大学本科专业前景分析之逻辑学逻辑学本科是一个极具挑战和深度的学科，专注于推理、论证、语言与逻辑结构等领域的研究。
虽然相对冷门，但逻辑学的应用范围却相当广泛，涉及哲学、数学、计算机科学、语言学、人工智能等多个学科，甚至在法律、经济、管理等领域也有用武之地。
今天我们就来深入探讨逻辑学本科的课程设置、优秀高校、不同名校的培养特点、就业前景以及毕业生的去向。
一、逻辑学本科的课程内容逻辑学作为哲学中的一个分支，主要研究推理和论证的形式结构，学生通过学习不同的推理方法和理论，掌握分析和解决复杂问题的能力。
以下是逻辑学专业的主要课程：1.形式逻辑。
形式逻辑是逻辑学的核心内容，涉及命题逻辑、谓词逻辑、归纳逻辑等内容。
学生将学习如何构建和分析形式系统，理解逻辑推理的基本原则。
2.数理逻辑。
数理逻辑是逻辑与数学的交叉领域，探讨逻辑的公理系统和证明理论，涵盖集合论、模型论、递归论等。
3.非形式逻辑。
这一课程主要研究日常生活中不严格遵循形式系统的推理方式，如演绎推理、归纳推理、类比推理等。
它特别适用于批判性思维和分析复杂的现实问题。
4.模态逻辑与哲学逻辑。
模态逻辑研究可能性和必然性等概念，哲学逻辑则探索逻辑与语言、伦理、认识论的关系。
5.语言逻辑与语义学。
这一课程涉及语言的逻辑结构和意义分析，学生将探讨如何通过逻辑工具分析语言表达的含义与推理过程。
6.逻辑哲学。
研究逻辑的哲学基础，包括逻辑的本质、逻辑与真理的关系，以及逻辑在哲学推理中的地位。
7.推理与决策理论。
探讨如何在不确定条件下做出合理决策，涉及概率推理、博弈论等相关理论。
8.计算机逻辑与人工智能。
逻辑学在计算机科学领域有广泛的应用，尤其在人工智能领域，逻辑用于知识表示、自动推理等问题。
这些课程不仅能帮助学生掌握逻辑推理的技能，还能培养他们在复杂系统中识别和解决问题的能力。
二、逻辑学专业的开设高校及学科评估排名逻辑学作为哲学学科中的一个分支，虽然独立开设的高校并不多，但在全国一些顶尖大学，尤其是那些拥有强大哲学学科背景的高校中，逻辑学也占据着重要地位。
北大考研辅导班-2021北京大学827数理逻辑考研经验真题参考书
北大考研辅导班-2021北京大学827数理逻辑考研经验真题参考书北京大学827数理逻辑考试科目，2020年初试时间安排为12月22日下午14:00-17:00进行笔试，北京大学自主命题，考试时间3小时。
一、适用院系专业：北京大学哲学系010104逻辑学二、考研参考书目北京大学827数理逻辑没有官方指定的考研参考书目，盛世清北根据专业老师指导及历年考生学员用书，推荐使用如下参考书目：《数理逻辑》汉密尔顿，朱水林译华东师大出版，1986年。
《模态逻辑》周北海，中国社会科学出版社，1996年5月。
盛世清北建议参考书的阅读方法：目录法：先通读各本参考书的目录，对于知识体系有着初步了解，了解书的内在逻辑结构，然后再去深入研读书的内容。
体系法：为自己所学的知识建立起框架，否则知识内容浩繁，容易遗忘，最好能够闭上眼睛的时候，眼前出现完整的知识体系。
问题法：将自己所学的知识总结成问题写出来，每章的主标题和副标题都是很好的出题素材。
尽可能把所有的知识要点都能够整理成问题。
三、课程介绍数理逻辑又称符号逻辑、理论逻辑。
它既是数学的一个分支，也是逻辑学的一个分支。
是用数学方法研究逻辑或形式逻辑的学科。
其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
数理逻辑是数学基础的一个不可缺少的组成部分。
虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。
用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，使之更为精确和便于演算。
后人基本是沿着莱布尼茨的思想进行工作的。
简而言之，数理逻辑就是精确化、数学化的形式逻辑。
它是现代计算机技术的基础。
新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。
逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。
北大考博辅导：北京大学中国哲学考博难度解析及经验分享
北大考博辅导：北京大学中国哲学考博难度解析及经验分享根据教育部学位与研究生教育发展中心最新公布的第四轮学科评估结果可知，在2018-2019年中国哲学专业考研学校排名中，排名第一的是北京大学，排名第二的是武汉大学，排名第三的是中山大学。
作为北京大学实施国家“211工程”和“985工程”的重点学科，哲学系的中国哲学一级学科在历次全国学科评估中均名列第一。
下面是启道考博整理的关于北京大学中国哲学考博相关内容。
一、专业介绍中国哲学专业主要要求具有一定马克思主义哲学理论素养和系统的专业基础知识，能运用科学的世界观和方法论分析当代世界与中国的现实问题，具有一定的哲学理论思维能力、创新能力、口头与文字表达能力、社会活动能力和一定的科研能力，本专业的硕士研究生必须具有扎实的哲学专业基础，具有中国哲学方面的系统知识，具有很好的国学功底，善于运用科学的方法阅读和辨析中、西哲学史料、并能通过中西对比分析，掌握中国哲学的特点和发展规律。
北京大学哲学系的中国哲学专业在博士招生方面，划分为5个研究方向：010102 中国哲学研究方向：01.中国哲学史、儒家哲学；02.中国哲学，中西比较哲学；03.先秦哲学、近现代中国哲学；04.中国哲学、道家哲学05.儒家思想与儒家经典此专业实行申请考核制。
二、考试内容北京大学中国哲学专业博士研究生招生为资格审查加综合考核形式，由笔试+专业面试构成。
其中，综合考核内容为:1、在招生当年1月中上旬，我系根据申请人的申请材料（大陆以及本系硕博连读申请者），进行素质审核；2月下旬，对港澳台、留学生进行素质审核。
根据素质审核结果和当年招生计划，原则上按照不超过3:1的比例择优确定进入考核的候选人，根据生源情况可适当增减；3月在哲学系网站公布具体复试名单、时间等详细信息。
2、对所有申请者考核采取笔试与面试相兼的方式进行差额复试，对学生的学科背景、专业素质、操作技能、外语水平、思维能力、创新能力等进行考察；此要求包含大陆、?澳台、留学生以及本系硕博连读的所有申请者。
哲学逻辑的时态命题与模态命题关系论析
哲学逻辑的时态命题与模态命题关系论析
吴新民
【期刊名称】《中州学刊》
【年(卷),期】2010(000)002
【摘要】时态与模态总是相互依存的,主客时间是主体的先天直观形式,主观模态则是对事物的模态认知.那些不断指向可能"将来"的"现在",总是携带着必然的"过去",并且,必然的"过去",也通过"现在"与可能的"将来"勾连起来.因此,人们常说:了解历史就是为了现在更好地掌握将来.阐明了存在与时间、模态与时态等问题,主、客观时间的特征和时态因素与模态因素的关系就得以显现,对时态命题与模态命题的认知也可以深化一步了.
【总页数】5页(P159-163)
【作者】吴新民
【作者单位】江汉大学人文学院,湖北,武汉,430056
【正文语种】中文
【中图分类】B815
【相关文献】
1.哲学逻辑的时态命题与模态命题关系论析 [J], 吴新民
2.古典命题逻辑与模态命题逻辑的形式系统之比较 [J], 姚从军
3.模态复合命题与复合模态命题间真值关系考察 [J], 徐阳春
4.模态联言、选言命题与联言、选言模态命题 [J], 徐阳春
5.简析直言模态命题间的真假关系及其推理 [J], 苑成存
因版权原因，仅展示原文概要，查看原文内容请购买。
模态逻辑大纲-北京大学哲学系
模态逻辑教学大纲课程名称：模态逻辑（Modal Logic）周学时：4学分：4先修课程：数理逻辑一、基本目的模态逻辑是逻辑学最为重要的分支之一，它的理论、思想、技术和方法不仅是逻辑学中占有重要地位，而且在其他领域，如计算机科学、语言学等以及哲学方面有重要应用，成为这些领域相关部分的理论基础。
本课程是模态逻辑的导论性课程，讲授模态逻辑的基础知识，注重基本概念、理论和方法的介绍，属逻辑专业方向的类型必修课。
通过本课程的学习，可以掌握和了解模态逻辑的基本知识。
这是逻辑学专业方向学习以及逻辑应用类课程学习的必要基础，也是分析哲学、语言哲学学习的必要基础。
二、内容提要及学时分配内容分为模态命题逻辑与模态谓词逻辑两大部分。
前者以几个经典的模态逻辑系统为起点，对可能世界语义学以及其它一些相关系统作详细的介绍；后者介绍模态谓词逻辑的基本知识，重点是模态谓词逻辑语义学。
此外，还介绍一些和模态逻辑有关的理论问题和哲学问题。
其中模态命题逻辑是主要部分，约占总学时的四分之三。
三、教学方式课堂讲授，辅以课后习题以及课堂习题讲解。
四、推荐教材或参考书/参考资料教材：周北海《模态逻辑导论》，北京大学出版社，1996参考书：G.Huyhes & M.J.Cresswell, An New Introduction to Modal Logic, Routledge，London and New York, 1996.Chellas, B.F. Modal Logic, Cambridge University Press, 1980 .五、学生成绩评定方法平时成绩50%；期末考试成绩50%。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
什么是 “模态”
背景
什么是 “模态”
可能世界语义
公理及证明系统们
什么是 “模态”(modality)
她有男朋友. “她有男朋友” 为真的不同 “模式”(用模态词表达): • 可能 她有男朋友. • 过去 她有男朋友. • 我知道 她有男朋友 • 她被允许 有男朋友. • 她被证明 确实有男朋友 • 她在相亲 3 次之后 就有男朋友了.
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
世界哲学日
正因如此，哲学不仅仅是学校里的一门学科专业，也是有 助于更好、更人道地生活的日常实践。哲学追问自幼形 成，经过不断学习和完善，在推动公共辩论并捍卫人文主 义方面发挥着根本性作用，而人文主义在当今世界被暴力 和各种紧张局势冲击得七零八落。哲学不提供任何现成可 用的答案，却为思考世界、探寻自我指引出永恒求索之 路。在这条道路上，宽容既是一种道德品质，也是一种实 用的对话手段。它与宣称一切均无对错的素朴相对主义毫 不相干，它是对倾听的一种个人化要求，因为宽容建立在 捍卫尊严和自由之普遍原则的坚定承诺之上，这种要求愈 发强烈。
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
什么是 “模态”(modality)
她有男朋友. “她有男朋友” 为真的不同 “模式”(用模态词表达): • 可能 她有男朋友. (基本模态逻辑) • 过去 她有男朋友. (时态逻辑 Temporal Logic) • 我知道 她有男朋友. (知识逻辑 Epistemic Logic ) • 她被允许 有男朋友. (道义逻辑 Deontic Logic) • 她被证明 确实有男朋友. (可证性逻辑 Provability Logic) • 她在相亲 3 次之后 就有男朋友了.(动态逻辑 Dynamic Logic)
背景
什么是 “模态”
可能世界语义
公理及证明系统们
(命题) 模态逻辑
哲学数学计算机中的逻辑课程 (2016 年秋)
王彦晶 北大哲学系 2016 年 11 月 17 日 (世界哲学日)
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
背景
什么是 “模态”
可能ห้องสมุดไป่ตู้界语义
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
亚里士多德的模态三段论
Barbara 的 LXL 模态版本 (亚里士多德认为有效) • All B are necessarily A, • All C are B, • therefore: All C are necessarily A. Barbara 的 XLL 版本 (亚里士多德认为不有效): • All B are A, • All C are necessarily B, • therefore: All C are necessarily A.
王彦晶 北大哲学系: (命题) 模态逻辑
可能世界语义
背景
什么是 “模态”
可能世界语义
公理及证明系统们
基本模态逻辑的语言
最基本的模态逻辑语言 (p ∈ PV): φ ::= p | ¬φ | (φ ∧ φ) | 2φ
• 2 读 “Box”, 在基本的模态逻辑中代表 “必然” • 可以定义 “可能 φ” 为 “并非必然并非 φ” (¬2¬φ), 记做 3φ, 读 作 “Diamond”. “钻石是并非永远并非” • 不同领域也把 2 写成不同的东西: K (知识), B (信念), G (永远), O (义务), [π ] (程序 π 保证).... 2p 的真值不完全由 p 的真值决定: 2 并不是 ¬ 这样的一元逻辑连 接词.
王彦晶 北大哲学系: (命题) 模态逻辑
背景
背景
什么是 “模态”
可能世界语义
公理及证明系统们
实质蕴含与严格蕴含
p → q := ¬p ∨ q, 等价于¬(p ∧ ¬q). 实质蕴含 “怪论”: • p → (q → p) • (p → q) ∨ (q → r) • ¬(p → q) → (p ∧ ¬q) • (p ∧ ¬p) → q, p → (q ∨ ¬q) 如果意大利是法国的一部分的话, 罗马就在法国 (真?) vs.如果意大 利是法国的一部分的话, 北京就在法国 (假?). 似乎有时候蕴含的真 值不完全由前件及后件的真值决定! C. I. Lewis (C. 刘): 严格蕴含 (p q): 不可能 p 真而 q 假. 等价的: 必 然若 p 真则 q 也真 (必然 p → q). 不能完全解决上面的所有怪论, 但 却引出了一个重要的新领域: 模态逻辑 (Modal Logic).
公理及证明系统们
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
世界哲学日
“今年，我们于国际宽容日次日庆祝世界哲学日。这样的 机缘巧合，意义非同寻常，因为宽容与哲学紧密相连。哲 学受益于尊重、倾听和理解那些丰富着我们存在方式的多 式多样的观点、理念与文化。同宽容一样，哲学也是一门 在尊重彼此权利和共同价值的基础上共同生活的艺术。哲 学还是一种以批判式眼光看世界的能力，这样的眼光因接 纳他人的观点而更为敏锐，因思想、意识和信仰的自由而 更为坚定。
王彦晶 北大哲学系: (命题) 模态逻辑
背景
什么是 “模态”
可能世界语义
公理及证明系统们
世界哲学日
教科文组织今年开展亚里士多德和莱布尼兹 (1646-1716) 的周年纪念活动，这两位杰出的哲学家都为形而上学和科 学、逻辑学和伦理学的发展作出过贡献。他们虽然所处时 代不同、文化背景迥异，却有一个共同点：将哲学置于公 共生活的核心位置，作为有尊严的自由生活的根本要素。 现在轮到我们来弘扬这一精神，勇于向自由、开放和宽容 的思想敞开大门。以此对话为基础，我们可以在公民、社 会和国家之间建立起更强有力的合作，作为和平的永久基 石。” —–伊琳娜·博科娃 (UNESCO Director-General)