Books on Amazon:
|Proper Names||Wolf I 27
Names/BurgeVsKripke/BurgeVsDonnellan: not singular terms, but predicates (like Russell).
E.g. "There is a time t for speaker S a reference action x on an object y, such that the following is true: y is a Socrates and y is bald".
The sub-proposition "y is a Socrates" thus has a truth-condition for itself. Reference is not eliminated. Twofold reference: for reference action and naming.
Origins of Objectivity Oxford 2010
K II siehe Wol I
U. Wolf (Hg)
Eigennamen Frankfurt 1993