News

• 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
• 2016-05-31 5月31日Chao, Gao & Liu: Searching for New Axioms 2016-05-31
• 2016-05-25 5月24日叶峰教授报告：语言崇拜与人工智能 2016-05-25
• 2016-05-17 5月17日王强报告：西方汉学家对中国古代逻辑的研究 2016-05-17
• 2016-05-11 5月10日彭杉杉报告：克里普克的虚构名称理论 2016-05-11
• 2016-05-04 5月4日顾韬报告：“Knowing what” logic as a normal modal logic 2016-05-04
• 2016-04-27 4月26日程莹莹报告：A Spectrum of Degrees of Knowledge Sharing 2016-04-27