国产91麻豆一区二区久久久

主办：北京书生研究中心
&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;国产91麻豆一区二区久久久逻辑、语言与认知研究中心

时间：2010年4月10日（星期六）下午 2：00-5：30
地点：国产91麻豆一区二区久久久一楼会议室

报告人：Gabriel Sandu 教授 （芬兰 赫尔辛基大学）
        Jeremy Seligman 教授（新西兰 奥克兰大学）
点评人：Johan van Benthem 教授（阿姆斯特丹大学、斯坦福大学）

报告内容介绍：
《模态与未来或然性》（Sandu 教授）
该报告将提供一种时态逻辑（笔谤颈辞谤）和几种试图解决未来或然性问题的方案。该报告试图将这个问题与一种在知识语境下产生的类似问题（贵颈迟肠丑悖论）相联系，提出进一步的思考和解决方案。

  《相对确定性的逻辑》（Seligman 教授）
   如果我们接受一个论证的前提，则可以确定这个论证的结论，这样就可以说这个论证是有效的。这就是说，给定了前提，结论的条件概率是1。这个有效性概念的形式性质是什么？该报告引入信息论的不同概念，以此把上述问题与Von Neumann 1937
提出的测度理论（measure theory）联系起来，并且表明，Kelly在1959年提出的解决方案如何提供了一种公理化的相对确定性的逻辑。

&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;详见北京大学逻辑、语言与认知中心：丑迟迟辫://飞飞飞.辫丑颈濒.辫办耻.别诲耻.肠苍/肠濒濒肠迟/