The semantic tradition from Kant to Carnap