时间：周二15:00-18:00 地点：二教413
| 时间 | 报告人 | 评论人 | 题目 | 附件 |
| 9月21日 | 王潇扬 | 钟盛阳 | The Completeness Theorems for Lattices | 附件 |
| 9月29日 | 琚凤魁 | Formal language and semantics for temporal conditionals | ||
| 10月6日 | 国庆节停课 | |||
| 10月13日 | 林凯杨 | 王潇扬 | Complete Axiomatizations for Reasoning About Knowledge and Time |
附件 |
| 10月20日 | 陈波 | 没有“事实”概念的新符合论 | 附件 | |
| 10月27日 | 李大柱 | Modal-logical Mereology | ||
| 11月3日 | 刘力恺 | 王昊玉 | 一阶模态逻辑初步 | 附件 |
| 11月10日 | 王昊玉 | 刘力恺 | Formalizing the Meaning of Questions | 附件 |
| 11月17日 | Alan Hajek | Omege | 附件 | |
| 11月24日 | 胡兰双 | 真理符合论：支持与反对 | ||
| 12月1日 | 刘明明 | Universal Quantification in Mandarin | ||
| 12月8日 | 王轶伦 | 王云崧 | QS4, Intuitionistic Logic and Forcing | 附件 |
| 12月15日 | 叶峰 | 漫谈数学哲学及其他 | ||
| 12月22日 | 党学哲 | 魏宇 | 证据的逻辑 | |
| 12月29日 | 魏宇 | 党学哲 | A Logical Framework for Understanding Why | |
| 1月5日 | 王彦晶 | Knowing How to Understand Intuitionistic Logic | ||
| 1月12日 | 复习停课 |