Abstract

This essay notes a striking parallel between the original Hilbert‐Bernays treatment of definite descriptions and Russell's theory of logically proper names. The formal language for the original theory is laid out and the implications of a theory of vis a vis the statements that qualify as predications in a logically proper definite descriptions sense of the word ‘predication'different from the espoused by Frege, Russell and Meinong