The Problem of Logical Omniscience, II
ROBERT C. STALNAKER · 1999
Abstract This second exploration of the problem of logical omniscience uses a simple abstract model of a community of knowers, developed by theoretical computer scientists, to help sharpen the problem. Knowers are modelled by processors in a distributed system, such as a computer network, and knowledge is defined in terms of the information about the system as a whole that is carried by the individual components. A number of different strategies for distinguishing between available and merely implicit knowledge in this setting are explored. No solution is defended; the aim is only to bring out the problem and put it in context.