主办：北京书生研究中心
北京大学哲学系逻辑、语言与认知研究中心
时间：2010年4月10日（星期六）下午 2：00-5：30
地点：北京大学哲学系一楼会议室
报告人：Gabriel Sandu 教授 （芬兰 赫尔辛基大学）
Jeremy Seligman 教授（新西兰 奥克兰大学）
点评人：Johan van Benthem 教授（阿姆斯特丹大学、斯坦福大学）
报告内容简介：
《模态与未来或然性》（Sandu 教授）
该报告将提供一种时态逻辑（Prior）和几种试图解决未来或然性问题的方案。该报告试图将这个问题与一种在知识语境下产生的类似问题（Fitch悖论）相联系，提出进一步的思考和解决方案。
《相对确定性的逻辑》（Seligman 教授）
如果我们接受一个论证的前提，则可以确定这个论证的结论，这样就可以说这个论证是有效的。这就是说，给定了前提，结论的条件概率是1。这个有效性概念的形式性质是什么？该报告引入信息论的不同概念，以此把上述问题与Von Neumann 1937
提出的测度理论（measure theory）联系起来，并且表明，Kelly在1959年提出的解决方案如何提供了一种公理化的相对确定性的逻辑。