Carnap’s verification theory of meaning tries to illustrate how scientific statements have intersubjective and empirical meaning. On logic, Carnap takes physical language which is intersubjective as the unified scientific language. This shows intersubjectivity is stipulated by logic. On empirical，Carnap thinks observable predicates of linguistic system offer the empirical contents for scientific statements. And he explains the intersubjectivity of observable predicate by thing-language. Thing-language is used in ordinary life. Thus Carnap tries to solve the problem of intersubjectivity by logic, but cannot cast off ordinary language absolutely.