To many people, the name Rudolf Carnap means, above all, a naive, foundationalist empiricism in epistemology, verifiability theory of meaning in semantics and an eliminative approach to metaphysics, confirmationism in scientific methodology, accumulationism in matters of growth of science, and finally a dry, formalistic style of philosophizing which preoccupied itself with the logical analysis and rational reconstruction of the language of science.