1

Sobre tres artculos fundamentales de Frege

Juan Bauz Este artculo resume y comenta tres artculos fundamentales de Frege de inters para la enseanza de Lacan. En ellos encontramos la definicin y el concepto de una serie de trminos fregeanos bsicos a los que se refiere Lacan en su enseanza, y muy especialmente desde su seminario XII (1964-1965) sobre Problemas cruciales en psicoanlisis: funcin, concepto, objeto, sentido, referencia, entre otros.

I FUNCIN Y CONCEPTO (Funktion und Begriff) Funcin y concepto, que Frege present y public en 1891, constituye la explicacin ms detallada que ste hizo de su nocin de funcin (Funktion), nocin matemtica que aqu hace extensible a los conceptos (Begriff). Frege defiende aqu que los conceptos son tipos particulares de funciones. Por otra parte es asimismo en este artculo donde introduce por vez primera su famosa distincin entre sentido (Sinn) y referencia (Bedeutung). En Funcin y Concepto, Frege extiende la nocin de funcin matemtica a la funcin lgica y lingstica, por lo cual resulta que un concepto es un tipo especial de funcin. KANT supuso que los enunciados con pretensin cientfica son del tipo: Todos los A son B, que procede de una oracin asertrica del tipo: S es P, donde S es el sujeto y es P, el predicado. S y P son conceptos. Kant pensaba que un concepto viene definido por una serie de propiedades comunes1 a una serie de objetos que caen bajo l2. Esas propiedades seran notas caractersticas o intensionales, ciertos rasgos esenciales, de los objetos en cuestin. Su extensin, la extensin del concepto correspondera al conjunto de los objetos que caen bajo esas propiedades.

1 2

Que connotan a esos objetos. Denotados por el nombre del concepto.

2 Supuesto lo anterior Frege parte de la nocin de funcin matemtica. sta suele definirse como una expresin de clculo que contiene a x Por ejemplo la expresin 2x2 + x sera una funcin de x, que puede generalizarse como F(x). En el caso de que le demos un valor al argumento x, p ej. 2, tenemos: 222 + 2 que sera una funcin de 2 F(2) Segn Frege esta definicin es inadecuada, pues confunde forma y contenido, signo y cosa designada o significada o denotada. Podemos traducirlo en lenguaje saussuriano, confunde significante y significado. Una mera expresin, la forma de un contenido, no puede ser la esencia de la cosa; slo puede serlo su contenido mismo. Lo esencial pues, no es la expresin, sino su significado o contenido; no, por ejemplo, la expresin 222 + 2, sino lo que ella significa. Pero, qu significa? Frege pregunta entonces cul es el contenido, la referencia de 222 + 2? La misma que la del signo 10. Y as en la ecuacin: 222 +2 = 10 se expresa que la referencia de la cadena de signos de la derecha es la misma que la de la cadena de signos de la izquierda. Una ecuacin establece una identidad, una mera semejanza o igualdad; una diferencia de significante, o, si se quiere en la forma de la expresin, no puede ser nunca fundamento suficiente para una diferencia de significado. Las diferentes expresiones que aparecen en los dos lados de una ecuacin verdadera corresponden a diferentes aspectos, pero no a diferentes objetos. As pues la expresin 2x2 + x es el tipo de cosa que la gente tiene en mente cuando piensa en una funcin; pero esta expresin no designa propiamente una funcin, sino que indica ms bien un nmero indeterminadamente, a la manera en que lo hace la x misma. A esa x se le llama argumento de la funcin. Si determinamos esa x, es decir si le damos un valor numrico concreto, pongamos x=1 tendremos 212 + 1 x=4 242 + 4 x=5 252 + 5 podremos inferir lo comn de estas expresiones. En eso comn, en eso que se repite en esas expresiones con diferentes argumentos, est la esencia genuina de la funcin. Y as prescindiendo de lo que no se repite, el argumento, es decir dejando de lado la x, la funcin puede ser representada, ms o menos as: 2 ( )2 + ( ) 2 pues esto es lo que queda de 2x + x cuando se eliminan las x. Se destaca as que el argumento no es propiamente una parte de la funcin, sino que ms bien se combina con la funcin para constituir un todo completo.

3 Tenemos pues que una funcin matemtica se escinde en dos partes: un signo para un argumento y una expresin para una funcin. La funcin es en si misma algo incompleto, insaturado, y difiere del nmero que es un objeto independiente. La incompletud de la funcin est indicada por la presencia de vacos en las expresiones de las funciones. Dicho esto es cuando podemos hacer una extensin de esa nocin de funcin matemtica, y llamar funcin lingstica a una expresin hueca en la que los enunciados y, lo que estos significan pueden ser divididos en argumento y funcin. Pero antes debemos considerar otra nocin que Frege introduce, la nocin de valor: Las matemticas observa Frege sealan que cuando dos variables x e y estn correlacionadas por una ley, o la manifiestan, se suele decir entonces p. ej., que y es funcin de x, o simplificadamente y = F(x); pero sera mejor decir que y es el valor de una cierta funcin para x como argumento. Frege llama el valor de una funcin para un argumento al resultado de completar la funcin propiamente dicha con el argumento en cuestin. As p. ej. 3 es el valor de la funcin 2x2 + x para el argumento 1, puesto que tenemos: 212 + 1 = 3. El valor de una funcin matemtica, al igual que su argumento, es siempre un nmero; el valor de la funcin es el nmero que est representado por la expresin entera. Digamos todava algo ms acerca de las funciones matemticas que nos interesa para hacer una extensin a las funciones lingsticas. Los valores de una funcin para diferentes argumentos pueden representarse en un grfico sobre coordenadas cartesianas. As la ecuacin y = x2 4x corresponde a una parbola, en la que comnmente se dice que x indica el valor de la abcisa o variable independiente, e y indica el valor de la ordenada, o variable dependiente. Frege modifica esta terminologa e insiste diciendo que x indica el argumento e y el valor de la funcin. En este punto introduce una nueva e importante nocin: la de recorrido (Wertverlauf) de una funcin. Si comparamos la funcin x2 4x con la funcin x (x 4), descubrimos que ambas tienen siempre el mismo valor para el mismo argumento; la misma lnea de grfico corresponde a las dos funciones, y en general con independencia de lo que x pueda ser x2 4x = x (x 4) Cuando esto sucede, los recorridos de las dos funciones son idnticos:
Si escribimos x2 4x = x (x-4) no pretendemos igualar una funcin a la otra, sino slo los valores de las funciones entre si 3. Y si entendemos que esta ecuacin debe ser vlida cualquiera que sea el argumento con el que sustituyamos a x, entonces hemos expresado con esto la generalidad de una ecuacin. Podramos tambin decir: el recorrido de la funcin x (x 4) es idntico al de la funcin x2 4x y con esto tendramos una identidad entre recorridos. (FREGE, G. Funcin y concepto , 9-10).

Para finalizar estas reflexiones acerca de la nocin de funcin matemtica basndonos en el escrito de Frege digamos que as como una variable x indica, de manera indeterminada un nmero, as
3

Efectivamente son los valores de ambas funciones los que son iguales entre si.

4 tambin podemos indicar indeterminadamente una funcin, por ejemplo mediante letras: f , F, g, h, .... ordinariamente se suele escribir: f (x) F(x) en donde x hace las veces de argumento. Pero lo que realmente indica la funcin y expresa su naturaleza insaturada es el hecho de que una letra como F arrastra consigo un par de parntesis en cuyo interior hay un hueco. Hasta aqu el tratamiento fregeano de la nocin de funcin matemtica, pasemos ahora a su extensin lgico lingstica. Frege hace un uso de la nocin de funcin que comporta una primera extensin de la misma en sentido matemtico. Lo hace as: Consideremos la funcin x2 = 1
La primera cuestin que surge aqu es la de cuales son los valores de esta funcin para diferentes argumentos. Si reemplazamos sucesivamente x por 1, 0, 1, 2, obtenemos (-1)2 = 1 02 = 1 12 = 1 22 = 1 De estas ecuaciones, la primera y la tercera son verdaderas; las restantes falsas. Digo entonces: el valor de nuestra funcin es un valor de verdad 4 y distingo entre el valor de verdad de lo verdadero y el de lo falso. Para abreviar, llamo a uno lo verdadero y al otro lo falso. De acuerdo con esto, 2 2 = 4 se refiere a lo verdadero, del mismo modo que, pongamos por caso, 22 se refiere a 45. Y 22 = 1 se refiere a lo falso. De acuerdo con esto, 22 = 4, 2 > 1, 24 = 42 se refieren a lo mismo, esto es, a lo verdadero, de modo que en (22 = 4) = (2 > 1) tenemos una ecuacin correcta6. Inmediatamente, surge aqu la objecin de que 22 = 4 y 2 > 1 enuncian cosas completamente distintas, expresan pensamientos completamente distintos; pero tambin 24 = 42 y 44 = 42 expresan pensamientos distintos y, con todo, se puede reemplazar 2 4 por 44, puesto que ambos signos tienen la misma referencia. Se ve a partir de esto que la identidad de referencia no tiene como consecuencia la identidad de pensamiento7. Cuando decimos El lucero de la tarde es un planeta cuyo perodo de rotacin es menor que el de la Tierra hemos expresado un pensamiento distinto del
Dado que puesto un determinado argumento el valor de la funcin correspondiente es no slo un nmero sino que a su vez puedo decir: satisface la ecuacin, luego es verdadero; o, no satisface la ecuacin, luego es falso. Al valor de la funcin va asociado simultneamente un valor de verdad. 5 Es decir de acuerdo con lo que sealo en la nota anterior: 2 2 no slo se refiere a 4 sino que esa referencia es verdadera. Su referencia conlleva simultneamente un valor de verdad, en este caso lo verdadero. 6 Naturalmente en relacin a su valor de verdad. 7 Estaramos tentados de decir y recprocamente , pero eso nos llevara ms all de Frege, cuyo texto a nivel conceptual tratamos de dilucidar aqu. Obsrvese en el texto que sigue cmo Frege a partir de este punto extiende su nocin de funcin no slo a la lgica sino tambin a la lingstica.
4

5
que se expresa en el enunciado El lucero de la maana es un planeta cuyo perodo de rotacin es menor que el de la Tierra, pues el que no sabe que el lucero de la maana es el lucero de la tarde podra tener el uno por verdadero y el otro por falso; sin embargo la referencia de ambos enunciados tiene que ser la misma, pues slo se han intercambiado las palabras lucero de la tarde y lucero de la maana que tienen la misma referencia, esto es: son nombres propios del mismo cuerpo celeste 8. Ha de distinguirse sentido y referencia. 24 y 44 tienen ciertamente la misma referencia, es decir: son nombres propios del mismo nmero, pero no tienen el mismo sentido; en consecuencia 24 = 42 y 44 = 42 tienen ciertamente la misma referencia, pero no el mismo sentido; lo que quiere decir, en este caso, lo siguiente: no contienen el mismo pensamiento (FREGE, G. Funcin y concepto,13-

14). Subrayemos lo que me parece esencial hasta aqu y en esta cita: En el caso de la matemtica, la expresin funcional completada con un smbolo para el argumento, se convierte en una expresin que tiene como significado o, como referencia el valor de la funcin para ese argumento. Si se trata entonces de x2 = 1 si sustituimos x por el argumento 1, tendremos 12 = 1 que ser una expresin cuyo significado es el valor de esa funcin para el argumento 1; el cual es segn la propuesta de Frege el valor de verdad Verdadero, pues efectivamente el argumento 1 hace verdadera la ecuacin x2 = 1, del mismo modo que si x2 = 4, el argumento 2 hara verdadero el valor de la funcin, pues 22 = 4. Como son verdaderos los valores de las funciones: 2 > 1 o 24 = 42. De modo que si escribo: (22 = 4) = (2 > 1) tenemos (en relacin a su valor de verdad) una ecuacin correcta, pues la funcin de verdad de los dos miembros de la ecuacin es lo verdadero; se trata pues, en este sentido, efectivamente de funciones equivalentes. La funcin (y = x) que asocia 22 y 4 es equivalente a la funcin (y > x) que asocia 2 con 1 en cuanto a la funcin de verdad de ambas. Aclaremos un poco ms esto: una ecuacin es verdadera en matemticas si los smbolos que flanquean el signo de la relacin, p. ej. = se refieren al mismo objeto (para el caso al mismo nmero). En el sistema ampliado de Frege dos expresiones como: 3 > 2 y 5 < 7, ambas verdaderas como tales, y por consiguiente significando lo verdadero, pueden hacerse equivalentes en este sentido y tendremos una ecuacin vlida si las escribimos (3 > 2) = (5 < 7) En el prrafo que comentamos es donde por otra parte Frege introduce por vez primera su famosa distincin entre sentido (Sinn) y referencia (Bedeutung): Ha de distinguirse sentido y referencia. De ah en adelante ante una pregunta sobre el significado de una expresin, tendremos que dilucidar primero si la cuestin se refiere al sentido o a la referencia como, por as decirlo dos diferentes acepciones de significado no bien dilucidadas hasta Frege. Obsrvese asimismo como aqu Frege comienza a hacer una incursin en la lingstica al referirse a los luceros. Demos con l ese salto a la funcin lingstica.

El planeta Venus.

6 Dos proposiciones diferentes pueden expresar un mismo pensamiento, naturalmente en cierto sentido, p. ej., dos proposiciones en lenguajes distintos pero que sean una perfecta traduccin la una de la otra. A su vez, un mismo enunciado en circunstancias diferentes puede expresar dos pensamientos distintos. As yo estoy hambriento puede ser verdadero en boca de una persona y falso en boca de otra; puede tener un sentido concreto o figurado; lo cual muestra que pensamientos diferentes estn siendo expresados con la misma proposicin. De la misma manera 22 y 2 + 2 tienen la misma referencia, pero diferentes sentidos y, de acuerdo con ello, las proposiciones 22 = 4 y 2 + 2 = 4 expresan pensamientos diferentes. El sentido de un enunciado es el pensamiento que es su contenido, y ste. A su vez, est determinado por los sentidos de las partes constitutivas de la proposicin. Por otra parte la referencia de una proposicin es su valor de verdad, de tal manera que la referencia de todas las proposiciones verdaderas es lo verdadero, y la referencia de todas las proposiciones falsas lo falso. En definitiva el que una ecuacin sea verdadera de acuerdo con esta ampliacin fregueana no depende del sentido de las expresiones que flanquean el signo de igualdad, sino de sus referencias. As 22 = 2 + 2 es una ecuacin correcta puesto que la referencia de cada una de las expresiones a no y otro lado del signo de igualdad es la misma, a saber lo que nombramos como nmero 4, y de manera similar ocurre cuando adscribimos a las proposiciones valores veritativos que son asimismo sus referencias. la estrella de la tarde es un planeta = la estrella de la maana es un planeta ambas proposiciones tienen que tener la misma referencia, pues slo hemos intercambiado en ellas las palabras estrella de al tarde y estrella de la maana, que tienen la misma referencia: el objeto que llamamos planeta Venus, es decir, son nombres propios del mismo cuerpo celeste: Venus. Pensemos ahora en el predicado de ambas proposiciones es un planeta. Planeta es el nombre comn de un concepto. Este es susceptible de ser presentado como un cierto tipo de funcin: una funcin cuyo valor es siempre un valor de verdad. De este modo cualquier predicado, formado por la supresin de un nombre propio en una proposicin, expresar un concepto. Pero veamos cmo Frege introduce la idea de funcin lingstica en este texto de Funcin y concepto. Hasta aqu se haba centrado en funciones matemticas que haba ampliado funcin de verdad mediante a la idea de funcin lgica. Frege pasa ahora a considerar proposiciones de todo tipo, en la pgina 17 podemos leer:
A las oraciones asertricas en general, lo mismo que a las ecuaciones o a las inecuaciones o a las expresiones analticas, se las puede pensar descompuestas en dos partes, de las cuales una es completa en s misma, la otra necesita complecin, es insaturada. As, por ejemplo, la oracin Csar conquist las Galias puede descomponerse en Csar y conquist las Galias. La segunda parte es insaturada, conlleva o contiene un lugar vaco, y slo cuando se rellena ese lugar con un nombre propio o con una expresin que reemplaza un nombre propio, surge un sentido completo. Llamo tambin aqu funcin a la referencia de esta parte insaturada. En este caso, el argumento es Csar. Vemos que aqu se ha llevado a cabo al mismo tiempo una extensin en la otra direccin, es decir: respecto de lo que puede hacer el papel de argumento. Ya no hay que admitir meramente nmeros, sino tambin objetos en general, con lo cual debo ciertamente contar a las personas entre los

7
objetos. Como posibles valores de una funcin se han introducido ya los dos valores de verdad. Debemos seguir adelante y admitir objetos sin restriccin alguna como valores de una funcin. [...] qu es lo que aqu llamo objeto [...] aqu slo puedo decir brevemente esto: objeto es todo lo que no es funcin, cuya expresin no conlleva, por lo tanto, un lugar vaco. Una proposicin no contiene ningn lugar vaco y por ello hay que considerar que su rerencia es un objeto. Pero esa referencia es un valor de verdad. Por consiguiente ambos valores de verdad son objetos. (FREGE, G. Ibid., 17-18)

Para finalizar con lo que quera destacar de este primer artculo de Frege que comentamos, ste se refiere a ciertas caractersticas de los conceptos:
Para los conceptos establecemos la exigencia de que, para cada argumento, han de tener como valor un valor de verdad, de que, para cada objeto, est determinado si cae, o no, bajo un concepto; dicho con otras palabras: establecemos para los conceptos la exigencia de que estn ntidamente delimitados; [...] La exigencia de delimitacin ntida de los conceptos conlleva para las funciones en general el que stas tienen que tener un valor de verdad para cada argumento (Ibid., 20).

II CONCEPTO Y OBJETO (ber Begriff und Gegenstand) En este artculo publicado en 1892, Frege se plantea volver sobre la nocin de concepto:
cuestin suficientemente importante y difcil para que [...] sea tratada con ms detenimiento de lo que me pareci adecuado en mis Grundlagen. (FREGE, G. Sobre concepto y objeto, p.192). La palabra concepto se usa de modos distintos, unas veces en un sentido psicolgico, otras en un sentido lgico y otras quizs en una mezcla confusa de ambos. [...] he decidido hacer, de manera estricta, un uso puramente lgico (Ibid.).

As pues a Frege le parece que la nocin de concepto es suficientemente importante y compleja como para merecer un tratamiento ms detenido del que hizo en sus Fundamentos de la Aritmtica. Y desea tratarla de manera estrictamente lgica, depurada de elementos psicolgicos. La palabra concepto se usa efectivamente de modo muy general y vago, y en diversos sentidos, equiparndose a nocin, a idea, a pensamiento, trminos asimismo empleados en muy diversas acepciones. La concepcin vinculada a la filosofa antigua, a PLATN y ARISTTELES no mejora demasiado las cosas en cuanto a delimitar el significado de esa palabra que aqullos definen como un universal que determina o delimita la naturaleza de una entidad, en tal caso concepto es entendido como esencia o como sustancia de las cosas que caen bajo ste. En definitiva el concepto, tal como ha sido empleado por Aristteles y por la lgica clsica aristotlica, trata de representar los caracteres comunes a un grupo de cosas, el de las mismas. El concepto se vincula al conocimiento de la realidad, pues la corta supuestamente siguiendo sus articulaciones reales. As la realidad es concebible, conceptuable a partir de los conceptos que la mente forja mediante abstraccin de las percepciones.

8 El concepto es la accin, el acto por la cual decan los escolsticos el entendimiento concibe una cosa o las cosas mediante la razn comn. Es por otra parte el efecto de lo que se representa por medio de trminos comunes. Y en todo caso en estas concepciones clsicas el concepto posee una similitud respecto a la cosa conceptuada y, por eso es siempre la expresin de alguna forma comn a una serie de cosas o alguna cualidad de las mismas. En la poca moderna el trmino Begriff, desempea un papel importante en el pensamiento de KANT. Por lo pronto ste trata de distinguir entre sensaciones y percepciones, por un lado, y conceptos, por el otro. Ms determinadamente se trata de distinguir entre intuiciones y conceptos. Segn Kant las intuiciones sin conceptos son ciegas y, los conceptos sin intuiciones son vacos. Para que haya verdadero conocimiento es preciso, pues que los conceptos sean aplicables a un material que est dado en las intuiciones. Los conceptos son en este sentido lo puesto, a diferencia de lo dado. El conceptuar es una accin del pensar por la que se produce una sntesis gracias al entendimiento. El concepto constituye el marco dentro del cual encaja la experiencia posible. Kant distingue entre conceptos en general y conceptos del entendimiento o categoras, slo estos ltimos son a priori, esto es establecen las reglas mediante las cuales se ordena y aclara el material de la experiencia. En toda esa concepcin kantiana del concepto como seala Frege al comienzo de su artculo sigue existiendo una gran confusin entre el sentido psicolgico y el sentido lgico de la nocin de concepto. Cul sera su sentido estrictamente lgico? Eso es lo que va a tratar de dilucidar Frege aqu, pues ese va a ser pretendidamente su manera de usar la palabra concepto. Comienza sealando que: lo lgicamente simple, [...] no es algo dado de antemano, sino que slo se alcanza eventualmente despus de un trabajo cientfico ( FREGE, Ibid., 193) El primer carcter del concepto segn Frege es su carcter predicativo:
El concepto tal como yo entiendo la palabra es predicativo, en una nota explicita ms ese carcter: A saber: es la referencia de un predicado gramatical (Ibid., 193 n. 1).

Hay pues para Frege una clara relacin entre un concepto y un predicado, pero lo que no ha sido aclarado es la naturaleza exacta de esa relacin es un concepto idntico a un predicado? es el sentido de un predicado? es su referencia? Vayamos al texto mismo de Frege:
Acaso puede afirmarse perfectamente de algo que es Alejandro Magno, el nmero 4 o el planeta Venus, del mismo modo que se puede afirmar de algo que es verde o que es un mamfero? Si se piensa esto, entonces no se distinguen bien los usos de la palabra es. En los dos ltimos ejemplos hace de cpula, como un mero recurso formal de la afirmacin [...] Decimos entonces que algo cae bajo un concepto9, y el predicado gramatical se refiere a ese concepto. Por el contrario, en los primeros tres ejemplos el es se usa del mismo modo que en aritmtica el signo de igualdad, para expresar una ecuacin. En el enunciado El lucero de la maana es Venus tenemos dos nombres propios, el lucero de la maana y Venus para el mismo objeto. En el enunciado El lucero de la maana es un planeta, tenemos un nombre propio, el lucero de la maana, y una palabra para concepto10, un planeta

(Ibid., 193-194)
En el ejemplo ser verde, la hoja, por ejemplo, sera el objeto que cae bajo el concepto: verde; o el len sera un objeto que cae bajo el concepto ser mamfero. 10 Por as decirlo un nombre comn.
9

Es un poco ms adelante que Frege vuelve a referirse a la distincin entre sentido y referencia, veamos como:
Cuando escrib mis Fundamentos de la aritmtica, no haba hecho todava la distincin entre sentido y referencia, y por ello an reuna bajo la expresin contenido enjuiciable lo que ahora designo, de manera distintiva, con las expresiones pensamiento y valor de verdad[...]. Para resumir puede decirse, entendiendo predicado y sujeto en sentido lingstico: un concepto es la referencia de un predicado, un objeto es lo que jams puede ser la referencia de un sujeto. (Ibid., 198)

En Funcin y concepto no quedaba claro si un concepto era el sentido o la referencia de un predicado. En los Principios de la Aritmtica dir que lo que un nombre expresa, el modo cmo lo expresa es su sentido, y lo que representa es su referencia. Aqu Frege es bastante explcito afirmando que el concepto es la referencia, no es el sentido, del predicado. Pero si un concepto es la referencia de un predicado y se refiere por consiguiente a algo objetivo cul es entonces el sentido del predicado, a qu se refiere ste? Aqu no queda claro, pero podemos obtener una respuesta en un artculo escrito en 1906: Introduccin a la lgica que forma parte de sus escritos pstumos y, donde tras afirmar que las proposiciones expresan pensamientos, y que las proposiciones adems de partes completas (nombres propios), tienen tambin partes insaturadas, contina diciendo:
La parte insaturada del pensamiento la concebimos tambin como un sentido, es decir: el de aqulla parte de la oracin que es distinta del nombre propio (FREGE Op cit., 209).

As como un predicado es la parte insaturada de una proposicin, as tambin el sentido de un predicado es la parte insaturada del pensamiento que es el sentido de la proposicin. Frege est interesado en diferenciar claramente los predicados de los nombres propios. Por eso seala en primer lugar que un nombre propio no es susceptible de ser utilizado como predicado gramatical. Para ilustrar esto podemos considerar dos proposiciones como: (1) Cervantes era escritor (2) Cervantes era el manco de Lepanto A primera vista parece que era el manco de Lepanto es un predicado equiparable al de era escritor, lo cual proporcionara un contraejemplo a la tesis de Frege de que un nombre propio no puede ser utilizado como predicado. Pero tras esto se oculta una errnea interpretacin de ese verbo fundamental: el verbo ser. Pues en el primer ejemplo, era es simplemente una cpula, una marca de predicacin donde Cervantes cae bajo el concepto escritor y forma parte, en este sentido, de la clase de los autores que conforman la Historia de la literatura. En cambio, en la segunda proposicin el verbo ser funciona como marca de una ecuacin o identidad, exactamente como el signo =, pues efectivamente: Cervantes = El manco de Lepanto en este caso se trata de dos nombres propios, al igual que ocurrira con un seudnimo o un alias adscrito a una y la misma persona. Hay que observar que una ecuacin es reversible y, as es legtimo decir: El manco de Lepanto era Cervantes

10 Mientras que un objeto que cae bajo un concepto es una relacin irreversible. No puedo decir, al menos en el mismo sentido: Escritor era Cervantes Una observacin para finalizar este comentario de Concepto y objeto: Frege como criterio general para distinguir entre conceptos y objetos, indica el hecho de que el artculo determinado singular indica siempre un objeto, mientras que el artculo indeterminado acompaa explcita o implcitamente a la palabra-concepto o a lo que en gramtica se llamara nombre comn. Frege ofrece una serie de claves (en general criterios gramaticales) que ayuden a clarificar la comprensin y la diferenciacin entre expresiones-concepto y palabras-objeto, siendo la tesis principal del artculo: los objetos caen bajo los conceptos. Una vez establecido esto, Frege procede a acumular objeciones a ello y, a responder y refutarlas una a una. III SENTIDO Y REFERENCIA (ber Sinn und Bedeutung) La distincin explcita entre sentido (Sinn) y referencia (Bedeutung), introducida por primera vez en Funcin y concepto en 1891, fue desarrollada por Frege en un ensayo paralelo publicado en 1892, al que ahora me referir11. En l desarrolla de forma ms extensa lo que haba establecido demasiado escuetamente en Funcin y concepto. Comienza refirindose a la cuestin de la igualdad o de la identidad. Se trata de una relacin? del tipo, por ejemplo de a R b, donde R se especificara como =, y hablaramos de una relacin de equivalencia, que como tal cumple ciertas propiedades que la caracterizan y que inducen clases de equivalencia en un conjunto dado? Y, si es una relacin, es una relacin entre objetos, o, entre nombres o signos de objetos? Frege se inclina, en primer lugar por esta segunda alternativa. Por ejemplo, si la estrella de la maana es obviamente igual a la estrella de la maana, al menos a nivel formal, y es un enunciado del tipo que Kant dira analticamente verdadero a priori; la estrella de la maana = la estrella de la tarde, tiene un valor cognoscitivo muy diferente y, no es obvio, sino que comporta un descubrimiento astronmico emprico que permite asimilar ambos fenmenos al planeta Venus, no es pues en este caso un enunciado analtico, sino sinttico y a posteriori.
Ahora bien dice Frege si slo quisiramos ver en la igualdad una relacin de identidad entre aqullo a lo que se refieren los nombres a y b [ que lo significan como representantes simblicos, como signos], parecera entonces que a = b, no podra diferenciarse de a = a, naturalmente en el caso de que a = b sea verdadero. Y de este modo habramos expresado simplemente la relacin que una cosa tiene consigo misma, es decir, aquella relacin que se da en cada cosa respecto de s misma y no con otra, es decir que ninguna cosa tiene con cualquier otra distinta ( FREGE ber

Sinn und Bedeutung, p. 26, trad. nuestra).

Este ensayo tiene una ampliacin, escrita por las mismas fechas pero indita hasta 1969 y que figura desde entonces a continuacin del artculo principal. Vase en la edicin de Luis M. Valds para Tecnos pp. 112-122.
11

11

Las ecuaciones expresan relaciones entre signos o nombres de cosas, as pues

lo que se quiere decir con a = b parece ser esto : los signos o nombres "a" y "b" se refieren a, o, significan12 lo mismo (Ibid,).

Pero su relacin existira efectivamente slo en la medida en que se refieren a otra cosa que a ellos mismos:
en la medida en que nombran o designan [denotan] algo otro,

pero que en cierto sentido es lo mismo y, donde lo nico en que difieren es su forma de expresin. Frege en la seccin 8 de su Conceptografa, al introducir su signo de la identidad, que entonces era " ", afirmaba que este signo expresaba la circunstancia de que dos nombres tuvieran el mismo contenido. Asimismo en su Conceptografa dado que la necesidad de contar con un smbolo para la igualdad de contenido se apoya en el hecho de que el mismo contenido puede ser totalmente determinado de diferentes maneras; y que un juicio sinttico de identidad del tipo: "Estrella de la maana = Estrella de la tarde" establece que el mismo contenido (la referencia del planeta Venus) puede darse mediante dos modos de determinarlo. Ahora bien si una proposicin de la forma a = b significara solamente una relacin establecida de antemano entre signos o smbolos, entonces no podra expresar conocimiento alguno del mundo extralingstico. En "Sentido y referencia" dice que un enunciado de identidad puede ser informativo, es decir, en trminos kantianos, sinttico slo si la diferencia entre los signos corresponde a una diferencia en el modo de presentacin de lo que con ellos es designado o denotado, es decir, de aquello a lo que se refieren:
Sean a, b y c las rectas que unen los vrtices de un tringulo con los puntos medios de los lados opuestos. El punto de interseccin de a y b es entonces el mismo que el punto de interseccin de b y c. Tenemos pues distintas designaciones para el mismo punto, y estos nombres "interseccin de a y b" e "interseccin de b y c" indican al mismo tiempo el modo de darse el punto; y es por ello que el enunciado contiene autntico conocimiento(Ibid.)

Este modo de presentacin es lo que constituye el sentido (Sinn) del signo. La referencia (Bedeutung) entrecomillada en el pasaje anterior es la misma, pero el sentido de cada una es diferente. Podemos decir, por tanto, que un enunciado de identidad ser verdadero e informativo si el signo de igualdad est flanqueado por dos nombres que tienen la misma referencia pero diferentes sentidos. La palabra "nombre" es utilizada en un sentido amplio para incluir designaciones complejas de objetos. Frege llama "nombres propios" a tales designaciones. Por consiguiente en relacin a la significacin (Bedeutung) podemos decir que estn implicados 3 niveles que no deben confundirse:
En el sentido de que tenemos una cosa (la referencia) que es as significada. Se da prioridad a la cosa y, el signo es la expresin de un trabajo de significacin de la misma. Se produce as una ruptura en el sentido del cdigo. No se trata tanto de lo que significa un signo, sino de forma de significacin de algo, de un real, por as decirlo, que constituye la referencia.
12

12

Signos (Representaciones)
expresan

Sentidos denotan Referencias

La conexin regular entre el signo, su sentido, y su referencia, es de tal gnero, que al signo le corresponde un sentido determinado y a ste, a su vez una referencia determinada, mientras que a una referencia ( a un objeto) no le corresponde slo un signo. El mismo sentido tiene distintas expresiones en distintos lenguajes, por no hablar del mismo lenguaje (Ibid., p. 27).

Por otra parte no todo sentido tiene su correspondiente referencia, as las expresiones "el cuerpo celeste ms distante de la Tierra" tiene un sentido pero es muy dudosos que tenga tambin una referencia, y menos que esa sea conocida. La expresin "la serie menos convergente", tiene un sentido; pero se puede demostrar que no tiene referencia, pues para cada serie convergente se puede encontrar otra menos convergente, pero que no obstante sigue siendo convergente. A la inversa, uno y el mismo objeto puede ser denotado por expresiones con sentidos bastante diferentes. Esos sentidos son los que permiten identificar el objeto, apuntan a l , se refieren a l. El sentido de una palabra es lo que captamos cuando entendemos esa palabra. Pero para Frege el sentido es algo muy diferente de una representacin (Vorstellung) que es algo subjetivo asimilable a una imagen mental. Las imgenes son subjetivas y varan de una persona a otra, y de un tiempo a otro, incluso en la misma persona; pero al hablar del sentido de un signo, afirma Frege se trata:
de una propiedad que puede ser comn a muchos y, por tanto, no es una parte o un modo de una mente individual; es en este sentido [en cuanto al sentido] que la humanidad tiene efectivamente un tesoro comn de pensamientos que puede transmitirse de una generacin a otra (Ibid., 29).

Veamos cmo lo plantea Frege una pgina ms adelante:

La referencia de un nombre propio es el objeto mismo que designamos por medio de l; la representacin que tenemos en este caso es completamente subjetiva; entre ambos est el sentido, que ciertamente ya no es subjetivo como la representacin, pero que tampoco es el objeto mismo.

Frege ofrece la siguiente analoga de la relacin entre referencia, sentido e imagen o representacin mental:
Alguien observa la Luna a travs de un telescopio. Comparo la Luna misma [mi representacin de la Luna] con la referencia; es el objeto de observacin , que viene dado por la imagen real que se proyecta en la lente del objetivo del interior del telescopio y por la imagen retiniana del observador. A la primera imagen la comparo con el sentido; a la segunda con la representacin o intuicin. La imagen del telescopio es ciertamente parcial, depende del lugar [de tiempo y del instrumento de observacin]; pero es, con todo, objetiva en la medida en que la misma pude servir a

13
varios observadores. En cualquier caso, podra disponerse de tal manera que muchos pudieran usarla al mismo tiempo. Pero por lo que respecta a las imgenes retinianas, cada una tendra la suya propia []. As pues que no se confunda la representacin que una palabra despierta en un oyente con su sentido o su referencia. Para hacer posible que nos expresemos de una manera sinttica y precisa, establezcamos la terminologa siguiente: Un nombre propio (palabra, signo, cadena de signos, expresin) expresa su sentido, se refiere a, o designa, su referencia. Con un signo expresamos su sentido y designamos su referencia

Hasta el momento Frege slo ha considerado el sentido y la referencia de aquellas expresiones, palabras o signos que se han llamado nombres propios. Pero qu ocurre con las proposiciones completas que expresan pensamientos? es el pensamiento - el contenido del enunciado - el sentido o la referencia de un enunciado? As que ahora Frege va a preguntarse por el sentido y la referencia de un enunciado asertivo completo. Y as despus de aclarar en una nota que: entiendo por pensamiento no el acto subjetivo de pensar, sino su contenido objetivo, que es capaz de ser propiedad comn de muchos , se plantea: ha de considerarse ese pensamiento como su sentido o como su referencia? a lo que responde: Supongamos que
tal enunciado tiene una referencia. Si sustituimos en l una palabra por otra con la misma referencia, pero con diferente sentido, tal sustitucin no puede tener efecto alguno sobre la referencia del enunciado. Podemos ver, sin embargo, que en tal caso el pensamiento cambia; pues el pensamiento de, por ejemplo, el enunciado El lucero de la maana es un cuerpo iluminado por el Sol difiere del pensamiento del enunciado El lucero de la tarde es un cuerpo iluminado por el Sol. Alguien que no supiese que el lucero de la tarde es el lucero de la maana podra considerar un pensamiento como verdadero y el otro como falso. Por consiguiente el pensamiento no puede ser la referencia del enunciado; por el contrario, hemos de concebirlo como su sentido.

Pero, y la referencia?
Tiene quizs el enunciado completo slo un sentido, pero no una referencia? En todo caso puede esperarse que se den tales enunciados, del mismo modo que hay partes de enunciados que tienen ciertamente un sentido, pero que no tienen referencia. Los enunciados que contienen nombres propios pero sin referencia sern de este gnero. El enunciado Ulises fue desembarcado en taca profundamente dormido tiene obviamente un sentido. Pero, puesto que es dudoso que el nombre Ulises que aparece en ella tenga una referencia [se sobreentiende real, no ficticia], es tambin dudoso que el enunciado completo la tenga. Pero, con todo, es seguro que cualquiera que, seriamente, tenga al enunciado por verdadero o por falso, le adjudicar tambin una referencia al nombre Ulises y no slo un sentido; puesto que a la referencia de este nombre es a lo que se atribuye o deja de atribuir el predicado

El argumento que aqu plantea Frege parece discurrir as: Hemos de esperar que la referencia de un enunciado est determinada por la referencia de las partes de ese enunciado. Qu es lo que falta en un enunciado si una de las partes no tiene referencia? Si estuviramos interesados slo en el pensamiento, no nos importara que 'Ulises' tuviera o no una referencia, pues el pensamiento sigue siendo el mismo en uno y otro caso, ya que est determinado por los sentidos, y, no por las referencias, de las partes constituyentes de la proposicin. Slo cuando se desea seriamente tomar el enunciado por verdadero o por falso, como es el caso en la praxis cientfica, es cuando se siente la necesidad de adscribir una referencia a 'Ulises', porque en otro caso no habra nada que nos permitiera decidir si el predicado a l atribuido era verdadero o falso.

14
[] tenemos en verdad derecho a no contentarnos con el sentido de un enunciado y a preguntar tambin por su referencia. Pero por qu queremos que cada nombre propio tenga no slo un sentido sino tambin una referencia? Por qu no nos basta el pensamiento? Porque, y en la medida en que, nos importa su valor de verdad. Este no es siempre el caso. Al escuchar, por ejemplo, una epopeya, nos cautivan, adems de la eufona del lenguaje, el sentido de los enunciados y las representaciones y los sentimientos despertados por ellos. Con la pregunta por la verdad abandonamos el goce esttico y entramos en un enfoque cientfico. De ah que nos sea indiferente si, por ejemplo el nombre 'Ulises' tiene una referencia o no, en la medida en que tomemos el poema como una obra de arte. Es pues la bsqueda de la verdad la que nos impulsa sobre todo a avanzar del sentido a la referencia. Hemos visto que a un enunciado hay que buscarle siempre una referencia, cuando se est interesado en la referencia de sus partes componentes; y esto sucede cuando y slo cuando se da el caso de que nos preguntamos por su valor de verdad. As pues, esto nos empuja a aceptar que el valor de verdad de un enunciado viene dado por su referencia, y es su referencia 13. Entiendo por valor de verdad de un enunciado la circunstancia de que es verdadero o falso. No hay otros valores de verdad. Para abreviar, llamo a uno lo verdadero, al otro lo falso. [] en todo juicio14 se ha producido ya el paso del nivel de los pensamientos al nivel de las referencias (de lo objetivo).

As pues, al formular un juicio, que no es la mera captacin de un pensamiento, sino un reconocimiento y una aceptacin de su verdad, es cuando efectivamente damos el paso desde el nivel del pensamiento propiamente dicho al nivel de la referencia. Para finalizar nuestro comentario de este artculo de Frege no quisiera dejar de citar lo que sigue:
la relacin del pensamiento con lo verdadero no debe compararse con la del sujeto con el predicado. Sujeto y predicado son ciertamente (entendidos en sentido lgico) partes del pensamiento; para el conocimiento se hallan en un mismo nivel. Mediante la composicin de sujeto y predicado slo se alcanza siempre un pensamiento, nunca se pasa de un sentido a su referencia, de un pensamiento a su valor de verdad. [] Un valor de verdad no puede ser parte de un pensamiento porque no es ningn sentido, sino un objeto. Si nuestra conjetura de que la referencia de un enunciado es su valor de verdad es correcta, entonces ste debe permanecer inalterado cuando una parte del enunciado se sustituye por una expresin con la misma referencia pero distinto sentido. (Ibid., pp. 33-35)

. Llegado este punto no puedo sino recomendar al lector la lectura de los llamados: Comentarios sobre sentido y referencia, escritos por Frege entre 1892 y 1895, pero publicados en 1969, que constituyen un buen resumen de lo que hemos dicho referido a estos tres artculos que acabamos as de comentar.

ESQUEMA LGICO SEMNTICO DE FREGE15

Digamos que la referencia en verdad slo aade al sentido de un enunciado que es su pensamiento un valor de verdad : es verdadero o es falso. 14 Al introducir esta nocin de juicio, Frege seala en una nota que Un juicio no es para m la mera concepcin de un pensamiento, sino el reconocimiento y la aceptacin de su verdad. 15 El esquema que ofrecemos a continuacin, ligeramente modificado y ampliado por mi, figura en una Carta de Frege a Husserl del 24 de mayo de 1891, que Frege le mand como respuesta al envo por parte de Husserl de su Filosofa de la aritmtica (Trad cast en FREGE, G., Ensayos de semntica y filosofa de la lgica, Ed. Tecnos, pp. 80-83). Constituye una excelente sntesis de referencia de las nociones lgico-semnticas que Frege pone en juego en su obra y de su articulacin.
13

15

Nivel lingstico
Oracin asertiva (S es P) Sujeto (S) Predicado (P)

Nivel matemtico Ecuacin (y = F(x)) Valor de la funcin (y) Argumento (x) Funcin ( F( )) Nivel lgico-semntico Enunciado Nombre propio Palabra para concepto (Nombre comn)

(Representacin (Vorstellung) [idea o imagen mental subjetiva]) Sentido (Sinn) del Enunciado del Nombre propio de la Palabra para concepto (Pensamiento, que constituye su contenido)

Referencia (Bedeutung) Valor de verdad (V F) Objeto Concepto

(objeto que cae bajo el concepto)