Seminars

• 2021-04-13 报告人：叶凌远 题目：Categories Are the Right Land for (Mathematical) Logic 2021-04-13
• 2021-04-05 报告人：王强 题目：《墨经·小取》中的行为概念与逻辑 2021-04-05
• 2021-03-24 报告人：陈至诚 题目：一阶逻辑的代入 2021-03-24
• 2021-03-22 报告人：林凯杨 题目：Discrete linear temporal logic with Knowing-value operator 2021-03-22
• 2021-03-14 报告人：刘力恺 题目：罗素的分支类型论 2021-03-14
• 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