Gottlob Frege

Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 en Wismar - 26 de julio de 1925 en Bad Kleinen) fue un matemtico, lgico y filsofo alemn, padre de la lgica matemtica y la filosofa analtica. Frege es ampliamente reconocido como el mayor lgico desde Aristteles.

Vida
Nacido en Wismar (actual Alemania) en 1848. Comenz sus estudios en la Universidad de Jena en 1869 trasladndose a Gotinga para completar sus estudios de fsica, qumica, filosofa y matemticas, licencindose en esta ltima hacia 1873. Al regresar a Jena se dedic a la docencia de matemticas, hasta su muerte acaecida en el ao de 1925 en la localidad de Bad Kleinen.

Gottlob Frege cerca de 1879.

Pensamiento
En 1879, Frege public su revolucionaria obra titulada Conceptografa o Escritura de conceptos (Begriffsschrift), en la que sent las bases de la lgica matemtica moderna, iniciando una nueva era en esta disciplina que haba permanecido prcticamente inalterada desde Aristteles. Mediante la introduccin de una nueva sintaxis, con la inclusin de los llamados cuantificadores (para todo o para al menos un), permiti formalizar una enorme cantidad de nuevos argumentos. Tambin fue el primero en distinguir la caracterizacin formal de las leyes lgicas de su contenido semntico. Una vez fijados los principios axiomticos de la lgica, acometi la tarea de edificar la aritmtica sobre la base de aquella. Un problema en las revolucionarias obras de Frege es la cantidad de espacio impreso que requiere su notacin; no fue realmente hasta la publicacin de los Principia Mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lgica formal, en una notacin menos extensa (pero que requiere muchos signos de agrupacin) fue apreciable.

Logicismo
Frege fue un defensor del logicismo, la tesis de que las matemticas son reducibles a la lgica, en el sentido de que las verdades de la matemtica son deducibles de las verdades de la lgica. Sin embargo su defensa del logicismo era de alcance limitado, aplicndola slo a la aritmtica y a la teora de conjuntos, puesto que Frege permaneci en gran medida kantiano respecto de la geometra. Su obra titulada Leyes bsicas de la aritmtica (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 adverta acerca de una grave inconsistencia en su sistema lgico, conocida ms adelante como la paradoja de Russell. Frege introdujo a toda prisa una modificacin en uno de sus axiomas, de la que dej constancia en un apndice de la obra. Este golpe a la estructura de su obra prcticamente puso fin a su actividad acadmica. Ante la casi total indiferencia de sus contemporneos, 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

Gottlob Frege 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 artculos, entre los cuales destaca El pensamiento: una investigacin lgica, en donde bsicamente se examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo hablante en un enunciado declarativo. En los aos sesenta el filsofo de Oxford Michael Dummett public una serie de importantes libros sobre la filosofa de Frege que revivieron el inters por su obra y lo reincorporaron al debate filosfico.

Filosofa del lenguaje

La teora del significado de Frege se enfrenta a la tradicin psicologista que asigna contenidos mentales a las palabras como sus significados. Frege se enfrenta a esta tradicin en su artculo Sobre el sentido y la referencia, e inaugura una importante tradicin en la filosofa del lenguaje. La tesis segn 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 estn contenidas en nuestra mente; el hombre mediante palabras comunica tales ideas. Las ideas vienen de nuestra experiencia sensible. Para Locke no existe una relacin 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 artculo titulado Sobre el sentido y la referencia, Frege comienza preguntndose 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 triviales, pero no ocurre igual con los enunciados del tipo (2). La relacin de identidad que aparece en estos enunciados no puede ser entre signos de objetos ni entre objetos. Si la identidad es entre objetos la informacin que nos proporciona (1) no es diferente de la que nos proporciona (2). Si la relacin se da entre nombres de objetos, entonces no estamos diciendo nada extralingstico. As pues Frege soluciona esta cuestin 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 segn 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 teora 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 aproximacin al objeto mismo. Por ejemplo, si profiero una expresin como "Venus es Hspero", se est diciendo que el objeto al que refiere "Venus" es el mismo objeto al que refiere "Hspero". Ambas expresiones son nombres para el mismo objeto. Ahora bien, Venus es un nombre internacionalmente conocido, con el que algunos hablantes asociarn unas propiedades, mientras que al nombre "Hspero" se le asignarn propiedades diferentes. De esta manera alguien podra llegar a pensar que es falso. Como segn la tesis de Locke nuestras palabras son signos de ideas que de hecho estn en nuestra mente, Frege rompe con este psicologismo defendiendo en su lugar un realismo, ms objetivo y preciso a la hora de determinar los significados de nuestras expresiones. Para Frege nuestras palabras refieren a objetos y, adems expresan modos de darse tales objetos, es decir, que tienen sentido. Ahora bien, es el sentido de una expresin una representacin subjetiva del hablante? No, pues dice Frege: "De la referencia y del sentido del signo hay que distinguir la representacin a l asociada". De este modo, la referencia de un signo es un objeto, si el objeto es sensible, la representacin que tengo no es ms que una "imagen interna" construida a partir del recuerdo de las sensaciones que tal objeto me produjo, y en esto se diferencia la representacin subjetiva de la referencia. Pero y el sentido? Tampoco. El sentido de un signo "puede ser propiedad comn de muchos" mientras que "la representacin es subjetiva". El sentido de una expresin se entiende en la medida en que se tiene un cierto

Gottlob Frege 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 nmero natural" o "el poltico ms intil", pues para cada nmero natural siempre existe otro mayor, y para cada poltico intil siempre existe otro que lo es ms. 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 estn contenidas en la mente de los hablantes. A estas ideas slo tiene acceso el mismo hablante, y las palabras las usamos como signos de estas ideas para comunicarlas. Frege rompe con este psicologismo, segn el cual los significados y los conceptos son entidades privadas, para abrirse a un nuevo paradigma de corte platnico: el realismo del significado, desde donde defiende que nuestras palabras refieren a objetos del mundo, tienen referencia y, tambin, 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 comn de pensamientos, que transmite de una generacin 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.

Influencia
El trabajo de Frege en los fundamentos de la matemtica influy directamente en los Principia Mathematica de Bertrand Russell y Alfred North Whitehead. Ludwig Wittgenstein y Edmund Husserl tambin fueron otros filsofos profundamente influidos por Frege. Frege fue tambin una figura importante para la filosofa del lenguaje. La distincin entre sentido y referencia y entre concepto y objeto se deben a l. En 1930, los teoremas de incompletitud de Gdel socavaron parte del proyecto logicista de Frege. Los teoremas muestran que para cualquier sistema formal que tenga el poder suficiente para expresar la aritmtica, habr proposiciones verdaderas en el sistema que no pueden ser demostradas, ni sus negaciones refutadas. Gilles Deleuze articula su Lgica del sentido con base en la proliferacin infinita de entidades verbales o paradoja de Frege, segn la cual "dada una proposicin siempre puede tomarse su sentido como lo designado de otra proposicin".

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Gottlob FregeCommons. Wikiquote alberga frases clebres de o sobre Gottlob Frege. Wikiquote Gottlob Frege [1] (en ingls) - Artculo de la Stanford Encyclopedia of Philosophy. Gottlob Frege [2] (en ingls) - Artculo de la Internet Encyclopedia of Philosophy.

Referencias
[1] http:/ / plato. stanford. edu/ entries/ frege/ [2] http:/ / www. iep. utm. edu/ frege/

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Gottlob Frege Fuente: http://es.wikipedia.org/w/index.php?oldid=72361645 Contribuyentes: 1297, Acratta, Aracne, Arlekean, Armando-Martin, Baffclan, Bichologo, Cayetanoguerra, Ceancata, Cebes, ChapaPott, Copydays, Documentoweb, Dodo, Ejrrjs, Gerwoman, Halfdrag, Jamawano, Jkbw, John plaut, Juan Manuel, Keres, Latiniensis, Lema, Luis Felipe Schenone, Mariano Deheza, MoisesMB, Ojoavisor, Paintman, Peres, Peter in s, Petronas, Pietrus, Roper, Sanbec, Sms, Suisui, Tamorlan, 51 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Young frege.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Young_frege.jpg Licencia: Public Domain Contribuyentes: Frege1b, Gorup, 1 ediciones annimas Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab. Archivo:Spanish Wikiquote.SVG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Spanish_Wikiquote.SVG Licencia: logo Contribuyentes: James.mcd.nz

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/