The Semantics of Proper Names