My reply to this objection is that my main reason for rejecting inductive logic is precisely that it does not provide a suitable distinguishing mark of the empirical, non metaphysical, character of a theoretical system; or in other words, that it does not provide a suitable 'criterion of demarcation'.