Nominalists like Goodman and Quine demonstrated that type-talk is a façon de parler reducible to cla...