Friedrich Frege

De Metapedia
Saltar a: navegación, buscar
Friedrich Frege

Friedrich Ludwig Gottlob Frege (1848 - 1925) fue un matemático, lógico y filósofo alemán, padre de la lógica-matemática y de la filosofía de la lógica o lógica simbólica.Frege es ampliamente reconocido como el mayor lógico desde Aristóteles.

Vida

Friedrich Ludwig Gottlob Frege nacido el 8 de noviembre 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 hacia 1873. Al regresar a Jena se dedicó a la docencia de matemáticas, hasta su muerte acaecida el 26 de julio del año de 1925 en la localidad de Bad Kleinen. Frege estudió en la universidad de Jena donde conoció a su gran protector de toda la vida que fue el profesor Ernst Abbe. Cuando terminó de estudiar matemáticas y física fue recomendado por él para ocupar una cátedra, sin embargo, para que pudiera comenzar a enseñar era necesario que tuviera una publicación. Así que Frege se apresuró a escribir su “Conceptografía”. Pero, la universidad, que veía las teorías de Frege como inútiles e inentendibles, no le otorgaba un sueldo (trabajaba ad honorem) y hasta estuvieron a punto de expulsarlo. Ni siquiera el propio Abbe, que sentía una gran estima hacia Frege, lo entendió: “No puedo considerar que esta primera publicación de mi colega sea un inicio afortunado de su actividad de escritor, pues presumiblemente será leída por pocos y entendida por todavía menos”. Esta sería una de sus tantas decepciones. En pocas palabras: Frege sufrió en vida una dramática falta de reconocimiento académico y social. Notemos que la autoestima de Frege cada vez va ir descendiendo más y más hasta que incluso llegaría a considerarse insignificante a sí mismo. Ni siquiera tuvo hijo y cuando murió su esposa su depresión emocional alcanzó el límite: un Frege huraño y decepcionado se fue hundiendo en la soledad y la melancolía, y ya no quería participar en reuniones. Es más, en 1912 cuando Russell lo invita a participar en un congreso matemático en Cambridge, rechaza su invitación con estas tristes palabras:

Estimo mucho el honor que usted me hace con su invitación a participar como conferenciante en el congreso de matemáticos, pero no puedo decidirme a aceptarla. Me doy cuenta de que tengo motivos importantes para ir a Cambridge, y sin embargo, siento algo así como un obstáculo insuperable. Por eso se me hace tan difícil contestar a su amable carta. ¡Por favor, no se enoje conmigo!.

Frege apoyó las iniciativas en favor de la expulsión de los judíos que ya se estaban gestando en la derrotada y humillada Alemania de 1924:

Se puede reconocer que hay judíos muy honorables, y sin embargo considerar como una desgracia que halla tantos judíos en Alemania, y que estos tengan los mismos derechos políticos que los alemanes de origen ario. De todos modos, no basta el deseo de que los judíos pierdan sus derechos políticos en Alemania o, mejor aún, que desaparezcan de Alemania. Si se quisiera promulgar parágrafos que solucionasen esta lamentable situación, habría que empezar por plantearse la pregunta: ¿Cómo distinguir con seguridad a los judíos de los no judíos?.
—Friedrich Frege

1924 diario

Letra E.png
Este artículo o sección necesita ser editado ya que posee errores ortográficos, tiene partes editadas en otro idioma, o no posee un lenguaje o estilo adecuado de presentación según el proyecto de Metapedia. Puedes colaborar ayudando a corregir el artículo, editándolo.

Frege publicó escritos filosóficos que eran de carácter muy simbólicos y divorciados de los problemas prácticos, al leer su diario se descubren pensamientos de estilo conservador, pero después de la Primera Guerra Mundial su Diario se convirtió, pues se hallan escritos de tendencias ultraderechista. los judios critican su diario porque según ellos " muestra a un Frege de opiniones políticas de extrema derecha, amargamente opuestos al sistema parlamentario, ataques hacia los demócratas,los liberales, ycatólicos; culminando su diario con insultos para losjudíos, que él pensó que deberían ser privado de derechos políticos y, preferentemente, expulsarlos de Alemania". Gottlob Frege confesó que una vez había pensado en sí mismo como un liberal y admirador de Bismarck, pero al final de su vida apoyó a sus héroes de raza pura germana; el general Erich Ludendorff y Adolf Hitler. Esto sucede después de un golpe en noviembre de 1923,que los dos habían tratado de derrocar al gobierno elegido en un sufragio dudoso y marxista. Frege escribió en su diario que" el sentido y la referencia sirven para usar todas sus habilidades analíticas y filosóficas del lenguaje para de esa forma idear planes para combatir e identificar el pensamiento judío que es tan dañino para los alemanes y para suprimir a los socialdemócratas. friedrich Frege le disgustaba cualquier forma de socialismo, que él simplemente lo denota como marxismo y su antijudaismo permaneció en silencio para los judios como Russell y Godel, pero tenía relaciones de amistad con ellos en la vida real. Entre sus alumnos judíos destaca Gershom Scholem, que tanto valoraba a su maestro, y Ludwig Wittgenstein entre otros judíos.

Pensamiento

En 1879, Frege publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos (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 al menos un»), permitió formalizar una enorme cantidad de nuevos argumentos. También 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 aquella. 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 Mathematica de Alfred North Whitehead y Bertrand Russell cuando 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ó en gran medida kantiano respecto de la geometría. Su obra titulada Leyes básicas de la aritmética (Grundgesetze der Arithmetik) fue un intento de llevar a cabo el proyecto logicista. 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, 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 anonimato 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ó el proyecto logicista de Frege, éste continuó trabajando y llegó a publicar una serie de importantes artículos, entre los cuales destaca El 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. Filosofía del lenguaje

La teoría del significado de Frege se enfrenta a la tradición psicologista que asigna contenidos mentales a las palabras como sus significados. Frege se enfrenta a esta tradición en su artículo Sobre el sentido y la referencia, e inaugura una importante tradición en la filosofía del lenguaje.

La tesis según la cual las palabras son signos de ideas es expuesta por John 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, en su artículo titulado Sobre el sentido y la referencia, Frege comienza preguntándose por los enunciados de identidad, de los cuales distingue dos tipos:

a = a
a = b

y razona de este modo: los enunciados del tipo (1) son triviales, 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.

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 el sentido y la 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 "Venus es Héspero", se está diciendo que el objeto al que refiere "Venus" es el mismo objeto al que refiere "Héspero". Ambas expresiones son nombres para el mismo objeto. Ahora bien, Venus es un nombre internacionalmente conocido, con el que algunos hablantes asociarán unas propiedades, mientras que al nombre "Héspero" se le asignarán propiedades diferentes. De esta manera alguien podría llegar a pensar que es falso.

Como según la tesis de 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, 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" mientras que "la representación es subjetiva". El sentido de una expresión se entiende en la medida en que se tiene un cierto conocimiento del referente.

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 inútil", pues para cada número natural siempre existe otro mayor, y para cada político inútil 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. El gran avance de Frege fue ver cómo organizar estos enunciados diferentes de manera sistemática y una de sus grandes innovaciones fue explicitar el uso de las variables en la lógica. Esto lo desarrolló en su obra “Conceptografía” (1879). Para lograr entender esto tenemos que cambiar las nociones de sujeto y predicado por las de objeto y función. Por ejemplo, “La nieve es blanca”, en esta oración notamos el sujeto (nieve) y el predicado (blanca). ¿Cómo lo simbolizaría Frege? Para entenderlo debemos recordar lo que es una función en matemática. Decimos F(x) = x5 + x. Estudiemos el primer miembro y el segundo miembro. La función es una operación matemática que se aplica a x. Ahora pasemos al ámbito del lenguaje cotidiano. Yo puedo decir F(x) = x es arquitecto. La función sigue siendo una operación que se aplica a x solo que ahora ese es lingüístico-gramatical. ¿Qué es esa x? Para Frege se trata de un objeto lógico que en este caso es un nombre. Y sucede que a ese nombre le está afectando la función o se le está aplicando la función “ser abogado”. En pocas palabras decimos: A(x), que se lee x es arquitecto. En el caso original: n=nieve, B=ser-blanca, B(n) se lee hay un objeto que es “n” que tiene la propiedad de “ser blanca”. Notemos que la nieve ha sido considerada como un objeto y lo blanco como una propiedad de ese objeto o como una función (“ser blanco”). Puestas así las cosas Frege construye un nuevo lenguaje.Tomando en cuenta este nuevo vocabulario lógico y la forma de simbolizar podemos resolver el enunciado que Aristóteles no podía simbolizar. Por esta razón se dice que Frege supera a Aristóteles y que además se consolida como el padre de la lógica moderna.

Personalidad

Frege fue descrito por sus estudiantes como una persona muy introvertida, rara vez discutia en clases sus teoremas o en el diálogo, sobre todo frente a la pizarra, mientras que dando conferencias a pesar de ser ingenioso era a veces amargamente sarcástico.

Artículos relacionados

Enlaces externos