Abstract
C i lewis, regarding himself as a pragmatist, repeatedly attempts to identify truth with verification. it is here argued, however, that a correspondence or semantic theory is required by (1) lewis's interpretation of objective judgments in terms of "possible experience" and of possible experience in terms of counterfactual conditions; (2) his distinction between the justification of knowledge and the truth of knowledge; and (3) his logical analysis of truth in terms of the extension (known or unknown) of propositions. it is then argued that verification determines knowledge but reality determines truth, and that lewis himself emphasizes "the transcendence by reality of our present knowledge of it."