expresión de la forma "El tal y tal", que se escribe, formalmente, (℩x) F(x).
(Haack, 1978).
Son las llamadas "descripciones definidas". Normalmente, éstas incluyen todos los términos que comienzan con "El" o "La", y a veces incluye nombres, como "Walter Scott". B. Russell incluso pensaba que éstos últimos no debieran ser llamados nombres sino "descripciones definidas disfrazadas", pero los desarrollos posteriores en general los tratan como a entidades separadas.
Algunos ejemplos de descripciones definidas son:
La estudiante más alta de la clase
El primer simio en viajar al espacio
Por otro lado, las "descripciones indefinidas" son aquellas de la forma "un x".
¿Cuál es la "forma lógica" de las descripciones definidas? Para ponerlo en términos de G. Frege, ¿cómo podemos parafrasearlas para mostrar que el valor de verdad del todo depende de los valores de verdad de las partes?
Las descripciones definidas parecen nombres que, por su propia naturaleza, denotan exactamente una cosa, ni más ni menos. ¿Qué podemos decir, entonces, de la oración considerada como un todo si una de sus partes no parece estar funcionando correctamente?
(Wikipedia).