Carnap sugiere una diferencia entre el «lenguaje común» (incluyendo el técnico, que llama «lenguaje de observación») y un «lenguaje teórico», sujeto a las reglas de la lógica formal.