 The literature on the knowability paradox emerges in response to a proof first published by Frederic Fitch in his 1963 paper, “A Logical Analysis of Some Value Concepts.” Theorem 5, as it was there called, threatens to collapse a number of modal and epistemic differences. Let ignorance be the failure to know some truth. Then Theorem 5 collapses a commitment to contingent ignorance into a commitment to necessary ignorance. For it shows that the existence of truths in fact unknown entails the existence of truths necessarily unknown. Formally, 