News

• 2017-09-26 9月26日郑植报告 2017-09-26
• 2017-09-19 9月19日高珂报告 2017-09-19
• 2017-09-13 9月12日高思存博士讲座 2017-09-13
• 2017-06-14 6月6日李大柱报告：模态分体论 2017-06-14
• 2017-05-17 5月16日王海若报告：模糊性与模态性 2017-05-17
• 2017-05-16 5月23日刘路讲座：Combinatorial property vs computational property 2017-05-16
• 2017-05-09 5月9日王强报告：《公孙龙子》到《墨经》——名家与墨家逻辑思想的一种当代解释 2017-05-09
• 2017-05-02 5月2日徐超报告：An Introduction to Natural Logic 2017-05-02
• 2017-04-25 4月25日胡兰双报告：Factivity and Truth Condition 2017-04-25
• 2017-04-20 4月18日陈千千报告：Introduction to Conditionals 2017-04-20
• 2017-04-10 4月11日马菲菲讲座：Satisfiability Checking and Model Counting for Propositional Logic and SMT 2017-04-10
• 2017-03-28 3月28日苏兴池报告：Distributed Knowledge on Knowing Whether 2017-03-28
• 2017-03-22 3月21日沈炳辉报告：Ontology of Structuralism for Mathematical Philosophy 2017-03-22
• 2017-03-14 3月14日郑植报告：自然语言的“意象图式”语义学 2017-03-14
• 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