La lgica, mantendra yo, no tiene que admitir un unicornio en mayor medida que puede hacerlo la zoologa, pues la lgica

se interesa por el mundo real tan verdaderamente como la zoologa, aunque por sus rasgos mas abstractos y generales"

Bertrand Russell

Descripciones
Por Funciones Descriptivas han de entenderse expresiones del tipo: <El padre de X> o <el seno de x> Para dilucidar que implican tales expresiones cabe tener en cuenta que entender Russell por Descripcin:

"Una descripcin puede ser de dos clases, definida o indefinida (o ambigua). Una descripcin indefinida es una expresin de la forma <un tal-y-tal>, y una descripcin definida es una expresin de la forma <el tal-y-tal>" (p. 50)

Descripciones Indefinidas
Como se dijo antes: Una descripcin indefinida es una expresin de la forma <un tal-y-tal> Para recrear esto citemos la expresin: <Me encontr con un hombre> Tal expresin comporta ambigedad, y conlleva a plantear la pregunta "Qu asevero realmente cuando asevero <Me encontr con un hombre?"

Descripciones Indefinidas
Veamos ahora ejemplos de entidades "irreales":

<Me encontr con un unicornio> <Me encontr con una serpiente marina>

"En el caso de, por ejemplo, <unicornio>, lo nico que hay es el concepto: no hay tambin, en algn lugar entre sombras, algo irreal que pueda llamarse <un unicornio>. Por lo tanto, puesto que es significativo (aunque falso) decir <Me encontr con un unicornio>, es claro que esta proposicin, correctamente analizada, no contiene como constituyente <un unicornio>, aunque contiene el concepto <unicornio> (51)

Descripciones Indefinidas
De manera que al hablar de las "formas gramaticales del tipo:

<Me encontr con Juan> <Me encontr con un hombre>

(1) La primera habla de una "persona efectiva" (2) Mientras que la segunda incluye una funcin proposicional y se convierte cuando se explicita en <La funcin Me encontr con x y x es humano es algunas veces verdadera> (51)

Descripciones Indefinidas
"Debido a la falta del aparato de las funciones proposicionales, muchos lgicos se han visto empujados a la conclusin de que hay objetos irreales. Se argumenta, por ejemplo por parte de Meinong, que podemos hablar sobre <la montaa de oro>, <el cuadrado redondo> y as sucesivamente; podemos hacer proposiciones verdaderas de las cuales estas expresiones sean los sujetos; por consiguiente tienen que tener algn gnero de ser lgico, puesto que de lo contrario las proposiciones en las que ocurren careceran de significado. En tales teoras, me parece, hay una falta de ese sentido de la realidad que debera preservarse incluso en los estudios ms abstractos. La lgica, mantendra yo, no tiene que admitir un unicornio en mayor medida que puede hacerlo la zoologa, pues la lgica se interesa por el mundo real tan verdaderamente como la zoologa, aunque por sus rasgos mas abstractos y generales" (51-52)

Descripciones Indefinidas
A que apuntan tales observaciones?

El punto importante es que las proposiciones que son verbalmente sobre <untal-y-tal>, cuando se las analiza correctamente, se encuentra que no contienen ningn constituyente representado por esta expresin. Y esta es la razn de que tales proposiciones puedan ser significativas incluso cuando no hay tal cosa como un tal-y-tal (53)

La Definicin de Existencia
La proposicin <Scrates es un hombre> es sin duda equivalente a <Scrates es humano>, pero no es exactamente la misma proposicin.

El es de <Scrates es humano> expresa la relacin Sujeto y Predicado

El es de <Scrates es un hombre> expresa identidad" (54)

Descripciones Definidas
Una descripcin definida es una expresin de la forma <el tal-y-tal>
En este caso empieza por diferenciar un Nombre y una Descripcin Definida La proposicin citada a este particular es: < Scott Nombre es el autor de Waverley> Descripcin

"Un nombre es un smbolo simple cuyo significado es algo que puede aparecer solamente como sujeto, esto es .. un <individuo> o un <particular>" (55)

Descripciones Definidas
A ste punto dir Russell que en funcin de aclarar que entenderemos por descripcin tenemos dos cosas que comparar:
"(1) un nombre, que es un smbolo simple, que designa directamente un individuo que es su significado y que tiene este significado por s mismo, independientemente de los significados de todas las dems palabras; (2) una descripcin que consta de varias palabras cuyos significados estn ya fijados, y a partir de los cuales resulta cualquier cosa que haya de considerarse como el <significado> de la descripcin" (55-56) As: las proposiciones del tipo <el tal-y-tal es tal-y-tal> (por ejemplo: El Rey de Francia es calvo) implican la sustitucin de un nombre por una descripcin.

Descripciones Definidas
A ste punto dir Russell que en funcin de aclarar que entenderemos por descripcin tenemos dos cosas que comparar:
"(1) un nombre, que es un smbolo simple, que designa directamente un individuo que es su significado y que tiene este significado por s mismo, independientemente de los significados de todas las dems palabras; (2) una descripcin que consta de varias palabras cuyos significados estn ya fijados, y a partir de los cuales resulta cualquier cosa que haya de considerarse como el <significado> de la descripcin" (55-56) As: las proposiciones del tipo <el tal-y-tal es tal-y-tal> (por ejemplo: El Rey de Francia es calvo) implican la sustitucin de un nombre por una descripcin.

Descripciones Definidas
Analizando entonces la expresin <el autor de Waverley era escocs> dir: (1)<x escribi Waverley> no es siempre falsa; (2)<si x e y escribieron Waverley, x e y son idnticos> es siempre verdadera; (3)<si x escribi Waverley, x era escocs> es siempre verdadera. Estas tres proposiciones, traducidas al lenguaje ordinario, enuncian: (1) al menos una persona escribi Waverley; (2) como mximo una persona escribi Waverley; (3) quienquiera que escribi Waverley era escoces <el tal-y-tal> incluir siempre una referencia a alguna funcin proposicional, a saber: aquella que define la propiedad que hace una cosa tal-y-tal. Nuestra definicin es como sigue: <El trmino que satisface la funcin x existe> significa: <Hay un trmino c tal que x es siempre equivalente a "x es c"> (57)

Descripciones Definidas
A este punto Russell considera que una proposicin en la que aparece una descripcin definida: La nica cosa que distingue <el tal-y-tal> de <un tal-y-tal> es la implicacin de unicidad. No podemos hablar de <el habitante de Londres>, puesto que habitar en Londres es un atributo que no es nico. No podemos hablar sobre <el actual Rey de Francia>, puesto que no hay ninguno; pero podemos hablar sobre <el actual Rey de Inglaterra>. As pues, proposiciones sobre <el tal-y-tal> implican proposiciones correspondientes sobre <un tal-y-tal>, con el addendum (agregado) de que no hay ms que un tal-y-tal en el caso de que sean verdaderas.

Tipos de Ocurrencia de las Descripciones

Descripciones de Ocurrencia Primaria: "Una descripcin tiene una ocurrencia <primaria> cuando la proposicin en la que aparece resulta de substituir <x> por la descripcin en alguna funcin proposicional x (59)

Tomemos por ejemplo la proposicin

<El actual Rey de Francia es calvo> "Aqu <El actual Rey de Francia es calvo> tiene una ocurrencia primaria, y la proposicin es falsa. Toda proposicin en la que una descripcin que no describe nada tiene una ocurrencia primaria es falsa"

Tipos de Ocurrencia de las Descripciones

Descripciones de Ocurrencia Secundaria "Una descripcin tiene ocurrencia <secundaria> cuando el resultado de substituir x por la descripcin en x da solamente una parte de la proposicin en cuestin (59) Tomemos por ejemplo ahora la proposicin

<El actual Rey de Francia no es calvo>

"Esto es ambiguo. Si tomamos primero <x es calvo>, substituimos <x> por <el actual Rey de Francia>, y a continuacin negamos el resultado, la ocurrencia de <el actual Rey de Francia> es secundaria y nuestra proposicin verdadera; pero si tomamos <x no es calvo> y substituimos <x> por <el actual Rey de Francia> tiene una ocurrencia primaria y la proposicin es falsa" (60)

La confusin entre estos tipos de ocurrencia seala Russell "es una fuente habitual de falacias"