2012春季报告 （当初上课时间：周二18:40-21:30 地点：理教305）
2012-06-05 报告人：叶闯 题目：空名问题及若干典型解决策略 附件：
2012-05-29 报告人：Prof. van Emde Boas 题目：Turing machines and Tilings 附件：
2012-05-22 报告人：许春梅 点评人：刘壮虎老师，马丽、陈希 题目：私人语言论题 附件：
2012-05-15 报告人：秦一男 点评人：刘壮虎老师，李熙、范杰 题目：经典命题演算的能行方法研究 附件：
2012-05-08 报告人：马 丽 点评人：周北海老师，范 杰、李延军 题目：描述逻辑的本质及其自然推演系统 附件：
2012-04-24 报告人：Mark Steiner 题目：维特根斯坦的数学哲学
2012-04-17 报告人：刘美平 点评人：周北海老师，李 熙、秦一男 题目：信念、规范与程序：简论知识生成中的可错性推理 附件：
2012-04-10 报告人：李延军 点评人：周北海老师，李 熙、马 丽 题目：Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation 附件：
2012-04-03 报告人：李 熙（4月1日） 点评人：刘壮虎老师，陈星群、李延军 题目：An Introduction to Induction from an AIT View 附件：
2012-03-27 报告人：周北海 题目：非单调推理、概称句，概念与概念的逻辑 附件：
2012-03-20 报告人：范 杰 点评人：周北海老师，陈星群、马 丽 题目：分级模态的元理论初探 附件：
2012-03-13 报告人：刘壮虎 题目：概念理论的形式化研究
2012-03-06 报告人：陈星群 点评人：周北海老师，范 杰、李延军 题目：个体语义、性质语义与弗雷格谜题 附件：
2012-02-28 报告人：叶 峰 题目：一个自然主义研究计划 附件：
2012-02-21 报告人：郭顺利、杨睿之 题目：预答辩
2012-02-15 报告人：陈 波 题目：我的科研实践
