Peter Abelard: the nature of universals

How do you know that a horse is a horse?