Sería equívoco sugerir que la filosofía del lenguaje, incluso cuando la practican los filósofos analíticos, se reduce al análisis conceptual, a la clarificación de los conceptos básicos del lenguaje. Hay otros tipos de tareas que, por lo común, se atribuyen los filósofos del lenguaje: está la clasificación de los actos lingüísticos, de los "usos" o "funciones" del lenguaje, de los tipos de vaguedad, de los tipos de términos, de las varias clases de metáforas. Están las discusiones sobre el papel de la metáfora en la ampliación de los lenguajes, sobre las interrelaciones del lenguaje, el pensamiento y la cultura; y sobre las peculiaridades del discurso poético, religioso y moral. Se han hecho propuestas para construir lenguajes artificiales con propósitos diversos. Están también las detalladas investigaciones acerca de las peculiaridades de tipos especiales de expresiones, tales como los nombres propios y las expresiones con referencia múltiple, y sobre formas gramaticales determinadas, tales como la forma sujeto-predicado.
Cuando digo que las manchas que hago sobre un papel, o los sonidos que emito al hablar con otra persona, tienen significado, ¿qué es lo que quiero decir?, ¿qué es lo que hace que determinadas palabras o expresiones tengan el significado que tienen y no otro?, ¿qué diferencia hay entre una ristra de marcas significativa y otra que no lo es?, ¿cómo soy capaz de reconocerla como tal aunque no la haya encontrado antes?, ¿cómo es posible que unas meras manchas se refieran a fechas, ciudades, países o, en general, a objetos?, ¿cómo puede una secuencia de signos significar algo verdadero o falso?. Éstas son algunas cuestiones centrales de la filosofía del lenguaje.
La cuestión referente a la consistencia real del significado de una proposición, palabra y oración es una cuestión muy discutida en la historia de la filosofía, y una de las cuestiones centrales de la filosofía del lenguaje. Esta cuestión ha recibido en el siglo XX diferentes respuestas, en función de la corriente de filosofía del lenguaje de que se trata; pero el problema es prácticamente tan antiguo como la historia de la filosofía. Vamos a ver en este apartado algunas respuestas históricas a esta cuestión.
En el Teeteto Platón identificaba el significado de una palabra con la cosa que designa. La palabra sería una especie de etiqueta fijada en el objeto, ya sea humano ("Sócrates"), o genérico ("mesa), o un proceso ("estudiar"). A pesar de su atractivo, esta teoría es, sin embargo, demasiado simple. Quizás valga para los nombres propios, pero estas palabras constituyen un pequeño grupo, cuya principal característica es no tener significado, ya que su única función es designar un objeto o persona individua, pero careciendo de significado "per se". Por el contrario, con respecto a todas las demás palabras esta explicación confunde dos dimensiones de la palabra: las que podemos llamar "connotación" y "denotación". Es decir, dos palabras pueden tener la misma denotación (designar o mentar los mismos conceptos) y sin embargo tener distinta connotación (es decir, diferente significado).
Esta teoría identifica el significado de una palabra con la respuesta condicionada que la palabra produce en quien la escucha o, al menos, con la disposición a responder de una determinada manera. Por ejemplo, un objeto cualquiera (como un vaso de vino) produce en nosotros una determinada respuesta (beberlo, repudiarlo...), o al menos una disposición a la respuesta (a beberlo, si nos apetece). El vaso de vino, al ser "nombrado", produce en nosotros un estímulo y también una respuestaapropiada. Pero ese estímulo inicial puede ser sustituido por cualquier otro (un sonido, por ejemplo) que aparezca asociado frecuentemente con él; y entonces este estímulo sustitutivo produce una respuesta igual o semejante a la que producía el estímulo primitivo. Entonces, estos estímulos sustitutivos son signos de los estímulos propios; y su significado consiste precisamente en esta respuesta anticipatoria, en esa preparación del organismo para la aparición del estímulo adecuado. Su significado no consiste, como se suele pensar, en ningún concepto, en ningún "signo mental" que se dé en la mente del que habla o del que escucha, sino simplemente en una disposición para responder de una forma determinada.
Esta concepción ha sido fuertemente criticada. ¿Sentimos ganas de estornudar al escuchar la voz "pimienta"? Según esta crítica , la teoría conductista del lenguaje ha comenzado la casa por el tejado. Es decir, para que la palabra "caliente" produzca en nosotros la disposición de retirar la mano de un objeto es preciso previamente que hayamos comprendido su significado. Pero, ¿en qué consiste "comprender" una palabra sino en captar "lo que significa"? Por tanto, el significado no es una disposición a responder de un modo determinado, aunque esto acontezca frecuentemente.
Esta teoría considera que el significado de una palabra (al menos, de las descriptivas, que constituyen la base de un idioma) es una idea o un concepto, que se encuentra en la mente del que habla y en la del que comprende tras escucharnos. Esta teoría tiene dos puntos a su favor:
admite la necesidad de una intencionalidad, de un proceso mental interpretativo, para que la palabra, que considerada en sí misma no es sino un conjunto de sonidos, adquiera un significado.
El concepto o la idea no debe ser comprendido como una especie de objeto mental suprasensible, sino que debe comprenderse como la capacidad mental de usar las palabras de manera "humana", inteligente y adecuada, capacidad que se realiza y actualiza en nuestras proposiciones. Conocemos el significado de una palabra cuando somos capaces de comprender lo que significa y de utilizarla correctamente. Pero esta capacidad del uso correcto implica la existencia de determinados procesos mentales, eidéticos; por ejemplo, la captación de relaciones de semejanza o analogía entre los objetos que pertenecen a un conjunto determinado. E igualmente implica la capacidad de explicar, aunque sea de un modo aproximado, las reglas que gobiernan el uso correcto de esa palabra. Dicho de otro modo, implica la capacidad de dar definiciones de nuestras palabras.
Se ha pensado que toda expresión significativa nombra a algo o a alguien o, por lo menos, que está en lugar de algo o de alguien, y tiene con ellos una relación del tipo de la de nombrar (designar, rotular, referirse a, etc.). Ese algo o alguien al que se hace referencia no tiene que ser una cosa particular concreta y observable, podría tratarse de una clase de cosas (por ejemplo de los "sustantivos comunes" como 'perro'), de una cualidad ('perseverancia'), de una situación ('anarquía'), de una relación ('poseer'), etc. En realidad lo que se supone es que, en relación con toda expresión significativa, podemos entender qué quiere decir que ésta tenga un cierto significado, sin más que observar que hay algo o alguien a los que se refiere: "Todas las palabras tienen significado, en el sentido simple de que son símbolos que están en lugar de algo distinto de ellas mismas" (B. Russell, Los principios de la matemática, Buenos Aires, Espasa-Calpe, 1948, p. 82).
Hay una versión más elemental de la teoría referencial. Ambas versiones suscriben la afirmación de que para que una expresión tenga un significado debe referirse a algo distinto de ella misma, pero las dos versiones sitúan el significado en áreas diferentes de la situación referencial. La versión más elemental considera que el significado de una expresión es aquello a lo que esa expresión se refiere; el punto de vista más sofisticado es el de que el significado de una expresión debe identificarse con la relación entre la expresión y su referente, esto es, que lo constitutivo del significado es la conexión referencial.
Ninguna teoría referencial será suficiente para dar cuenta completa del significado a menos que sea verdad que todas las expresiones lingüísticas significativas se refieren a algo. Sin embargo, parece que las conjunciones y otros componentes del lenguaje que desempeñan una función esencialmente conectiva - palabras como 'y', 'si', 'es', 'por cuanto' - no se refieren a nada. Los teóricos de la referencia responden a esta objeción, por lo general, negando que los términos "sincategoremáticos" tengan significado "aisladamente", o que estos términos puedan tener significado aisladamente, o que estos términos puedan tener significado en el sentido más tosco en que se afirma que los sustantivos, adjetivos y verbos lo tienen.
Las teorías de la referencia pueden dividirse en dos grandes grupos: teorías de la referencia directa (o teorías causales de la referencia; sus representantes más destacados son Kripke y Putnam) y teorías descriptivas de la referencia (sus representantes más destacados son Frege, el Wittgenstein del Tractatus y Russell). En las teorías de la referencia directa se defiende la posibilidad de la referencia como una relación entre el signo y el objeto, que no viene mediada pro ningún tipo de contenido descriptivo. El conocimiento del hablante no es suficiente, ni necesario, para explicar la referencia. La expresión lingüística consigue denotar el objeto de la realidad extralingüística directamente. Esta relación directa entre el lenguaje y el mundo viene posibilitada por las conexiones causales de los hablantes entre sí y con el mundo natural.
Por su parte, las teorías descriptivas de la referencia establecen un vínculo tal entre el nombre y las descripciones que éstas vienen a constituir su definición. De la misma manera que el predicado "soltero" se define como "persona no casada", el nombre propio "Cleopatra" se podría definir como "última reina egipcia de la dinastía ptolemaica"; sin embargo
Para Fray Luis de León, las cosas, además del ser real que tienen en sí, poseen otro ser del todo semejante al real, pero más delicado que él y que nace, en cierta manera, de él. La verdad reside en el ser real; la imagen de la verdad, en nuestra boca y en nuestro entendimiento, cuando corresponde al ser real. Por ejemplo, si se juntan muchos espejos y los ponemos delante de los ojos, la imagen del rostro, que es una, reluce una misma y en un mismo tiempo en cada uno de ellos. El ser real en sí -en este caso, el rostro- es "uno e idéntico", pero se multiplica como imagen en cada espejo. De igual manera acontece entre el ser real en sí y la mente de los hombres. En ésta, como en los espejos, se hacen "imagen" las cosas y, por ello, es "una" con dichas cosas, de modo que "la silla de la unidad venza y reine sobre todo". La realidad -el ser real en sí- configura su imagen en la mente humana, su "eidos", pero dicta, a la vez, su nombre a la boca. El nombre, entonces, contiene la imagen del ser real en sí. Fray Luis de León define el nombre como aquello mismo que se nombra, no en el ser real y verdadero que tiene, sino en el ser que le da nuestra boca y entendimiento. El nombre, pues, es una palabra breve, que se sustituye por aquello de quien se dice y que se toma en lugar del ser verdadero real al que remite o designa.
Hay dos tipos de nombre: los que son imágenes por naturaleza -que están en el alma- y los que fabricamos nosotros por arte. El nombre por naturaleza corresponde a la imagen y figura que en el alma sustituye al ser real en sí por la semejanza natural que con él tiene. En cambio, el nombre por arte es el que fabrican los hombres por medio de la palabra, al señalar para cada cosa la suya, sirviendo así de sustitutos de las mismas.
Las imágenes por naturaleza son los mismos objetos, en cuanto pensados, las copias de lo real que los objetos dejan en el espíritu. Estas imágenes por naturaleza son los verdaderos nombres en sentido riguroso y exacto. Sin embargo, las voces, las palabras -imágenes por arte- son también calificadas y conocidas como "nombres". Pero su adecuación con lo real no está garantizada, pues es cosa puramente humana y, por tanto, sólo aproximativa; son obra del saber, la costumbre, educación y mil influencias artificiales y exteriores.
Russell elaboró una teoría radicalmente referencialista, que supone que a cada categoría lógico-lingüística le corresponde una categoría ontológica. Sostuvo la doctrina conocida como "atomismo lógico", que es una combinación de empirismo radical y lógica. La doctrina del atomismo lógico sostiene que la estructura de las frases (su gramática o sintaxis) guarda relación con la estructura de los hechos. Así como el lenguaje es descomponible en unos elementos últimos, también la realidad lo es. Tales elementos no tienen carácter físico, sino lógico; son entidades inanalizables por el pensamiento.
La relación semántica básica es una relación de correspondencia entre lenguaje y realidad. Esta relación de correspondencia se expresa a través de dos relaciones que ligan el lenguaje con el mundo: nombrar y representar. Nombrar es la relación propia de los nombres y representar la de los enunciados. Entre los enunciados y el mundo existe una especie de paralelismo o isomorfía: del mismo modo que los enunciados se componen de proposiciones atómicas, la realidad se compone también de hechos atómicos.
Las lenguas naturales son imperfectas e incluso engañosas, pero el filósofo puede poner de relieve su estructura o "forma lógica" descomponiendo los enunciados en sus elementos genuinos. Russell distinguió dos tipos de enunciados o proposiciones: atómicas y moleculares.
Mientras que las proposiciones moleculares se componen de atómicas, estas últimas se corresponden o representan hechos atómicos. A diferencia de las oraciones, los nombres no representan sino que tienen como función referir a entidades particulares. Esta tesis, de carácter semántico, es completada por Russell por una tesis epistemológica de carácter empirista: sólo conocemos las entidades particulares de modo directo, por familiaridad.
La semántica de Russell está ligada a su teoría del conocimiento, según la cual el conocimiento de la realidad es reducible a un conocimiento directo de los componentes de la realidad. Russell distingue dos tipos básicos de conocimiento: por descripción y por familiaridad. Casi todo lo que conocemos, lo conocemos por descripción. En este conocimiento partimos de datos sensoriales y construimos un conocimiento de las cosas, apoyados en la memoria y en el conocimiento de ciertas verdades físicas. A diferencia de este tipo de conocimiento, existe otro modo de conocimiento que es directo y que Russell denomina por familiaridad. Es el conocimiento de los datos sensibles y fundamenta el conocimiento por descripción. Se da cuando hablamos de "esto" referido al objeto inmediatamente presente, como cuando decimos "esto es blanco".
Según Russell, hemos de distinguir entre los nombres propios ordinarios y los nombres lógicamente propios. Los nombres lógicamente propios designan entidades que son conocidas por familiaridad, es decir, de modo directo. Los nombres propios ordinarios nombran generalmente objetos conocidos por descripción. En realidad no son más que descripciones abreviadas. Su referencia es indirecta, a través de las descripciones abreviadas.
Por último, el referente de las expresiones predicativas es la propiedad o relación que designan.
Russell mostró que la versión elemental de la teoría referencial es inadecuada, ya que dos expresiones pueden tener diferentes significados pero un mismo referente.
Tomé para mi argumentación el contraste entre el nombre "Scott" y la descripción "el autor de Waverley". El enunciado "Scott es el autor de Waverley" expresa una identidad y no una tautología. Jorge IV quiso sabe si Scott fue el autor de Waverley, pero no quería saber si Scott era Scott. Si bien esto es perfectamente inteligible para todo el mundo, aunque no haya estudiado lógica, presenta un conflicto para el lógico. Los lógicos piensan (o solían pensar) que si dos frases denotan el mismo objeto, una proposición que contenga a una de ellas puede ser reemplazada siempre por una proposición que contenga a la otra, sin dejar de ser verdadera, si era cierta, o falsa, si era falsa. Pero, como acabamos de ver, podéis convertir una proposición verdadera en falsa sustituyendo "el autor de Waverley" por "Scott". Esto demuestra que es necesario distinguir entre un nombre y una descripción. Scott es un nombre, pero "el autor de Waverley" es una descripción (Russell, B., La evolución de mi pensamiento filosófico, Madrid, Alianza, 1982, p. 85)
Las descripciones definidas están formadas por un artículo determinado seguido de un sustantivo o de una frase que funciona como tal, que corresponde a una cierta propiedad. Por ejemplo, «El autor del Quijote», que describe la propiedad de haber escrito el Quijote. Una descripción sirve para seleccionar un objeto de nuestro universo de discurso (del conjunto de cosas de que estamos hablando) al señalar una propiedad poseída en exclusiva por este objeto (Cervantes como autor del Quijote). Ahora bien, cuando pensamos que las descripciones tienen que referir inexorablemente a algo, pueden ser fuente de problemas.
Por ejemplo, si yo hablo del «actual rey de Francia» o del «cuadrado redondo», Meinong y Husserl dirían que si bien no existen del modo en que lo hace «el autor del Quijote», al menos estas entidades fantásticas subsisten. Russell piensa que la idea de objetos inexistentes, aunque subsistentes, es difícilmente admisible. De lo que se trataría es de encontrar un medio de obtener, sin ellas, lo que se obtiene con ellas; es decir, traducirlas y analizarlas como símbolos incompletos que son.
Otra objeción a la teoría de la referencia a objetos sería que, según Russell, amenazarían el principio de tercero excluso. Así, en la oración «El actual rey de Francia es calvo». Si enumerásemos las cosas calvas que hay en el mundo, no hallaríamos al actual rey de Francia, ni en ese conjunto ni en el conjunto de las cosas no calvas. Así, las oraciones A y B serían falsas:
A) El actual rey de Francia es calvo
B) El actual rey de Francia no es calvo
Hay, pues, que analizar estas proposiciones como símbolos incompletos. El uso del artículo determinado singular «el», para Russell, sería el siguiente: si tenemos la oración «El actual rey de Francia», lo que decimos es: la función proposicional «x es rey de Francia actualmente» es verdadera exactamente para una valor de la variable x. Si ahora sustituimos «El actual rey de Francia» por un valor real, obtendremos una función proposicional en la que se han eliminado los símbolos incompletos anteriores y se han sustituido por funciones proposicionales. La función proposicional
C) x es rey de Francia en la actualidad
es verdadera para exactamente un valor de x, y la función proposicional «x es calvo» es verdadera para ese valor de x.
En un primer momento, parece que hemos salido de la dificultad de que una descripción refiera a objetos al sustituirla por funciones proposicionales, pero veremos que no es así.
Tomemos B) (El actual rey de Francia no es calvo). Esto puede significar dos cosas:
B.1) De el actual rey de Francia es cierto esto: no es calvo
B.2) No es cierto esto: el actual rey de Francia es calvo
Pues bien, A) y B) son contradictorias cuando B) tiene el sentido de B.1). Ambas dicen que hay un individuo que es el actual rey de Francia, y mientras una dice que es calvo, la otra lo niega.
B.2) niega que se den conjuntamente las condiciones de que un individuo sea a la vez rey de Francia y calvo y, en ese sentido, es contradictoria con C) (que habíamos traducido a función proposicional). Pero puesto que c expone pormenorizadamente el contenido de B.1), B.1) y B.2) son contradictorias, con lo cual queda libre de duda el principio de tertio excluso.
En resumen, la teoría de las descripciones posibilita «la renuncia a entidades fantásticas tales como el cuadrado redondo o el actual rey de Francia». Introduce economía en nuestra imagen del mundo y en nuestro inventario de él, ya que imagina una vía para regular las conclusiones que acerca de las cosas inferimos del uso del lenguaje, nos ayuda a perfilar una idea de realidad.
El punto esencial de la teoría de las descripciones es que una frase puede contribuir al significado de una oración sin tener significado en absoluto aisladamente
En el caso de las descripciones hay una prueba clara de esto: si "el autor de Waverley" significara cualquier otra cosa en vez de "Scott", "Scott es el autor de Waverley" sería falso, que no lo es. Si "el autor de Waverley" significa "Scott", "Scott es el autor de Waverley" sería una tautología, que no lo es. Por tanto, "el autor de Waverley" no significa "Scott" ni cualquier otra cosa; es decir "el autor deWaverley" no significa nada, quod erat demostrandum (Russell, B., op. cit., p. 87)
El punto esencial de la teoría es que, aunque una expresión sin significado pueda ser gramaticalmente el sujeto de una expresión con significado, tal proposición, cuando se analiza correctamente, deja de tener tal sujeto. Por ejemplo, la proposición "la montaña de oro no existe" se convierte en "la función proposicional 'x es de oro y una montaña' es falsa para todos los valores de x".
Según la teoría figurativa, una proposición es una figura o representación de una parte de la realidad. Más específicamente, una proposición es una figura -una maqueta- de una situación real o hipotética. Por ello, comprender una proposición es comprender la situación o estado de cosas que representa. Quien entiende lo que dice una proposición sabe qué hecho describe esa proposición en el caso de ser verdadera, pues su sentido es la situación que dibuja o de la que es figura.
Las proposiciones son entendidas como algo articulado lógicamente: expresan un "pensamiento" mediante un orden determinado. Una proposición es figura de una situación por compartir con ella la misma forma lógica. Lo que la proposición tiene en común con la realidad es la forma lógica o estructura común.
En el Tractatus hay una exigencia de isomorfía entre el lenguaje y el mundo. El constituyente último del mundo son los objetos o cosas; los objetos son simples y forman parte de los estados de cosas. Por eso dice Wittgenstein que "lo que acaece, el hecho, es la existencia de estados de cosas". El conjunto de hechos constituye la realidad. El lenguaje debe reflejar esto y, con este fin, usa los nombres para los objetos; con las proposiciones simples describe los estados de cosas y con las proposiciones complejas los hechos.
Tiene que haber proposiciones elementales por razones puramente lógicas. Es la exigencia de determinación del sentido la que mueve este proceso. Por ello en el ámbito lógico se llega a unidades elementales, que contengan afirmaciones básicas acerca de la realidad. Estas unidades elementales se componen de signos simples como nombres de los objetos. El que lenguaje y realidad tengan la misma forma lógica posibilita la relación de los elementos de la proposición con las cosas de la realidad; y las relaciones entre elementos con relaciones entre las cosas de la situación representada.
Entre los elementos de la proposición y los elementos de la realidad hay una relación isomórfica: a cada elemento de la proposición debe corresponder un elemento de la realidad y uno sólo; y siempre que los elementos de una proposición guarden alguna relación entre sí, sus imágenes han de guardar la relación correspondiente. Los elementos de la proposición son los nombres y las constantes lógicas. Los signos simples o nombres representan objetos. Su significado es el objeto en lugar del cual están las proposiciones. Las constantes lógicas no son representantes de nada; no son nombres; no hay una lógica de los hechos, sino sólo de las proposiciones.
¿Y qué son los objetos a los que se refieren los nombres? Wittgenstein dice que son algo simple, los últimos constituyentes de todo. Se trata de átomos no físicos, sino lógicos del mundo, que se combinan y forman estados de cosas o situaciones. La admisión de los objetos responde al postulado de lo simple, lo fijo, lo existente, requerido como firme por un lenguaje absolutamente preciso. La verdad o falsedad de las proposiciones exige que los nombres tengan una referencia fija e inequívoca.
El lenguaje y el mundo no pueden entenderse como realidades separadas y contrapuestas. El lenguaje pertenece al mundo. No podemos vernos a nosotros mismos fuera del mundo y del lenguaje. «Las proposiciones pueden representar toda la realidad, pero no pueden representar lo que tienen que poseer en común con la realidad para poder representarla -la forma lógica. Para poder representar la forma lógica deberíamos poder situarnos nosotros mismos junto con las proposiciones en algún lugar que esté fuera de la lógica, es decir, fuera del mundo» (4.12).
De la imposibilidad de hablar con sentido de la forma lógica extrajo Wittgenstein multitud de consecuencias. La más importante es la ilegitimidad de cualquier disciplina que pretenda hablar del sentido de las proposiciones. De ají también la ilegitimidad del propio Tractatus en cuanto que pretende decir algo sobre la naturaleza del lenguaje.
Wittgenstein distingue dos funciones semánticas en una proposición. Por una parte lo que una proposición afirma, que los hechos son de un modo determinado. Por otro lado, lo que una proposición muestra, esto es, cómo son los hechos. Por ejemplo, en el caso del cuadro titulado La rendición de Breda, el título dice lo que en el cuadro es mostrado. El título describe el hecho que el cuadro muestra a través de su forma. Entre decir y mostrar no hay conexión: una proposición no puede decir nada de cómo se muestra un determinado hecho, no puede afirmar nada sobre su propio sentido. «La proposición no puede representar la forma lógica; ésta se refleja en aquélla. Lo que en el lenguaje se refleja, el lenguaje no puede reflejarlo. Lo que en el lenguaje se expresa, nosotros no podemos expresarlo por el lenguaje. La proposición muestra la forma lógica de la realidad, la exhibe» (4.121).
La imagen del lenguaje que late en esta concepción es el lenguaje como medio universal. La tesis característica es que no podemos adquirir una posición de privilegio desde la cual proceder a examinarlo. Es más, puesto que "los límites del lenguaje son los límites de mi mundo" y "la lógica llena el mundo; los límites del mundo son también sus límites", el modo en que me represente el mundo dependerá de los recursos que el lenguaje ponga a mi disposición. El lenguaje viene a dictar entonces las condiciones bajo las cuales hablamos del espacio lógico.
Son varias las razones por las cuales ha parecido aceptable, o incluso necesario, un criterio empirista. La más importante es quizá la siguiente: si consideramos que la significatividad depende en cierto modo de las expresiones que se conecten con aspectos del mundo extralingüístico al cual se refieren, ¿cómo es posible esa conexión?. No es que un determinado esquema de sonido esté más relacionado con un aspecto del mundo que con otro en virtud de sus características intrínsecas, y es difícil suponer que esos vínculos sean innatos a la mente humana. (Si así fuera, todos los hombres hablarían la misma lengua). La única alternativa parecería ser la de que esos vínculos se establecen por medio de la experiencia, a través de repetidos apareamientos de la expresión con aquello en cuyo lugar está, de acuerdo con la experiencia del que aprende.
Otra argumentación es esta: ¿qué razones podría tener yo para suponer que un tercero asigna el mismo significado que yo a una determinada expresión?. Cada uno de nosotros podría producir una definición verbal de la expresión, pero esto permitiría alcanzar la conclusión deseada sólo si suponemos que ambos usamos de la misma manera las palabras de la definición (y, también, que ambos entendemos de la misma manera la forma oracional 'Dar una definición de...'). Y la cuestión de si este supuesto es o no verdadero es exactamente del mismo tipo que aquélla a la que pretendíamos dar respuesta. Habría quizá una manera de salir fuera de este círculo si, en algunos momentos, pudiéramos contrastar la hipótesis del significado común sin necesidad de apoyarnos en la comunidad de significado respecto de otras expresiones. Pero ¿cómo podría hacerse esta contrastación sino investigando la manera en que la expresión se apareja o no con los objetos experimentados en la actividad verbal de cada uno de nosotros? Esto significa, pues, que esas contrastaciones son posibles sólo si es necesario para la significatividad el que existan esos apareamientos.
La formulación clásica del criterio empirista de significado es la siguiente: una palabra adquiere un significado al asociarse con una determinada idea de manera tal que la aparición de la idea en la mente da salida a la emisión de esa palabra y, a su vez, la audición de la palabra tiende a provocar la aparición de esta idea en la mente del oyente. todas las ideas son copias o transmutaciones de copias de las impresiones de los sentidos. Por tanto, una palabra puede tener significado sólo si se ha establecido una asociación entre esa palabra y una idea derivada de la experiencia sensorial. En este sentido todo significado se deriva necesariamente de la experiencia de los sentidos.
En todas las formas del empirismo excepto en la más ingenua, el lenguaje se divide en niveles o estratos semánticos. El nivel fundamental está constituido por las palabras que adquieren su significado a partir de su asociación con elementos que pueden experimentarse directamente. Se sigue de aquí que, para poder adquirir un significado, las otras palabras deben poder definirse en términos de las palabras del primer nivel y, además, probablemente, en términos de otras palabras que hayan sido ya definidas. Algunas palabras adquieren su significado a partir de la experiencia más directamente que otras, pero en cualquier caso, directa o indirectamente, la experiencia es la fuente del significado para todas las palabras.
Los positivistas lógicos introdujeron en primer lugar el principio de que para que uno pudiese hablar con sentido se debería poder especificar una manera de verificar empíricamente lo que se decía; en otras palabras, debía ser posible especificar qué observaciones podían incidir en contra o a favor de la verdad de lo que se decía.
Cuando los positivistas imponen la verificabilidad como condición de la significatividad no están con ello afirmando que sólo sean significativas las oraciones que han sido verificadas. Los positivistas admiten que hay oraciones perfectamente significativas que no han sido contrastadas todavía, e incluso enunciados significativos cuya contrastación es de momento imposible. Al exigirverificabilidad, los positivistas exigen simplemente que sea posible especificar cómo podría ser esa prueba empírica, no pretenden que la prueba se haya llevado a cabo. Verificabilidad es posibilidad de verificación.
En tanto en cuanto podamos proporcionar una especificación inteligible de las observaciones que establecerían la verdad o la falsedad de ese enunciado, habremos satisfecho el criterio de verificabilidad del significado.
Del acuerdo con el uso que los positivistas hacen del término 'verificabilidad', verificabilidad es en realidad equivalente a la disyunción 'verificable o falsable', es decir, 'susceptible de que pueda decirse que es verdadero o falso'. Por tanto, lo que realmente se exige es que una determinada oración sea susceptible de contrastación empírica.
Una oración es significativa si y sólo si puede contrastarse empíricamente.
Las primeras formas del criterio de verificabilidad exigían la completa verificabilidad, es decir, no podía admitirse que una oración fuera significativa a menos que fuese posible especificar una manera de mostrar conclusivamente, por medio de datos empíricos, que esa oración era verdadera o falsa. Enseguida se vio que esta exigencia era demasiado fuerte, puesto que excluía, por ejemplo, todas las generalizaciones que carecen de restricciones. Los positivistas modificaron este criterio de modo que requiriese tan sólo la especificación de observaciones que incidiesen en contra o a favor del enunciado, que sirviesen para confirmarlo o negarlo en alguna medida.
Para Ayer, "un enunciado es literalmente significativo si, y sólo si, es analítico o empíricamente verificable". Por literalmente significativo, Ayer entendía "susceptible de ser mostrado verdadero o falso". Las proposiciones de la ciencia son de dos tipos: analíticas y empíricamente verificable. De este modo, la ciencia se constituye o bien en matemática y lógica formal, o en dato factual verificable.
¿Cómo una proposición carente de contenido empírico puede ser verdadera, útil e, incluso, sorprendente? Ayer, ante esta pregunta, se niega a buscar refugio en el racionalismo y mantener la tesis de este en su aseveración de que la razón sea fuente de conocimiento, independientemente de la experiencia y más válida, incluso, que ella. Por tal causa, intentará demostrar que las proposiciones analíticas o bien no son acerca del mundo, o bien no son verdades necesarias, ya que para él no se dan "verdades de razón".
Los enunciados analíticos se verifican o falsan simplemente apelando a las definiciones de los signos usados en ellos. Si resultan ser tautologías, son verdaderos; si resultan contradictorios, son falsos. Se trata del mismo planteamiento kantiano. Las proposiciones analíticas no nos dicen nada sobre la realidad, ya que son independientes de ésta. ¿Por qué, entonces, estas proposiciones analíticas no resultan absurdas como las de la metafísica? ¿Cuál es su valor? Según Ayer, estas proposiciones poseen cierta capacidad de sorpresa y nos son valiosas en tanto en cuanto nos hacen caer en la cuenta sobre el uso de ciertos símbolos que antes no apreciábamos con claridad. No aumentan nuestro conocimiento, pero hacen más fácil el camino de la invención.
Todos los demás enunciados significativos pueden ser verificados o falsados mediante las observación empírica. Las proposiciones empíricas "son todas y cada una, hipótesis que pueden ser confirmadas o desautorizadas por la experiencia sensorial real […] no hay proposiciones finales". Lo que la experiencia debe confirmar o refutar no es una mera hipótesis, sino todo un sistema de hipótesis que, por tanto, siempre se encuentra sometido a cambios posibles según las corroboraciones empíricas que se lleven a cabo. La función de tal sistema de hipótesis es la de predecir anticipadamente experiencias, sensaciones futuras. En caso de que nuestras expectativas respecto a dichas hipótesis se cumplan, se habrán verificado. Es decir, hecho verdad. En caso contrario, resultarán falsas. De este modo, nuestras verdades empíricas nunca serán absolutamente válidas. Siempre existirá la posibilidad de hallar una experiencia que las contradiga. Al menos, en teoría. Por ello, la observación aumenta el grado de confianza con el que es razonable mantener una hipótesis. Y, en consecuencia, "la racionalidad de una creencia se define no en relación a una norma absoluta, sino en relación a una parte de nuestra propia práctica real". Nada que no sea verificable puede caer en el ámbito de la verdad. Pero, ¿qué es verificable? Lo verificable es aquello que entra dentro de los contenidos sensoriales. Entonces, los objetos materiales aparecen como construcciones lógicas a partir de lo sensorial.
Hay que distinguir dos órdenes de verificación: directa e indirecta. Si un enunciado, por ejemplo, afirma algo respecto a una percepción actual, pongamos por caso "en estos momentos yo veo un cuadro rojo sobre un fondo azul", entonces el enunciado puede probarse directamente acudiendo a mi percepción actual. En la verificación de tipo indirecto se trata de proposiciones que no son verificables en sí mismas, pero que sí lo son mediante verificación directa de otras proposiciones ya verificadas con anterioridad.
Por ejemplo: sea el enunciado E1: "Esta llave está hecha de hierro". Entre los diversos modos de verificar E1 se encuentra el de índole magnética. Por experiencias anteriores está comprobado que un imán atrae a los objetos de hierro. Entonces puede inferirse que "esta llave es de hierro" siguiendo este modelo de razonamiento:
E1 Esta llave está hecha de hierro (Proposición, cuyo contenido quiere ser verificado)
E2 Si un objeto de hierro es colocado cerca de un imán es atraído por éste (Dato físico perteneciente ya a experiencias comprobadas, verificadas)
E3 Este objeto -una barra- es un imán. (Dato igualmente comprobado y verificado por experiencias previas)
E4 La llave es colocada cerca de la barra o imán (Dato que nosotros constatamos mediante observación directa)
E5 La llave es ahora atraída por el imán o barra (Conclusión que se verifica igualmente de modo directo)
Si se analiza este proceso, en seguida salta a la vista que no sale nunca de la dimensión experimental y que consta de dos clases de proposiciones: las ya verificadas y certificadas por experiencias previas de la ciencia (E2, E3) y las verificadas inmediatamente por nosotros (E4, E5). Las proposición E1 no era directamente verificable. ¿No se construyen también llaves de oro, bronce o plata? ¿Cómo hacer verdadera -verificar- nuestra proposición E1? Los enunciados E2 y E3, pertenecientes de antemano a lo ya comprobado científicamente, posibilitan una constatación empírica que se expresa en E4 de la que se infiere que la llave está hecha de hierro. Caso contrario, el científico o habría de negar que el hierro fuera elemento constitutivo de la llave, o buscar alguna explicación plausible del dato negativo experimental. Y cuantas más sean las experiencias positivas tanto más se acercará el científico a una certeza "casi absoluta".
De esta manera, toda aseveración científica debe afirmar algo acerca de percepciones actuales o acerca de otra clase de observaciones y, entonces, es verificable por ellas; o bien afirmar enunciados acerca de futuras experiencias que se infieren de la unión de datos científicos u otros que se someten a constatación empírica. Todo aquello que caiga fuera de esta dimensión, no pertenece a la ciencia. Su lenguaje no es significativo, científicamente hablando. La ciencia, pues, es un sistema de hipótesis verificables que, en última instancia, tocan la realidad. Y todas las proposiciones de su lenguaje expresivo son reducibles a "enunciados atómicos", "juicios de percepción", "proposiciones protocolares" que son propiamente las empíricas en sentido estricto.
La conclusión de este análisis añadía a la división clásica de proposiciones analíticas y sintéticas otro tipo de proposiciones, propias en particular de la metafísica: las carentes de significación que, como tales, eran meramente expresivas de pseudoproblemas. El lenguaje filosófico es de esta naturaleza vacío de significado e indecible según los cánones de la ciencia. ¿Cómo fue posible este grave equívoco multisecular de la cultura?. Según Carnap, tomando como punto de partida unas estructuras lógicas y gramaticales correctas, puede llegarse a proposiciones sin sentido en virtud de que su contenido es inverificable. Veamos el análisis carnapiano de la expresión de Heidegger "¿Cuál es la situación en torno a la nada? […] La nada anonada". Carnap pone en dos columnas los posibles tipos de respuesta:
¿Qué hay fuera?
| I
|
II
|
De estas dos columnas, sólo la I se atiene a la corrección tanto gramatical como lógica. Pero ello da pie a la formación de otras proposiciones en II, carentes de sentido y que, en consecuencia, ni siquiera son expresables en un lenguaje lógico. La sintaxis gramatical de "afuera hay lluvia" es plenamente correcta, pero hace posible la construcción sintáctica "afuera nada hay", que carece de significado. Y esto porque "nada" no es término que pueda derivarse o retrotraerse a expresión alguna ligada con la experiencia. O lo que es lo mismo, "nada" no puede ser controlado ni verificado. Y, al no poder serlo, pierde cualquier interés científico. Por igual motivo, la proposición "la nada anonada", aunque construida en conformidad con la estructura sintáctica de "la lluvia llueve" -expresión analítica o tautológica-, resulta también sin significado científico. Es pura poesía. Pero a la poesía no se le pregunta si es o no verdadera. Sencillamente, decimos que nosagrada o nos desagrada. Los problemas metafísicos y filosóficos son, para la doctrina carnapiana, todos de índole retórica o poética. Los filósofos, del mismo modo que los poetas, sistematizan elucubraciones que obedecen a estados emocionales frente a la vida. La filosofía debe ser sustituida por la lógica de la ciencia. Es decir, las ciencias que, fundamentalmente, consisten en la sintaxis formal de su lenguaje.
Carnap distingue entre semántica descriptiva y semántica pura. La primera versa sobre los lenguajes naturales e históricos. Puede referirse a una lengua concreta, a un grupo de ellas o a todas las que existen en general. Siempre se trata, aquí, de la descripción de datos empíricos. Por este motivo, es una ciencia de enunciados sintéticos. Y su campo de estudio compete a la lingüística. La semántica pura, en cambio, es de índole analítica y tiene como objeto la interpretación del significado de sistemas lógicos formalizados. Por tanto, su acción recae sobre lenguajes idealmente perfectos. La tarea del filósofo semantista consistirá, pues, en buscar definiciones exactas y adecuadas de los conceptos semánticos ordinarios y de otros nuevos a fin de elaborar una teoría basada en dichas definiciones.
Carnap realiza un análisis tridimensional de la semiótica dividiendo a ésta en sintaxis, semántica y pragmática. La sintaxis se preocuparía de las relaciones de los signos entre sí, haciendo abstracción de los objetos o de los usuarios de las diferentes formas simbólicas. El ámbito semántico estudiaría, entonces, las relaciones de los signos con sus designata. La semántica contiene reglas que nos señalan las condiciones en virtud de las cuales un signo es aplicable a un objeto o a una situación. Según estas reglas, un signo denota todo lo que se ajusta a dichas condiciones, determinando en concreto su designatum.
En la construcción de la semántica carnapiana se parte de la distinción entre metalenguaje y lenguaje-objeto. Aquí, los lenguajes-objeto son siempre sistemas formalizados. Para elaborar un sistema semántico S de primer orden con un número finito de constantes de individuo son necesarias, según Carnap, tres cosas: en primer lugar, se precisa una clasificación de los signos deS. Se trata de algunas nociones sintácticas que se presuponen, como las de constantes de individuos y predicados, variables igualmente de individuos y de predicados, signos lógicos y signos auxiliares. En segundo lugar, debe definirse qué es lo que se entiende por "termino en S", "fórmula en S" y "sentencia en S", señalando el modo de combinación de los signos para la construcción de expresiones correctamente formadas, sean atómicas o moleculares. Y, por último, se ha de llevar a cabo también la definición de "designación de individuos en S", y "designación de atributos primitivos de grado n en S".
Por otra parte, en conexión con el concepto de "designación" se dilucida la "determinación en S", mediante la cual se indica qué entidades se especifican en las proposiciones funcionales y qué atributos se precisan en la funciones proposiciones. De aquí deriva lo que Carnap denomina "condición satisfactoria". Por ejemplo, se dice que un objeto x satisface una sentencia o función sentencial de una variable dada, si y solamente si x posee la propiedad que esta sentencia o función sentencial determina. A todo esto, deben añadirse las "reglas de valores" y la definición de "verdadero en S". Las reglas de valores indican el ámbito de las variables o su universo de discurso. La definición de "verdadero en S", en cambio, nos enumera las condiciones necesarias y suficientes para que se pueda aplicar a una sentencia el predicado metalógico "verdadero".
Carnap tiene, ante los ojos, el cálculo proposicional de dos valores o bivalente: toda sentencia ha de ser verdadera o falsa, y examina si dicho cálculo puede ser una formalización completa de la lógica. Con este fin, lo interpreta desde la semántica comprobando, así, que contiene en su sistema todas las proposiciones lógicas que intenta representar. Basta, para conseguir esto, aplicar las reglas de designación semántica que indican las entidades a las que se refiere el cálculo, y las reglas correspondientes de verdad.
El significado, en esta versión referencial carnapiana, queda reducido a su pura dimensión lógica. Y remite a un mundo construido por medio de la lógica, método de la ciencia y de la filosofía de la ciencia. La lógica, además es instrumento de unificación de las diversas ciencias.
En "Dos dogmas del empirismo" Quine criticó las dos doctrinas puntales del empirismo lógicos ("dogmas" los denomina él. Estas dos doctrinas son:
Para cada proposición o enunciado existe el conjunto de las experiencias u observaciones que la confirmarían (y el conjunto de aquellas otras que la desconfirmarían)
Hay dos grandes clases de proposiciones: las analíticas, que son aquellas que resultan confirmadas o desconfirmadas, según sean verdaderas o falsas, por cualesquiera datos de observación, y las sintéticas, que son aquellas que resultan confirmadas, o desconfirmadas, por experiencias y observaciones específicas.
De estas dos doctrinas, la primera -el llamado por Quine dogma reductivista- tiene una versión fuerte que nos es más familiar: que para cada proposición con significado empírico (o cognitivo) existe su traducción a un lenguaje fenomenista. La versión (1) es menos exigente que esta última, pero igual de útil. Ambas versiones comparten lo que de hecho es objeto de la crítica de Quine: que es legítimo hablar del significado (cognitivo, empírico) de una proposición considerada aisladamente de las demás. Frente a esto, Quine arguye que, en general, no puede decirse que toda proposición tenga un fondo de experiencias confirmatorias que puede considerarse propio. La puesta en cuestión de (1) conduce, por lo tanto, a una seria modificación de la teoría verificacionista del significado.
El rechazo de (2) atenta, por su parte, contra otro de los pilares del empirismo lógico: aceptar que hay dos clases de proposiciones, las analíticas y las sintéticas, proporcionaba al filósofo empirista una salida a la hora de dar cuenta del estatuto de las proposición de la lógica y de la matemática. Si se renuncia a (2) los problemas que el filósofo empirista creía resueltos vuelven a hacer acto de presencia.
Según el Quine de "dos dogmas", estos dos pilares son mucho menos sólidos de lo que podría parecer. El argumento de Quine puede desglosarse en dos pasos. El primero de ellos consiste en apercibirse de que (1) implica (2): si está justificado hablar del significado de una proposición, habrá que contar con el caso límite de proposiciones que sean verdaderas y cuyo significado empírico sea nulo. Una vez que hablamos de la posibilidad de que haya experiencias que confirmen una proposición, no podremos excluir el caso de esas proposiciones cuyo conjunto de consecuencias confirmatorias (o desconfirmatorias) sea vació. Semejantes proposiciones serán verdaderas o falsas con independencia de qué experiencias se tomen como piedra de toque. (Estas serán las proposiciones analíticas).
El segundo paso consiste en ver cómo los intentos de definir criterios de distinción entre proposiciones analíticas y proposiciones sintéticas fallan sistemáticamente hasta un punto en que llegamos a convencernos de que el criterio buscado simplemente no existe. En ese mismo momento concluimos que (2) es un principio falso. Ahora bien, si (1) implica (2) y si éste es falso, el principio (1) también habrá de serlo (según un razonamiento en modus tollens). Con esto, los dos dogmas han sido rebatidos.
En Dos dogmas Quine examina detenidamente diversos criterios de distinción entre lo analítico y lo sintético. Veamos alguno de estos argumentos:
Una idea popular que parece estar de acuerdo con la distinción analítico-sintético es ésta: si deseamos saber si un enunciado es analítico -es decir, verdadero en virtud del significado de sus términos- basta con que consultemos en un diccionario el significado que poseen. Esa consulta permitirá determinar, sin investigar cuáles son los hechos del mundo, su verdad o falsedad. Así, por ejemplo, una ojeada de la palabra hombre, en un diccionario mínimamente completo, nos permitirá dar con la acepción oportuna que verifique el carácter analítico de la proposición:
a) Los hombres son seres dotados de razón
Sin embargo, semejante maniobra aplicada a la palabra araucaria será incapaz de establecer el valor de la verdad de la proposición
b) En Ibiza hay araucarias traídas por emigrantes isleños.
La diferencia se explica por la analiticidad de (a) y la sinteticidad de (b). La distinción parece, por tanto, impecable.
A este planteamiento Quine objeta que los diccionarios sean el tipo de obra que contiene los significados de las palabras, si por significado se entiende algo diferente de información empírica o información relativa a los hechos (es decir, al mundo). Por el contrario, los diccionarios recogen los usos de las palabras, y los lexicógrafos que los organizan y los redactan no entran en la cuestión de si sus definiciones plasman significados u otra cosa distinta. De hecho, raro será el diccionario que, en la entrada correspondiente a esmeralda no diga que las esmeraldas son verdes. Significa esto que la proposición (c) "Todas las esmeraldas son verdes" es una proposición analítica, es decir, con independencia de cómo es el mundo, de cómo son las esmeraldas? La respuesta es tajantemente negativa. (Es más, hay diccionarios que llegan a decir cosas tales como que las esmeraldas están formadas de silicato de alúmina y de glucina teñido de óxido de cromo. El que tales sustancias den lugar a un bello color verde cuando se tiñen de óxido de cromo no es, con seguridad, una circunstancia puramente lingüística, sino un afortunado accidente de la naturaleza). Por consiguiente, o bien admitimos que (c) no expresa un hecho del mundo, o bien renunciados a la idea de que los significados de las palabras son esas cosas que dan los diccionarios.
Una vez arruinada la doctrina de que hay verdades en virtud del lenguaje y verdades en virtud de los hechos, la concepción empirista del sistema del conocimiento humano ha de cambiar de un modo radical. Ya no hemos de admitir, para empezar, que las verdades lógicas y matemáticas estén a salvo de refutación empírica. Todas las proposiciones habrán de considerarse, a partir de ahora, sintéticas en un mayor o menor grado. Proposiciones como 7+5 = 12, que hasta ahora se han considerado necesarias, no tienen un estatuto diferente de (b) o (c). Esto no significa que haya en algún lado observaciones o experiencias que muestren que 12 no es el resultado de sumar 7 y 5. Significa que no hay nada que excluya, como posibilidad lógica, un vuelco tal en el sistema de todo nuestro conocimiento que quite a esas proposiciones el lugar que hasta el momento se les ha reconocido.
Esta idea se capta mejor si se tiene en cuenta que las proposiciones no se confirman una a una, sino en bloques o conjuntos. Esto es especialmente cierto en el caso de las afirmaciones de la ciencia con un contenido teórico más alto (es decir, de aquellas proposiciones que hablan de entidades inobservables). Ninguna de ellas está sujeta por sí sola a confirmación. Lo está en conjunción con otras proposiciones auxiliares de diverso tipo o incluso en conjunción con otras teorías científicas. Por ello, cuando una proposición queda aparentemente refutada, es posible mantenerla a salvo como verdadera efectuando cambios en -o renunciando a la verdad de- las proposiciones adyacentes o acompañantes. Cabe, además, la posibilidad de que estos cambios sean menos drásticos y mutilen menos el cuerpo de conocimiento acumulado si se efectúan sobre el aparato lógico o matemático de la teoría o teorías implicadas en el caso. El que una posibilidad como esta no pueda olvidarse es lo que permite a Quine afirmar que todas las proposiciones pueden ser objeto de revisión.
Para el empirismo clásico todas las verdades sobre el mundo derivan inductivamente de la experiencia. A esta visión opone Quine la de que todas las verdades (sin restricción) pueden serconfutadas por la experiencia. El matiz importante arrastra consigo la cláusula de que no se confirman (verifican) proposiciones una a una y por separado, sino en bloques o conjuntos de proposiciones. Esta doctrina recibe el nombre de holismo semántico. La renuncia a la distinción analítico-sintético y la adhesión al holismo semántico son pasos obligados en la adhesión a un empirismo sin dogmas.
Las teorías descriptivas de la referencia aceptan la tesis según la cual los términos generales tienen tanto un sentido, o intensión, como una referencia, o extensión. De acuerdo con las teorías descriptivas, la intensión determina la extensión, es decir, si conocemos la intensión de un término podemos fijar con toda precisión su extensión. Dos hablantes competentes del castellano que tengan en su vocabulario la palabra "tigre" habrán "captado" el mismo concepto, y estarán en el mismo estado psicológico. Es por tanto indiferente partir de que la intensión determina la extensión, o considerar que el estado psicológico (que determina la intensión) es el que determina la extensión.
Putnam comienza su reflexión pidiéndonos que imaginemos que en la galaxia se encuentra un planeta, idéntico en todo a la Tierra, excepto en aquellos aspectos relevantes para la argumentación, al que llamaremos Tierra-Gemela. Supongamos que una de las diferencias entre los dos planetas radica en que el agua de la Tierra-gemela, idéntica a la nuestra en todas las características superficiales, no es H2O, sino que tiene una fórmula química que representaremos como XYZ. Por supuesto que los hispanohablantes de la Tierra-gemela usan la palabra "agua" exactamente del mismo modo que nosotros, pero lo que allí se llama "agua" no es H2O, sino XYZ.
Consideremos un hablante terráqueo llamado Ángel y su réplica en la Tierra-gemela, Ángel-g. Situémonos en el año 1750, antes del descubrimiento de la química. Ángel y Ángel-g se encontraban en el mismo estado psicológico: ambos concebían el agua como el líquido incoloro, que llena los ríos, etc.; la intensión del término "agua" es idéntica. Sin embargo, cuando Ángel, en la Tierra, usa el término "agua", de lo que está hablando es de H2O, mientras que cuando en la Tierra-gemela Ángel-g utiliza el mismo término está hablando de XYZ. Queda claro que el estado psicológico del hablante (y por tanto la intensión) no determina la extensión, aquellas cosas en el mundo de las que el término es verdadero. Esto es así aunque los hablantes y sus comunidades lingüísticas desconozcan la composición química del agua.
La razón por al cual el término "agua" tiene la misma extensión en 1750 que en la actualidad es su rigidez, el hecho de que en ninguno de los dos momentos históricos es sinónimo del conjunto de propiedades que definen el concepto agua.
Si se introduce el término "agua" mediante una definición ostensiva que utiliza una determinada muestra con una fórmula del tipo "a esto se le llama 'agua'", se presupone que este líquido es el mismo que aquel al que en mi comunidad lingüística se le llama agua. De este modo se establece la condición necesaria y suficiente que ha de cumplir una sustancia para ser agua: la de hallarse en la relación "mismo líquido" (mismoL) con la sustancia de la muestra. Ahora bien, precisar esta relación mismoL es algo que compete a la ciencia de cada momento histórico, y se pueden cometer errores. Pero estos errores no implican que el significado del término "agua" sufra variaciones a lo largo de la historia, puesto que la intención de los hablantes siempre ha sido la de aplicar el término a aquella sustancia que comparta la naturaleza de aquello a lo que realmente se considera tal, y nunca ha existido la pretensión de hacer el término sinónimo de las descripciones, científicas o no, de la sustancia en cuestión. El significado es constante, pero nos podemos equivocar al determinar la extensión.
Así, el hecho de que un hispano-hablante podría haber llamado "agua" a XYZ en 1750, aunque él o los que siguiesen no habrían llamado agua al XYZ en 1800 o en 1850, no significa que el "significado" de "agua" cambiara en ese intervalo para el hablante medio. En 1750 o en 1850 o en 1950 uno podría haber apuntado con el dedo al líquido del lago Michigan en tanto que ejemplo de "agua". Lo que cambió fue que en 1750 habríamos pensado erróneamente que XYZ guardaba la relación mismoL con el líquido del lago Michigan, mientras que en 1800 o en 1850 habríamos sabido que ése no era el caso (ignoro, naturalmente, el hecho de que el líquido del lago Michigan era en 1950 un agua dudosa) (H. Putnam, "El significado de 'significado'", en L. M. Valdés,La búsqueda del significado, pp. 131-194 (p. 142)
Con respecto a los deícticos (aquellas expresiones cuya referencia sólo puede determinarse en función de ciertas características del contexto de emisión, "yo", "aquí", etc.), tienen convencionalmente asignado un sentido, pero ese sentido no es suficiente para determinar la referencia. sólo el conocimiento del contexto de uso puede hacerlo. En este caso, también se puede afirmar que la intensión no determina la extensión. Pues bien, en la teoría de Putnam, el medio natural imprime a los términos de género natural una cierta indicabilidad en la medida en que proporciona el contexto en el que se fija la referencia y por tanto determina el patrón que sirve para juzgar la pertenencia o no a una clase de cualquier ejemplar:
Nuestra teoría puede resumirse diciendo que palabras como "agua" tienen un elemento indicador oculto: el "agua" es una sustancia que guarda con el agua de por aquí una cierta relación de similaridad. En un tiempo o en un lugar distintos, o incluso en otro mundo posible, el agua,si es que ha de ser agua, ha de estar con nuestra "agua" en la relación mismoL. Así pues, la teoría de que (1) las palabras tienen "intensiones", que son algo parecido a los conceptos vinculados a las palabras de los hablantes; y que (2) la intensión determina la extensión, no puede ser verdadera en lo que toda a las palabras que designan clases naturales, como "agua", por la misma razón por la que no puede ser verdadera para el caso de palabras obviamente indicadoras, como "yo" (ibid., p. 152)
¿Cómo se articula la determinación de la referencia con el hecho innegable de que distintos hablantes tienen distinto conocimiento de la misma, es decir, que no todos los hablantes competentes en castellano saben que el agua es H2O y, sin embargo, estos son los criterios determinantes para clasificar a una determinada sustancia como agua?
Conforme las sociedades crecen en complejidad y la ciencia se desarrolla, un número mayor de palabras precisan de un conocimiento especializado acerca de la naturaleza de su extensión y del tipo de pruebas para determinarla. El hablante medio tiene un conocimiento acerca de la extensión de este tipo de palabras que se limita generalmente a las características observables y que no incluye, desde luego, aquellos criterios que permiten fijar con precisión su extensión. Pero cualquier hablante sabe que, en caso de necesidad, puede recurrir a algún experto capacitado para precisar si un determinado ejemplar pertenece o no a la clase de que se trate. De este modo, la determinación de la extensión depende de la cooperación social, y no es función del conocimiento de cada hablante competente. Los criterios que se utilicen para determinar la pertenencia o no de un ejemplar a la extensión del término general, se encuentran presentes en la sociedad colectivamente considerada, estableciéndose lo que Putnam denomina "división del trabajo lingüístico".
Si no todo lo que se sabe acerca de un género natural tiene que ser conocido por el hablante medio, ¿qué tipo de conocimiento es suficiente para poderlo considerar competente en el lenguaje? Cuando alguien nos pregunta por el significado de un término de género natural, la respuesta adopta típicamente la forma de una ostensión, o, si no disponemos en el entorno de un ejemplar del género natural en cuestión, ofrecemos una descripción. Esta descripción integrará las características usuales de los miembros normales de las clase de que se trate. A este conjunto de rasgos generales lo denomina Putnam estereotipo. Para considerar que una persona conoce una determinada palabra, son necesarios los siguientes requisitos: 1) ha de hacer un uso cabal de la misma, 2) su posición en su entorno social y natural ha de ser tal que la extensión del término en cuestión ha de ser, efectivamente, la totalidad de ese término. Esta cláusula pretende excluir del conjunto de usuarios conocedores de una palabra a los hablantes de la Tierra-gemela que denominan "agua" a un líquido distinto al agua de la Tierra. Este conocimiento mínimo de los términos constituye el estereotipo, que Putnam define así:
En el habla ordinaria, un "estereotipo" es una idea convencional (frecuentemente maliciosa y que puede ser harto imprecisa) de cómo parece ser, de cómo es o de cómo se comporta un X. Obviamente, exploto algunos de los rasgos del habla común. No me ocupo de estereotipos maliciosos (salvo donde el lenguaje mismo lo sea); lo hago de ideas convencionales, que pueden ser imprecisas. Sugiero que ideas convencionales así se hallan asociadas a "tigre", a "oro", etc., y más aún: que esto es el solo elemento de verdad que hay en la teoría del "concepto".
De acuerdo con esta tesis, a quien sepa lo que significa "tigre" (o, como hemos decidido hacer en su lugar, quien haya adquirido la palabra "tigre") se le pide que sepa que los tigresestereotípicos tienen la piel rayada. Dicho en términos más precisos: hay un estereotipo de los tigres (él puede tener otros) que la comunidad lingüística como tal exige: se le pide que tenga este estereotipo y que sepa (implícitamente) que es obligatorio. Este estereotipo debe incluir el rasgo de las rayas en la piel, para que su adquisición se juzgue conseguida (ibid., pp. 169-70)
Si bien los estereotipos recogen rasgos verdaderos de los miembros normales de la clase de que se trate, puede ocurrir que incluyan algún error que, no obstante, facilite la comunicación. El tipo y la cantidad de información que integran el estereotipo dependerán del tema y de la cultura.
El conocimiento que la comunidad lingüística exige al hablante individual y que garantiza la comunicación, queda muy por debajo del que es necesario para la determinación de la referencia en el caso de los términos de género natural. Para esta función se requiere tanto la cooperación de la sociedad como la del entorno natural. La sociedad interviene a través de la división del trabajo lingüístico, y el entorno natural proporcionando las muestras paradigmáticas que determinan la extensión. De ahí el eslogan putnamiano "los significados no están en la cabeza". De qué hable alguien no es función de lo que conoce acerca de la extensión. Cuando un hablante castellano habla del oro se está refiriendo, en virtud de cómo está situado en su comunidad lingüística y en el mundo natural, a lo que se define como "metal amarillo de los llamados 'preciosos', número atómico 79, se encuentra en la naturaleza sólo nativo, es uno de los metales más pesados, muy dúctil y maleable y atacable sólo por el cloro, el bromo y el agua regia". Ésta es la extensión del término "oro" que está utilizando, aunque lo único que él sepa acerca del oro es que se trata del metal amarillo con el que se hacen las joyas.
Kripke ha originado lo que se ha llamado "nueva teoría de la referencia", o también la denominada teoría de la referencia directa. Según Kripke no es necesario que el hablante conozca las características del referente de modo tal que este conocimiento resulte idóneo para fijar un único objeto en la realidad extralingüística. Kripke argumenta, además, en contra del carácter necesario de la relación entre el nombre y la mayoría de las propiedades que se atribuyen a su portador.
Según las teorías descriptivas, consigo referirme a alguien si conozco algún dato que le identifica de manera unívoca. La pregunta es: ¿es cierto que asociamos a los nombres propios que usamos este tipo de conocimiento? Y, si no es así, ¿realmente no conseguimos referirnos a un particular? Para responder a estas preguntas Kripke propone el siguiente ejemplo: lo único que saben de Einstein la mayoría de los hablantes es que fue el autor de la teoría de la relatividad, pero si se les pregunta qué saben de la teoría de la relatividad, en general, lo único que saben es que es la teoría de Einstein. Se incurre, pues, en una circularidad que no puede, en ningún caso, constituir el conocimiento suficiente para identificar a un individuo en la realidad extralingüística. Sin embargo, cuando un hablante de este tipo afirma "Deberían de explicar la teoría de Einstein en las facultades de Filosofía", nos parece claro que, a pesar de todo, se refiere a Einstein.
Es decir, aún sin poseer un conocimiento identificador unívoco del referente, un hablante puede conseguir referirse a un particular. Sorprendentemente, también cuando un hablante asocia al nombre una descripción identificadora errónea, intuimos que consigue referirse con éxito. Mucha gente diría de Cristóbal Colón que fue el primer europeo que pisó suelo americano, descripción que es verdadera de algún nórdico.
Los dos ejemplos anteriores no dependen para su validez de que el error sea algo individual; la situación es similar cuando el error se extiende a la totalidad de los miembros de una comunidad lingüística
Estos dos ejemplos no dependen para su validez de que el error sea algo individual; la situación es similar cuando el error se extiende a la totalidad de los miembros de una comunidad lingüística. Otro ejemplo. Para la mayoría de los miembros de nuestra sociedad, "Bizet" es el nombre del compositor de la ópera Carmen. Imaginemos que Bizet no compuso en realidad la obra, sino que se apropió de ella furtivamente. Este hurto fue posible gracias a que Bizet fue el único testigo de la muerte de su autor real, M. Grévy, que había dejado la ópera concluida en una repisa de su estancia, pudiendo de este modo Bizet sustraerla sin levantar sospechas. De acuerdo con la teoría descriptiva, el referente de un nombre propio es el objeto que satisface la/s propiedad/es expresadas por el sentido; por lo tanto, el referente de "Bizet" es el objeto del cual se puede predicar con verdad que es el autor de la ópera Carmen, es decir, M. Grévy. Pero nuestras intuiciones nos dicen que esto no es así, que a pesar del hurto, cuando alguien utiliza el nombre propio "Bizet" habla realmente de Bizet y no de M.l Grévy. La posibilidad definición ijar el referente mediante una propiedad contingente que puede a la postre ser falsa, permite dar cuenta de este tipo de fenómenos.
Un caso más opuesto si cabe a las pretensiones de las teorías descriptivas viene dado por la posibilidad de referirse a alguien a pesar de que todo lo que se sabe de él constituya una leyenda. Kripke ilustra esta posibilidad con el caso del personaje bíblico Jonás. Aunque los eruditos bíblicos piensan que existió, todo lo que se sabe de él (que fue tragado por un gran pez, etc.) es obviamente falso, y no es verdadero de ninguna otra persona. A pesar de todo, es posible referirse a Jonás cuando se utiliza el nombre propio "Jonás".
Las teorías descriptivas de la referencia vinculan la teoría del sentido de los nombres con la teoría de la referencia. Ambas dimensiones son interdependientes: la descripción que constituye el sentido del nombre sirve, al mismo tiempo, para fijar el referente. La propuesta de Kripke podría resumirse diciendo que reelabora el problema de la fijación del referente y lo desliga de la cuestión del sentido. Es decir, una descripción como "La reina egipcia que se suicidó en el 30 a.C. junto a Marco Antonio", puede utilizarse para fijar el referente del nombre "Cleopatra", pero esto no la convierte en sinónima del nombre. De este modo, el carácter contingente de la descripción deja de ocasionar problemas.
La relación entre un nombre y las descripciones asociadas no puede considerarse, según Kripke, una relación de sinonimia. Una descripción, que expresa un hecho contingente acerca del referente, puede usarse para fijar el referente de un nombre, pero, una vez fijado, el nombre funciona comodesignador rígido, pudiendo incluso plantearse la posibilidad de que la descripción usada para fijarlo resulte ser falsa.
El término designador es usado por Kripke para referirse tanto a nombres propios como a descripciones definidas.
Llamemos a algo un designador rígido si en todo mundo posible designa al mismo objeto; llamémosle un designador no rígido o accidental si no es éste el caso [...] Una de las tesis que sostendré en estas charlas es que los nombres son designadores rígidos (El nombrar y la necesidad, p. 56)
Del mismo modo que los nombres propios designan al portador sin ningún tipo de mediación epistémica, los términos de género natural (agua, cebra, ...) designan su extensión rígidamente. Veámoslo con un ejemplo de Kripke. Imaginemos que, debido a una serie de cambios atmosféricos, el agua adquiere un ligero color esmeralda y mantiene el resto de sus propiedades. Sin duda, seguiríamos pensando que el líquido que llena los mares y ríos, etc., es agua. Supongamos que sucede algo similar con el resto de la propiedades observables del agua, de modo que llegamos a dudar si el líquido en que se ha transformado el agua seguirá o no siendo agua. ¿Cuál se supone que sería la reacción natural para salir de la duda? Parece obvio que acudiríamos a un experto parar que averiguara mediante un análisis químico si el líquido en cuestión sigue teniendo la composición química del agua, es decir, H2O. Del mismo modo que la propiedad contingente de ser el maestro de Alejandro Magno podía servir para fijar la referencia del nombre propio "Aristóteles" sin convertirse en su sinónimo, las propiedades observables contingentes del agua pueden servir para fijar la referencia del término de género natural "agua" sin constituirse en su sinónimo. Al igual que el origen de Aristóteles como persona es lo que proporciona el criterio para hablar de una continuidad del referente, la composición química del agua constituye una propiedad que puede ser considerada como esencial, puesto que es lo que define la clase natural en cuestión.
¿Cómo se dilucida la semántica de los términos de género natural? Se postula un bautismo hipotético, que desempeña la misma función que el bautismo inicial en el caso de los nombres propios. Se supone que en un momento dado quedaron asociados, mediante ostensión o definición, un determinado término de género natural con una clase natural concreta. A partir de ese momento, se establece una cadena de comunicación tal que, cuando un hablante usa el nombre de un género natural con el que no ha estado nunca en contacto, consigue referirse a este género por su pertenencia a la cadena causal correspondiente:
el nombre de la especie puede pasarse de eslabón en eslabón, exactamente como en el caso de los nombres propios, de manera que quienes han visto muy poco o ningún oro pueden sin embargo usar el término. Su referencia se determina mediante una cadena causal (histórica), no mediante el uso de ningún ejemplar (El nombrar y la necesidad, p. 145)
Este análisis nos lleva a responder al problema de cómo son posibles los enunciados contingentes de identidad. Este problema es analizado por Kripke en "Identidad y necesidad", y su respuesta es:
... en ambos casos, tanto en el de los nombres como en el de las descripciones, los enunciados de identidad son necesarios y no contingentes. Esto es, son necesarios si es que son verdaderos.
Kripke adopta como noción de necesidad, la necesidad en sentido débil, según la cual es necesario aquel enunciado en el que, siempre que los objetos mencionados en él existan, el enunciado será verdadero.
Su primer argumento a favor de esta postura tiene su base en el siguiente razonamiento lógico:
(1) (x) (y) [x = y) ® (Fx ® Fy)]
(2) (x) (x = x)
(3) (x) (y) (x = y) ® [ (x = x) ® (x = y)] (por sustitución en (1)
(4) (x) (y) ((x = y) ® (x = y))
La postura de Kripke es que cualquiera que crea (2) (y la verdad de (2) parece algo indiscutible), necesariamente tiene que creer (4). Ahora bien, lo que en cuatro se afirma es que los enunciados de identidad son necesarios.
En todo esto, sin embargo, parece haber una paradoja. Para ilustrar esta paradoja veamos el enunciado
Parece ser que este enunciado es un enunciado contingente, a pesar de ser un enunciado de identidad, pues es evidente que no era necesario que el primer director general de Correos fuese el inventor de los lentes bifocales. ¿Cómo conciliar (4) con (5)?. Según Kripke esta aparente paradoja queda resuelta si tenemos en cuenta la noción russelliana de "alcance de una descripción"; es decir, la solución de Kripke consiste en sustituir en (4) los cuantificadores universales por descripciones; según esto, (5) se podría traducir como:
Con esta interpretación de (5), queda salvada la aparente paradoja existente entre (4) y (5), pues se puede mantener la opinión de que (4) es verdadero a pesar de que el hecho mencionado en (5) sea un hecho totalmente contingente.
Ahora bien, ¿qué pasa con los nombres propios?. En una primera aproximación, parece que la función de los nombres propios es la de hacer referencia a un objeto, y no la de describir al objeto nombrado; de aquí se sigue que si a es b, necesariamente a ha de ser b. Según esto, cuando hacemos enunciados de identidad entre nombres, si los enunciados son verdaderos, tienen que ser necesarios. Sin embargo, esto parece falso, como lo "demuestra" el hecho de que
es una verdad contingente, empírica, que podría haber resultado de otra manera, pues, en efecto, es del todo contingente que el objeto celeste al denominamos Hesperus sea el mismo objeto celeste que aquel al que denominamos Phosphorus.
¿Cómo negar que (6) es una verdad contingente y seguir, por tanto, manteniendo nuestra tesis de que "los enunciados de identidad son necesarios, si es que son verdaderos"?. La solución de Russell consiste en afirmar que los nombres propios de (6) no son nombres propios, sino descripciones.
La argumentación de Russell es como sigue:
... si queremos reservar el término "nombre" para cosas que realmente sólo nombran un objeto sin describirlo, los únicos nombres propios genuinos que podemos tener son los nombres de nuestros propios datos sensoriales inmediatos, de los objetos "que se nos hacen presentes de manera inmediata". Los únicos nombres de esa naturaleza que aparecen en el lenguaje son demostrativos tales como "esto" y "eso"
Es claro, según Kripke, que si aceptamos la tesis de Russell, se cumple el requisito de la necesidad de la identidad en los nombres propios. Ahora bien, si por nombre propio entendemos no una noción artificial, tal como la de Russell, sino un nombre propio en el sentido ordinario, entonces parece ser que sí puede haber enunciados contingentes de identidad en los que se usan nombres propios, entonces (4) estaría equivocado. Un ejemplo en favor de esta tesis podría ser el siguiente:
(7) es un enunciado contingente de identidad pues, de lo contrario, no habría sido necesario un descubrimiento científico para conocerlo, lo habríamos sabido desde siempre. Kripke, sin embargo, no está de acuerdo con esta afirmación. Él sigue pensando que los enunciados de identidad son necesarios, si es que son verdaderos. ¿Cómo fundamentar esto?.
La postura de Kripke tiene a su base las dos siguientes distinciones:
(1) Distinción entre designador rígido y designador no rígido. Un designador rígido es aquel que designa al mismo objeto en todos los mundos posibles: 25 = 52. Un designador no rígido, por el contrario, es aquel que no designa al mismo objeto en todos los mundos posibles: "Franklin fue el inventor de los lentes bifocales". Al hablar de designador rígido, Kripke no quiere implicar que el objeto referido tenga que existir en todo mundo posible, esto es, que tenga que existir necesariamente, lo único que quiere decir, es que
... en cualquier mundo posible donde el objeto en cuestión exista, en cualquier situación en la que el objeto existiera, usamos el designador en cuestión para designar a ese objeto. En una situación en la que el objeto no exista, entonces debemos decir que el designador no tiene referente y que el objeto en cuestión así designado no existe (p. 110)
La idea es que nombres propios y descripciones definidas se comportan de modo diferentes en contextos modales. Los nombres propios son designadores rígidos: designan el mismo individuo en todo mundo posible en el que ese individuo existe. Las descripciones definidas son designadores no rígidos: cambian de referencia de mundo posible a mundo posible. Kripke sostiene que las teorías de Frege y Russell confunde las nociones de fijar la referencia y de un nombre y dar el significadodel mismo. Aunque podemos fijar inicialmente la referencia de un nombre por medio de una descripción definida ('Cicerón es el autor del De fato'), al hacerlo utilizamos una propiedad accidental del nombre (pues Cicerón podría no haber escrito De fato) y por ello la descripción no da el significado del nombre. Esa descripción es un designador no rígido porque hay mundos posibles en los que Cicerón no escribió De fato. Una vez que hemos fijado la referencia de un nombre mediante una descripción definida, seguimos usando el nombre como designador rígido de su portador. Todos los nombres son designadores rígidos y, aunque la mayoría de las descripciones son designadores no rígidos, algunas, las que especifican propiedades esencial de los objetos, también son rígidas.
(2) Distinción entre a priori y necesario. Una verdad a priori es aquella que puede conocerse como verdadera independientemente de la experiencia. Un enunciado necesario es aquel que es verdadero y no puede ser de otra manera. Puede darse el caso de que todo lo necesario, seacognoscible a priori, pero ello no hace de estas dos nociones algo idéntico, pues la noción de ser necesario hace referencia a la ontología, mientras que la noción de cognoscibilidad a priori se refiere a la epistemología.
A continuación, pregunta Kripke: ¿todo lo que es necesario es cognoscible a priori o conocido a priori?. Su respuesta es la siguiente: «… no es trivial que sólo porque un enunciado sea necesario pueda ser conocido a priori. Se requieren considerables aclaraciones antes de decidir qué puede conocerse de esta manera. Y así, esto muestra que aun si todo lo necesario es a priori en algún sentido, esto no debe tomarse como una cuestión trivial de definición» (p. 116). Un ejemplo que apoya la postura de Kripke es la conjetura de Goldbach (todo número par es la suma de dos números primos). ¿Es esta conjetura verdadera o falsa? Si es verdadera es necesaria; ahora bien, si éste es el caso, ¿por qué no lo sabemos si todo lo necesario es conocido a priori?.
Otro argumento a favor de la tesis de Kripke es la teoría esencialista. Según esta teoría, si esta mesa está hecha de madera, corresponde a su esencia el estar hecha de madera, de modo que una mesa de hierro no podría ser nunca esta mesa. Ahora bien, esta teoría sólo puede ser verdadera si distinguimos, por un lado, entre verdad a priori y verdad a posteriori y, por otro, entre verdad necesaria y verdad contingente, pues aunque sea necesario el que esta mesa no esté hecha de hierro, esto no es algo que conozcamos a priori pues, ¿cómo podría yo saber, antes de haber visto nunca esta mesa, que estaba hecha de madera y no de hierro?. Ahora bien, dado que esta mesa no está hecha de hierro (y esto es conocimiento a posteriori), necesariamente no está hecha de hierro:
... si P es el enunciado de que el atril no está hecho de hielo, uno conoce por un análisis filosóficoa priori algún condicional de la forma "si P, entonces necesariamente P". Si la mesa no está hecha de hielo, necesariamente no está hecha de hielo. Por otro lado, entonces, conocemos mediante una investigación empírica que P, el antecedente del condicional, es verdadero, que esta mesa no está hecha de hielo. Podemos concluir por modus ponens:
P ® P
P
----------------
P
La conclusión, 'p', es que es necesario que la mesa no esté hecha de hielo y esta conclusión es conocida a posteriori, ya que una de las premisas en las que se basa es a posteriori. De esta manera, la noción de propiedades esenciales puede mantenerse siempre y cuando se distingan las nociones de verdad a priori y verdad necesaria, y yo la mantengo (p. 118)
La argumentación de Kripke continúa del siguiente modo: si en un enunciado de identidad se utilizan designadores rígidos, es claro que los enunciados de identidad son necesarios. Por otro lado, en los enunciados de identidad donde no hay designadores rígidos, lo que ocurre es lo siguiente: el designador no es rígido en el sentido de que podría haber sido, o podríamos haber elegido otro, es decir, que en otro mundo posible podría haber sido otro el designador que hiciese referencia a una determinada cualidad; ahora bien, una vez que el designador no rígido ha sido elegido, se convierte en un designador rígido
... lo que puede ser el caso es que nosotros fijemos la referencia del término 'Cicerón' mediante el uso de una frase descriptiva tal como 'el autor de estas obras'. Pero una vez que tenemos fijada esta referencia, entonces usamos el nombre 'Cicerón' rígidamente para designar al hombre que de hecho hemos identificado mediante su calidad de autor de estas obras. No lo usamos para designar a quienquiera que hubiese escrito estas obras en lugar de Cicerón, si es que alguien más las escribió (pp. 121-122)
Por otro lado, los que defienden que existen enunciados de identidad que no son necesarios, confunden la necesidad de que algo tenga una determinada propiedad, con la contingencia de que la propiedad o propiedades de esa cosa produzcan unos determinados efectos. Por ejemplo, una cosa es que el calor sea el movimiento de las moléculas (esto es necesario), y otra cosa distinta es que el calor produzca en nosotros el efecto que produce (esto es contingente). Los que afirman que hay enunciados de identidad contingentes, confunden la composición del calor con los efectos que produce en nosotros y, por ello, afirman que el enunciado "El calor es el movimiento de las moléculas" es un enunciado contingente, cuando lo que realmente ocurre es que es verdadero.
La formulación clásica de la teoría ideacional arranca del filósofo inglés John Locke, quien, en su Ensayo sobre el entendimiento humano, sección 1, capítulo 2, libro III, dice:
Resulta, pues, que el uso de las palabras consiste en que sean las señales sensibles de las ideas; y las ideas que se significan con las palabras son su propia e inmediata significación.
Éste es el tipo de teoría que, implícitamente, conciben quienes piensan que el lenguaje es un "medio o instrumento para la comunicación del pensamiento", o una "representación física exterior de un estado interno", o la propia de quienes defienden la oración como una "cadena de palabras que expresan un comportamiento completo". En el pasaje inmediatamente anterior al que se acaba de citar Locke dice:
Aun cuando el hombre tenga una gran variedad de pensamientos, y tales, que de ellos otros hombres, así como él mismo, pueden recibir provecho y gusto, sin embargo, esos pensamientos están alojados dentro de su pecho, invisibles y escondidos de la mirada de los otros hombres, y, por otra parte, no pueden manifestarse por sí solos. Y como el consuelo y el beneficio de la sociedad no podía obtenerse sin comunicación de ideas, fue necesario que el hombre encontrara unos signos externos sensibles, por los cuales esas ideas invisibles de que están hechos sus pensamientos pudieran darse a conocer a otros hombres... Es así como podemos llegar a concebir de qué manera las palabras, por naturaleza tan bien adaptadas a aquel fin, vinieron a ser empleadas por los hombres para que sirvieran de signos de sus ideas; no, sin embargo, porque hubiera alguna natural conexión entre sonidos particulares aislados y ciertas ideas, pues en ese caso no habría sino un solo lenguaje entre los hombres, sino por una voluntaria imposición, por la cual un nombre dado se convierte arbitrariamente en señal de una idea determinada (Locke, J., Ensayo sobre el entendimiento humano, México, F.C.E., 1982, II, ii, 1)
Según esta teoría, lo que hace que una expresión lingüística adquiera significado es el hecho de que se la use regularmente en la comunicación como "marca" de una cierta idea; pero las ideas con las que construimos pensamientos tienen una existencia y una función independientes del lenguaje. Sólo porque sentimos la necesidad de transmitir a los demás nuestros pensamientos tenemos que hacer uso de indicaciones observables por todos de las ideas puramente privadas que se deslizan a través de nuestras mentes. Una expresión lingüística adquiere su significado a través de ser usada como tal indicación.
A cada expresión lingüística, a cada sentido distinguible de una expresión lingüística, debe corresponder una idea, de modo tal que cuando se use una expresión lingüística con este sentido, se use como una indicación de la presencia de esa idea. Siempre que se use una expresión lingüística con un sentido dado 1) la idea debe estar presente en la mente del hablante, 2) el hablante debe producir esa expresión para conseguir que el oyente se dé cuenta de que esa idea está en ese momento en su cabeza, y 3) en tanto en cuanto la comunicación tuviera éxito, la expresión debería suscitar la misma idea en la mente del oyente
Sociedad y lenguaje están, en su génesis, estrechamente vinculados. La naturaleza social del hombre se promociona y desarrolla mediante la palabra y su ejercicio, mediante el lenguaje. La significatividad de éste es de carácter convencional. Es decir, no se da conexión natural alguna entre sonidos particulares -palabras- e ideas, ya que entonces existiría únicamente una única lengua, un idioma en el mundo. Al contrario, es por una voluntaria imposición por la que un nombre dado se convierte arbitrariamente en señal de una idea determinada.
El lenguaje cumple dos funciones fundamentales: la de contribuir al desarrollo del conocimiento y la de actuar, como el medio por excelencia que posee el hombre, para comunicar a sus semejantes sus propias experiencias, internas o externas.
La primera función es posible en la medida en que las palabras favorecen la formación y organización de las ideas de extensión universal. Si así no fuera, la mente se disgregaría en la múltiple confusión de las existencias particulares y del vocabulario correspondiente, que habría de abarcar infinito número de términos. Para remediar semejante inconveniente, el lenguaje perfeccionó el uso de las palabras, ampliando el ámbito de su significatividad. De ser signo de ideas particulares, las palabras pasaron a ser también signo de ideas generales, propiciando de este modo su formación, nexo y comparación. Por otra parte, existen en el lenguaje vocablos que los hombres usan, no para significar idea alguna, sino para significar la carencia o ausencia de las mismas. Igualmente, se dan palabras que designan acciones y nociones muy lejanas de lo sensible que, aunque tienen origen en los sentidos, son de índole muy abstrusa, por ser resultado de la abstracción sobre otras abstracciones.
En su segunda función fundamental, el habla da a conocer a quien escucha las ideas de su interlocutor. Esto es posible sólo si el hablante y oyente designan iguales o parecidas percepciones sensibles o sus abstracciones derivadas con idénticas palabras, aceptadas de antemano por libre convención. A esta situación se llega porque, al principio, los hombres han debido referirse a experiencias aproximadamente comunes, al menos en la adquisición de sus ideas simples, a las que han atribuido palabras que las significasen -que fueran su signo- y, con el uso continuado de las mismas, se ha garantizado cierta estabilidad lingüística.
El signo se constituye en tal por su "estar en lugar de otra cosa". Por medio de su referencia, el signo acaba por contener en sí, esa otra cosa a la que remite y que configura su significado. Aquello en lugar de lo cual se utilizan nuestras palabras son nuestras ideas o percepciones, simples o complejas, particulares o generales. Resulta, pues, que el uso de las palabras consisten en que sean señales (signos) sensibles de las ideas; "y las ideas que se significan con las palabras, son su propia e inmediata significación" (Ensayo…, II, ii, 1).
Las palabras significan las ideas de quien las usa, y por medio de aquéllas se pretende expresar éstas. Se da, por tanto, en la significación una referencia de los términos respecto a las ideas o percepciones de cada individuo concreto y particular que los emplea.
Aunque las palabras, según las usan los hombres, solamente significan propia e inmediatamente las ideas que están en la mente de quien habla, sin embargo hacen en su pensamiento una secreta referencia a otras dos cosas. En primer lugar, remiten a las ideas de los otros hombres con quienes sostienen comunicación y que se suponen son iguales o parecidas a las del que habla. Si no sucediera de este modo, no habría comunicación ni entendimiento alguno entre los hablantes. Las palabras, en segundo lugar, remiten también a la realidad de las cosas. Por ello, el lenguaje tiene que ver con la realidad de las cosas. De aquí la relación que debe establecerse entre palabras, sustancias y modos.
Es verdad que las palabras, en virtud de un uso prolongado y familiar, llegan a provocar en los hombres ciertas ideas de manera pronta y constante. Este fenómeno inclina fácilmente a pensar que entre palabra e idea existe un nexo natural. Nada más erróneo, ya que la significación de la palabra es perfectamente arbitraria. Esto se pone de manifiesto en el hecho de que las palabras, con mucha frecuencia, dejan de suscitar en otros las mismas ideas de las que suponemos son signos. Además, todo hombre posee una tan inviolable libertad de hacer que las palabras signifiquen las ideas que mejor le parezcan, que nadie tiene el poder de lograr que otros tengan en su mente las mismas ideas que él tiene cuando usan las mismas palabras que él usa. Es cierto, sin embargo, que el uso común, por un consenso tácito, apropia ciertos sonidos a ciertas ideas en todos los lenguajes.
En la comunicación lingüística, en cuanto es vehículo de conocimiento, aparecen dos niveles: el de la denominación de las ideas y el de la formación de los juicios.
A la hora de expresar una idea -primer nivel- nos encontramos con que las simples son indefinibles, cosa que no sucede con las complejas. Las ideas simples únicamente se adquieren por aquellas impresiones que los objetos mismos hacen sobre la mente. Ahora bien, como las palabras son sonidos, no pueden producir en nosotros ninguna otra idea simple que no sea, precisamente, la contenida en esos sonidos. Lo contrario acontece con las ideas complejas. En éstas importa, sobre todo, conseguir una buena definición. Para ello se precisa enumerar los elementos simples -indefinibles en sí- que están ligados inmediatamente a la experiencia. Con ello se configura la esencia del nombre general o común de las cosas, su esencia nominal. Ésta, por tanto, queda constituida en su contenido significativo a partir de la experiencia procedente del sentido interno o externo, sometida al proceso de abstracción. Así, la esencia nominal debe distinguirse de la esencia real de los singulares y de la objetividad de los mismos.
El segundo nivel, en el que se desarrolla la comunicación lingüística, se construye con el material de las ideas, según conexión o desacuerdo entre las mismas, y genera el ámbito de los juicios o proposiciones, que cobra plenitud en el raciocinio. El acuerdo o desacuerdo de las ideas se realiza, según Locke, en conformidad a cuatro tipos de relación: identidad, diversidad, coexistencia o conexión necesaria y existencia real.
La teoría de Frege tiene a su base dos principios: principio del contexto y el principio de composicionalidad. Según el principio del contexto, «No se debe inquirir por el significado de expresiones separadas, sino que debe investigarse su significado en el contexto de oraciones». Sin embargo, el significado de las oraciones es derivado o secundario con respecto al de las palabras; el significado de las oraciones está sistemáticamente determinado, en virtud de reglas composicionales, a partir del significado de sus partes; éste es el principio de composicionalidad. Lo que propone el principio fregeano del contexto es que las palabras no significan aisladamente, sino que su significado es una contribución específica al significado de las oraciones en las que pueden aparecer. A pesar de lo que pudiera parecer, no existe conflicto entre ambos principios. El principio de composicionalidad requiere que el significado de las "palabras", a diferencia del significado de las oraciones, sea asistemático, es decir, establecido caso a caso por enumeración. El segundo requiere que el significado de las unidades léxicas, a diferencia del significado de las oraciones, sea contextual, que las reglas del significado para las palabras hagan necesariamente referencia al modo en que, dada una categoría semántica general a la que pertenecen, contribuyan junto con palabras de otras categorías al significado de las oraciones. El principio del contexto requiere, en definitiva, que las reglas que determinan el significado de las oraciones a parir del significado de las palabras no tomen en consideración del mismo modo el significado de todas las palabras.
Aunque el significado de una oración venga sistemáticamente determinado por el significado de las palabras que la componen, una oración no es una mera lista de palabras. Si una oración no es una mera lista es porque las palabras pertenecen a distintas categorías semánticas, distinguidas por sus diferentes funciones semánticas; por consiguiente, una especificación teórica del significado de las palabras debe indicar cuál es su específico tipo de contribución al significado de las oraciones de las que pueden formar parte. El significado de cada oración particular viene determinado sistemáticamente por el significado de las palabras (o, mejor dicho, por el de las unidades semánticas que la componen: esto es el núcleo del principio de composicionalidad. Especificar el significado de cada unidad semántica requiere indicar el modo general en que las palabras de su misma categoría semántica contribuyen al significado de las oraciones: éste es el núcleo delprincipio del contexto. El principio fregeano es así una tesis que contradice la concepción agustiniana del lenguaje. El correlato de la concepción agustiniana es la idea de que los significados de las palabras se explican mediante actos de ostensión; el principio fregeano del contexto pone de manifiesto una deficiencia de esta idea, insistiendo en que las palabras no significan todas del mismo modo. Es en parte ésta la razón por la cual no puede bastar un acto de ostensión para entenderlas.
Dado que un usuario competente del lenguaje es capaz de producir coherentemente oraciones nuevas, así como de entender oraciones nuevas, debemos suponer que la propiedad que tienen las oraciones de tener un cierto significado es sistemática: no se comprenden las oraciones como un todo, sino que de algún modo su significado se obtiene del significado de sus partes. Esto es lo que dice el principio de composicionalidad, y en este sentido el significado de las oraciones depende del significado de las palabras. Por otro lado, una explicación del significado de una palabra debe consistir en una explicación de cómo esa palabra contribuye a determinar el significado de las oraciones en las que aparece; porque, dado que las oraciones no son meras sartas de palabras, es claro que las palabras deben contribuir de modos distintos al significado de las oraciones. Esto es lo que el principio del contexto nos pide tomar en cuenta. Ambos principios se complementan así coherentemente. De acuerdo con el principio del contexto, una teoría del lenguaje debe especificar el significado de cada palabra, no como si la palabra fuese un signo dotado por sí solo de significado, sino indicando al hacerlo de qué modo específico contribuyen las palabras pertenecientes a una misma categoría al significado de las oraciones. Por otra parte, en la medida en que la especificación del significado de las unidades léxicas se atenga al principio del contexto, el significado de cada oración estará completamente determinado por las reglas que especifican el significado de las unidades semánticas que la componen; y esto es lo que establece el principio de composicionalidad.
Por consiguiente, la construcción de una teoría de las reglas composicionales que permiten determinar el significado de las oraciones a partir del significado de las palabras requiere clasificar las palabras en diferentes categorías o grupos. Estas categorías serán categorías semánticas, por cuanto se trata de categorías necesarias para determinar el significado de las oraciones a partir del significado de las palabras. Una de estas categorías es la de los términos singulares. Son términos singulares para Frege las descripciones definidas, los nombres propios en sentido estricto, y expresiones deícticas (cuya contribución semántica depende del contexto en que se profieren) como 'yo', 'tú', 'allí', etc. La función semántica de los términos en esta categoría es introducir un individuo particular acerca del cual trata el discurso. Otras categoría es la de los predicados o términos generales, como 'es mayor que', 'es rojo', etc. Otras sería la de las conectivas como 'y', 'o', etc. El principio del contexto nos llama la atención sobre el hecho de que las expresiones en cada una de estas categorías contribuyen al significado de las oraciones de modos específicos, distintos del modo en que lo hacen las expresiones de otras categorías y relativos los modos propios de los unos a los otros.
En "Sobre sentido y referencia" Frege mantiene la tesis de que una teoría semántica debe necesariamente asociar dos propiedades semánticas distintas con cada expresión: la expresión de unsentido y la referencia a un referente. La argumentación fregeana a favor de esta tesis tiene la forma de una paradoja: se enuncian tres proposiciones, aparentemente inconsistentes entre sí, cada una de ellas altamente plausible. Se ofrece entonces la distinción entre sentido y referencia, que posibilita una sutil interpretación de las proposiciones eliminadora de su aparente inconsistencia; y se concluye la necesidad de establecer la distinción como el único modo razonable de solucionar la paradoja.
La primera proposición de la tesis de Frege es una tesis sobre el significado de los términos singulares. Para reflexionar sobre el significado de un término singular debemos preguntarnos cuál es su contribución a los enunciados en los que el término puede aparecer. Siguiendo a Frege, el significado de una expresión es su contribución semántica al significado de los enunciados en que pueda aparecer. Los enunciados son evaluables como verdaderos o falsos. Que sean verdaderos o falsos depende de los hechos relativos a un cierto objeto extralingüístico (y extramental) al que nos dirige el término. Ese objeto está claramente involucrado en la configuración de las condiciones de verdad de los enunciados. La entidad en cuestión es una entidad objetiva, un constituyente deacaecimientos. El objetivo del argumento es mostrar que no hay nada como "el" significado, sino que lo que llamamos así se descompone en dos aspectos. Frege denomina a este aspecto del significado la referencia del término. Ésta es la definición inicial de referencia:
la referencia de un término singular es esa entidad objetiva por relación a la cual se evalúa la verdad o falsedad de los enunciado en que el término aparece y que contribuye a configurar sus condiciones de verdad.
La primera premisa del argumento de Frege sostiene que términos singulares como 'el lucero del alba' tiene como referencia una entidad objetiva (el planeta Venus, en este caso); por tanto (bajo el supuesto semántico monista que el argumento de Frege pretende refutar), tienen una entidad objetiva como significado.
La segunda premisa del argumento de Frege afirma que un enunciado resultante de sustituir en otro un término singular por otro diferente, pero con la misma referencia, puede tener diferente valor cognoscitivo que el primero para un usuario competente del lenguaje en el que ambos enunciados están formulados. Consideremos los enunciados
(1) el lucero del alba es visible al amanecer
(2) el lucero vespertino es visible al amanecer
(1) y (2) sólo difieren en el hecho de que contienen expresiones distintas que, sin embargo, refieren a lo mismo; (2) es el resultado de sustituir en (1) un término ('el lucero del alba') por otro ('el lucero vespertino') con la misma referencia. Sin embargo, (1) y (2) pueden tener diferente valor cognoscitivo para un hablante dado. Uno de los enunciados puede no ser informativo para esa persona, mientras que el otro sí lo es. De modo más general, la segunda premisa de la tesis de Frege asevera que un usuario competente del lenguaje en que están expresados estos enunciados puede aceptar como verdadero uno y rechazar (o suspender el juicio acerca de) el otro, que sólo difiere del primero en contener un término singular diferente pero con la misma referencia.
Frege ilustra la segunda premisa de su argumento mediante enunciados de identidad; mientras que (3) no es informativo para un hablante competente en el uso de las expresiones que lo componen, (4) sí puede serlo:
(3) el lucero del alba = el lucero del alba
(4) el lucero vespertino = el lucero del alba
El elemento fundamental de la segunda premisa del argumento de Frege es que, si bien a un individuo que aceptase (1) y (3), pero rechazase (2) y (4) le faltaría información astronómica, a un individuo así no tendría por qué faltarle información lingüística.
La tercera premisa del argumento de Frege es que las diferencias en valor cognoscitivo entre los enunciados que acabamos de ilustrar sólo pueden ser explicadas atribuyendo a las expresiones en que los enunciados difieren diferencias en sus significados. Bajo el supuesto monista la inclusión de esta proposición produce, junto a las dos anteriores, una contradicción. Reflexionando sobre la naturaleza del significado de un término singular, hemos identificado un aspecto del mismo con su referencia, y, tras ofrecer una caracterización abstracta del concepto de referencia, hemos encontrado buenas razones para identificar las referencias, y por tanto los significados, de 'el lucero del alba' y 'el lucero vespertino'. La segunda y la tercera premisa, conjuntamente, conllevan sin embargo que los significados de esas expresiones (y, por tanto, las referencias, si los significados son las referencias) son diferentes. Sin embargo, la tercera premisa parece enteramente plausible. La premisa excluye posibles explicaciones de los fenómenos presentados en la segunda, distintas de la explicación consistente en que las palabras en que difieren los enunciados en cuestión tengan diferentes significados.
El problema que Frege intenta poner de relieve, el que realmente motiva su distinción teórica entre sentido y referencia, consiste en esto: por un lado, un hablante competente del castellano puede suponer diferentes los referentes de las expresiones en que (1) y (2) difieren, coherentemente con su competencia lingüística. Mientras que, por otro, existen razones intuitivas preteóricas para pensar que los referentes son los significados, y que, por consiguiente, la competencia lingüística consiste en conocer el vínculo lingüístico de las expresiones con los mismos.
En los casos contemplados en la segunda premisa, las diferencias tienen que ver con diferencias en los significados, no meramente con diferencias entre las expresiones; y se trata de diferencias en los significados en el sentido preciso en que conocer el significado es conocer el referente (aquello por relación a lo cual se evalúa la verdad o falsedad de los enunciados, su contribución a las condiciones de verdad), y no meramente de diferencias en las connotaciones asociadas a los términos (excluyendo así una explicación del segundo tipo).
¿Qué conclusión hemos de extraer del argumento de Frege? No que la primera proposición sea falsa, pues, según Frege, las intuiciones que la justifican son totalmente correctas. Igualmente ciertas son las proposiciones 2 y 3. Podemos formular la proposición 3 así: las diferencias en valor cognoscitivo de expresiones con el mismo referente sólo pueden ser explicadas atribuyendo a las expresiones en que los enunciados difieren diferencias en los significados relativas a sus referentes. Desde el punto de vista de Frege, la dificultad está aquí: pues la distinción entre sentido yreferencia revela una ambigüedad en la idea que aquí se expresa. Para que las tres proposiciones sean contradictorias es preciso interpretarla así: las diferentes actitudes sólo pueden ser explicadas atribuyendo a las expresiones relaciones de referencia con diferentes entidades. Las diferencias en valor cognoscitivo indican que los hablantes, pese a ser usuarios competentes, y pese a que los enunciados sólo difieren en contener expresiones que significarían lo mismo si el enunciado fuese el referente, entienden diferentes cosas -pues es coherente con su competencia lingüística la suposición de que la verdad de los enunciados (1) y (2) depende de que se den o no diferentessituaciones objetivas. Hemos supuesto que esto implica que las referencias mismas deben ser distintas, lo que produce una inconsistencia patente con la primera proposición (y nos forzaría a rechazarla, sosteniendo que los referentes de 'el lucero del alba' y 'el lucero vespertino' son diferentes.
Sin embargo, el principio general que permite construir los ejemplos que ilustran la segunda proposición apunta a una interpretación distinta de la tercera, una de acuerdo con la cual no hay inconsistencia entre las tres -y con ello a una solución del problema. Los referentes de los términos singulares son entidades objetivas, que sólo pueden ser conocidas mediante el conocimiento de modos de presentación que las identifican distintivamente; modos de presentación diferentes pueden, sin embargo, identificar una misma entidad. La conclusión que Frege extrae de su argumento se apoya en esto: según Frege, un hablante competente sólo puede conocer la referencia O de un término singular T conociendo un modo de presentación V que (i) está también semánticamente asociado con T, y (ii) identifica unívocamente a O. Las diferencias en valor cognoscitivo ejemplificadas por (1)-(2) se explican porque los distintos términos singulares están asociados lingüísticamente con diferentes modos de presentación que los vinculan con la misma referencia. Podemos aceptar ahora la distinción entre la referencia y el referente; la referencia es el vínculo semántico entre la expresión y el referente. Pero, para obtener una explicación correcta de las diferencias en valor cognoscitivo, hemos de añadir que ese vínculo pasa a través de una relación semántica previa entre la expresión y su sentido. La referencia es el vínculo semántico entre la expresión y el referente mediado por la relación semántica de la expresión con un sentido.
Dado que los sentidos son indispensables para "llegar" a las referencias o para determinarlas, esta explicación es compatible con las consideraciones que sustentaban la tercera proposición. Frege sostiene que ningún usuario competente del lenguaje puede conocer "directamente" la referencia de 'el lucero del alba', la contribución de estas expresiones a las condiciones de verdad de los enunciados que las incluyen; se conoce la referencia de estas expresiones a través del conocimiento de ciertos sentidos que "nos dirigen" a ellas, individualizándolas. Por consiguiente, la "diferencia en las referencias" que establece la tercera proposición puede consistir, no en una diferencia en las entidades significadas, sino más bien en una diferencia en la manera en que se accede a ellas.
No hay, pues, inconsistencia entre las proposiciones. El argumento de Frege nos fuerza a adoptar una actitud pluralista, atribuyendo a los términos singulares dos tipos de propiedades semánticas: un sentido y una referencia. Hacerlo así revela como meramente aparente la inconsistencia; pero sólo porque el sentido y la referencia de una expresión no son independientes. Las referencias de los términos singulares están determinadas por sus sentidos, en la medida en que los sentidos son modos de presentación o conjuntos de características que individualizan al referente, y sin la asociación con los cuales las palabras no tendrían referencia.
Según Frege, existe una relación entre signo, sentido y referencia. Esta relación es la siguiente: cada signo tiene un sentido, cada sentido tiene una referencia; ahora bien, una referencia no solamente tiene un signo, sino que puede tener varios. En nuestro ejemplo, la referencia Venus tendría como signos 'El lucero de la mañana' y 'El lucero de la tarde'.
Por otro lado, no todo sentido tiene por qué tener una referencia. "Las palabras 'el cuerpo celeste más alejado de la Tierra' tienen un sentido; pero que tengan también una referencia es muy dudoso".
La referencia de una palabra es aquello de que se quiere hablar cuando se la usa normalmente. Sin embargo, hay que distinguir entre referencia directa y referencia indirecta. Del mismo modo, hay que distinguir entre sentido directo y sentido indirecto. La referencia directa de una palabra sería el objeto del que se quiere hablar, mientras que la referencia indirecta haría referencia al sentido de una palabra
Si se quiere hablar del sentido de la expresión "A", basta con usar sencillamente la locución "el sentido de la expresión 'A". En el estilo indirecto se habla del sentido, por ejemplo, del discurso de otro. Se ve claramente que, incluso en este modo de hablar, las palabras no tienen su referencia usual, sino que se refieren a lo que habitualmente es su sentido... La referencia indirecta de una palabra es, pues, su sentido usual
La referencia y sentido de un signo se distingue también de la representación asociada a tal signo. Si la referencia de un signo es un objeto sensiblemente perceptible, la representación que yo tengo de tal objeto es una imagen interna formada a partir de recuerdos e impresiones sensibles que he tenido. Tenemos, así, la primera diferencia entre referencia y representación: mientras que la referencia es algo objetivo (el planeta Venus es un objeto que está ahí para cualquiera que quiera mirarlo), la representación es algo subjetivo (está en función de nuestras experiencias y expectativas personales). Cuando hablamos de una representación, siempre hemos de añadir que es la representación de alguien en un momento determinado.
Tenemos, así una nueva relación entre términos. Por un lado está la referencia, que es el objeto al que estamos designando; por otro lado, tenemos la representación de ese objeto, que, como se acaba de decir, es subjetiva. Entre ambas tenemos el sentido, el cual no es subjetivo como la representación, pero que tampoco es el objeto mismo al que estamos aludiendo
Quizá sea adecuada la siguiente analogía, para ilustrar estas relaciones. Alguien observa la Luna a través de un telescopio. Comparo la Luna con la referencia; es el objeto de observación, que es proporcionado por la imagen real que queda dibujada sobre el cristal del objetivo del interior del telescopio, y por la imagen en la retina del observador. La primera imagen la comparo con el sentido; la segunda, con la representación o intuición. La imagen formada dentro del telescopio es, en verdad, sólo parcial; depende del lugar de observación; pero con todo es objetiva, en la medida en que puede servir a varios observadores... Pero, de las imágenes retinianas, cada uno tendría la suya propia. Apenas podría lograrse una congruencia geométrica, debido a la diferente constitución de los ojos (Frege, op. cit.)
Frege pasa a continuación a distinguir entre palabras, expresiones y oraciones completas. Con respecto a las palabras, Frege afirma que existe una conexión incierta entre las representaciones y las palabras; pero, a pesar de ello, la referencia de una palabra sigue siendo algo objetivo, a saber, aquello a lo que designa. No ocurre lo mismo con el sentido; esto es lo que hace posibles, por ejemplo, los matices con que la poesía y la elocuencia tratan de revestir el sentido. Estos matices y énfasis no son objetivos, sino que, por el contrario, tienden a influir de un determinado modo en el oyente, o en el lector.
¿Qué ocurre con las oraciones, es decir, con los enunciados asertivos completos?, ¿cuál es su sentido y su referencia?. Una oración contiene un pensamiento; ¿es tal pensamiento su sentido o su referencia?. Según Frege, el pensamiento no es la referencia de un enunciado, sino su sentido.
¿Qué pasa con la referencia?, ¿por qué queremos que un enunciado, además de sentido, tenga referencia?. La respuesta de Frege es la siguiente:
Porque, y en la medida en que, nos interesa su valor veritativo... Es la búsqueda de la verdad lo que nos incita a avanzar del sentido a la referencia. Hemos visto que a un enunciado hay que buscarle una referencia siempre que interesa la referencia de las partes componentes; y esto es siempre el caso, y sólo entonces, cuando nos preguntamos por los valores veritativos (Frege, op. cit.)
De aquí parecería seguirse que la referencia de un enunciado asertivo sería su valor veritativo, es decir, la verdad o la falsedad. Ahora bien, si es cierto que la referencia de un enunciado es su valor veritativo, el valor veritativo de un enunciado deberá permanecer incambiado cuando una parte del enunciado se sustituye por otra que tenga la misma referencia. Según Frege, éste es el caso. De aquí se sigue todos los enunciados verdaderos tienen la misma referencia, verbigracia, la verdad; y que todos los enunciados falsos tienen la misma referencia, a saber, lo falso. El conocimiento que nos proporciona un enunciado proviene de unir al pensamiento expresado en el enunciado su referencia, es decir, su valor veritativo.
¿Ocurre lo mismo con los enunciados subordinados?. Los enunciados subordinados aparecen como parte de una estructura enunciativa que es asimismo un enunciado, a saber, el enunciado principal. Ahora bien, ¿vale también para los enunciados subordinados el que su referencia sea un valor veritativo?. Según Frege, la referencia de un enunciado subordinado no es su valor veritativo, sino que es análoga a la de un nombre, un calificativo o un adverbio; es decir, es análoga a la de una parte