下学期的高级模态逻辑课

上课时间为周二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.

Colin McLarty教授数学哲学讲座材料(持续更新)

Outline

Introduction
Slides

Lecture 1

Lecture 2

Lecture 3

Lecture 4

Lecture 5

Lecture 6

Lecture 7

Lecture 8

其他信息请见:
www.fengkuiju.me/philmath

A mini workshop on Dec. 23rd

视频

曹钦翔Coq讲座的材料(视频上线)

下载

通知见:
https://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=795

视频:

http://v.youku.com/v_show/id_XMzIzOTkyMDI4NA==.html?spm=a2h3j.8428770.3416059.1
http://v.youku.com/v_show/id_XMzIzOTkxOTc1Ng==.html?spm=a2h3j.8428770.3416059.1 (最后一段没录上)
http://v.youku.com/v_show/id_XMzIzOTkyMDIyOA==.html?spm=a2h3j.8428770.3416059.1

感谢徐超同学制作并上传

一个“老改犯”的自白:学术论文的写作与修改

2017年现代逻辑会上做的教育环节报告(Slides

范畴论和量子逻辑的小课程视频已上传

请见这里

欢迎大家观看和传播。

感谢刘佶鑫同学的录像和压制。

范畴论课程信息

量子逻辑课程信息

Prof. Geoffrey Hinton's speech for the IEEE/RSE Wolfson James Clerk Maxwell Award

看了Geoffrey Hinton 最近获奖的一个Speech,感觉他深深出了一口气,损了逻辑一把。。。我们逻辑学家也要争气啊!当然,不是炒冷饭,而真的需要新的想法,包括理解最近神经网络的成功带来的启示。

原文见 read more。
Read More...

《从学生到学者:通往教授之路》里面的一个故事

《从学生到学者:通往教授之路》之尾声

原文收录于From Student to Scholar: A Candid Guide to Becoming a Professor 作者STEVEN M . CAHN 章节:EPILOGUE (pp. 75-78),出版时间: 2008Columbia University Press

翻译:王彦晶 (转载请注明)

任何一本某某指南的作者都可能会给读者留下一个他从来都知道该做啥也不需要任何帮助的形象。但在我的经历里,这绝对不是真的。下面我就讲一个我自己读研究生时的故事,作为这本书的结尾。。。

Read More...

语言与逻辑小型讨论会

http://www.phil.pku.edu.cn/personal/wangyj/LaLo/
圆满完成:)感谢明亚凤魁的共同组织以及各位参与者的精彩报告和犀利问题!
自由的讨论,充分的交流,除了学术交流外一切从简,希望我们能做得越来越好。

Model checker for the hardest logic puzzle ever

Malvin Gattinger has implemented our agent-type logic in Reasoning about agent types and the hardest logic puzzle ever, (pdf) Have a try here.