逻辑学是以数理逻辑、哲学逻辑、逻辑哲学、中国逻辑史、西方逻辑史为理论根基，以模态逻辑、认知逻辑、人工智能逻辑、语言逻辑、非经典逻辑等前沿方向为实践双翼，以服务国家基础学科战略、人工智能基础理论创新与中国特色哲学社会科学自主知识体系构建为核心使命的国家战略性二级学科。北京大学逻辑学依托北京大学哲学系，以北京大学逻辑研究中心（教育部人文社会科学重点研究基地）、北京大学人工智能研究院、北京大学数学科学学院为平台支撑，涵盖数理逻辑、哲学逻辑、逻辑哲学、中国逻辑史、西方逻辑史五大核心方向，并深度拓展模态逻辑与形而上学、认知逻辑与心灵哲学、人工智能逻辑与可解释性、语言逻辑与语义学、非经典逻辑与悖论研究等新兴交叉领域，以"1956年王宪钧先生创建北大逻辑学专业、金岳霖先生奠定中国现代逻辑学基础、陈波教授推动分析哲学与逻辑哲学研究、刘壮虎教授深耕模态逻辑与证明论、周北海教授开创情境语义学与动态认知逻辑研究、叶峰教授从事数学哲学与自然主义逻辑观研究、何朝安副教授聚焦形式语义学与语言哲学、2000年获批教育部人文社会科学重点研究基地、哲学学科在教育部第四轮学科评估中获评A+档、历次全国学科评估中逻辑学方向均名列第一"为学科发展主线，培养兼具深厚形式化技术功底、精密哲学分析能力、开阔跨学科视野与国家基础研究使命感的高层次逻辑学专门人才。

学科沿革： 北京大学逻辑学的历史最早可追溯到1920年代——金岳霖先生（1895—1984）留学哥伦比亚大学、伦敦政治经济学院，归国后执教于清华、北大，出版《逻辑》《论道》《知识论》，奠定了中国现代逻辑学与分析哲学的基础。1956年，王宪钧先生（1910—1993）在北京大学哲学系创建逻辑学专业，系统引进苏联与西方的数理逻辑教学体系，培养了新中国第一批逻辑学专业人才。1978年，恢复研究生招生后，北大逻辑学进入快速发展期。1980年代，陈启伟教授深耕分析哲学与逻辑实证主义，推动了语言哲学与逻辑哲学的系统传播；张尚水教授专攻数理逻辑与集合论，奠定了北大逻辑学的技术基础。1990年代，陈波教授推动分析哲学与逻辑哲学研究，出版《逻辑哲学导论》《蒯因的自然化认识论纲领》，构建了逻辑哲学研究的中国范式；刘壮虎教授深耕模态逻辑与证明论，出版《模态逻辑》《证明论》，推动了非经典逻辑在中国的系统发展。2000年，北京大学逻辑研究中心获批教育部人文社会科学重点研究基地，成为国内逻辑学研究的核心平台。2000年代以来，周北海教授开创情境语义学与动态认知逻辑研究，出版《模态逻辑语义学》《动态认知逻辑》，推动了逻辑学与人工智能、认知科学的交叉融合；叶峰教授从事数学哲学与自然主义逻辑观研究，出版《一阶逻辑与一阶理论》《数学哲学中的自然主义》，贯通了数理逻辑、数学哲学与认知科学；何朝安副教授聚焦形式语义学与语言哲学，推动了逻辑学与语言学的前沿对话。哲学系是教育部首批"双一流"建设学科单位、教育部最早确认的国家文科人才培养基地、国家级特色专业建设点，现为哲学一级学科硕、博士点，设有哲学博士后流动站。逻辑学方向现有专职教师8人（教授4人、副教授3人、讲师1人），并与数学科学学院、信息科学技术学院、人工智能研究院建立了紧密的跨学科合作机制。

学术成就与国家战略贡献： 北京大学逻辑学在各研究领域取得了具有国际影响力的原创性突破。在数理逻辑方向，团队系统推进了模型论、证明论、递归论、集合论四大分支的前沿研究，在哥德尔不完全性定理、连续统假设、大基数公理、构造性数学等领域取得了一系列重要成果。在哲学逻辑方向，刘壮虎教授系统构建了模态逻辑、时态逻辑、道义逻辑、认知逻辑的语义学与证明论体系；周北海教授开创了情境语义学、动态认知逻辑、多主体认知推理的研究范式，成果应用于人工智能知识表示与多智能体系统。在逻辑哲学方向，陈波教授系统阐释了蒯因、克里普克、戴维森、普特南等人的逻辑哲学思想，推动了逻辑哲学在中国的规范化研究；叶峰教授提出了自然主义逻辑观，将逻辑学置于认知科学与进化生物学的框架下重新理解，挑战了传统先验主义逻辑观。在中国逻辑史方向，团队深耕先秦名辩学、墨家逻辑、荀子正名、公孙龙白马论、惠施历物十事、因明学、近代逻辑学传入史，结合出土文献重新评估了中国古代逻辑思想的独特贡献。在西方逻辑史方向，团队聚焦亚里士多德三段论、斯多葛命题逻辑、中世纪词项理论、莱布尼茨普遍字符、弗雷格概念文字、罗素类型论、希尔伯特计划、哥德尔革命、塔斯基真理定义、克里普克可能世界语义学，揭示了逻辑学发展的内在脉络。此外，邵强进副教授深耕模糊逻辑与非经典逻辑，马永强助理教授聚焦计算逻辑与人工智能基础理论。系内教师还深度参与国家自然科学基金、国家社科基金重大项目、人工智能基础理论研究、国家新一代人工智能发展规划、构建中国特色哲学社会科学自主知识体系等工作，研究成果直接服务于国家基础学科战略与人工智能核心技术攻关。

导师团队： 哲学系逻辑学教研室汇聚了一支以形式化为根基、技术与哲学并重、跨学科贯通为特色的高水平导师队伍，研究方向覆盖逻辑学全链条。导师群体包括：从事数理逻辑研究的学者，聚焦模型论、证明论、递归论、集合论、范畴论、类型论、构造性数学、反向数学、大基数公理、决定性公理、力迫法、内模型理论；从事哲学逻辑研究的学者，专注模态逻辑、时态逻辑、道义逻辑、认知逻辑、动态逻辑、条件句逻辑、反事实条件句、信念修正、多主体认知推理、社会认知逻辑、博弈逻辑；从事逻辑哲学研究的学者，围绕逻辑真理、逻辑后承、意义理论、指称理论、真理论、悖论、逻辑多元主义、逻辑工具主义、自然主义逻辑观、逻辑与认知、逻辑与形而上学开展研究；从事中国逻辑史研究的学者，探索先秦名辩学、墨家三表法、荀子正名、公孙龙坚白论、惠施历物、因明学、近代逻辑学传入、中西逻辑比较、中国古代推理模式、逻辑与文化；从事西方逻辑史研究的学者，开发亚里士多德逻辑、斯多葛逻辑、中世纪逻辑、莱布尼茨逻辑思想、布尔代数、弗雷格、罗素、希尔伯特、哥德尔、塔斯基、卡尔纳普、蒯因、克里普克、当代逻辑学史；从事人工智能逻辑与计算逻辑研究的学者，关注知识表示、自动推理、可解释人工智能、程序验证、形式化方法、类型系统、λ演算、同伦类型论、量子逻辑、概率逻辑；从事语言逻辑与形式语义学研究的学者，聚焦蒙塔古语法、情境语义学、动态语义学、类型逻辑语法、话语表示理论、优选论、语用逻辑、言语行为理论、索引词与语境敏感性。此外，还有来自中国科学院数学与系统科学研究院、清华大学计算机系、浙江大学逻辑与认知研究中心、南京大学哲学系等机构的兼职导师与联合培养导师，形成了"形式技术+哲学反思+历史溯源+应用导向"四位一体的培养闭环。

保研核心要求： 北京大学哲学系2026年逻辑学隶属于010104逻辑学（学术学位），下设数理逻辑、哲学逻辑、逻辑哲学、中国逻辑史、西方逻辑史五个研究方向，全日制计划招生约5-7人（含推免与统考），其中拟接收推免生约占60%-70%。统考初试科目为：①101思想政治理论、②201英语（一）或202俄语或203日语或254德语、③619西方哲学史一（自命题，涵盖从古希腊到现代的西方哲学史，含现代部分）、④835逻辑学综合（自命题，涵盖数理逻辑基础、哲学逻辑、逻辑哲学、逻辑史）。参考书目包括：《西方哲学简史》赵敦华著（北京大学出版社）、《西方哲学史》张志伟主编（中国人民大学出版社）、《西方哲学原著选读》北京大学西方哲学教研室编（商务印书馆）、《新编现代西方哲学》刘放桐（人民出版社）、《数理逻辑》邢滔滔著（北京大学出版社）、《模态逻辑》刘壮虎著（北京大学出版社）、《逻辑哲学导论》陈波著（中国人民大学出版社）。2026年北京大学硕士研究生招生复试基本分数线（哲学门类[01]）为：政治≥55分、外语≥55分、专业课一≥90分、专业课二≥90分，总分校线345分；哲学系实际复试门槛远高于校线，近年进入复试的逻辑学考生初试成绩普遍在370分以上。复试成绩占比高达50%，直接决定最终录取结果——2026年实际录取中，伦理学专业358分考生凭借复试92.8分的出色表现成功逆袭上岸，充分印证"复试改命"的选拔逻辑。推免方面，哲学系每年9月发布接收推荐免试研究生通知，推免复试通常安排在9月中下旬，采用"资格审查+综合考核"形式（含笔试与专业面试）。本科背景以哲学、数学、计算机科学、语言学等为主，核心竞争力在于扎实的数理逻辑基础、系统的逻辑学知识储备、明确的形式化或哲学问题意识及至少一门编程语言或形式化工具的使用经验。

知点保研辅导要点： 围绕逻辑学学术硕士核心能力重点辅导——①数理逻辑基础（命题逻辑/一阶逻辑/完备性定理/紧致性定理/Löwenheim-Skolem定理/哥德尔不完全性定理/递归函数/图灵机/Church-Turing论题/判定问题/可满足性问题/SAT求解器/模型论基础/结构/初等等价/量词消去/证明论基础/自然演绎/相继式演算/Gentzen主定理/切消定理/序数分析/集合论基础/ZFC公理系统/序数/基数/选择公理/连续统假设/力迫法/大基数公理/构造性宇宙L/决定性公理AD）；②模态逻辑与哲学逻辑（K系统/T系统/S4/S5/GL/Grz/框架语义/Kripke语义/对应理论/Sahlqvist定理/典范模型/有限模型性质/时态逻辑/CTL/LTL/μ演算/道义逻辑/SDL/Dyadic义务/ contrary-to-duty悖论/认知逻辑/S5n/公共宣告逻辑PAL/动态认知逻辑DEL/信念修正AGM/条件句逻辑/Stalnaker/Lewis/严格条件句/反事实条件句/博弈逻辑/ATL/社会认知逻辑）；③逻辑哲学（逻辑真理/分析性/先天性/逻辑后承/Tarski定义/模型论后承/证明论后承/意义理论/指称理论/Frege涵义与意谓/Russell摹状词/Kripke命名与必然性/真理论/Tarski T-约定/Kripke真理论/不动点/修正理论/悖论/说谎者悖论/理发师悖论/Russell悖论/Yablo悖论/解悖方案/逻辑多元主义/Beall & Restall/逻辑工具主义/自然主义逻辑观/叶峰/逻辑与认知/逻辑与形而上学/本体论承诺/Quine）；④中国逻辑史（先秦名辩学/名家/惠施历物十事/公孙龙白马论/坚白论/墨家三表法/小取/大取/故/理/类/侔/援/推/荀子正名/制名枢要/因明学/陈那/法称/三支作法/九句因/近代逻辑学传入/严复《穆勒名学》/王国维/胡适/金岳霖/中西逻辑比较/中国古代推理模式/类比推理/譬喻/归纳与演绎的文化差异）；⑤西方逻辑史（亚里士多德三段论/前分析篇/后分析篇/范畴篇/解释篇/斯多葛命题逻辑/条件句/析取/合取/中世纪词项理论/指代理论/后果理论/诡辩/莱布尼茨普遍字符/推理演算/布尔代数/逻辑的数学化/弗雷格概念文字/函项与自变元/量词/罗素类型论/Principia Mathematica/希尔伯特计划/形式主义/一致性证明/哥德尔不完全性定理/算术的不完全性/塔斯基真理定义/语义学/卡尔纳普逻辑句法/蒯因新基础NF/克里普克可能世界语义学/命名与必然性/当代逻辑学史/模型论证明论递归论集合论的分化与发展）；⑥人工智能逻辑与计算逻辑（知识表示/描述逻辑/OWL/RDF/本体工程/自动推理/归结原理/ tableaux方法/ sequent calculus/程序验证/Hoare逻辑/分离逻辑/类型系统/简单类型λ演算/System F/依赖类型/Coq/Agda/Idris/同伦类型论HoTT/Univalence公理/量子逻辑/正交模格/量子计算/概率逻辑/贝叶斯推理/因果推理/Pearl SCM/do-calculus/可解释AI/XAI/符号-神经混合系统）；⑦语言逻辑与形式语义学（蒙塔古语法/内涵逻辑/类型论/情境语义学/Barwise & Perry/信息流/动态语义学/DRT/文件变化语义/更新语义/类型逻辑语法/CCG/AB演算/话语表示理论/Kamp/优选论/OT/语用逻辑/言语行为理论/Austin/Searle/索引词/Kaplan/语境敏感性/预设触发/会话含义/Grice/关联理论）；⑧非经典逻辑与悖论研究（直觉主义逻辑/Brouwer/Heyting/Kripke语义/构造性数学/多值逻辑/Lukasiewicz/Kleene/Bochvar/模糊逻辑/Zadeh/隶属度/次协调逻辑/Paraconsistent/dialetheism/Priest/相关逻辑/Anderson & Belnap/线性逻辑/Girard/资源敏感/亚结构逻辑/收缩规则/交换规则/弱化规则/悖论解悖方案/层级方案/真值间隙/真值过剩/语境主义/修正理论）；⑨逻辑与认知科学（逻辑与心理推理/Wason选择任务/Johnson-Laird心理模型/双过程理论/Kahneman System 1 & 2/逻辑能力的发展/Piaget/逻辑与语言习得/逻辑与动物认知/逻辑与人工智能/符号主义/联结主义/混合架构/逻辑与决策理论/理性选择/有限理性/生态理性）；⑩前沿议题与政策素养（哥德尔不完全性定理在人工智能"机器能否思维"争论中的哲学意蕴及其对强AI主张的限制效力、Kripke可能世界语义学在当代形而上学"本质主义"复兴中的奠基作用及其对自然种类理论的支撑、动态认知逻辑在多智能体系统中信息更新建模的应用及其对社交网络谣言传播分析的启示、叶峰自然主义逻辑观对传统先验主义逻辑哲学的挑战及其与认知科学实验证据的衔接、中国墨家逻辑与亚里士多德三段论的结构性比较及其对"逻辑一元论"的挑战、模糊逻辑在自动驾驶感知系统中的不确定性处理及其与概率方法的互补性、同伦类型论作为数学基础的新范式对集合论霸权的挑战及其对计算机辅助证明的影响、次协调逻辑在处理法律体系中规范冲突时的适用性及其与经典逻辑的共存策略、因果推理Pearl SCM在公共卫生政策评估中的规范性资源及其与随机对照试验的方法论关系、逻辑多元主义立场对"正确逻辑"之争的解决方案及其对跨文化推理差异的理论包容性）。面试训练涵盖专业笔试强化（619西方哲学史一核心题型：名词解释/简答/论述/哲学文本解读/思想比较分析；835逻辑学综合核心题型：形式化证明/语义分析/概念辨析/专题论述/文献综述/研究设计）、逻辑学前沿问题问答（刘壮虎教授模态逻辑研究中Sahlqvist对应理论的技术细节及其对模态形而上学的约束、周北海教授动态认知逻辑研究中公共宣告与私人信息的区分及其对隐私保护政策的启示、陈波教授逻辑哲学研究中"逻辑后承"定义的模型论与证明论之争及其对逻辑本质的理解、叶峰教授自然主义逻辑观中"逻辑规律"的认知起源假说及其与进化心理学的衔接、何朝安副教授形式语义学研究中动态语义学与静态语义学的优劣比较及其对自然语言处理的启示、邵强进副教授模糊逻辑研究中隶属度函数的确定方法及其在实际应用中的主观性问题、马永强助理教授计算逻辑研究中SAT求解器优化策略及其在硬件验证中的应用案例、中国逻辑史研究中墨家"侔"式推理与现代类比逻辑的结构性比较及其对非形式逻辑的贡献、西方逻辑史研究中弗雷格与罗素在"意义"问题上的分歧及其对当代语言哲学的影响、人工智能逻辑研究中符号方法与神经网络方法的融合路径及其对可解释AI的理论支撑）、科研项目或读书报告陈述与反思（形式化证明/语义建模/哲学论证/历史考证/失败复盘）、研究计划展示（选题意义/文献综述/技术路线/预期创新）、学术志趣陈述及形式化工具使用与口头表达能力考核（鼓励具备Coq/Agda/Isabelle/Prolog/Python等形式化工具或编程语言使用经验）。文书应体现"以形式化为根基、以哲学反思为灵魂、以跨学科应用为导向、以推进逻辑学基础理论创新与服务国家人工智能战略为毕生志业、以服务国家基础学科战略与中国特色哲学社会科学自主知识体系构建为使命担当"的高层次逻辑学人才志向，突出对特定逻辑问题的深刻洞察与原创性思考（如哥德尔第二不完全性定理对Hilbert计划的否定效力及其对当代数学基础"多元主义"立场的支撑、Kripke《命名与必然性》中"后天必然真理"概念对传统分析-综合区分的颠覆及其对本质主义形而上学的重建、动态认知逻辑中"共同知识"的动态生成机制及其对区块链共识协议设计的理论启示、叶峰自然主义逻辑观中"逻辑能力"的进化适应性假说及其对儿童逻辑发展实验数据的解释效力、墨家"三表法"中"原察百姓耳目之实"的经验检验维度与当代科学方法论的结构性共鸣、模糊逻辑在医疗诊断专家系统中的不确定性推理优势及其与贝叶斯方法的性能比较、同伦类型论中Univalence公理对数学对象"等价即相等"原则的形式化及其对范畴论基础的革新、次协调逻辑在处理数据库不一致信息时的容错机制及其与经典逻辑修复策略的效率对比、Pearl因果模型中do-operator对干预效应的识别条件及其在观察性研究中的适用边界、逻辑多元主义立场对"非西方逻辑传统"的理论包容性及其对全球逻辑学对话的促进作用等）。

咨询保研报名事宜，请拨打4000003363，或添加微信13671344286，获取一对一详细解答。