Gottlob Frege

Archivo:Gottlob Frege.jpg

Friedrich Ludwig Gottlob Frege

Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 - 26 de julio de 1925) fue un matemático, lógico y filósofo alemán fundador de la moderna lógica matemática y la filosofía analítica. Frege es considerado el mayor lógico desde Aristóteles.

Biografía

Nacido en Wismar (actual Alemania) en 1848. Comenzó sus estudios en la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus estudios de física, química, filosofía y matemáticas licenciándose en esta última 1873. Al regresar a Jena se dedicó a la docencia de matemáticas, hasta su muerte en Bad Kleinen hacia 1925.

Obra

En 1879 publicó su revolucionaria obra Conceptografía (Begriffsschrift), en la que sentó las bases de la lógica matemática moderna iniciando una nueva era en esta disciplina que había permanecido prácticamente inalterada desde Aristóteles: mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores («para todo» o «para algún caso de»). Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.

Una vez fijados los principios axiomáticos de la lógica, acometió la tarea de edificar la aritmética sobre la base de aquélla. Un problema en las revolucionarias obras de Frege es la cantidad de espacio impreso que requiere su notación; no fue realmente hasta la publicación de los Principia de Whitehead y Russell que el poder de la lógica formal, en una notación menos extensa (pero que requiere muchos signos de agrupación) fue apreciable.

Logicismo

Frege fue un defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado, aplicándola sólo a la aritmética, puesto que Frege permaneció kantiano respecto a la geometría. Su Grundgesetze der Arithmetik Ley básica de la aritmética fue un intento de derivar las leyes de la aritmética a partir de la lógica. En 1902, con las pruebas corregidas del segundo volumen ya en la imprenta, recibió una carta de Bertrand Russell en la que le advertía acerca de una grave inconsistencia en su sistema lógico, de la Teoría de conjuntos formulado junto con Cantor y Dedekind, conocida más adelante como la paradoja de Russell.

Frege introdujo a toda prisa una modificación en uno de sus axiomas, de la que dejó constancia en un apéndice de la obra. Este golpe a la estructura de su obra prácticamente puso fin a su actividad académica. Ante la casi total indiferencia de sus contemporáneos, tras la muerte de su esposa se recluyó en su nueva residencia de Bad Kleinen y permaneció mayormente en el anomimato hasta que Bertrand Russell lo dio a conocer, ya que habiendo llegado a los mismos resultados que Frege de manera independiente estaba en la capacidad de entenderle y fue el primer pensador de importancia en apreciar el gran valor de su obra. Pese a que el descubrimiento de la paradoja de Russell arruinó los sueños logicistas de Frege éste continuó trabajando y llegó a publicar una serie de importantes artículos, entre los cuales destaca "Pensamiento: Una Investigación Lógica", en donde básicamente se examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo hablante en un enunciado declarativo. En los años sesenta el filósofo de Oxford Michael Dummett publicó una serie de importantes libros sobre la filosofía de Frege que revivieron el interés por su obra y lo reincorporaron al debate filosófico.

Influencias en otros Filósofos

El trabajo de Frege influyó en los Principa Mathematica de Russell y Whitehead. Así como en Giuseppe Peano, Ludwig Wittgenstein y Edmund Husserl que fueron otros filósofos profundamente influidos por Frege.

Frege fue también un importante filósofo del lenguaje. La distinción entre sentido y referencia y entre concepto y objeto se deben a él.

Más tarde Kurt Gödel en su Teorema de incompletitud demostró que el programa logicista de Frege-Russell era incompleto. Esto es, que todo sistema formal contendrá al menos un enunciado verdadero indemostrable desde el sistema, el así llamado "enunciado de Gödel."

Gilles Deleuze articula su Lógica del Sentido con base en la proliferación infinita de entidades verbales o Paradoja de Frege, según la cual "dada una proposición que designa un estado de cosas, siempre puede tomarse su sentido como lo designado de otra proposición."

La lucha contra el psicologismo

La teoría del significado del lenguaje de Gottlob Frege la podemos definir desde la concepción reinante, de carácter psicologista. Según el psicologismo clásico relativo al significado del lenguaje las palabras refieren a ideas, contenidos mentales de los hablantes. Frege se enfrenta en Sobre sentido y Referencia así a la tradición. Inaugura de este modo la filosofía del lenguaje.

Ideas Previas

La tesis según la cual las palabras son signos de ideas es expuesta por J. Locke en su Ensayo sobre el entendimiento humano. Locke, partiendo de la finalidad comunicativa del lenguaje, define las palabras como “signos de concepciones internas”. Estas “concepciones internas”, ideas, son entidades que están contenidas en nuestra mente; el hombre mediante palabras comunica tales ideas. Las ideas vienen de nuestra experiencia sensible. Para Locke no existe una relación directa entre el lenguaje y el mundo, sino que el lenguaje es una herramienta con la que comunicamos nuestras ideas.

Por su parte, Frege comienza, en Sobre sentido y referencia, preguntándose por los enunciados de identidad, de los cuales distingue dos tipos:

1. a = a
2. a = b

y razona de este modo: Los enunciados del tipo (1) son analíticos en sentido empírico, y, por tanto no añaden ningún tipo de conocimiento, pero no ocurre igual con los enunciados del tipo (2). La relación de identidad que aparece en estos enunciados no puede ser entre signos de objetos ni entre objetos. Si la identidad es entre objetos la información que nos proporciona (1) no es diferente de la que nos proporciona (2). Si la relación se da entre nombres de objetos, entonces no estamos diciendo nada extralingüístico. Así pues Frege soluciona esta cuestión distinguiendo en las expresiones la referencia y el sentido. La referencia es el objeto mismo que designamos con un signo, el sentido expresa el modo de darse el objeto. Es decir, con (2) expresamos dos modos diferentes de referirnos a un mismo objeto.

Ejemplos

Pues bien, mientras que según la tesis de que las palabras son signos de ideas las palabras significan ideas subjetivas que se encuentran contenidas en la mente de los hablantes, la teoría del significado presentada por Frege en Sobre sentido y referencia nos dice que los signos significan los modos de darse los objetos a los que nos referimos con nuestras palabras. El sentido es una aproximación al objeto mismo. Por ejemplo, si profiero una expresión como (3)

José Monje Cruz es Camarón de la Isla

se está diciendo que el objeto que se llama José Monje Cruz es el objeto que se llama Camarón de la Isla. Ambas expresiones son nombres para el mismo objeto. Ahora bien, Camarón de la Isla es un nombre internacionalmente conocido, con el que algunos hablantes asociarán unas propiedades, mientras que al nombre de José Monje Cruz se le asignarán propiedades diferentes. De esta manera alguien podría llegar a pensar que es falso.

Como según la tesis de J. Locke nuestras palabras son signos de ideas que de hecho están en nuestra mente, Frege rompe con este psicologismo defendiendo en su lugar un realismo de corte logicista, más objetivo y preciso a la hora de determinar los significados de nuestras expresiones. Para Frege nuestras palabras refieren a objetos y, además expresan modos de darse tales objetos, es decir, que tienen sentido. Ahora bien, ¿es el sentido de una expresión una representación subjetiva del hablante? No, pues dice Frege: “De la referencia y del sentido del signo hay que distinguir la representación a él asociada”. De este modo, la referencia de un signo es un objeto, si el objeto es sensible, la representación que tengo no es más que una imagen interna construida a partir del recuerdo de las sensaciones que tal objeto me produjo, y en esto se diferencia la representación subjetiva de la referencia.

Pero ¿y el sentido? Tampoco. El sentido de un signo “puede ser propiedad común de muchos” mientrs que “la representación es subjetiva”. El sentido de una expresión se entiende en la medida en que se tiene un cierto conocimiento de la referencia, así, en "José Monje Cruz es Camarón de la Isla", mucha gente sabe a que objeto nos referimos con Camarón de la Isla, pero no con José Monje Cruz; otras personas, que fuesen, al igual que yo, fans de Camarón y que por tanto conociesen mejor a tal objeto, sabrían que con ambos nombres nos referimos al mismo objeto, y, por ejemplo para su médico de cabecera que podría tener ante sí una lista en la que apareciese su paciente José Monje Cruz un enunciado como "José Monje Cruz es Camarón de la Isla" podría parecer falso.

Hasta ahora se ha hablado de la referencia como si todas nuestras expresiones refiriesen a un objeto. Sin embargo para Frege esto no es así. Hay expresiones que parece que apuntan hacia un objeto, lo que hace que concibamos su sentido sin que tal referencia exista. Es el caso de expresiones como el “mayor número natural” o “el político más idiota”, pues para cada número natural siempre existe otro mayor, y para cada político idiota siempre existe otro que lo es más. A pesar de todo, los significados de esta clase de expresiones tampoco son ideas privadas de la mente de los hablantes.

Frege rechaza de plano la tesis de que las palabras son signos de ideas. He tomado la tesis tal y como la expone Locke, como que las ideas son entidades que están contenidas en la mente de los hablantes. A estas ideas sólo tiene acceso el mismo hablante, y las palabras las usamos como signos de estas ideas para comunicarlas. Frege rompe con este psicologismo, según el cual los significados y los conceptos son entidades privadas, para abrirse a un nuevo paradigma de corte platónico: el realismo del significado, desde donde defiende que nuestras palabras refieren a objetos del mundo, tienen referencia y, también, sentido. El sentido viene dado por el conocimiento que se tiene de la referencia, sin que de aquí se siga que es algo subjetivo, con respecto a esto dice Frege que “la Humanidad tiene un tesoro común de pensamientos, que transmite de una generación a otra”, es decir, los sentidos, los significados de las palabras pertenecen a comunidades de hablantes y no a las mentes de los individuos; lo que es exclusivo de los hablantes son sus representaciones subjetivas, de las que las palabras no son signos.

Bibliografía

• Locke, J. Ensayo sobre el entendimiento humano, libro III.
• Frege, G. Sobre sentido y referencia.

Véase también

• Sistema de Frege
• Teoría del significado de Frege

Enlaces externos

• Wikimedia Commons alberga una galería multimedia sobre Gottlob Frege..