Abstract

Strictly intuitionistic inferences are employed to demonstrate that three conditions—the existence of Brouwerian weak counterexamples to _Test_, the recognition condition, and the _BHK_ interpretation of the logical signs—are together inconsistent. Therefore, if the logical signs in mathematical statements governed by the recognition condition are constructive in that they satisfy the clauses of the _BHK_, then every relevant instance of the classical principle _Test_ is true intuitionistically, and the antirealistic critique of conventional logic, once thought to yield such weak counterexamples, is seen, in this instance, to fail.