 It cannot be denied that there are some verificationist strands in Kant’s theory. For one thing, his “criterion of empirical truth” (see Section 1.3 above) is in effect verificationist. Moreover, to the extent that both Kant’s theory of transcendental truth and also his verificationism are anti-realist and judgment-based, there is at least an elective affinity if not precisely an equivalence between the two doctrines. Nevertheless, Kant is not a reductionist about meaning. In other words, he is not committed to the thesis that the propositional content of a judgment is nothing but a rule for confirming or disconfirming the assertion of that propositional content in the tribunal of sensory experience. While he does seem to be committed to the thesis that the propositional content of a judgment will be empirically meaningful or objectively valid only if it contains a rule for confirming or disconfirming the assertion of that propositional content in the tribunal of sensory experience, this does not by any means exhaust the propositional content of that judgment. Over and above its verificationist element, the propositional content of every judgment also contains a “thick” or non-deflationary correspondence-relation to relatively external or extrinsic actual facts (see Section 1.3 above). Furthermore the propositional content of every judgment contains a set of a priori logical forms deriving from the pure understanding, as well as a higher-order a priori rational subjective unity deriving from the faculty for apperception or rational self-consciousness (see Section 2.1.1 above). What this means is that Kant is at most a weak verificationist, and that the verificationist elements of his theory of judgment are significantly tempered by his semantic non-reductionism, his empirical realism, and his mitigated rationalism.