The Semantic View of Theories