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

“纪念金岳霖先生诞辰 120 周年学术研讨会”征稿启事 金岳霖先生，字龙荪（ 1895 — 1984 ），是我国著名的哲学家、逻辑学家和教育家。 1911 年， ...

(2516)次阅读|(2)个评论

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

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

(3988)次阅读|(4)个评论

开学了 2015-03-03

回到讲台上的感觉真好

(1848)次阅读|(0)个评论

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

最近想写点东西，试图少使用逻辑符号，还真是一个挑战。习惯了之前写文章，马上就是形式语言，之后就在形式语言系统中研究各种规律，自然语言只是协助解释形式 ...

(2277)次阅读|(1)个评论

今后要努力！ 2015-01-20

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

(2753)次阅读|(2)个评论

查看更多