Names, in fact, can be dispensed with altogether in fa vor of naming general terms, plus quantification and other logical de vices; the trick of accomplishing this elimination is provided, in its main lines, by Russell's theory of descriptions.