Searle on proper names

Searle has proposed a "presupposition-Theory" of proper names in which he maintains that names are not short for descriptions and which, He claims, Solves frege's puzzle as to how an identity-Sentence containing co-Referential names can be informative. Two possible interpretations of searle's view are proposed, And it is argued that neither interpretation can be used to solve frege's puzzle and that, On the most plausible interpretation of his view, Searle is committed to the thesis that names are short for descriptions after all.