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

请见这里

欢迎大家观看和传播。

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

范畴论课程信息

量子逻辑课程信息

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.

作为PC Chair 欢迎大家投稿2016年全国现代逻辑研讨会

恰逢中国逻辑学会现代逻辑专业委员会成立20周年,让我们严格学术标准,共同营造一个理性健康的学术共同体!
This time we mean it!
网站:
http://www.phil.pku.edu.cn/cllct/CNCL/2016/

欢迎投稿

作为PC ,欢迎大家投稿以下会议:
LOFT16, KR16, IJCAI16

Reproducibility (in psychology)

Great work which should have been done for many branches of science.

Check out this paper by 270 authors testing results in 100 prominent psychology papers:

http://www.sciencemag.org/content/349/6251/910.summary

I am wondering how many math/theoretical computer science/theoretical physics papers are flawed in the main results, but that is too hard to be checked…

A very interesting "game" on academic integrity (highly recommended!)

You can play different roles in the lab and try to find out the possible outcomes.

https://ori.hhs.gov/thelab

We should say
no to misconducts in academia! If we don’t do anything when facing such issues then it will only become worse.

(thanks to Tijn for the link)

ESSLLI course: Beyond "knowing that"

Here is the webpage of the course.