Skip to main content Accessibility help
  • Print publication year: 2011
  • Online publication date: October 2011

5 - Dynamics of inference and awareness


As we have seen in our Introduction, agents have many ways of getting information for their purposes. Observation, inference, and communication are all respectable means, and logical dynamics should incorporate all on a par. Some of this was done in the logics of public and private observation of Chapters 3, 4. But PAL and DEL still fail to do justice to even the simple story of The Restaurant in Chapter 1, where the waiter mixes observation and inference in one task. The proof system of PAL is a classical static description of properties of agency, not a dynamic account of events of inferential information flow. This mismatch reflects a conceptual problem of long standing, that was briefly raised in our introductory Chapter 1: the variety of notions of information in logic, and the matching variety of acts that handle information. In this chapter, we will explore a dynamic-epistemic approach, showing how these issues can be dealt with in the general framework of this book. The approach comes in two flavours: one based on access to worlds, and one on awareness. Our proposals are quite recent, and they are mainly meant as a point of departure. In Chapter 13, we will discuss their philosophical significance.

Information diversity and missing actions

The problem of inferential information Of our three sources of information, observation and communication seem similar. An observation is an answer to a question to Nature, hearing an answer to a question is like observing a fact. Our logics PAL and DEL handled information flow of this sort. But though entangled with observation, the third fundamental process generating information poses a problem.

Related content

Powered by UNSILO