The Semantic Tradition from Kant to Carnap