Full Idea
It is useful to have an operator which transforms each description into a term which rigidly designates the object actually satisfying the description. David Kaplan has proposed such an operator and calls it 'Dthat'.
Gist of Idea
Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation
Source
Saul A. Kripke (Naming and Necessity notes and addenda [1972], note 22)
Book Reference
Kripke,Saul: 'Naming and Necessity' [Blackwell 1980], p.60
Related Idea
Idea 15183 'Dthat' operates to make a singular term into a rigid term [Sidelle]