News

• 2017-03-07 3月6日刘佶鑫报告：Ployadic Modal Logic 2017-03-07
• 2017-02-28 2月28日Conden Chao报告：Introduction to High Order Logic 2017-02-28
• 2017-02-21 2月21日陈波讲座：事实、证据与司法审判 2017-02-21
• 2016-12-28 12月27日朱薇报告：信念的学习——概率型信念更新 2016-12-28
• 2016-12-20 12月20日董宇宸报告：创业逻辑浅谈 2016-12-20
• 2016-12-13 12月13日张炎讲座：Solving the Frame Problem 2016-12-13
• 2016-12-06 12月6日Malvin Gattinger讲座：Craig Interpolation for PDL 2016-12-06
• 2016-11-29 11月29日孙猛讲座：Modeling Complex Systems: A Coalgebraic Perspective 2016-11-29
• 2016-11-22 11月22日Illka Niinluoto讲座：Abduction and Inverse Problems 2016-11-22
• 2016-11-18 11月17日LLCC论坛葛鉴桥报告:中国语言加工的脑图谱研究 2016-11-18
• 2016-11-15 11月15日高珂报告：WKL_0 and Finitistic Reductionism 2016-11-15
• 2016-11-08 11月8日王文方讲座：Multiple-Path vs. Single-Path Solutions to Skepticism 2016-11-08
• 2016-11-02 11月1日王海若报告：Truth and Knowledge on Vagueness 2016-11-02
• 2016-10-25 10月25日Martin Stokhof报告：How Not to End Philosophy: Wittgenstein and Naturalism 2016-10-25
• 2016-10-18 10月18日Barteld Kooi报告：Knowledge: Paradoxical or Ambiguous? 2016-10-18
• 2016-10-11 10月11日Gila Sher报告：An Outline of a Foundation for Logic 2016-10-11
• 2016-09-27 9月27日张文彦报告：Temporal Ontology and Temporal Reference 2016-09-27
• 2016-09-20 9月20日刘洋报告：Towards a Simpler and More Realistic Subjective Decision Theory 2016-09-20
• 2016-09-13 9月13日方楠报告：简介作为研究机器学习的递归论进路的“归纳推理” 2016-09-13
• 2016-06-08 6月7日王驹教授报告：语义网与描述逻辑 2016-06-08