UNIDAD 8

Sentido, referencia y representacin: la filosofa del lenguaje de G. Frege

1. Introduccin.
2. Frege En La Tradicin Filosfica
3. Funcin Y Objeto
4. Sentido Y Referencia
5. Teora Del Significado Oracional
6. El Realismo De Frege

1. INTRODUCCION

Corno se ha repetido en innumerables ocasiones, Frege se encuentra en el origen de la lgica formal y de

la moderna filosofa del lenguaje. A pesar de la falta de conocimiento (y reconocimiento) de su obra en su poca,
ejerci una influencia decisiva en la constitucin de estas dos disciplinas, principalmente a travs de la difusin
de sus ideas por parte de B. Russell y L. Wittgenstein.
En cuanto a la lgica, fue propsito de Frege llevar a cabo la obra revolucionaria que situara a la
matemtica sobre los fundamentos ms slidos. En cambio, se puede decir que su aportacin a la filosofa
contempornea del lenguaje fue considerada por l como secundaria y circunstancial. Sus reflexiones sobre el
lenguaje natural se encuentran dispersas en diferentes artculos, cuyo propsito principal no es tanto el de
proponer una explicacin de fenmenos lingsticos concretos, como poner a prueba distinciones conceptuales
de carcter bsico, aplicables a cualesquiera sistemas semiticos (incluyendo los lenguajes lgicos).
En su sentido ms general, la aportacin de Frege a las teoras modernas sobre el lenguaje se puede caracterizar
del modo siguiente: las teoras del lenguaje han de dar cuenta de la relacin de ste con la realidad, y esto se
puede hacer al margen del anlisis del pensamiento. Como en todo cambio de perspectiva que induce una
modificacin sustancial en una disciplina, la modernidad de Frege no consiste sino en la recuperacin de un
viejo paradigma. A partir del siglo XVII, del giro cartesiano, las reflexiones lingsticas haban estado
dominadas por una versin u otra del psicologismo. La relacin semitica haba sido concebida como una
relacin mediata entre el lenguaje y la realidad. Los contenidos mentales (ideas, conceptos, interpretantes ...)
constituan la condicin necesaria de la significacin, de la conexin entre la expresin lingstica y la realidad
extralingstica. Frente a esta concepcin, las teoras lingsticas de Frege suponen un retorno a las ideas
medievales y aristotlicas: el concepto mediador es desprovisto de su contenido psicolgico, siendo objetivado,
y, lo que es ms importante, la lgica recupera el papel central en el anlisis del lenguaje. A partir de Frege, el
anlisis formal del lenguaje va a constituir un instrumento privilegiado en las teoras filosficas y lingsticas
ms importantes del siglo XX. Es paradjico que tal preponderancia tenga su origen en la desconfianza hacia el
propio lenguaje natural, pues Frege era de la firme opinin que dicha clase de lenguaje no constitua un
instrumento analtico adecuado ni del pensamiento ni del razonamiento. Para estos menesteres, Frege compar al
lenguaje comn con un ojo, mientras que la lgica, en su precisin, sera semejante a un microscopio. De ah la
necesidad de la Conceptografa, lenguaje formal ideado expresamente con un fin cientfico, el control de la
validez de los razonamientos o inferencias. Tal Conceptografa no era concebida, como Frege subraya, como un
sustituto del lenguaje natural, excepto para el fin especfico para el que estaba ideada. Pero, aunque as fuera, en
el propio Frege se encuentra expresada la esperanza de que tal tipo de lenguaje, aplicable en principio slo al
conocimiento matemtico, pueda encontrar imitadores en otros mbitos del conocimiento. La Conceptografa no
abandonaba la pretensin de convertirse en un lenguaje universal para la expresin del conocimiento, sino que
tan slo se consideraba un paso en esa direccin. No renunciaba tampoco a probar su utilidad en otras
actividades racionales en que fuera importante el razonamiento, como en el caso de la filosofa. Segn Frege, si
es una tarea de la filosofa romper el dominio de la palabra sobre la mente humana al descubrir los engaos que
sobre las relaciones de los conceptos surgen casi inevitablemente en el uso del lenguaje, al liberar al pensamiento
de aquellos con que lo plaga la naturaleza de los medios lingsticos de expresin, entonces mi conceptografa,
ms desarrollada para estos propsitos, podra ser un instrumento til a los filsofos (Conceptografa, Prlogo,
pg. 10). En este sentido se puede considerar que Frege es heredero de una larga tradicin de desconfianza hacia
el lenguaje natural, tradicin que se puede remontar hasta F. Bacon. De acuerdo con esta tradicin, que Frege
transmiti a buena parte de la filosofa del lenguaje de este siglo, el lenguaje comn es irremediablemente vago e
impreciso para la representacin de la estructura de la realidad. La alternativa ante esta situacin es, o bien la
sustitucin de tal lenguaje natural por instrumentos expresivos ms adecuados (en particular, los lenguajes
matemticos), o bien el anlisis conceptual de dicho lenguaje, que descubre la autntica estructura oculta, de
carcter lgico, de las expresiones lingsticas. La regimentacin lgica y el anlisis formal sern a partir de
Frege los instrumentos favoritos del filsofo del lenguaje para intentar resolver los tradicionales problemas
semnticos.

2. FREGE EN LA TRADICIN FILOSFICA

Demasiado a menudo se ha presentado a Frege como un pensador genial, carente de precedentes en la
historia de la filosofa o de la lingstica. Ya hemos indicado, sin embargo, el carcter general de su filiacin
filosfica, en cuanto a lo que se refiere a teoras semiticas. Existen adems otros puntos en los que se puede
ligar a Frege con la tradicin filosfica pero, por lo que nos atae, es preciso destacar dos, su crtica del kantismo
y su opcin por la tradicin racionalista realista de Leibniz.
En cuanto a la primera, que consiste esencialmente en el rechazo de la concepcin kantiana de la
aritmtica como ciencia sinttica a priori y en una diferente forma de entender la oposicin analtico/sinttico,
tiene una importante consecuencia en lo que se refiere a la teora semntica que Frege propugn. Para Kant, el
concepto sin intuicin, esto es, sin contenido psicolgico (percepcin elaborada ...), es vaco. En cambio, de
acuerdo con Frege, los conceptos aritmticos, como el de nmero, son precisamente esa clase de conceptos no
ligada a intuiciones, puesto que los nmeros no son propiedades de los objetos. Tal doctrina, que tiene
propiamente que ver con la filosofa de la lgica, permiti a Frege despojar a sta, y de paso a la teora
semntica, de las tesis psicologistas que la dominaban. Segn Frege, los conceptos son entidades abstractas,
objetivas, que pueden ser aprehendidas a travs de las intuiciones, pero que no tienen por qu serio de forma
necesaria.
El otro aspecto destacaba que la filiacin filosfica fregeana tiene que ver con su proyecto de
Conceptografa, de escritura conceptual para el pensamiento puro, como reza el subttulo de su obra ms
conocida. Ese proyecto se inscribe en una larga tradicin filosfica de lingua universals, que tiene uno de sus
ms lcidos exponentes en Leibniz. Como a l, a Frege le interesaba construir un lenguaje en el que el
razonamiento fuera un proceso controlable de principio a fin, un lenguaje en el que se pudiera calcular la validez
de los procesos de inferencia. Este lenguaje, pens Frege, deba incorporar las leyes bsicas del pensamiento en
una forma completamente transparente, sin la indeterminacin que conlleva su expresin en el lenguaje natural.
Inscrita pues en esa lnea, su Conceptografa se diferencia de proyectos anteriores en un punto esencial: el punto
de partida no son los conceptos, sino los juicios (o los contenidos de los juicios, ms precisamente). Los
proyectos de carcter leibniziano haban consistido fundamentalmente en una combinatoria de conceptos. La
idea subyacente era que el pensamiento verdadero era una combinacin adecuada de los conceptos bsicos
correspondientes. La Conceptografa de Frege, que no es una notacin de conceptos, sino una escritura
conceptual, esto es, abstracta, escoge como elemento primitivo el juicio, esto es, la asercin de un pensamiento.
E, independientemente de la novedad que representa esto con respecto a ciertas tradiciones lgicas, es fcil
extraer la consecuencia para la teora semntica. Frege, cuando considere el lenguaje natural, no se ocupar del
significado de las piezas lxicas, porque stas slo lo adquirirn en el seno de la proposicin. La autntica
unidad significativa mnima no es la palabra, como mantuvieron numerosas teoras semnticas, sino la
proposicin, en que se expresa el pensamiento de una forma completa.

3. FUNCION Y OBJETO
El anlisis de las nociones de funcin y de objeto en la obra de Frege puede efectuarse desde varias
perspectivas. Desde la filosofa de la lgica, se puede considerar el contenido de estas nociones en relacin con
las nociones tradicionales de la matemtica. Desde la ontologa, se pueden enfocar como categoras resultantes
del anlisis de la estructura de la realidad. Y, finalmente, desde el punto de vista lingstico se puede atender a
cmo tal distincin se aplica a las expresiones lingsticas y, en particular, a los enunciados. No siempre es fcil
separar un nivel del otro, de modo que, a veces, aun pretendiendo situarse en un solo plano, es necesario referirse
a los dems para lograr una comprensin cabal de estas nociones en el sistema de Frege.
Si se comienza por la dimensin matemtica de la categora funcin, hay que decir que Frege la
caracteriz como un tipo de expresiones formales no saturadas o completas. As, not que las expresiones de
funcin, , , o sen, no designan nada (en particular, no designan nmeros), sino que solamente se aplican: El
signo de una funcin nunca est saturado, necesita ser completado por medio de un signo numrico, que
entonces llamarnos signo del argumento (Estudios sobre semntica -ESS-, pg.173). Por lo tanto, la expresin
'y es funcin de x', para indicar y = f(x), es una expresin engaosa, como si y designara una funcin del mismo
modo que x un nmero. Lo que quiere decir 'y es funcin de x' es que cuando se aplica la funcin f a la variable
x, que se denomina argumento de la funcin, se obtiene y, el valor de la funcin. En la expresin 'y es funcin de
x' existen dos expresiones nominales indeterminadas, x e y, y una expresin funcional, f, que por s sola carece
de sentido: Me interesa sealar que el argumento no forma parte de la funcin, sino que constituye, junto con la
funcin, un todo completo; pues la funcin, por s sola, debe denominarse incompleta, necesitada de
complemento o no saturada. Y esta es la diferencia de principio que hay entre las funciones y los nmeros
(ESS, pg. 22).
Este anlisis de la estructura de las expresiones algebraicas es el que Frege extiende a los enunciados
lingsticos, en lo que radica una de sus principales aportaciones a la lgica y filosofa moderna. Tanto en una
como en otra disciplina, se aceptaba hasta Frege que la estructura paradigmtica del juicio lgico o del
enunciado era la de sujeto/predicado. Esta distincin gramatical estaba profundamente arraigada en la teora
lgico-semntica desde Aristteles, y estaba asimismo relacionada con la distincin ontolgica
sustancia/accidente. El cambio que introduce Frege, propugnando la estructura funcin/objeto, introduce una
nueva forma de concebir, no slo el anlisis semntica, sino tambin el ontolgico.
La razn fundamental para el rechazo de la tradicin lgico-gramatical por parte de Frege es que no
permite dar cuenta de procesos inferenciales que se dan en enunciados relacionases o en los que se incluye
cuantificacin. Desde el punto de vista tradicional, una oracin como 'todos los hombres son mortales', consta de
un sujeto, 'todos los hombres' y un predicado, 'son mortales'. A partir del anlisis tradicional se puede dar cuenta
de conexiones inferenciales elementales entre este tipo de oraciones y otras tambin cuantificadas
elementalmente. Pero no sucede as cuando la cuantificacin es mltiple, como en 'todo hombre tiene una sola
madre' y enunciados similares. La cuantificacin en el interior de los enunciados, y las inferencias
correspondientes, slo se puede recoger cuando se distingue entre expresiones funcionales y no funcionales. De
acuerdo con Frege, la estructura lgica de una oracin debe dar cuenta de todos los elementos que permiten
establecer inferencias vlidas a partir de esa oracin, es decir, debe ser completamente explcita en su
representacin. La estructura sujeto/predicado no se corresponde, segn Frege, con la estructura del
'pensamiento puro' expresado en el enunciado.
De acuerdo con l, dicha estructura tiene que ver ms con todo lo que acompaara al acto de
pensamiento que a su contenido, es decir, es una distincin psicolgica, no lgica. Su nocin de sujeto es similar
a la nocin moderna de tema de una oracin: El lugar del sujeto en la serie de palabras tiene el significado de
una posicin indicada lingsticamente, a la que se quiere guiar la atencin del oyente (Conceptografa).
Los criterios de la distincin entre expresin funcional y nominal u objetual son en principio sintcticos,
y hacen corresponder la distincin con expresiones completas e incompletas, pero esas diferencias formales
luego se traducen en diferencias semnticas, por lo menos en lo que respecta al lenguaje natural.
El anlisis de la estructura gramatical del enunciado no es sino un caso especial de la aplicacin de la
distincin entre funcin y argumento: Los enunciados afirmativos en general pueden concebirse, lo mismo que
las ecuaciones o las expresiones analticas, descompuestas en dos partes, una de las cuales est completa en s
misma, mientras que la otra precisa de complemento, es no saturada (ESS, pg. 32). Esto es, los enunciados,
como otros tipos de expresiones lingsticas, pueden ser considerados como complejos formados por
expresiones completas e incompletas. En general, la expresin incompleta estar constituida por el predicado,
pero lo importante es que el sujeto deje de ser considerado como el elemento central de la oracin, que es
entonces concebida como la articulacin de uno o ms elementos en torno a ese predicado. Del mismo modo que
en el caso de las expresiones oracionales, la dicotoma analtica argumento/funcin puede ser aplicada a los
componentes de oraciones, como los sintagmas nominales, por ejemplo: Si descomponemos la expresin 'la
capital del Imperio Alemn' en las partes 'la capital de' e 'Imperio Alemn', con lo cual considero dentro de la
primera parte la forma de genitivo, resulta que esta primera parte es no saturada, mientras que la otra es completa
en s misma. Segn lo antes dicho, llamo pues a 'la capital de x' la expresin de una funcin. Si tomamos como
argumento suyo el Imperio alemn, obtendremos, como valor de la funcin, Berln (ESS, pg. 33).
La esencia de la generalizacin de la nocin de funcin consiste en que es considerada expresin
funcional toda aquella expresin lingstica incompleta, que necesita ser complementada para designar una
entidad. Igualmente, los argumentos y valores de la funcin ya no son nicamente nmeros, como en el caso de
las funciones matemticas, sino todo tipo de entidades susceptibles de ser designadas por una expresin nominal.
De esas entidades nominables slo es posible una definicin por exclusin, ya que se trata de elementos de un
carcter lgico primario o elemental, no descomponible: Al haber admitido as objetos sin limitacin como
argumentos y como valores de funcin, lo que se pregunta entonces es a qu lamamos aqu objeto. Considero
que es imposible una definicin acadmica, puesto que en este caso tenemos algo que, por su simplicidad, no
permite esa descomposicin lgica. Tan slo es posible aludir a lo que se quiere decir. Brevemente, aqu slo se
puede decir: objeto es todo lo que no es funcin, la expresin de lo cual, por tanto, no lleva consigo un lugar
vaco (ESS, pg. 34).
As pues, las dos categoras sintcticas funcin/argumento implican dos categoras semnticas y, a
fortiori, dos categoras ontolgicas que agotan el campo de lo real. Esta ontologa bimembre de Frege supone
una ruptura ms, con la tradicin epistemolgica en este caso. Las categoras de lo real no son entidades
abstractas construidas a partir de percepciones o experiencias por medio de la abstraccin (como en la filosofa
de J. Locke, por ejemplo), sino que son categoras lgicas, esto es, fruto del anlisis del pensamiento 'puro', sin
mediacin de la representacin sensible. Esta forma de abordar el anlisis lingstico (sintctico) y ontolgico
(semntico) fue de una decisiva importancia en la filosofa posterior y, como se ver en los prximos captulos,
caracteriz las teoras de B. Russell y del primer Wittgenstein. La tesis principal de este enfoque analtico es que
la estructura de lo real es lgica, y que esa forma lgica ha de manifestarse de alguna forma en el pensamiento y
en el lenguaje. El anlisis lingstico tiene corno funcin primordial constituir el punto de abordaje de los otros
dos niveles con los que se encuentra relacionado, y las aparentes complejidades del lenguaje natural son la
expresin de una 'mala' arquitectura lgica.

4. SENTIDO Y REFERENCIA
Desde el punto de vista del anlisis de las categoras lingsticas, la clasificacin en saturadas y no
saturadas es completa. Pero la explicacin de la relacin entre estas categoras y la realidad requiere, segn
Frege, una distincin semntica fundamental, la que separa las nociones de sentido y referencia.
Frege lleg a la conclusin de la necesidad de distinguir estas dos nociones cuando consider el
problema que planteaban los enunciados de identidad. La forma paradigmtica de este tipo de enunciados es 'a =
b', donde 'a' y 'b' son expresiones nominales, que designan objetos, y '=' una expresin funciona (con dos
argumentos, o binaria), una expresin incompleta. Los enunciados con la forma 'a = b' son sintticos, esto es,
portadores de informacin no trivial, y los enunciados de forma 'a = a' son enunciados analticos, vacos de
informacin. Desde un punto de vista epistemolgico, 'a = a' es un enunciado a priori, cuya verdad es
cognitivamente independiente de la experiencia, mientras que 'a = b' es a posteriori, puede ser verdadero o falso.
El problema que se plante Frege fue el de captar la diferencia entre 'a = b' y 'a = a', en trminos lgico-
semnticos precisos, cuando 'a = b' es verdadero. En primer lugar, descart que '=' designara una relacin entre
objetos puesto que, si fuera as, sera imposible distinguir 'a = a' de 'a = b': ambos tipos de oraciones versaran
sobre la identidad de un objeto consigo mismo. Igualmente, rechaz que la relacin '=' fuera una relacin entre
signos, pues, en ese caso, 'a = b' sera un enunciado siempre falso, que se podra parafrasear como 'el signo 'a' es
idntico al signo 'b". La solucin, segn Frege, est en distinguir en todo signo dos dimensiones relacionadas: la
realidad simbolizada por el signo, y el modo en que se realiza tal simbolizacin: adems de lo designado, que
podra llamarse la referencia del signo, va unido lo que yo quisiera denominar el sentido del signo, en el cual se
halla contenido el modo de darse (ESS, pg. 51). As, el enunciado 'a = b' se puede entender como un enunciado
que afirma que dos expresiones de sentido diferente, 'a' y 'b', refieren a un mismo objeto. As pues, la relacin de
identidad une sentidos de expresiones, indicando que a tales sentidos les corresponde una misma referencia.

La distincin entre sentido y referencia fue ideada por Frege para su aplicacin primordial en el caso de
las expresiones nominales. Por 'expresin nominal' entenda Frege aquel tipo de expresiones que designan un
objeto definido, en el sentido amplio que tiene 'objeto' en la teora fregeana. Dos clases importantes de
expresiones nominales son los sintagmas nominales determinados (encabezados por el artculo determinado en
singular, por ejemplo) y los nombres propios. Frege distingui entre unas y otros, llamando 'nombres propios' a
los primeros y 'autnticos nombres propios' a los segundos. De acuerdo con su teora, el sentido de un nombre
propio lo comprende todo aquel que conoce el lenguaje o el conjunto de designaciones al que pertenece (ESS,
pg. 51). Esto es as porque, si la expresin nominal es gramatical, la comprensin de su significado es
inmediata, independientemente de que conozcamos el objeto designado. As, en espaol, puedo utilizar la
expresin 'el actual presidente de Gobierno' con sentido sin saber si existe la referencia o, aun sabiendo que
existe, sin conocerla. El sentido es independiente de la referencia y tiene que ver ms con la forma en que est
construida la expresin que con su relacin con la realidad.

Una dificultad de la teora propuesta por Frege es la de que ste mantenga que una distincin puede
darse nicamente en el caso de que la diferencia de signos corresponda a una manera de darse lo designado
(ESS, pg. 50). En el caso de los sintagmas nominales determinados (las descripciones) se puede mantener esta
tesis, incluso aunque no exista la referencia de la expresin: al fin y al cabo los objetos no existentes tambin se
dan de alguna forma, esto es, se les puede definir e identificar a travs de propiedades. En cambio, tal doctrina
resulta problemtica en el caso de los autnticos nombres propios, que no 'iluminan', ni siquiera parcialmente, el
objeto designado. Si se aplica consecuentemente la tesis de Frege, su teora es incapaz de distinguir entre
'Hspero es Hspero' y 'Hspero es Fsforo', puesto que 'Hspero' y 'Fsforo' no estn ligados por propiedades al
objeto que designan. Frege fue consciente de esta dificultad, proponiendo en una nota a pie de pgina una
solucin que ha constituido el germen de multitud de discusiones posteriores sobre la semntica de los nombres
propios: En el caso de un verdadero nombre propio como 'Aristteles', naturalmente pueden dividirse las
opiniones en cuanto a su sentido. Por ejemplo, se podra suponer que ese sentido es: el discpulo de Platn y
maestro de Alejandro Magno. Quien suponga esto, atribuir al enunciado 'Aristteles era originario de Estagira'
un sentido distinto de aqul para quien el sentido de este nombre fuera: el maestro de Alejandro Magno
originario de Estagira. Mientras la referencia siga siendo la misma, pueden tolerarse estas oscilaciones de
sentido, a pesar de que deben evitarse en el edificio conceptual de una ciencia demostrativa y de que no deberan
aparecer en un lenguaje perfecto (ESS, pgs. 51-52). La solucin, tan insatisfactoria para Frege como lo es el
lenguaje natural desde el punto de vista lgico, permite que se pueda afirmar que, para ciertas personas que
atribuyen un determinado sentido, como 'maestro de Alejandro Magno', al nombre propio 'Aristteles', el
enunciado 'Aristteles es el maestro de Alejandro Magno' sea analtico, mientras que sera sinttico para otras.
As, la clase de las oraciones analticas no quedara determinada, en el lenguaje natural, por el conjunto de las
reglas sintcticas y semnticas, sino que habra de tenerse en cuenta el conocimiento de los usuarios para poder
determinarla. Esta sera una diferencia ms entre el lenguaje natural y el bien construido lenguaje lgico, en el
que no solamente se asegura que cada signo tiene una referencia, sino tambin que le corresponde slo un
sentido determinado.
La situacin ideal, tal como la conceba Frege, era que a un signo le correspondiera un sentido y a ste
una referencia, que podra determinarse mediante otros sentidos, y signos. Pero en el lenguaje natural no se da
esa 'conexin regular' y la relacin entre sentido y referencia es ms complicada. Aparte de las oscilaciones de
sentido en un mismo signo, hay que tener en cuenta que a ste no siempre le corresponde una referencia. Aunque
es cierto lo inverso, esto es, que a un signo que tenga referencia le ha de corresponder siempre un sentido (al
menos). Dicho brevemente, que un signo tenga sentido es una condicin necesaria, pero no suficiente, para que
posea referencia. A su vez, la referencia (el objeto, en el caso de las expresiones nominales) slo es 'iluminada
parcialmente' por un sentido, de tal modo que cabe la posibilidad de que existan otros sentidos para referirse al
mismo objeto. Pero, como se ha visto en el caso de los nombres propios, segn Frege no hay forma de referirse a
algo si no es a travs de uno de esos sentidos que constituyen un modo (posible) de su determinacin. En esto se
opone a la teora semitica de J. Stuart Mill, que sostuvo que, en los nombres propios, se da la referencia
(denotacin, en su terminologa) directa, sin necesidad de acudir al sentido (connotacin), e inaugura una
polmica que, a lo largo de nuestro siglo, ha ocupado amplio espacio en los manuales de filosofa del lenguaje.
En el signo, a sus dos componentes les corresponden dos relaciones semiticas. En primer lugar, los
signos expresan su sentido y, en segundo, designan su referencia. Esta distincin puede hacer pensar que
solamente es posible hacer afirmaciones sobre la realidad extralingstica, pero esto no ocurre as, por lo menos
en el lenguaje natural, en el que es posible referirse al propio lenguaje: Cuando se usan palabras de la manera
habitual, aquello de lo que se quiere hablar es de su referencia. Pero puede ocurrir tambin que se quiera hablar
de las palabras mismas o de su sentido. lo primero sucede, por ejemplo, cuando se citan las palabras de otro en
estilo directo. Las palabras propias se refieren entonces, en primer lugar, a las palabras del otro, y tan slo estas
ltimas tienen la referencia corriente... Si se quiere hablar del sentido de la expresin 'A' basta con usar
sencillamente la locucin 'el sentido de la expresin 'A" (ESS, pg. 53). Hay que distinguir pues un estilo
directo, en el que las expresiones tienen su referencia normal (objetos, incluyendo las propias expresiones) y un
estilo indirecto en que se habla del sentido, o en el que la referencia es el sentido. Es preciso mantener esta
distincin para dar cuenta de la semntica de expresiones lingsticas complejas, como las oraciones.
La dicotoma sentido/referencia no slo se aplica a las expresiones completas o saturadas, sino que
tambin es posible utilizarla para entender la semntica de las expresiones funcionales. La clase ms importante
de stas es la de las expresiones predicativas, por lo que cabe preguntarse por el sentido y la referencia de stas.
De acuerdo con Frege, las expresiones predicativas son funciones que dan como valores los valores veritativos,
lo verdadero o lo falso. As, la expresin predicativa 'es satlite de la tierra' tiene como valor lo verdadero cuando
se aplica al argumento 'la luna' y lo falso en caso contrario. Existe una similitud evidente entre este anlisis
'ecuacional' del enunciado y la forma tradicional de considerar las relaciones lgicas entre los objetos y los
conceptos. De acuerdo con esta teora, los objetos 'caen' bajo los conceptos, esto es, cuando un objeto tiene la
propiedad que expresa un concepto, se dice que el objeto est entre la clase de cosas de las que es propio el
concepto. Si sucede tal cosa, la afirmacin de que el objeto cae bajo el concepto es verdadera, y falsa en caso
contrario. Ello permiti a Frege afirmar que las referencias de las expresiones predicativas son conceptos. Los
conceptos son de naturaleza esencialmente predicativa y se distinguen por ser funciones de un solo argumento
que, aplicados a expresiones nominales, determinan como valor lo verdadero o lo falso.
Por la naturaleza esencialmente predicativa de los conceptos es difcil referirse a ellos. En particular,
constituye un error hablar de los conceptos como si fueran objetos, metfora a la que a veces nos fuerza el
lenguaje: Cuando quiero hablar de un concepto, el lenguaje me fuerza con violencia casi insoslayable a una
expresin inadecuada, con lo cual el pensamiento queda oscurecido, casi dira falseado. Cuando digo 'el
concepto de tringulo equiltero' se podra suponer, por la analoga lingstica, que con ello designo un
concepto... pero no es ste el caso; porque falta la naturaleza predicativa. Por eso la referencia de la expresin 'el
concepto de tringulo equiltero' (en la medida en que existe) es un objeto (ESS, pg. 88). No hay que
confundir pues el concepto con la clase de objetos a los cuales se aplica; sta ltima conforma la extensin del
concepto, pero no es el concepto mismo.
Del mismo modo que no hay que confundir los conceptos con los objetos, tampoco hay que identificar
las relaciones entre conceptos con las relaciones entre objetos. Por ejemplo, en el caso de los conceptos se da una
relacin similar a la relacin de identidad, pero que no es la identidad misma. Esta relacin se da entre dos
conceptos A y B cuando un objeto a cae bajo A si y slo si cae tambin bajo B. Esto equivale a decir que tal
relacin se da cuando la extensin de ambos conceptos es la misma, pero la relacin de identidad entre
extensiones es una relacin entre objetos, no entre conceptos:
Cuando decimos 'la referencia del trmino conceptual 'seccin cnica' es la misma que la del trmino
conceptual 'curva de segundo orden", las palabras 'referencia del trmino conceptual 'seccin cnica' son el
nombre de un objeto, no de un concepto, pues les falta la naturaleza predicativo, la no satisfaccin, la posibilidad
de utilizar un artculo indeterminado (ESS, pg. 89). Existe pues una imposibilidad de referirse a un concepto
mediante una expresin nominal, pues con tales tipos de expresiones slo se designan objetos, no conceptos. El
concepto es la referencia de la expresin predicativa, pero no se puede indicar, sealar o referir como si fuera un
objeto.

Respecto al sentido de las expresiones funcionales o predicativas, Frege no aventur ninguna opinin, de
tal modo que, en realidad, su teora de la identidad de conceptos queda incompleta. Por ejemplo, de ella se
desprende que los conceptos 'animal racional' y 'bpedo implume' estn en la relacin de igualdad equivalente a
la relacin de identidad entre objetos, ya que sus extensiones coinciden. Sin embargo, parecen conceptos
diferentes en cuanto a su sentido. Ya que no poda resolverla, Frege minimiz la cuestin del sentido de las
expresiones predicativas afirmando que lo nico que interesaba, desde el punto de vista de la lgica, es su
referencia, pues es sta la nica que hay que considerar para determinar la verdad de un enunciado.

5. TEORIA DEL SIGNIFICADO ORACIONAL

Tambin distingue Frege en los enunciados entre el sentido y la referencia. La lnea de su argumentacin
para averiguar uno y otra se basa en un importante principio semntico que Frege introdujo: el principio de
composicionalidad. Este principio asegura que, sean cuales sean el sentido y la referencia de una expresin
compleja, stos han de ser funcin del sentido y la referencia de las expresiones componentes. Si aplicamos tal
principio a los enunciados ms simples, compuestos por una expresin de objeto y una expresin de concepto, el
sentido y la referencia han de depender del sentido y la referencia del nombre y del predicado. Como el sentido
de la expresin predicativo no es claro, se puede empezar por la referencia: Supongamos que el enunciado tiene
una referencia. Si sustituimos en l una palabra por otra de la misma referencia, pero de distinto sentido, esto no
podr tener ningn efecto sobre la referencia del enunciado" (ESS, pg. 58). Qu es lo que no cambia, cuando
se sustituye una expresin por otra de la misma referencia? Al menos desde Leibniz, se sabe que lo que no debe
cambiar es el valor de verdad (principio de sustituibilidad salva veritate), luego es ste la referencia de la
oracin. Si la oracin es verdadera, la referencia es lo verdadero y, si es falsa, lo falso. Los valores de verdad son
por lo tanto los objetos a los que refieren las oraciones enunciativas. Y esto es as porque, corno expresiones
completas, los enunciados son de la misma categora semntica que los nombres propios, designan objetos:
Cada enunciado asertivo, en el que tenga importancia la referencia de las palabras, debe ser considerado pues
como un nombre propio, y su referencia, caso de que exista, es o bien lo verdadero o bien lo falso (ESS, pg.
60). Se da pues la circunstancia de que todas las oraciones verdaderas designan lo mismo, lo verdadero, y que
igualmente suceda con las falsas, que refieren a lo falso. De ah que, corno afirma Frege, en la referencia
de enunciado, todo lo singular desaparecer. Por eso, es necesario no slo considerar la referencia de un
enunciado, sino tambin su modo propio de descomposicin, esto es, el sentido que corresponde a ese
enunciado, que permite diferenciarlo de otros con el mismo valor de verdad.
Qu es lo que cambia cuando se efecta la sustitucin? Evidentemente, lo que se modifica es el
pensamiento expresado por la oracin, luego el pensamiento (Gedanke) es su sentido, lo que permite distinguir a
unas oraciones de otras. Para que una oracin posea sentido slo es necesario que est correctamente construida
y que sus partes lo tengan; lo mismo para que tenga referencia. As, de modo similar a lo que ocurre en el caso
de las expresiones nominales, existen enunciados que tienen sentido, pero no referencia, como aqullos que
hablan de entidades de ficcin: El enunciado 'Ulises fue dejado en Itaca profundamente dormido' tiene
evidentemente un sentido. Pero, como es dudoso que el nombre 'Ulises' que aparece en l tenga una referencia,
tambin es dudoso que lo tenga el enunciado entero (ESS, pg. 58). En el enunciado, la predicacin se efecta
de un objeto, no de un nombre, y si el objeto referido no existe, entonces la predicacin no se produce y no es
posible adscribir al enunciado un valor de verdad. Frege afirma que la creencia de que un enunciado es
verdadero o falso supone la creencia de que las expresiones nominales incluidas en l designan objetos o, dicho
de otro modo, que del enunciado, verdadero o falso, se sigue la afirmacin de que existe lo referido por sus
expresiones componentes.
Una vez establecidos cules son el sentido y la referencia de un enunciado simple, es preciso ampliar el
anlisis a las oraciones compuestas. Desde un punto de vista gramatical, stas se dividen en coordinadas y
subordinadas, pero esta clasificacin no coincide con la lgica. Por ejemplo, las oraciones cuantificadas, esto es,
aqullas en que se afirman propiedades o relaciones sobre conjuntos de individuos, son en realidad oraciones
compuestas, con una estructura lgica interna que esconde ms de una afirmacin. As las oraciones

(1) Todos los lgicos son matemticos

(2) Algunos lgicos son matemticos
se pueden parafrasear, desde este punto de vista lgico, como
(3) Para cualquier cosa, si es un lgico, entonces es un matemtico
(4) Existe al menos alguien que es lgico y es matemtico.

Este anlisis lgico no coincide con el gramatical, pues sus objetivos son distintos. El anlisis lgico
pretende expresar todo lo necesario para poder asignar la verdad o la falsedad al enunciado, y el anlisis
gramatical persigue otros fines. Si se admite, como Frege admita, que lo importante, desde el punto de vista
semntica, es la referencia de los enunciados, entonces el anlisis lgico es el relevante para la semntica, y las
oraciones cuantificadas han de tratarse como un caso particular de las oraciones compuestas.
En el caso de las oraciones coordinadas, el principio de composicionalidad exige que su referencia
dependa de la de las oraciones componentes. As pues, como la referencia de una oracin enunciativa es su valor
de verdad, la referencia de una oracin coordinada ser el valor de una funcin que tendr como argumentos los
valores de verdad de las oraciones componentes. De acuerdo con esto, las oraciones negadas son tambin un tipo
de oraciones compuestas y su referencia ser lo verdadero si la oracin sin negar es falsa, y falsa en caso
contrario.
No todas las partculas que son coordinantes desde un punto de vista gramatical tienen distinta
representacin lgica. Muchas de esas partculas no tienen un contenido lgico especfico, sino que slo
introducen matizaciones de tipo psicolgico. As sucede con la conjuncin 'pero' respecto a 'y': ambas tienen el
mismo contenido lgico, aunque diferentes connotaciones psicolgicas. Ambas son representadas
semnticamente por la conjuncin lgica. En general, se puede afirmar que el principio de sustituibilidad salva
veritate funciona tambin en el caso de las conjunciones coordinantes: dos conjunciones tienen el mismo
contenido lgico si se pueden sustituir entre s sin que vare el valor de verdad de enunciado compuesto que
articulan.
El caso de la subordinacin es bastante ms complicado y la teora de Frege ms difcil de aplicar. En
general, se puede afirmar que los enunciados subordinados se dividen en nominales (sustantivos), calificativos
(adjetivos) y adverbiales. La referencia ser pues la que corresponda a estas categoras, segn Frege, teniendo en
cuenta que desde un punto de vista lgico, los lugares, instantes e intervalos son objetos; por lo tanto, la
denominacin lingstica de un determinado lugar, de un determinado momento o intervalo temporal debe ser
considerada como un nombre propio (ESS, pg. 72). Esto deja resuelto el problema de la semntica de algunas
oraciones subordinadas adverbiales, las que refieren concretamente a lugares o momentos, pero deja planteados
otros de difcil tratamiento.
 En todo el anlisis que realiza Frege de la semntica de la subordinacin, merece la pena destacar el
aplicado a la subordinacin sustantiva, en particular la introducida por la partcula que. Segn Frege, la partcula
que puede introducir un pensamiento cuando depende de verbos corno 'decir', 'opinar', 'creer'... o puede indicar
otras cosas, como ruegos, preguntas u rdenes. En el primer caso, la oracin subordinada con que no tiene como
referencia la usual, esto es, un valor de verdad, sino un pensamiento. Dicho de otro modo, en el caso de la
subordinacin sustantivo dependiente de verbos como los mencionados, el sentido y la referencia de enunciado
son una y la misma. La prueba es que no se puede sustituir la oracin subordinada por otra con el mismo valor
de verdad, sino que es preciso que tenga tambin el mismo sentido para conservar el valor de verdad de la
oracin completa. Por ejemplo, consideremos la oracin
(5) Creo que Madrid es la capital de Espaa
En esta oracin no se puede sustituir 'Madrid es la capital de Espaa' por cualquier otra oracin
verdadera, como 'Pars es la capital de Francia', pues podra suceder que la oracin

(6) Creo que Pars es la capital de Francia

fuera falsa. Para efectuar la sustitucin en la oracin subordinada se requiere la identidad de sentido y, por tanto,
de referencia.
Cuando el verbo subordinante no es del tipo al que pertenece `creer', lo subordinado no expresa un
pensamiento, sino una orden, un ruego, una pregunta ... que no son ciertamente pensamientos pero, con todo,
estn al mismo nivel que el pensamiento. De ah que, en las subordinadas que dependen de 'mandar', 'pedir', etc.,
las palabras tengan su referencia indirecta (ESS, pg. 67). Lo que ocurre es que, desde el punto de vista del
conocimiento, tal tipo de oraciones carece de inters, puesto que su referencia no es un valor de verdad, sino
actos que estn al margen de lo cognoscitivo.

6. El REALISMO DE G. FREGE
La teora semntica de Frege es uno de los ms claros exponentes de las relaciones que unen a la lgica,
la filosofa del lenguaje y la ontologa. Al tratar de aplicar el anlisis lgico al lenguaje natural, Frege tuvo que
postular diferentes clases de entidades como significados de expresiones lingsticas, tuvo que definirlas y se vio
obligado a asignarles un tipo determinado de realidad.
La gran divisin ontolgica que se desprende de la teora semntica de Frege es la que separa a las
entidades en dos clases: funciones y objetos. Dentro de esa gran clasificacin, Frege distingui diversas clases de
objetos y funciones, admitiendo dentro de la clase de los primeros a los objetos abstractos, valores de verdad,
momentos de tiempo, etc. Dentro de la clase de las funciones, tienen especial relevancia ontolgica los
conceptos, las funciones monarias cuyo mbito o rango de valores son lo verdadero y lo falso.
Tanto objetos como conceptos son independientes de su representacn. En el caso de un objeto fsico, por
ejemplo, la representacin es la imagen que la mente se construye de ese objeto. Esa imagen es subjetiva, en el
sentido de que est construida a partir de mis experiencias, mis percepciones, mi memoria, etc. En cambio, segn
Frege, el sentido, la forma de referirse al objeto, es objetivo, porque puede ser propiedad comn de muchos y,
por tanto, no es parte o modo de la mente individual (ESS, pg. 54). Esta clase de objetividad, que es similar a
la kantiana, se fundamenta en el carcter pblico de las expresiones lingsticas. Independientemente de las
asociaciones subjetivas que pueda suscitar, el contenido significativo de una expresin lingstica es compartido
por una comunidad de hablantes, es intersubjetivo. El sentido es el medio intersubjetivo de acercarse a la
realidad, objetiva, pero no hay que confundirlo con la realidad misma: La referencia de un nombre propio es el
objeto mismo que designarnos con l; la representacin que tenemos entonces es totalmente subjetiva; entre
ambas se halla el sentido, que ciertamente ya no es subjetivo como la representacin pero, con todo, tampoco es
el objeto mismo- (ESS, pg. 55). De modo paralelo a como asegura Kant la objetividad del conocimiento,
Frege la fundamenta en el plano semntico: no existe referencia directa al objeto, sino slo un conocimiento
parcial e intersubjetivo de su naturaleza. El objeto no es arbitraria o subjetivamente nominable, sino que el
sentido mediante el cual accedemos a l ha de corresponderse con alguna forma de su determinacin.
En el plano oracional, es el pensamiento el medio intersubjetivo por el cual alcanzamos la verdad (o la
falsedad). lo expresado en una oracin no solamente es compartido por una comunidad de hablantes, sino que
adems puede ser expresado en diversas lenguas. Pero hay que distinguir claramente entre el acto del pensar y su
contenido, el pensamiento. El primero, como la representacin, es subjetivo e individual, y consiste en captar o
aprehender el pensamiento.
Dependiendo de las aptitudes individuales, como la memoria o la inteligencia, ese acto se llevar a cabo
en una u otra forma. Pero el contenido de lo captado no se confunde ni con el acto psicolgico del pensar, ni con
aquello a lo cual el pensamiento corresponde, lo pensado: El resultado parece ste: los pensamientos no son ni
cosas del mundo exterior ni representaciones. Debe admitirse un tercer reino. Lo que pertenece a l coincide con
las representaciones en que no puede ser percibido por los sentidos, pero con la realidad coincide en que no
necesita portador a cuyos contenidos de conciencia pertenezca. As, por ejemplo, el pensamiento que expresamos
en el teorema de Pitgoras es atemporalmente verdadero, verdadero independientemente de que alguien lo tome
por verdadero (Investigaciones lgicas, pgs. 69-70). La valoracin de la posicin ontolgica de Frege ha sido
muy variable entre los filsofos del lenguaje posteriores, lo cual da una idea de su complejidad. Desde quien lo
ha considerado nominalista (Bergmann, 1958), hasta quienes han visto en l un platnico (Hale, 1984). Por otro
lado, unos han considerado su filosofa como una crtica a Kant (Bouveresse, 1979) y otros (Currie, 1982) como
una prolongacin suya. M. Dummett, uno de sus ms conocidos intrpretes (1973, 1982), le incluye en el
movimiento realista que reacciona contra el idealismo y el psicologismo. En cambio, Sluga (1977, 1980) le
presenta como un racionalista. Segn el aspecto de su teora que se destaque, parece justificado afirmar que
Frege era un realista, en el sentido de que crea en la existencia de un mundo exterior e independiente del
pensamiento; que era kantiano, en la medida en que admita la objetividad de conocimiento; que era platnico,
ya que crea en la existencia de objetos abstractos y que, en esa misma medida, tambin se le puede considerar
un idealista. De cualquier modo, su aportacin esencial en este campo reside en haber situado los problemas
ontolgicos fuera del mbito meramente especulativo de los grandes sistemas metafsicos y haberlos ligado a la
resolucin de problemas concretos en el mbito de la lgica y la semntica.