2017秋季报告 （当初上课时间：周二15:10-18:00 地点：理教417）
2017-12-26 报告人：李楷 点评人：徐超 题目：信念逻辑与概率逻辑 附件：
2017-12-19 报告人：翟锦程 题目：近代中国逻辑思想研究是如何形成的
2017-12-12 报告人：Colin McLarty 题目：Philosophy of Mathematics: a short introduction.
2017-12-05 报告人：沈丙辉 点评人：邢启磊 题目：Category theory and structuralism 附件：
2017-11-28 报告人：苏兴池 点评人：刘默 题目：Various Commonly-Knowing Whether 附件：
2017-11-21 报告人：徐超 点评人：高珂 题目：Natural Logic and Its Application 附件：
2017-11-14 报告人：胡兰双 点评人：邢启磊 题目：A picture of truth 附件：
2017-11-07 报告人：赵之光 题目： Algorithmic correspondence and canonicity for possibility semantics 附件：
2017-10-31 报告人：陈希 题目：人工智能产业化新机遇：一个逻辑学毕业生的视角
2017-10-24 报告人：刘诗宵 点评人：高珂 题目：Extending Property of Partial Automorphisms 附件：
2017-10-17 报告人：刘洋 题目：Epistemic Wild Card 附件：
2017-10-10 报告人：Prof.Matthias Schirn 题目：Second-Order Abstraction before and After Russells Paradox 附件：
2017-09-26 报告人：郑植 点评人：王强 题目：从让步式推理窥探概念结构 附件：
2017-09-19 报告人：高珂 点评人：徐超 题目：The World below RT22in Reverse Mathematics 附件：
2017-09-12 报告人：高思存 点评人：王彦晶 题目：自动推理与人工智能 附件：
