2014春季报告   （当初上课时间：周三15:10-18:00   地点：理教311）

2014-06-04   报告人：琚凤魁   题目：Trace semantics for propositional dynamic logics   

2014-05-28   报告人：Jeremy Seligman   题目：1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior   

2014-05-21   报告人：Frank Veltman   题目：Gradable adjectives and subjective experience   

2014-05-14   报告人：吕相洋   点评人：方楠   题目：非标准分析——经典数学的一种延伸   附件：

2014-05-07   报告人：Peter van Emde Boas   题目：Victorious Warriors: searching the games played in the Romance of the three Kingdoms    附件： 

2014-04-30   报告人：高坤   点评人：李熙   题目：Post-Quinean Naturalism in the Philosophy of Mathematics   附件：

2014-04-23   报告人：刘美平   题目：内在论视角下的身心同一   附件：

2014-04-16   报告人：沈榆平   题目：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas   附件： 

2014-04-09   报告人：蒋运鹏   题目：卡尔纳普的第一个构造定义   附件：

2014-04-02   报告人：秦一男   点评人：李熙，刘美平   题目：计算语言学中的句法分析方法综述   附件：

2014-03-26   报告人：李熙   点评人：朱薇   题目：Raven Paradox   附件： 

2014-03-19   报告人：彭杉杉   点评人：万美文   题目：“一米命题”是先验的吗 ——从“先验”的概念分析看   附件：

2014-03-12   报告人：朱薇   点评人：李熙、王海若   题目：认知逻辑之逻辑全知问题的一种解决方案—— 一般觉察逻辑   附件：

2014-03-05   报告人：张文彦   题目：自然语义的元语言阐释   附件：

2014-02-26   报告人：郑植   点评人：张文彦   题目：话语表征理论简介与评述——资料整理与报告简稿   附件：

2014-02-19   报告人：杨森   题目：使用可数传递模型的论证   附件：