News Annual Report of PKU Center of Logic, Language, and Cognition (2024) 4月1日 杨远哲报告 Heyting’s largely forgotten paper on the epistemic conception of Intuitionistic Logic is now in English. 3月18日 George Barmpalias报告 3月4日 端木昊随报告 Events 04-08 Minicourse on Martin-Löf and Homotopy Type Theory 04-03 [PKU model theory seminar] Apr 3rd: Sam Braunfeld 03-27 Mar. 27th Talk by Wangzhou Dai 03-20 [PKU model theory seminar] Mar 20th: Wentao Yang 03-18 Mar. 18th Talk by George Barmpalias Seminars 04-01 Apr. 1st Talk by Yuanzhe Yang 03-27 Mar. 27th Talk by Wangzhou Dai 03-18 Mar. 18th Talk by George Barmpalias 03-13 Mar. 13th Talk by Guanglong Luo Quick links 《逻辑学前沿问题》本学期计划 北京大学哲学系逻辑学研究生手册 2025春季学期开设课程 北京大学“宋文坚逻辑学奖学金”评审办法 LaTeX模板及Word常用逻辑符号集 北京大学图书馆所购买的逻辑学相关期刊 招生信息 逻辑学科点介绍 博士生招生简介 博士生招生方向 博士生复试要求 硕士生招生简介 推免生复试要求 常用链接 【LLCC】北京大学语言•逻辑•认知•计算跨学科论坛 中山大学逻辑与认知研究所 西南大学逻辑与智能研究中心 浙江大学语言与认知研究中心 清华大学-阿姆斯特丹逻辑学联合研究中心 【ILLC】荷兰阿姆斯特丹大学逻辑、语言与计算研究所(ILLC) 【CSLI】美国斯坦福大学语言与信息研究中心(CSLI) 【LORI】ILLC“逻辑与理性”交互小组 英国伦敦国王学院“逻辑、语言和计算”小组 复旦大学数理逻辑小组