Unawareness and partitional information structures (Q1294038)

The authors claim that simple uncertainty is not an adequate model of a subject's ignorance, because a major component of it is the inability to give a complete description of the states of the world. They provide a formal model of unawareness. In the paper, the authors study a logical system where non full awareness is possible, and prove a satisfactory ``solution to the problem'' which can be found by introducing limited reasoning ability of the subject. A determination theorem for this system is proved, and partitional informational structures with unawareness are analyzed.