Meta Ontology

A theory purporting to solve the problem of universals must be able to explain predication, recurrence, and classification. How Platonism does this is well known. Here I take a hard look at an attempt by M.J. Cresswell to give an Aristotelian answer and show it to be a complete and utter failure. The answer does not eliminate commitment to universals and it is only half an answer anyway because it does not cover relational predicates, an omission that Russell noted dooms answers by other philosophers as well.