时间：2012年10月26日 (星期五） 2:00 -- 4:00 pm 
地点：清华大学 6教B407

主办：清华大学人文学院哲学系

报告人:  Johan van Benthem教授

(阿姆斯特丹大学大学教授、荷兰皇家科学院院士、

斯坦福大学教授、中国教育部海外名师)

报告题目:  Modeling Evidence Dynamics（证据动态变化的逻辑模型）

摘要： The intuitive notion of evidence as explored by epistemologists sits somewhere in between syntax and semantics. We will explore how this can be modeled in terms of so-called neighborhood models for evidence and its changes over time – at a level of grain that also occurs in other areas of logical semantics. Technically, we introduce richer modal languages for this setting than the usual ones, and explore their dynamic logics and model theory, including links with more standard plausibility models. The talk ends with a list of challenges for the logics presented here, such as reliability and authority, learning, evidence merge, and other epistemological paradigms of reasons and reasoning.

参考文献：

J. van Benthem, 2011, Logical Dynamics of Information and Interaction, Cambridge University Press, Cambridge.

J. van Benthem & Pacuit, 2011, 'Dynamic Logic of Evidence-Based Beliefs', Studia Logica 99:1, 61-92.

J. van Benthem, D. Fernandez & E. Pacuit, 2012, 'Evidence Logic: A New Look at Neighborhood Structures', Advances in Modal Logic, Copenhagen.