Interactive epistemology I: Knowledge

Formal Interactive Epistemology deals with the logic of knowledge and belief when there is more than one agent or "player." One is interested not only in each person's knowledge about substantive matters, but also in his knowledge about the others' knowledge. This paper examines two parallel approaches to the subject. The first is the semantic approach, in which knowledge is represented by a space Omega of states of the world, together with partitions J(i) of Omega for each player i; the atom of J(i) containing a given state omega of the world represents i's knowledge at that state - the set of those other states that i cannot distinguish from omega. The second is the syntactic approach, in which knowledge is embodied in sentences constructed according to certain syntactic rules. This paper examines the relation between the two approaches, and shows that they an in a sense equivalent. In game theory and economics, the semantic approach has heretofore been most prevalent. A question that often arises in this connection is whether, in what sense, and why the space Omega and the partitions J(i) can be taken as given and commonly known by the players. An answer to this question is provided by the syntactic approach.