2018秋季报告 （当初上课时间：周二15:10-18:00 地点：二教519）
2018-12-25 报告人：钟盛阳 题目：Quantum Logic: A Brief Introduction 附件：
2018-12-18 报告人：胡兰双 点评人：张瑜 题目：塔斯基的真理论与物理主义 附件：
2018-12-11 报告人：陈至诚 点评人：党学哲 题目：代数语义学及其对直觉主义逻辑的应用 附件：
2018-12-04 报告人：王全龙 题目：Categorical Quantum Mechanics and Its Applications 附件：
2018-11-27 报告人：陈波 题目：逻辑多元论：是什么和为什么 附件：
2018-11-20 报告人：魏宇 点评人：党学哲 题目：Frege‘s Puzzle Again 附件：
2018-11-13 报告人：吴刘臻 题目：作为数学研究对象的选择公理
2018-10-30 报告人：王强 点评人：王勋 题目：从现代逻辑的视角看“侔”式推理 附件：
2018-10-23 报告人：刘诗霄 点评人：魏宇 题目：Kolmogorov Complexity and Chaitin’s Incompleteness Theorem 附件：
2018-10-16 报告人：Kamal Lodaya 题目：Relating logic to formal languages 附件：
2018-10-09 报告人：党学哲 点评人：刘默 题目：Frame Definability of First-Order Modal Logic 附件：
2018-09-25 报告人：Frank Jäkel 题目：Computation as a foundation for cognitive science 附件：
2018-09-18 报告人：Frank Jäkel 题目：Bayesian Reverse-Engineering of Perception and Cognition
