The Import of propositions in the foundations of J. S. Mill’s Inductive Logic