Carnap appreciated this problem, in Logical Syntax, as a problem of finding a difference in kind between the rules (or the truths thereby specified and the rules (or the truths, analytic sentences, thereby specifie.