Intuiciones Kripkeanas En Conflicto

Los antiguos griegos creían erróneamente que el cuerpo celeste que veían al amanecer era distinto del cuerpo celeste que veían al anochecer. Al primero lo llamaron ‘Fósforo’ y al segundo lo llamaron ‘Héspero’. Sin embargo, luego se descubrió que ‘Héspero’ y ‘Fósforo’ referían al mismo cuerpo celeste, a saber, el planeta Venus. Hace poco más de treinta años, Saul Kripke dio tres famosas conferencias que fueron transcritas y publicadas bajo el nombre de ‘Naming and Necessity’. Una de las tesis que Kripke defendió en aquel entonces es que los nombres propios son designadores rígidos. ¿Qué es un designador rígido? La respuesta puede ser expresada de la siguiente manera:

(DR) Un término t es un designador rígido de un objeto x si y sólo si (a) t designa x en todos los mundos posibles en los que x existe y (b) t nunca designa otro objeto en ningún mundo posible.

Kripke usa la noción de designador rígido para refutar las teorías descriptivistas del significado de los nombres propios. Estas teorías sostienen (D1) o (D2):

(D1) El significado (contenido semántico) de un nombre propio es (o es determinado por) una descripción o un conjunto de descripciones que hablantes en distintos mundos posibles asocian con el referente del mismo.

(D2) El significado (contenido semántico) de un nombre propio es (o es determinado por) la descripción o conjunto de descripciones que los hablantes del mundo actual asocian con el referente del mismo.

Por lo tanto, es razonable inferir que Kripke aceptaría (M):

(M) El significado y el referente de un nombre propio son idénticos.

Agreguemos a esto las siguientes tesis semánticas generalmente aceptadas:

(T1) El contenido semántico de una oración S es la proposición que S expresa.

(T2) Lo que uno cree cuando cree lo que una oración S dice es que la proposición que S expresa es verdadera.

Teniendo esto en cuenta, considera las siguientes oraciones:

(1) Héspero es Héspero.

(2) Héspero es Fósforo.

Si la noción Kripkeana de designador rígido es correcta, entonces tanto (1) como (2) expresan verdades necesarias (en otras palabras, (1) y (2) son verdaderas en todos los mundos posibles en los que Venus existe). Sin embargo, Kripke asume que (1) y (2) son normalmente usadas para expresar diferentes cosas. Por ejemplo, si a un griego de la antigüedad (llamémoslo ‘Eudoxo’) le dices (1), él consideraría que no le has dicho nada nuevo. No obstante, si a Eudoxo le dices (2), él consideraría que lo que dices es falso o, si te cree, que estás diciendo algo sorprendentemente verdadero. Por lo tanto, Kripke parece asumir que las oraciones (3) y (4) pueden tener diferentes valores de verdad:

(3) Eudoxo cree que Héspero es Héspero.

(4) Eudoxo cree que Héspero es Fósforo.

En otras palabras, la intuición de fondo parece ser la siguiente:

(F) Un hablante competente puede creer coherentemente que a = a y, al mismo tiempo, no creer que a = b (donde ‘a’ y ‘b’ son nombres propios, y por ende, designadores rígidos, que refieren al mismo objeto).

Pero es claro que (F) contradice (DR), (M), (T1) y (T2). ¿Cómo resolver el conflicto? ¿Cuál de estas tesis [(F), (DR), (M), (T1) o (T2)] rechazarías? ¿Por qué?

El Sentido Común y la Filosofía

Uno de los argumentos más famosos de los últimos 38 años en la filosofía del lenguaje es el llamado Argumento Modal de Kripke. Lo que este argumento pretende mostrar es que las teorías descriptivistas (Frege, Russell, etc.) del significado de los nombres propios son falsas. De acuerdo con dichas teorías, el significado (contenido semántico) de un nombre propio (i) es dado por una descripción o un conjunto de descripciones que hablantes en distintos mundos posibles asocian con el referente del mismo, o (ii) es determinado semánticamente por una descripción o un conjunto de descripciones que los hablantes del mundo actual asocian con el referente del mismo. Por ejemplo, según las teorías descriptivistas en cuestión, el significado del nombre ‘Aristóteles’ es dado por descripciones tales como ‘el autor de la Ética a Nicómaco’, ‘el alumno más brillante de La Academia’, ‘el maestro más famoso de Alejandro Magno’, etc.

La idea central de Kripke es que si el significado de un nombre n fuese dado por alguna descripción D (o un conjunto de ellas), el reemplazo de D por n no afectaría el significado de la oración del que n es parte. Sin embargo, Kripke sostiene que dicho reemplazo modifica el perfil modal de la proposición expresada por la oración en cuestión y, por ende, el significado de la misma. Por ejemplo, supongamos que el descriptivista sostiene que el significado de ‘Aristóteles’ es ‘el alumno más brillante de La Academia’. Si el descriptivista estuviese en lo correcto, (1) y (2) expresarían la misma proposición verdadera:

(1) Necesariamente, si Aristóteles existió, Aristóteles fue Aristóteles.

(2) Necesariamente, si Aristóteles existió, Aristóteles fue el alumno más brillante de La Academia.

Sin embargo –Kripke sostiene– es obvio que no es así: mientras que la proposición expresada por (1) es trivialmente verdadera, la proposición expresada por (2) es claramente falsa. La proposición expresada por (2) es falsa, ya que, por ejemplo, es posible que Aristóteles nunca hubiese escuchado de La Academia o que se hubiese dedicado a cualquier otra cosa menos a la filosofía. En otras palabras, hay mundos posibles en los que Aristóteles fue un campesino de Estagira; hay otros en los que fue a La Academia pero no fue el alumno más brillante de su clase; hay otros en los que fue un alfarero mediocre; etc. No obstante, no existe un mundo posible en el que Aristóteles no fue Aristóteles. Por lo tanto, Kripke concluye que las teorías descriptivistas de los nombres propios son falsas y propone en su lugar que los nombres propios son designadores rígidos.

A pesar de estar de acuerdo con Kripke, creo que hay una preocupación metodológica de fondo que es legítima y que el Argumento Modal nos ilustra. Por un lado, es innegable que no basta con ser un hablante competente de un lenguaje L para entender, corroborar o rechazar explicaciones o tesis semánticas sobre L: la semántica es una empresa altamente teórica y las intuiciones lingüísticas de los hablantes de L no son confiables desde un punto de vista semántico. De otro lado, lo que uno normalmente somete a prueba cuando uno quiere ver si una hipótesis semántica H es verdadera son, entre otras cosas, las predicciones que dicha tesis genera. Si las predicciones en cuestión no concuerdan con las intuiciones lingüísticas de la mayoría de hablantes competentes de L, entonces –a falta de una explicación sólida de por qué sucede esto– uno debería rechazar o por lo menos dudar de la verdad de H.

En el Argumento Modal, Kripke apela a nuestras intuiciones sobre el perfil modal de la proposición expresada por (2) a fin de rechazar una tesis semántica. Pero, ¿por qué deberíamos darle más crédito a nuestras intuiciones que a la tesis descriptivista? Este caso es particularmente difícil ya que Kripke apela a intuiciones sobre las nociones técnicas de necesidad y posibilidad. El hablante competente promedio del Castellano (y, me atrevería a apostar, de la mayoría de lenguajes naturales) usa estas nociones de manera sustancialmente diferente al uso reglamentado del filósofo y el lógico. Éste sería un problema grave si el único argumento en contra del descriptivismo fuese el Argumento Modal. Felizmente hay muchos otros. Sin embargo, esta tensión entre lo que se suele llamar el sentido común (o en este caso ‘intuiciones’) y la filosofía reaparece con frecuencia en distintas áreas de la investigación filosófica y uno se ve muchas veces en el problema de decidir cuánto peso se le debería asignar al mismo. Éste es, sin duda, un problema difícil.