News

• 2014-04-30 4月23日刘美平报告：内在论视角下的身心同一 2014-04-30
• 2014-04-16 4月16日沈榆平老师讲座：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas 2014-04-16
• 2014-04-12 4月9日蒋运鹏老师讲座：卡尔纳普的第一个构造定义 2014-04-12
• 2014-04-04 4月2日秦一男报告：浅层句法分析方法综述 2014-04-04
• 2014-03-27 3月26日李熙报告：Raven Paradox 2014-03-27
• 2014-03-19 3月19日彭杉杉报告：“一米命题”是先验的吗——从“先验”的概念分析看 2014-03-19
• 2014-03-13 3月12日朱薇报告：逻辑全知问题的一种解决方案—— 一般觉察逻辑 2014-03-13
• 2014-03-06 3月5日张文彦报告：自然语义的元语言阐释 2014-03-06
• 2014-02-27 2月26日郑植报告：话语表征理论简介与评述 2014-02-27
• 2014-02-20 2月19日 杨森老师报告：使用可数传递模型的论证 2014-02-20
• 2014-01-15 12月24号陈希报告：Alloy与其在博弈论中的应用 2014-01-15
• 2013-12-19 12月16日万美文报告：An Introduction to Modal Metaphysics 2013-12-19
• 2013-12-12 12月10号吕相洋报告：is minesweeper NP-complete 2013-12-12
• 2013-12-03 12月3号刘梓源报告：对威廉姆森的二值论证的反驳 2013-12-03
• 2013-11-26 11月26号方楠报告：A Introduction to the Complexity of Sets 2013-11-26
• 2013-11-20 11月19号陈波老师报告：认知悖论 2013-11-20
• 2013-11-13 11月12号高坤报告：Maddy's Naturalism in Mathematics 2013-11-13
• 2013-11-08 11月5号秦一男报告：一种面向英-汉机器翻译的自然语言断句的新方法 2013-11-08
• 2013-10-30 10月29日刘美平报告：概念本体与概念结构理论的整合 2013-10-30
• 2013-10-23 10月22日马丽报告：A Tableau Algorithm of the Generic Extension of Description Logic 2013-10-23