Logically proper definite descriptions

This essay notes a striking parallel between the original Hilbert-Bernays t reatment of definite descriptions and Russell's theory of logically proper names. The formal language for the original theory is laid out and the impl ications of a theory of cis a cis the statements that qualify as predicatio ns in a logically proper definite descriptions sense of the word 'predicati on' different from the espoused by Frege, Russell and Meinong.