Rudolf Carnap, Logical Empiricist · Study