哲学与好奇

关于信息化工具的幻灯片

一些广为流传的谜题

给定一个游戏的规则:说假话不得奖,说真话能得一个大奖或者一个小奖。问:怎么能说一句真话保证你得到大奖?

一个可能的答案: 你可以说“我不会得小奖”, 如果这句话是假的,那么按照规则你不能得奖,但这样这句话就是真的了,矛盾。假设这个句子或真或假的情况下,这句话就应该是真的了。当这句话是真的时候,按规则你会得一个大奖或者小奖,但是因为这句话是真的,你不会得小奖,所以你会得大奖。 Read More...

逻辑学研究生培养的经验教训

Slides 感谢凤魁老师组织的讨论会。

一些逻辑学相关的信息化工具

2018现代逻辑会的教育环节讲座 Slides

欢迎申请直博或者博士位置

招生方向:模态逻辑和人工智能逻辑

本学期的知识逻辑课

每周三 79 地点:316

Delta Workshop on Sept. 8th @PKU

详情请见网页

科普讲座:知识的逻辑——从哲学到人工智能

Slides请见这里

下学期的高级模态逻辑课

上课时间为周二3-4 以及周四3-4 (10:10-12:00),地点是文史楼205。

I will be teaching at NASLLI18

Beyond "knowing that": a new generation of epistemic logics

The course materials will be updated here:

http://www.phil.pku.edu.cn/personal/wangyj/NASSLLI18

I can tell you much more than in the previous
ESSLLI15 course.