"A proper name [is] a wor that answers the purpose of showing what thing it is that we are talking about" writes John Stuart Mill in A System of Logic (1. ii. 5.), "but not of telling anything about it". The problem of defining proper names, and of explaining their meaning, is one of the most recalcitrant in modern analytical philosophy.