# abstract
Truth's universal knowability entails its discovery. This threatens antirealism, which is thought to require it. Fortunately, antirealism is not committed to it. Avoiding it requires adoption (and extension) of Dag Prawitz's position in his long-term disagreement with Michael Dummett on the notion of provability involved in intuitionism's identification of it with truth. Antirealism (intuitionism generalized) must accommodate a notion of lost-opportunity truth (a kind of recognition-transcendent truth), and even truth consisting in the presence of unperformable verifications. Dummett's position cannot abide this, while Prawitz's can. Antirealism's epistemic notion of truth derives from general features of its meaning theory, not from a universal knowability principle.  Springer Science+Business Media B.V. 2009.