Iterated Knowledge

Iterated Knowledge presents new theories of the strongest form of knowledge: when one knows something, knows that one knows, and knows every iteration of knowledge regarding it. Goldstein critically compares these theories, giving treatments of justified belief, rational certainty, and normative requirements on assertion and action.

Omega knowledge is the strongest kind of knowledge. When you omega know something, you know it. You know that you know it. You possess every iteration of knowledge regarding it. Iterated Knowledge is the first systematic treatment of omega knowledge. Skeptics say that we omega know hardly anything about the world, since infinite iterations of knowledge would require infinitely reliable belief forming methods. Simon Goldstein argues against the skeptics, on the basis that omega knowledge is required for rational assertion and action. For this reason, it is important to develop theories which allow us to have omega knowledge of ordinary claims about the world. The only existing theory that allows this is the KK principle, which implies that you omega know everything that you know. However, the KK principle faces a wide range of well-known counterexamples and theoretical challenges. The goal of this book is therefore to open up new space in epistemology by developing and critically comparing several new theories of omega knowledge. One of these theories says that you omega know everything that you know that you know. Another theory says that, whenever you know something, it is consistent with your knowledge that you omega know it. These theories avoid the classic challenges to the KK principle, while also making room for large amounts of omega knowledge. Along the way, Iterated Knowledge gives treatments of justified belief, rational certainty, and normative requirements on assertion and action. The discussion ends by developing mathematical models of knowledge that carefully lay out the differing predictions of the various theories developed in the book.