News

• 2012-11-14 11月13日李延军报告：Introduction to PDL and some related work--EPDL 2012-11-14
• 2012-11-08 11月6日李熙报告：A Non-Classical Syllogism with Self-control 2012-11-08
• 2012-11-01 10月30日Sven Ove Hansson教授报告：Interdefinabilities in the logic of norms, values, and decisions 2012-11-01
• 2012-10-31 10月28日系友论道学术报告总结报道 2012-10-31
• 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