Modeling Evidence Dynamics（证据动态变化的逻辑模型）

时间：2012 年 10 月 26 日 (星期五） 2:00 — 4:00 pm
地点：清华大学 6 教 B407
主办：清华大学人文学院哲学系
报告人: Johan van Benthem 教授
(阿姆斯特丹大学大学教授、荷兰皇家科学院院士、
斯坦福大学教授、中国教育部海外名师)

摘要： 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.