Descripciones definidas

Las descripciones definidas son las formas de referirse a un individuo en particular del
cual no conocemos su nombre propio y la referencia queda satisfecha en un único
individuo. Por ejemplo: La reina de Holanda.

Pero para traducir de una forma más fiel el lenguaje natural al lenguaje de la lógica de
predicados es necesario introducir el operador iota, el cual se necesita para nombrar a
algo o alguien individual y concreto y que no habrá de ser otro con la misma
propiedad. Este operador al igual que los cuantificadores universales y existenciales
siempre precede a una variable y esta seguida de una función proposicional. Este
operador seguido de la función proposicional es siempre un término.

Por ejemplo: Si queremos traducir “La reina de Holanda conduce una bicicleta”
tendremos que escribir que Cι (ιxRιx).

Para Russell una oración de este tipo expresa que el individuo x tiene tres propiedades:

 x es la reina de Holanda =
 ningún individuo distinto de x tiene esa propiedad =
 x está conduciendo una bicicleta =

Por lo tanto la oración anterior quedaría de esta forma:

Ahora bien, oraciones de este, para Frege, tipo no satisfacen el requisito de

existencialidad y son sencillamente falsas ya que si no hay una reina de Holanda u
Holanda no es una monarquía entonces seria falsa.

Pero según el análisis de Strawson la existencia de al menos una cosa que sea reina de
Holanda no se afirma en la oración anterior, sino que se presupone, y si la
presuposición no queda satisfecha entonces diremos que dicha oración no es ni
verdadera ni falsa.

Toda teoría de las descripciones también debe dar una explicación sobre las oraciones
negativas como

Entonces diremos que para Strawson el afirmar la oración presupone la existencia de

los individuos que la componen y la negación de esta solo afirma la falsedad de que la
reina de Holanda este conduciendo una bicicleta. Para Russell, en cambio, estas
oraciones son la negación de las anteriores por lo tanto si una es verdadera la otra
debe ser necesariamente falsa ya que utiliza una lógica bivalente.