博文

“纪念金岳霖先生诞辰120周年学术研讨会”征稿启事

热度 2 2015-3-13 16:47

“纪念金岳霖先生诞辰 120 周年学术研讨会”征稿启事 金岳霖先生，字龙荪（ 1895 — 1984 ），是我国著名的哲学家、逻辑学家和教育家。 1911 年，考取清华学堂高等科，后留学美国。 金先生 1925 年底回国，在清华大学创立了哲学系，担任哲学系第一任主任。他教授逻辑学课程，为我国培养了一大批杰出的哲学 ...

个人分类: CFP|2894 次阅读|2 个评论 热度 2

清华大学的逻辑学研究生课程

热度 2 2015-3-3 17:11

模态逻辑：刘奋荣开 证明论：俞珺华开

4401 次阅读|4 个评论 热度 2

开学了

2015-3-3 17:06

回到讲台上的感觉真好

个人分类: 随笔|2167 次阅读|没有评论

习惯了用逻辑符号，纯粹写文字还真是有些难

热度 1 2015-1-21 11:21

最近想写点东西，试图少使用逻辑符号，还真是一个挑战。习惯了之前写文章，马上就是形式语言，之后就在形式语言系统中研究各种规律，自然语言只是协助解释形式语言。现在企图写些东西，让不惧怕符号的读者明白我们做的研究。。。

个人分类: 随笔|2600 次阅读|1 个评论 热度 1

今后要努力！

热度 2 2015-1-20 15:59

惭愧，不知道在忙什么，很长时间没有光顾自己的博客了。最近有外地学生跟我说，他们之前都是看我的博客获得逻辑学讲座等信息，才知道我自己还有这个责任啊。 今后要努力！

3028 次阅读|2 个评论 热度 2

北京青年学者逻辑论坛

2009-10-12 22:41

形式：学术报告 时间：2009年10月14日(星期三） 下午1：30-4：30 地点：北京大学 一教308 演讲人：Prof. Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center) 题目：Belief Revision, Language Splitting and Information 摘要: The theory of Belief Revision has been formulated by AGM (Alchourron ...

个人分类: 未分类|3402 次阅读|没有评论

清华逻辑报告

2009-10-12 22:40

社会交往的逻辑动态 报告摘要：受近二十年来动态认知逻辑的发展的鼓舞，人们用逻辑的术语研究由命令、建议、许诺、断定、退让等行为所带来的动态变化，并由此发展出了多种动态逻辑。我将详细地回顾用于处理命令和许诺的动态道义逻辑的发展情况，并展示逻辑的方法如何应用于社会交往的动 ...

个人分类: 未分类|3491 次阅读|没有评论

本页有 3 篇博文因作者的隐私设置或未通过审核而隐藏