News

• 2012-10-28 10月27日郝兆宽报告：Godel's Program 2012-10-28
• 2012-10-24 10月23日范杰报告：Knowing that,Knowing What and A Dynamic Epistemic Account of Frege Puzzle 2012-10-24
• 2012-10-15 百年系庆丛书《逻辑的历程》出版 2012-10-15
• 2012-10-11 北京大学语言?逻辑?认知?计算跨学科论坛第一次研讨会顺利召开 2012-10-11
• 2012-10-10 Johan van Benthem（范丙申）教授讲座:Interfacing Logic and Probabilistic Update（10月9日） 2012-10-10
• 2012-09-27 9月25日刘靖贤报告:Paraconsistent Frege 2012-09-27
• 2012-09-26 陈波出版学术随笔集《与大师一起思考》 2012-09-26
• 2012-09-22 T.W.C.Stoneham教授报告：Methodological Separatism, Modal Pluralism and Metaphysical（9月18日） 2012-09-22
• 2012-09-11 9月11日赵震报告：The outline of a new solution to the liar paradox 2012-09-11
• 2012-09-01 王彦晶参加LOFT2012并作报告 2012-09-01
• 2012-09-01 王彦晶、李延军论文被AiML2012接收 2012-09-01
• 2012-06-11 叶闯教授报告：空名问题及若干典型解决策略（6月5日） 2012-06-11
• 2012-06-06 北京大学语言、逻辑、认知与计算跨学科交叉研究报告研讨会在我系召开 2012-06-06
• 2012-06-01 5月29日晚荷兰阿姆斯特丹大学Peter van Emde Boas教授报告：图灵机与铺砖 2012-06-01
• 2012-05-28 5月22日晚许春梅报告：私人语言论题 2012-05-28
• 2012-05-19 “计算机到底能做什么？——人工智能的理论限度”辩论研讨会在北京大学召开 2012-05-19
• 2012-05-16 5月15日晚秦一男报告：经典命题演算的能行方法 2012-05-16
• 2012-05-08 5月8日晚马丽报告：描述逻辑的本质及其自然推演系统 2012-05-08
• 2012-04-25 4月24日晚希伯莱大学Mark Steiner教授讲座：维特根斯坦的数学哲学 2012-04-25
• 2012-03-27 3月10日-18日王彦晶应邀访问剑桥大学牛顿数理科学研究所 2012-03-27