Merging Observation and Access in Dynamic Logic
Johan van Benthem
2008-01-01
Abstract:Rational agents base their actions on information from observation, inference, introspection, or other sources. But this information comes in different kinds, and it is usually handled by different logical mechanisms. We discuss how to integrate external ‘updating information’ and internal ‘elucidating information’ into one system of dynamic epistemic logic, by distinguishing two basic informational actions: ‘bare seeing’ versus ‘conscious realization’. 1 Rational agency, logic, and the problem of information diversity Logical dynamics in rational agency Was Gödel’s diary kept in German or in English? I can fly to Princeton and check (if Google Earth does not zoom in that close these days), or try to infer the answer in comfort at home from the facts in John Dawson’s biography, or failing all that, I might call some East Coast friend who knows the answer. Rational agents have a great variety of ways for getting new information, and they use it for a great variety of purposes. Observation, inference, and communication all seem equally respectable ways for agents to obtain information, and in the program of ‘logical dynamics’ (van Benthem 1996), they should indeed all be handled on a par. In my paper ‘Tell it Like It Is’ (Journal of Peking University, Humanities and Social Science Edition, No. 1, 2008, pp. 80 – 90), I describe the logical challenges which arise in this way, sketching how current dynamic logics of information update, belief revision, preference change, and strategic interaction all address aspects of this total behaviour of rational agents, which then need to be integrated. 1 In particular, since all these activities are information-driven, our logical systems need to be able to integrate the various kinds of information that are relevant to the above picture. But then, we have a problem of compatibility – and it is of long standing by now: 1 The further paper ‘Logic, Rational Agency, and Intelligent Interaction’, an invited lecture at the 13 International Congress of Logic, Methodology, and Philosophy of Science, Beijing 2007, Proceedings to appear with College Publications, London, lays out the program in greater detail.