Studies in the logic of induction and in the logic of explanation : containing a new theory of meaning relations