 Indeed, many contemporary forms of anti-realism may be formulated as theories of truth, and they do typically deny bivalence. Anti-realism comes in many forms, but let us take as an example a (somewhat crude) form of verificationism. Such a theory holds that a claim is correct just insofar as it is in principle verifiable, i.e., there is a verification procedure we could in principle carry out which would yield the answer that the claim in question was verified.