Sei sulla pagina 1di 22

UNIDAD 8

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

1. 2. 3. 4. 5. 6.

INTRODUCCION. FREGE EN LA TRADICION FILOSOFICA FUNCION Y OBJETO SENTIDO Y REFERENCIA TEORIA DEL SIGNIFICADO ORACIONAL 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 p blico 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.

Potrebbero piacerti anche