Email Record: Logical investigations of predication theory and the problem of universals /