The model of language presupposed by the verificationist theory of meaning and the two holistic models of language such as W. V. Quine's are of marked difference. But in theoretical details, they have interesting points of contact. The paper considers the verification condition of meaningas formulated by Prawitz, on the basis of which the verificationist and non-verificationist aspects of Quine's theories are discussed. The contrast is also related to that of classical and intuitionistic logic. And Quine's view on the "obvious" in the translation of logical connectives is criti-cally examined along with the dogmatic presupposition of the grasp of meaning by the intuitionists.