Seminars

• 2021-03-08 报告人：王昊玉 题目：Knowing how to understand inquisitive logic 2021-03-08
• 2021-01-04 Jan 5, Yanjing Wang: Knowing How to Understand Intuitionistic Logic 2021-01-04
• 2020-12-29 12月29日魏宇报告：《A Logical Framework for Understanding Why》 2020-12-29
• 2020-12-19 12月22日党学哲报告：《证据的逻辑》 2020-12-19
• 2020-12-15 12月15日叶峰教授报告《漫谈数学哲学及其他》 2020-12-15
• 2020-12-08 12月8日王轶伦报告：《QS4, Intuitionistic Logic and Forcing》 2020-12-08
• 2020-11-24 12月1日刘明明报告：《Universal Quantification in Mandarin》 2020-11-24
• 2020-11-19 报告人：胡兰双 题目：真理符合论：支持与反对 2020-11-19
• 2020-11-10 Prof. Alan Hajek：Omega 2020-11-10
• 2020-11-09 报告人：王昊玉：Formalizing the Meaning of Questions 2020-11-09
• 2020-11-02 报告人： 刘力恺 题目：一阶模态逻辑初步 2020-11-02
• 2020-10-22 报告人：李大柱 题目：Modal-logical Mereology 2020-10-22
• 2020-10-18 报告人：陈波 题目：《没有事实概念的新符合论》 2020-10-18
• 2020-10-12 报告人：林凯杨 题目：Complete Axiomatizations for Reasoning About Knowledge and Time 2020-10-12
• 2020-09-26 报告人：琚凤魁 题目：Formal language and semantics for temporal conditionals 2020-09-26
• 2020-09-22 报告人：王潇扬 题目：The Completeness Theorems for Lattices 2020-09-22
• 2020-06-02 报告人：杨睿之：集合论宇宙的一些有趣的限制结构 2020-06-02
• 2020-05-20 报告人：Dr. Fan Yang 题目： An overview of dependence logic 2020-05-20
• 2020-05-19 报告人：刘诗霄，陈至诚，Haag 定理及其现有证明、相对化一阶逻辑与ZFC ´∆0片段的公理化 2020-05-19
• 2020-05-11 报告人：徐超：带场景约束的自然语言自动形式化研究 2020-05-11