2011秋季报告 （当初上课时间：周四15:10-18:00 地点：文史楼215）
2011-12-22 报告人：杨英锐 题目：高阶认知的标准模型：对称性与自发对称破缺
2011-12-15 报告人：许春梅 点评人：刘壮虎老师 题目：Hyper Modal Logic
2011-12-08 报告人：赵 震 点评人：周北海老师，徐召清、李 熙 题目：“真谓词”的不动点理论
2011-12-01 报告人：王淑庆 点评人：叶 峰老师，陈星群、徐召清 题目：基于ASP逻辑的偏好多语境系统 附件：
2011-11-24 报告人：Prof. Mike Beaney 题目：Frege’s use of function-argument analysis and his introduction of truth-values as objects 附件：
2011-11-17 报告人：王彦晶 题目：LaTeX入门
2011-11-10 报告人：王 培 题目：Experience-Grounded Semantics and its relation with Intelligence and Embodiment
2011-11-03 报告人：刘明亚 题目：The Truth-conditional Semantics of Evaluative Adverbs 附件：
2011-10-27 报告人：刘明亚 题目：Logic of Natural Language Semantics: Presuppositions and Conventional Implicatures 附件：
2011-10-20 报告人：Thomas Ågotnes 点评人：Floris Roelofsen 题目：Epistemic Games: Public Announcements and Questions-and-Answers 附件：
2011-10-13 报告人：马 丽 点评人：周北海老师，陈星群、李 熙 题目：用描述逻辑处理概称句 附件：
2011-10-06 报告人：十一长假 题目：
2011-09-29 报告人：Patrick Girard 点评人：Johan van Benthem 题目：Private Belief Revision
2011-09-22 报告人：徐召清 点评人：陈 波老师，赵 震、陈星群 题目：Capturing Lewis’s “Elusive Knowledge” 附件：
2011-09-15 报告人：杨睿之 点评人：刘壮虎老师，李 熙、陈星群 题目：Philosophy of Set Theory 附件：
2011-09-08 报告人：王彦晶 题目：以TARK为例介绍国际会议的情况
