'Knowing Whether', 'Knowing That' and the Cardinality of State Spaces
We introduce a new operator on information structures which we call `knowing whether' as opposed to the standard knowledge operator which may be called `knowing that'. The difference between these operators is simple. Saying that an agent knows t h a t a certain event occurred implies that this event indeed occurred, while saying that the agent knows w h e t h e r an event occurred does not imply that the event occurred. (Formally, knowing whether X means that either it is known that X occurred or it is known that X did not occur.) We show that iterating `knowing whether' operators of different agents has a remarkable property that iterations of `knowing that' do not have. When we generate a sequence of events, starting with a given event and then applying `knowing that' or `not knowing that' to the previous event, then the events in this sequence may be, somewhat surprisingly, contradictory. In contrast, any sequence of this type, generated with `knowing whether' and `not knowing whether' is never contradictory. We use this property of the `knowing whether' operator to construct a simple and natural state space and information structures for two agents, such that: (1) any two states are distinct relative to some interactive knowledge of a fixed event, (2) the space has the cardinality of the continuum. This result --- originally proved in a complicated manner by Aumann (1989) --- demonstrates the usefulness of the `knowing whether'
References listed on IDEAS
Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
- Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.