 He separated all things into categories of species and genus.He thought that the meaning of a predicate was established through an abstraction of the similarities between various individual things.This theory later came to be called "nominalism".