Nombres propios y descripciones

Un trmino singular es una expresin cuya funcin

semntica, cuando se utiliza en un contexto particular, es
referirse a una sola cosa. Una descripcin definida es una
frase que comienza con el artculo definido "el" o con un
sustantivo o un pronombre posesivo, por ejemplo, "el autor de
Waverley" y "mi brillante la carrera." Los nombres propios,
tales como "Shakespeare" y "Londres" usualmente son
clasificados, junto con las descripciones definidas, las
variables individuales, los pronombres y algunos otros
decticos como trminos singulares. Un francoparlante que
pronuncia las palabras "Londres est jolie" afirma lo mismo que
un hablante del espaol cuando afirma "Londres es bonita." Lo
afirmado es una proposicin: que Londres es bonita. El papel
semntico fundamental de una oracin declarativa es
expresar (o contener) una proposicin, que es el contenido
semntico de la oracin. La proposicin: Sir Walter Scott es
ingenioso tiene un componente en comn con la proposicin:
Scott es ingenuo, ambas tratan de Scott, y otro componente
en comn con la proposicin Shakespeare es ingenioso.
Estas dos componentes estn correlacionados por separado
con el nombre propio de "Scott" y el predicado "es ingenioso".
El componente proposicional semnticamente correlacionado
con una expresin es el contenido semntico de la
expresin. La principal controversia filosfica sobre los
nombres propios (y otros trminos singulares) se refiere a la
pregunta: Cul es su contenido semntico? Las teoras de
John Stuart Mill (1806-1873), Bertrand Russell (1872-1970), y
Gottlob Frege (1848-1925) Proporcionan respuestas rivales.
1 La teora ingenua y la teora milliana
Una teora natural del contenido semntico es la teora
ingenua cuyas principales tesis son: 1) el contenido
semntico de un trmino singular es el referente (el portador
o el individuo a quien se refiere); 2) cualquier expresin con
pleno contenido semntico se refiere a su contenido
semntico; y 3) la proposicin con contenido semntico es
una entidad compleja cuyos constituyentes son los contenidos
semnticos de expresiones que componen la oracin. Para la

teora ingenua el contenido proposicional de Shakespeare es

ingenioso es una proposicin singular parcialmente
compuesta de cosas tales como propiedades, relaciones y
conceptos y parcialmente compuesta de los mismos
individuos acerca de los cuales se hace la proposicin. En la
teora ingenua la proposicin contenida en "Shakespeare es
ingenioso" es una singular proposicin compuesta en parte
de cosas tales como propiedades, relaciones y conceptos, y
en parte de la(s) misma(s) persona(s) de la que se trata en la
proposicin. Por el contrario, una (puramente) proposicin
general se compone exclusivamente de una cierta manera de
los primeros tipos de entidades. En la teora ingenua,
contenido semntico y la referencia colapsan en una sola.
Las descripciones definidas suponen una dificultad para la
teora ingenua, ya que contienen piezas adecuadas con
contenido semntico. En A System of Logic (1893), Mill ofreci
una variante de la teora ingenua en la que la proposicin
contenida en "El autor de Waverley es ingenioso" se compone
de algo relacionado con el atributo de la autora de Waverley
en lugar del propio Scott. Mill distingui entre la denotacin
(referente) y la connotacin. Un trmino general ("nombre
general concreto") segn dice Mill "denota" la clase de
individuos a los que se aplica el trmino. Mill utiliza el trmino
"connotacin" para el contenido semntico que consta de
atributos o propiedades. Los trminos generales fueron
tomados como aquellos que tienen denotacin y connotacin.
Segn Mill, las descripciones definidas tambin tienen
connotacin y (por lo general) denotacin; mientras que los
nombres propios slo tienen denotacin. La teora de Mill
sugiere una modificacin sistemtica de la teora ingenua.
Las tesis centrales de la teora de Mill son: (i) el contenido
semntico de cualquier sencillo (no compuesto) trmino
singular es su referente; (ii) cualquier expresin se refiere a su
extensin; y (iii) el contenido semntico de una expresin
compuesta tpica (por ejemplo, una descripcin definida) es
una entidad compuesta cuyos componentes son el contenido
semntico de las expresiones que constituyen la expresin
2

compuesta, tpicamente las expresiones de componentes

simples. (La teora real de Mill era algo ms compleja, pero
tambin menos plausible.)
2 Rompecabezas (Puzzles)
La teora ingenua y la milliana dan lugar a los rompecabezas
filosficos relativos a la sustitucin y a nombres que carecen
de referencia. El rompecabezas de Frege surge de ciertas
frases, especialmente frases de identidad. La frase "Hspero
es Fsforo" (o "la estrella de la tarde es la estrella de la
maana"), en contraste con "Hspero es Hspero," es
informativa. Su contenido semntico al parecer se extiende el
conocimiento. Tambin es a posteriori y sinttico. Sin
embargo, de acuerdo tanto con la teora ingenua y la teora de
Mill, el contenido semntico de las dos frases tienen los
mismos componentes, exactamente de la misma manera. Por
tanto, estas teoras atribuyen el mismo contenido semntico a
ambas frases. En sus primeros trabajos, Begriffsschrift (1972
[1879], 8), Frege propone resolver este rompecabezas,
leyendo el predicado de identidad numrica como de forma
encubierta metalingstica: sostiene que "Hspero es Fsforo"
contiene una proposicin sustantiva en relacin con los
nombres "Hspero" y "Fsforo", en el sentido de que son coreferencial. Existen serias dificultades con esta explicacin,
sin embargo, y Frege lleg a rechazarla. Ms
significativamente, la explicacin no resuelve el problema
general de que "Hspero es Fsforo" es un caso especial. A
menos que la teora sea parte de una propuesta ms radical
en relacin con todas las expresiones y no slo la de los
predicados de identidad, no hay una explicacin para la
diferencia anloga entre estatus epistmico y estatus
semntico entre "Hspero es un planeta si fsforo lo es"
(sinttico a posteriori) y "Hspero es un planeta si Hspero es"
(analtico a priori).
Un segundo enigma es el aparente fracaso de sustitucin
en contextos especiales, especialmente los de la actitud
3

proposicional. Jones puede asentir con sinceridad y

reflexivamente para "Hspero aparece en el cielo nocturno" y
sincera y reflexiva disentir de "Fsforo aparece en el cielo de
la tarde," incluso mientras se aferra ntegramente a su
contenido semntico. Esto parece violar la regla lgica clsica
de la ley de Leibniz, o la sustituibilidad de la igualdad. Tanto la
teora ingenua y la teora milliana tratan a "Jones cree que
Hspero aparece en la noche" y su instancia de sustitucin
"Jones cree que Fsforo aparece en la tarde", como teniendo
el mismo contenido y, por lo tanto, tambin el mismo valor de
verdad.
Un nido adicional de problemas se refiere a las oraciones
que contienen nombres propios sin referencia. La frase
"Sherlock Holmes es un adicto a la cocana" tiene claramente
contenido. Sin embargo, tanto en la teora ingenua como en la
teora de Mill, el contenido semntico de cualquier oracin le
faltar un componente necesario si cualquier nombre que
figure en ella carece de un referente. Es evidente, por otra
parte, que esta frase (tomada como una asercin de un hecho
real, en lugar de una asercin hecha desde dentro de la
ficcin) no se puede tomar como literalmente cierta. Pero, al
parecer, no puede su negacin "Sherlock Holmes no es
adicto a la cocana" ser emitida como verdadera. Esto
parece violar la ley clsica del tercero excluido. Estos
rompecabezas son especialmente problemticos en relacin
con los existenciales negativos, tales como "Sherlock Holmes
no existe". Esta frase es verdadera si y slo si "Sherlock
Holmes existe" es falsa, y por lo tanto, podra parecerlo, si y
slo si el referente de "Sherlock Holmes" carece de existencia.
Sin embargo, la propia existencial negativa implica que el
nombre no tiene un referente. Cmo, entonces, puede ser
verdadera? Incluso, cmo podra tener cualquier contenido
como tal?
3 La teora de las descripciones de Russell

La teora semntica de Russell (post-1904) es un

complemento de la teora ingenua. Russell emplea funciones
proposicionales en lugar de atributos. Una funcin
proposicional asigna a los objetos en su dominio una
proposicin singular en relacin con dichos objetos. La teora
general de Russell de las descripciones, o de lo que llam
"frases que denotan", que consiste de un sintagma nominal
precedido de un determinante (cuantificador) tales como
"todos" o "alguno", asigna un contenido a oraciones en las
que ellos figuran, mientras se niega que el sintagma
determinante (cuantificador) sean unidades significativas. La
teora analiza oraciones de la forma A aristotlica "Todo S es
P" (por ejemplo, "Todos los millonarios son ricos"), y de la
forma I, "Algunos S son P)", en la que P es un predicado
mondico. (En trminos ms generales, P puede ser el
resultado de llenar todas menos una de las posiciones de los
argumentos de un predicado n-adic, n 1). La forma A se
analiz como "Para todo x, si x es una S, entonces P (x)"
ms coloquialmente como "Todo es tal que: si se trata de una
S, entonces P (lo es)" ("Todo es, si es un millonario, entonces
es rico"). El predicado complejo "es tal que: si se trata de una
S, entonces P (lo es)" se refiere a una determinada funcin
proposicional, mientras que el cuantificador "todo" se refiere a
una funcin proposicional de nivel superior, que asigna a
cualquier primer nivel proposicional funcin, F, la proposicin
de que F es "siempre cierta", es decir, la proposicin de que F
se obtiene una proposicin verdadera para todos y cada
argumento.
Russell analiz "Algn S es P" como "algo es tal que: es un
S y P (lo es)" en el que el complejo predicado "es tal que: es
un S y P (lo es)" se refiere a una cierta funcin proposicional
que dice que es "a veces es cierto", es decir, para producir
una proposicin verdadera para al menos un argumento. Una
frase del Ingls de la forma "todos los S" por lo tanto
corresponde a la cadena incompleta, "todo es tal que: si se
trata de una S, entonces...", y una frase de la forma "algn S"
corresponde a la cadena incompleta, "algo es tal que: es una
5

S y..." Russell llama a las frases de tal forma smbolos

incompletos. Las oraciones en las que tales frases figura
tienen contenido, aunque la frase, de por s, no contribuye con
una proposicin-componente a la proposicin expresada.
Como Russell plante en "Sobre la denotacin", "las frases de
denotacin no tienen ningn significado en forma aislada".
La introduccin de un cuantificador ("todo", "algn") en el
anlisis da lugar a ambigedades anloga a la de "todos los
nios besan a una chica", cuando la forma oracional
aristotlica se produce en el marco de un operador de
dominio, tales como "no", "necesariamente", o "Jones cree".
Por lo tanto, en la teora general de Russell de las
descripciones, una oracin de la forma "Todo S no es P" (por
ejemplo, "Todos los millonarios no son ricos") puede ser
analizada, dando la descripcin indefinida "todos los S"
ocurrencia primaria (ms "no"), obtenindose: "Todo es tal
que: si se trata de una S, entonces no-P (lo es)". Esta lectura
es equivalente a la forma E aristotlica, "Ningn S es P". Por
otra parte, y no equivalente, "Todo S no es P" puede ser
analizada por dar la frase "todos S" ocurrencia secundaria,
produciendo la lectura "No todo es tal que: si es una S,
entonces P (lo es)". (El anlisis equivalente a la forma Earistotlica se obtiene haciendo que la negacin de "Todo es
no es P" que enteramente gobierna la forma A, no slo su
predicado p). Del mismo modo, "Jones cree que algn S es P",
puede ser analizada como "algo es tal que: es S y Jones cree
que P (lo es) (ocurrencia primaria), o alternativamente, y
no de forma equivalente, como "Jones cree: que algn S es P "
(secundaria).
En la mayora de los casos, slo una de las dos lecturas se
pretende plausible (como con "Jones cree que algunos
maridos son solteros"). Si la sencilla formas aristotlica A o I
se produce con dos o ms operadores, el nmero de lecturas
es compuesto. Por ejemplo, "Jones cree que algunos
millonarios no son ricos" pueden ser analizados como
alternativa, y no es equivalente, como: (i) "Una persona es un
millonario y Jones cree que l / ella no es rico" (alcance
6

amplio); (ii) "Jones cree: que alguien es a la vez millonario y

no rico" (alcance intermedio); o (iii) "Jones cree: que nadie es
a la vez un millonario y rico" (alcance estrecho).
El principio central de la teora de las descripciones
definidas de Russell es que una descripcin como "el autor de
Waverley" (usado en el sentido de "el nico autor de
Waverley") es semnticamente equivalente a la
correspondiente singularidad-restringida del cuantificador
existencial "el nico autor de Waverley", en el sentido de
"algo tal que, y nada ms que, escribi Waverley". El
cuantificador restringido cae bajo el mbito de la perspectiva
general russelliana de las descripciones. En la teora de
Russell, entonces, "el autor de Waverley" corresponde a la
cadena "Alguien es tal que: l o ella nicamente escribi
Waverley y l o ella...", haciendo descripciones definidas
tambin "smbolos incompletos" que no tienen "significados
aislados". Las palabras "El autor de Waverley es ingenioso" no
son directamente sobre Walter Scott, sino acerca de la funcin
proposicional compleja, ser el nico autor de Waverley quien
tambin es ingenioso, expresando que esta funcin obtiene
una proposicin verdadera para al menos un individuo. No hay
nada en la frase "el autor de Waverley" que contribuya por s
misma a esta proposicin.
Al igual que con "algunos S", las oraciones que
posicionan una descripcin definida dentro de los operadores
que rigen producen mltiples lecturas. Por ejemplo, "Jones
cree que el autor de Waverley no es ingenioso" puede ser
analizado como alternativa, y no es equivalente, como: (i)
"Alguien escribi Waverley de forma nica y Jones cree que no
es ingenioso", es decir, Jones cree del nico autor de
Waverley que no es ingenioso (alcance amplio); (ii) "Jones
cree: que alguien escribi de forma nica Waverley y no es
ingenioso" es decir, Jones cree que quien escribi Waverley
exclusivamente no es ingenioso (alcance intermedio); o (iii)
"Jones cree: que nadie que haya escrito de forma nica
Waverley es ingenioso" (alcance estrecho). La lectura de
7

alcance amplio es consistente con que la creencia de Jones no

implica una concepcin de Scott como nico autor de
Waverley. La lectura de alcance restringido atribuye una
creencia que es consistente con que Waverley no tuvo un
nico autor.
Una descripcin definida se dice que es adecuada
cuando hay alguien o algo que responde nicamente a la
descripcin, y es impropia de otra manera. Russell artificial, y
engaosamente, extendi el trmino "denotacin" de Mill a la
relacin semntica que se establece entre una descripcin
definida adecuada y el individuo describe de forma nica, a
pesar de que una descripcin definida no supone tener un
trmino singular. En su lugar l podra haber llamado a esta
relacin "denotacin simulada." Russell retuvo el trmino
"significado" para el contenido semntico.
Tanto la teora de Mill como la de Russell niegan que el
individuo, que nicamente responde a la descripcin definida,
sea en s mismo un componente del contenido de las
oraciones que implican la descripcin. Esas teoras son
capaces de resolver los rompecabezas en el caso especial de
que los trminos en cuestin son las descripciones definidas
en lugar de los nombres propios, mediante la lectura de las
oraciones que contienen descripciones definidas como
proposiciones que implican correspondientes atributos o
funciones proposicionales. En particular, la afirmacin de
Russell de que las descripciones definidas no son trminos
singulares, sino construcciones cuantificacionales, bloques de
sustituibilidad de la igualdad, slo aplicables a los trminos
singulares, a partir de licenciar la sustitucin de "el primer
Director General de Correos" para "el inventor de los lentes
bifocales" en el lectura ocurrencia secundaria de "Jones cree
que el inventor de los lentes bifocales era inteligente". (Por el
contrario, la sustitucin prevista es, en efecto licenciada por
principios lgicos, incluyendo las sustitutividad tal como se
aplica a las variables, cuando la oracin toma su lectura de
ocurrencia primaria).
8

Russell manej las mismas dificultades en el caso de los

nombres propios (y dispositivos tales como los demostrativos)
a travs de su tesis de que los nombres normalmente no se
utilizan como "nombres genuinos" (trminos singulares). En su
lugar, ellos se toman como descripciones "abreviadas" o
"disfrazadas". La proposicin expresada por una oracin que
involucra un nombre tpico ser analizada de acuerdo con la
teora de las descripciones de Russell. Esto bloquea la
sustitucin en oraciones tales como "Jones cree que Hspero
aparece por la noche." Russell reconoci la posibilidad de
"nombres en el sentido estricto y lgico" (nombres
lgicamente propios), que funcionan de acuerdo con la teora
ingenua. La clase de los contenidos semnticos admisibles
para los nombres autnticos utilizables se vio severamente
limitada por el principio de conocimiento de Russell, segn el
cual toda proposicin puede tomarse como compuesta en su
totalidad de los componentes respecto de los cuales uno tiene
un tipo especial de acceso epistmico ntimo y directo,
(conocimiento directo). Esta restriccin puede ser suficiente
para evitar rompecabezas que surjan con los nombres
lgicamente propios. (Russell no discute si los nombres
genuinos carecen o no de referente. Curiosamente, afirm que
las declaraciones existenciales, y las negativas existenciales
singulares que involucran nombres genuinos son sin sentidos.
Hubiera sido mejor decir que tales oraciones son siempre
trivialmente verdaderas y trivialmente falsas,
respectivamente).
4 La teora de Frege de sentido y referencia
En su artculo clsico, "ber Sinn und Bedeutung" (1892),
Frege abandon la teora ingenua a favor de una rica y
elegante filosofa de la semntica, la cual ampla la semntica
de dos niveles de la teora de Mill de las descripciones
definidas y predicados para incluir todas las expresiones
significativas. (Al igual que Mill, y a diferencia de Russell,
Frege tom a las descripciones definidas como trminos
9

singulares.) Frege distingue entre el referente (Bedeutung) de

una expresin y su sentido (Sinn). El sentido de una expresin
contiene una manera puramente conceptual de presentar el
referente del nombre. Los individuos que no son ellos mismos
sentidos tales como las personas e incluso sus sensaciones
no pueden ser constituyentes de un verdadero sentido
fregeano. Por otra parte, el sentido de un trmino singular
determina el referente del trmino. El sentido de una
expresin es una concepcin de algo, y el referente de la
expresin, si es que existe, es lo que se adecue de forma
nica al concepto. La relacin de referencia es, pues, el
producto relativo de una relacin puramente semntica (entre
una expresin y su sentido) y una relacin no lingstica
(entre un sentido y el objeto que se adapte a ella). En tercer
lugar, el sentido de una expresin es el contenido semntico.
Expresiones que tienen el mismo sentido deben tener el
mismo referente pero, de manera importante, las expresiones
que tienen el mismo referente pueden diferir en sentido. Frege
ilustra su nocin de sentido a travs de tres lneas que se
cruzan en un solo punto. Las frases "el punto de interseccin
de A y B", "el punto de interseccin de A y C," y "el punto de
interseccin de B y C" convergen en referencia, pero divergen
en sentido.
La observacin de que los nombres propios tienen un
sentido, a diferencia del referente, est hecha a la medida
para resolver el rompecabezas de Frege y el problema de
cmo las oraciones tienen nombres sin referencia puedan
tener contenido. La solucin de Frege al problema de la
sustitucin es ms compleja. Crucial para la teora de Frege
son los principios de extensionalidad y composicionalidad.
stos sostienen que el referente o sentido, respectivamente,
de una expresin compleja es una funcin de los referentes o
sentidos, respectivamente, de sus componentes. En este
ltimo caso Frege habla metafricamente del sentido de una
expresin constitutiva como una parte del sentido de la
expresin compleja, de modo que el sentido de la totalidad se
compone de los sentidos de las partes.
10

De esta forma, si una expresin constitutiva se sustituye

por una que tenga el mismo sentido, el sentido de la totalidad
se conserva, mientras que si se sustituye una expresin
constitutiva por una con la misma referente pero un sentido
diferente, el referente del conjunto se conserva incluso
aunque el sentido no. En particular, Frege llev a cabo como
un caso especial de extensionalidad de una expresin
compuesta que tiene una parte no referencial debera ser ella
misma no referencial ("el hermano mayor de Sherlock
Holmes"). Frege sostuvo, utilizando la extensionalidad, que el
valor cognoscitivo (Erkenntniswerte) de una oracin no es el
referente de la oracin, sino que es fijado por su sentido, y
que el referente de una oracin es uno de los dos valores de
verdad, ("verdadero" y "falso"). Debido a que una oracin se
refiere a su valor de verdad, y a que una oracin un nombre
sin referencia ella misma no se refiere a nada, de manera que
una frase como "Sherlock Holmes es un adicto a la cocana"
no es ni verdadera ni falsa. (Frege sostuvo que dicha oracin
presupone, sin afirmar, que Sherlock Holmes existe).
Frege sostuvo que ciertas expresiones crean un contexto
especial en el que las expresiones subordinadas no se refieren
a su referente habitual. Cuando ocurre dentro de las comillas
(por ejemplo, en el "discurso directo" citando las palabras
utilizadas por un hablante) una expresin se refiere a s
misma. Anlogamente, las expresiones que se producen
subordinadas a operadores como "Jones cree que" y "Jones
dijo que" (este ltimo se produce en "el discurso indirecto"
informan del contenido de la emisin de un hablante) se
refieren a su referente de manera oblicua o indirecta, en lugar
de su sentido habitual. La extensionalidad ha de entenderse
como aquello que requiere la validez de la sustitucin de un
nombre en una oracin de cualquier expresin que tenga el
mismo referente en la misma posicin. (Observaciones
dispersas sugieren que Frege podra haber aplicado su
doctrina de desplazamiento semntico tambin al problema
de los existenciales negativos).
11

5 La teora de la referencia directa

A pesar de un desacuerdo fundamental sobre la cuestin de
proposiciones singulares, existe un terreno comn entre
Russell y Frege en lo que respecta a los nombres propios
ordinarios. Ambos asumieron una versin fuerte de la teora
de que los nombres son descriptivos. En su opinin, si "Santa
Ana" es analizable como "la madre de Mara" debe ser
analizable an ms, debido a que "Mara tambin debe ser
descriptivo. Pero incluso "la madre de la madre de Jess" debe
ser en este sentido analizable. Si "" es un trmino no
descriptivo singular refirindose a Mara, entonces, se puede
decir que la descripcin "la madre de " es descriptiva en
relacin con Mara. Un trmino plenamente descriptivo es uno
que es descriptivo pero no en relacin a cualquier cosa. La
teora ortodoxa, compartida por Russell y Frege, es que los
nombres propios y dispositivos similares son plenamente
descriptivos o descriptivos relativos nicamente en relacin
con los elementos del conocimiento directo. Frege sostuvo la
tesis ms fuerte (que es retenida por las variantes
contemporneas de la teora de Frege, como la de John
Searle) de que los nombres propios son plenamente
descriptivos. Cualquier desviacin de la tesis ms fuerte
constituira un rechazo de la teora fregeana fundamental.
En la filosofa reciente la teora ortodoxa ha sido
fuertemente cuestionada, sobre todo por Keith Donnellan
(1972), David Kaplan, Saul Kripke (1972, 1979), Ruth Barcan
Marcus y Hilary Putnam. Estos filsofos estn en favor de la
teora de la referencia directa, que sostiene que los nombres
propios (y dispositivos similares) no son descriptivos. Es
importante destacar que esta teora no niega que los nombres
particulares pueden presentar alguno o todos los tres
aspectos del sentido fregeano mencionado en la seccin
anterior. Lo que se niega es que la representacin conceptual
realizada por un nombre asegure el referente. Pero la teora
12

de la referencia directa es significativamente ms fuerte que

una simple negacin de la doctrina de Russell de que los
nombres comunes son descripciones definidas abreviadas. La
teora sostiene que los nombres ni siquiera son similares a las
descripciones definidas. Una consecuencia inmediata es que
un gran nmero de descripciones definidas no pueden ser
plenamente descriptivas o descriptivas relativas nicamente a
los elementos del conocimiento directo, ya que muchos de
ellos contienen los nombres de las personas normales.
Tres principales tipos de argumentos se han avanzado a
favor de la teora de la referencia directa. Los argumentos
modales y epistemolgicos se deben principalmente a Kripke.
Supongamos para simplificar, que el nombre de
"Shakespeare" significa simplemente "el dramaturgo Ingls
que escribi Hamlet, Macbeth y Romeo y Julieta". Si la teora
ortodoxa de los nombres es correcta, entonces la oracin "Una
persona es Shakespeare si y slo si l es un dramaturgo Ingls
que es nico autor de Hamlet, Macbeth y Romeo y Julieta",
debe expresar una necesaria verdad a priori. Por el contrario,
sin embargo, que podra haber sucedido que Shakespeare
hubiera escogido ser abogado, en lugar de convertirse en un
escritor. Por otra parte, es posible, y no se descarta
nicamente por la reflexin semntica, que Francis Bacon
hubiera escrito estas obras. Estas intuiciones son apoyadas
por una intuicin complementaria: que "Shakespeare"
contina haciendo referencia a la misma persona, incluso con
respecto a los mundos posibles no reales en las que
Shakespeare carece de las caractersticas distintivas que la
gente usa en realidad para identificarlo es decir, incluso en
el discurso acerca de un escenario hipottico. Una
consecuencia importante de la teora de la referencia directa
es que cualquier nombre propio es un designador rgido
(Kripke) es decir, designa lo mismo con respecto a todos los
mundos posibles en los que existe esa cosa y no designa otra
cosa distinta en otros mundos posibles.

13

Un ejemplo de los argumentos semnticos para la teora

de la referencia directa proviene de Donnellan: de acuerdo
con la teora ortodoxa, el contenido semntico del nombre
"Tales" est determinado por una descripcin como "el filsofo
griego que sostena que todo es agua". Pero supongamos que
el hombre mencionado por los escritores como el usuario del
nombre "Tales" nunca crey que todo es agua sino que pens
que, debido a algn error o engao, y que, por casualidad,
haba un ermitao griego sostena esa extraa opinin, a
pesar de que no tiene ninguna conexin histrica con nadie.
En contra de la teora ortodoxa, el nombre de "Tales", sin
embargo, se referira al primero de los dos. Este argumento
parece revelar tambin que la configuracin de los
alrededores en el que se encuentran los hablantes, y no slo
los conceptos evocados en ellos, son cruciales para la
determinacin de los referentes de los nombres que utilizan.
En una palabra, la obtencin de un referente de un nombre es
un fenmeno contextual. Donnellan y Kripke han
proporcionado explicaciones parciales de la obtencin de un
referente de un nombre por medio de cadenas histricas de
comunicacin. Putnam ha dado una explicacin similar de
ciertos trminos que designan algo por medio de una
"divisin del trabajo lingstico". Debido a esas
explicaciones la teora de la referencia directa a veces se
llama la teora causal de la referencia.
6 La teora milliana reconsiderada
Entonces, cul es el contenido semntico de un nombre? Es
tentador responder que es, o al menos incluye, un modo de
presentacin descriptivo o conceptual. A pesar de que esta
propuesta no requiere que el modo asociado de presentacin
asegure el referente, se enfrenta a algunas de las mismas
dificultades que la teora ortodoxa. Una dificultad ms general
surge debido a las variaciones del argumento del
rompecabezas de Frege contra de la teora ingenua y la teora
de Mill que pueden plantearse contra una amplia variedad de
teoras de contenido semntico, incluyendo Frege. La
14

estrategia general consiste en que el argumento parece

implicar un error. Esto puede demostrarse mediante una
aplicacin a la situacin que involucra expresiones en que es
indiscutible que el contenido semntico es exactamente el
mismo.
Supongamos que Sasha, nacido en el extranjero, aprende
las palabras "ketchup" y "catsup" y que realmente consumen
los condimentos de acuerdo con la lectura de las etiquetas de
las botellas. Supongamos adems que, debido a su
experiencia idiosincrsica, Sasha llega a creer que las
sustancias que se llaman as son diferentes condimentos que
comparten un parecido sabor, color y consistencia. Mientras
que "salsa de tomate es ketchup" no es informativo, para
Sasha que "Catsup es salsa de tomate" es informativo. Sera
un error, sin embargo, concluir que "catsup" y "ketchup"
difieren en contenido semntico para Sasha. Los trminos son
perfectamente sinnimos en ingls; de hecho, podra decirse
que son la misma palabra. La mayora de las personas de
habla inglesa aprendieron una en una especie de definicin
ostensiva, y la otra como sinnimo estricto (o como una
ortografa alternativa) de la primera. Si bien se pueden
aprender por definicin ostensiva, entonces ambos pueden
tener a Sasha como testigo. Esto desacredita el argumento
original del rompecabezas de Frege.
Una consideracin importante que favorece a la teora de
Mill sobre la teora ortodoxa, proviene de tener en cuenta
variables individuales. Considrese la siguiente atribucin de
actitud proposicional:
(1) El planeta Venus es un individuo x tal que
Jones cree que x es
una estrella.
Es caracterstico de este locucin de re (como opuesta a la de
dicto) que no especifica cmo Jones concibe a Venus en su
creencia de que es una estrella. El terico ortodoxo sostiene
15

que esto es el resultado de que el nombre supuestamente

descriptivo "Venus", est por fuera del alcance del operador
no extensional "Jones cree que", quedando abierto a la
sustitucin y a la generalizacin existencial. Lo que es ms
importante, sin embargo, es que un trmino descriptivo no
singular queda dentro del alcance del contexto no
extensional: la ltima ocurrencia de la variable "x" en (1). De
ello se sigue, por los principios de la semntica convencional
que (1) es verdadero si y slo si su el componente abierto de
la oracin:
(2) Jones cree que x es una estrella
es cierto bajo la asignacin de Venus como valor para la
variable. A su vez, (2) es verdadera bajo esta asignacin si y
slo si Jones cree que el contenido semntico del componente
abierto de la oracin es:
(3) x es una estrella
bajo la misma asignacin. Pero la caracterstica fundamental
de una variable con un referente asignado es que su
contenido semntico es justamente su referente. Este es
precisamente el punto al utilizar una variable en lugar de una
descripcin definida (como "el primer cuerpo celeste visible
en la oscuridad") en el marco de un verbo de actitud en una
atribucin de re. Si una variable con un valor asignado tena,
adems de su valor, un sentido fregeano, entonces (3)
contendra una determinada proposicin general, bajo la
asignacin relevante. Si (1) falla en la especificacin de cmo
concibe Jones a Venus; el contenido de (3) bajo la asignacin
de Venus a "x" slo puede ser la proposicin singular sobre
Venus que es una estrella. Si la oracin abierta (3), bajo la
asignacin de Venus como el valor de "x", contiene la
proposicin singular de que Venus es una estrella, entonces
convierte a la oracin en una cerrada: "a es una estrella",
donde "a" es una constante individual que se refiere a Venus.
No es la variabilidad de una variable, sino su simplicidad
16

estructural, la que le da el rasgo de contenido semntico a la

variable, en virtud de una asignacin de un referente, es
precisamente el referente asignado. (Un argumento
exactamente paralelo procede utilizando pronombres en lugar
de variables; usando "El planeta Venus es tal que Jones cree
que ste es una estrella").
Es importante tener en cuenta tambin que al menos
algunos aspectos de los restantes rompecabezas surgiran
incluso en un lenguaje para el que se estipulara que la teora
de Mill es correcta. Supongamos, por ejemplo, que un comit
lingstica autoridad legisla sobre la gramtica y la semntica
de la lengua, y al que todos los hablantes de la lengua dan su
colaboracin y consentimiento, decreta que los nombres
propios tienen que funcionar exactamente igual que las
variables matemticas, "x" "y " y "z", excepto que ellas deben
permanecer constantes. Hablantes normales,
presumiblemente, continuarn considerando nombres coreferenciales como no siempre intercambiables en
atribuciones de actitud proposicional. Los hablantes ingleses
que utilizan "ketchup" y "catsup" como sinnimos exactos
pueden sentirse inclinados a asentir a "Sasha cree que la
salsa de tomate es un condimento del sndwich, pero l no
cree que el catsup lo es". En la reflexin filosfica, sin
embargo, se observa que esto expresa una imposibilidad
lgica. Del mismo modo, hablantes que estn dispuestos a
cumplir con el decreto de la comisin legislativa sobre los
nombres propios podran llegar, por razones prcticas
independientes, a emitir o a asentir a oraciones como "Jones
cree que Hspero aparece en la noche, pero l no cree que
Fsforo lo hace". En la medida en que se produciran los
mismos fenmenos que dan lugar a los rompecabezas, incluso
en el caso de un lenguaje para el que la teora de Mill fuera
cierto por decreto y consentimiento unnime (y de hecho
surgiera con respecto a este tipo de sinnimos sencillos como
"salsa de tomate" y "catsup"), los rompecabezas no pueden
ser tomados como evidencia en contra de la teora de Mill.
Una comprensin ms profunda de los rompecabezas es
17

necesaria, y un nuevo examen de la teora de Mill a la luz de

esta comprensin ms profunda.

18