From the Knowability Paradox to the existence of proofs

@article{Dean2009FromTK,
title={From the Knowability Paradox to the existence of proofs},
author={W. Dean and H. Kurokawa},
journal={Synthese},
year={2009},
volume={176},
pages={177-225}
}

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional… CONTINUE READING