On a side effect of solving Fitch's paradox by typing knowledge.

An essay is presented on Fitch's paradox. The author argues that the resolution of the paradox cannot result from typology, with the effect of demonstrating that verificationism is methodologically invalid. The author shows how the epistemic paradox of diagonalization threatens epistemological concepts and how typology is the standard philosophical response to the threat. The author applies types to the paradox in order to show their inadequacy and demonstrate the fallacy of verificationism.