2017春季报告 （当初上课时间：周二15:10-18:00 地点：一教304）
2017-06-06 报告人：李大柱 点评人：徐超 题目：模态分体论 附件：
2017-05-23 报告人：刘路 题目：Combinatorial property vs computational property 附件：
2017-05-16 报告人：王海若 点评人：苏兴池 题目：模糊性与模态性 附件：
2017-05-09 报告人：王强 点评人：李大柱 题目：从《公孙龙子》到《墨经》——名家与墨家逻辑思想的一种当代解释 附件：
2017-05-02 报告人：徐超 点评人：Conden Chao 题目：An Introduction to Natural Logic 附件：
2017-04-25 报告人：胡兰双 点评人：刑启磊 题目：Factivity and Truth Condition 附件：
2017-04-18 报告人：陈千千 点评人：郑植 题目：Introduction to Conditionals 附件：
2017-04-04 报告人：放假 题目：
2017-03-28 报告人：苏兴池 点评人：沈炳辉 题目：Distributed Knowledge on Knowing Whether 附件：
2017-03-21 报告人：沈丙辉 点评人：Conden Chao 题目：Ontology of Structuralism for Mathematical Philosophy 附件：
2017-03-14 报告人：郑植 点评人：王强 题目：自然语言的“意象图式”语义学 附件：
2017-03-07 报告人：刘佶鑫 点评人：徐超 题目：On polyadic modal logic 附件：
2017-02-28 报告人：Conden Chao 点评人：徐超 题目：An Introduction to Higher Order Logic 附件：
2017-02-21 报告人：陈波 题目：事实与证据 附件：
