 It was Abelard who first dealt with the problem of universals explicitly in this form. Having relatively easily disposed of putative universal forms as real entities corresponding to Boethius’ definition, in his Logica Ingredientibus he concludes that given Aristotle’s definition of universals in his On Interpretation as those things that can be predicated of several things, it is only universal words that can be regarded as really existing universals. However, since according to Aristotle’s account in the same work, words are meaningful in virtue of signifying concepts in the mind, Abelard soon arrives at the following questions: