News

• 2014-12-22 12月16日曹钦翔报告：The logics to establish the correctness of programs 2014-12-22
• 2014-11-29 11月25日彭杉杉报告：麦蒂论自然主义视角下的逻辑 2014-11-29
• 2014-11-25 11月18日张文彦报告：语言学中的优选论 2014-11-25
• 2014-11-12 11月2日刘壮虎教授讲座：概念结构理论 2014-11-12
• 2014-11-02 10月28日郑植报告：语言学中的优选论 2014-11-02
• 2014-10-22 10月21日阮吉老师讲座：Model Checking Incomplete Information Games in General Game Playing 2014-10-22
• 2014-10-15 10月14日万美文报告：直觉与语义/语用区分 2014-10-15
• 2014-10-13 我系5位师生应邀赴日出席“逻辑与哲学互动工作坊” 2014-10-13
• 2014-10-01 9月30日刘梓源报告：Formalizing Knowledge How 2014-10-01
• 2014-09-23 9月23日范杰报告： Almost Necessary 2014-09-23
• 2014-09-17 9月16日方楠报告：Algorithmic Randomness 2014-09-17
• 2014-08-30 “第四届全国批判性思维教学研讨会”在北京大学召开 2014-08-30
• 2014-06-18 王彦晶、范杰文章被Advances in Modal Logic（AiML） 2014接收 2014-06-18
• 2014-06-09 6月4日琚凤魁老师讲座：Trace semantics for propositional dynamic logics 2014-06-09
• 2014-06-02 5月30号Dr.Jeremy Seligman讲座：Understanding some pathologies of social epistemology by reasoning about observed behaviour 2014-06-02
• 2014-05-31 5月28日Dr. Jeremy Seligman 讲座：1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior 2014-05-31
• 2014-05-26 5月21日Prof.Frank Veltman讲座：Gradable adjectives and subjective experience 2014-05-26
• 2014-05-15 5月14日吕相洋报告：非标准分析——经典数学的一种延伸 2014-05-15
• 2014-05-08 5月7日Peter van Emde Boas教授讲座：Victorious Warriors: searching the games played in the Romance of the three Kingdoms 2014-05-08
• 2014-05-01 4月30日高坤报告：Post-Quinean Naturalism in the Philosophy of Mathematics 2014-05-01