 Williamson (1982) argues that Fitch’s proof is not a refutation of anti-realism, but rather a reason for the anti-realist to accept intuitionistic logic. Owing to a verificationist (or constructivist) reading of negation and existential quantification, intuitionistic logic validates neither the elimination of double negation, 