Gottlob Frege

Gottlob Frege
Gottlob Frege cerca de 1879.
Información personal
Nombre de nacimiento	Friedrich Ludwig Gottlob Frege
Nacimiento	8 de noviembre de 1848 Wismar(Mecklemburgo-Schwerin,Confederación Germánica)
Fallecimiento	26 de julio de 1925(76 años) Bad Kleinen(Estado Libre de Mecklemburgo-Schwerin,República de Weimar)
Sepultura	Cementerio deWismar
Nacionalidad	Alemana
Familia
Cónyuge	Margarete Katharina Sophia Anna Lieseberg
Educación
Educación	doctor en Filosofía y habilitación universitaria
Educado en	Universidad de Jena(1869-1871) Universidad de Gotinga(1871-1874)
Supervisor doctoral	Ernst Christian Julius Schering yAlfred Clebsch
Alumno de	Ernst Abbe Wilhelm Eduard Weber
Información profesional
Ocupación	Lógico, filósofo analítico, filósofo del lenguaje,profesor universitarioymatemático
Área	Filosofía
Empleador	Universidad de Jena
Obras notables	Begriffsschrift Los fundamentos de la aritmética Sobre el sentido y la referencia
Miembro de	Academia Alemana de las Ciencias Naturales Leopoldina(desde 1895)

Friedrich Ludwig Gottlob Frege(Wismar,8 de noviembre de 1848 -Bad Kleinen,26 de julio de 1925) fue unmatemático,lógicoyfilósofoalemán.Se le considera el padre de lalógica matemáticay de lafilosofía analítica,concentrándose en lafilosofía del lenguajey de lasmatemáticas.Frege desarrolló su carrera en relativa oscuridad como catedrático de matemáticas de laUniversidad de Jena,largamente ignorado por la comunidad filosófica y matemática. Es principalmente gracias aGiuseppe Peano(1858-1932) y aBertrand Russell(1872-1970), que hicieron una gran labor de divulgación de la obra de Frege, que Frege llegó a ser conocido por generaciones posteriores de filósofos y matemáticos.

Frege ideó un programalogicistadestinado a explorar los fundamentos lógicos y filosóficos de las matemáticas y del lenguaje natural. Estaba convencido de que las matemáticas y el lenguaje podían ser reducidos a lalógica.Para demostrar este fin, Frege exploró los fundamentos lógicos de ambos campos, y en ese proceso dio a luz a lalógica matemáticamoderna y a los primeros trabajos modernos enfilosofía del lenguaje.Sus intereses filosóficos, su estilo simple, claro y riguroso, y su influencia sobreBertrand Russell,Ludwig Wittgenstein,y elCírculo de Vienafueron el germen de lafilosofía analítica.

Las dos obras fundamentales de Frege son suBegriffsschrift(1879, habitualmente traducido comoIdeografía), que sentó las bases de la lógica moderna, y suGrundlagen der Arithmetik(1884,Fundamentos de la Aritmética), donde estableció los fundamentos filosóficos de lasmatemáticas.Su obra más leída en la actualidad es su artículo seminalÜber Sinn und Bedeutung(1892,Sobre el sentido y la referencia), obra fundamental de lafilosofía del lenguaje.

Biografía

Nacimiento y formación

Frege nació en 1848 enWismar,por entonces perteneciente alGran Ducado de Mecklemburgo-Schwerin,actualAlemania.Su padre, Carl (Karl) Alexander Frege (1809–1866), era el cofundador y director de un colegio femenino. A la muerte de Carl en 1866, el colegio pasó a ser dirigido por su madre Auguste Wilhelmine Sophie Frege (apellido de soltera Bialloblotzky, 1815-1898), descendiente de una familia noble polaca y, por vía materna, del humanistaPhilipp Melanchthon.​​

Durante su infancia, Frege fue expuesto a muchos de los aspectos que marcarían su carrera filosófica. Por ejemplo, su padre escribió unlibro de textosobre la lengua alemana tituladoHülfsbuch zum Unterrichte in der deutschen Sprache für Kinder von 9 bis 13 Jahren(2 ed., Wismar 1850; 3rd ed., Wismar and Ludwigslust: Hinstorff, 1862). La primera sección de dicho libro trata sobre la estructuralógicadel lenguaje.

Frege estudió en elgymnasiumde Wismar, donde se graduó en 1869. Fue su profesor de literatura, Gustav Adolf Leo Sachse (1843-1909), quien insistió en que Frege continuara sus estudios en ciencias naturales en laUniversidad de Jena.

Frege se matriculó en matemáticas la Universidad de Jena en la primavera de 1869 como ciudadano de laConfederación Alemana del Norte.Estudió durante dos años en Jena, donde atendió 20 asignaturas, la mayoría en matemáticas y enfísica,aunque también atendió clases defilosofía kantiana.Frege fue estudiante de los físicosChristian Philipp Karl Snell(1806-1886) yHermann Karl Julius Traugott Schaeffer(1824-1900), y del filósofokantianoKuno Fischer(1824–1907). Sin embargo, su profesor más importante fue el físicoErnst Karl Abbe(1840–1905), que enseñabagravitación,electrodinámica,mecánica de sólidos,yanálisisdevariable compleja.Frege mantuvo una relación de estrecha amistad con Abbe, que actuaría como el mentor de Frege a lo largo de toda su carrera.​

Abbe era una figura crucial en Jena. Había ayudado a la familia Zeiss a establecer la empresa de productos ópticosCarl Zeiss AG,y como director técnico de la misma desde 1866 había revolucionado su producción hasta convertirla en uno de los grandes conglomerados empresariales alemanes. Abbe había sido nombrado director de la fundación Carl Zeiss, que recibía casi la mitad de los beneficios de la empresa de productos ópticosCarl ZeissAG, y usaba su puesto para promover la investigación científica.​ Frege sería uno de los grandes beneficiarios de la generosidad de la fundación Zeiss por vía de Abbe.

En 1871, una vez graduado en Jena, Frege pasó a estudiar en laUniversidad de Gotinga,por entonces la universidad más reputada en matemáticas. Estudió conRudolf Friedrich Alfred Clebsch(1833–72; geometría analítica),Ernst Christian Julius Schering(1824–97; teoría de funciones),Wilhelm Eduard Weber(1804–91; física aplicada), Eduard Riecke (1845–1915; electricidad), yHermann Lotze(1817–81; filosofía de las religiones). Muchas de las doctrinas filosóficas de Frege tienen paralelos con las de Lotze; hasta qué punto Lotze influyó en Frege es un debate que continúa abierto en la actualidad

En 1873 Frege obtuvo su doctorado bajo la dirección de Ernst Schering, con una tesis doctoral titulada "Ueber eine geometrische Darstellung der imaginären Gebilde in der Ebene"(" Sobre una representación geométrica de formas imaginarias en el plano "), en la que trató de resolver problemas fundamentales relacionados con la interpretación matemática de la proyección geométrica de puntos imaginarios en el infinito.

Jena, 1874-1893

En mayo de 1874, Frege regresó a Jena tras completar suHabilitationsschriftcon una tesis sobre lateoría de los números complejostituladaRechnungsmethoden, die sich auf einer Erweiterung des Größenbegriffes Gründen( "Métodos de cálculo basados en una generalización del concepto de talla" ). Había obtenido por mediación de Abbe el puesto deprivatdozent,un puesto no remunerado que por entonces era el primer escalafón en la carrera académica en Alemania.

Ideografía(1874)

Durante sus primeros años en Jena, Frege enseñó matemáticas. Igualmente, los primeros trabajos de Frege fueron enanálisis complejoygeometría,donde parecía tener una carrera prometedora. Qué le llevó a realizar el salto a la filosofía de las matemáticas no está claro. Parece que su interés por los fundamentos filosóficos de las matemáticas fueron relativamente precoces, y que comenzó a estudiar la justificación matemática de losnúmeros enterosa su regreso a Jena. En este proceso, hubo de darse cuenta de que las matemáticas contemporáneas eran incapaces de ofrecer una justificación formal, lo que podría haberle llevado a desarrollar un nuevo tipo de lógica capaz de abordar este problema. Esto podría haberle llevado a los resultados que presentó en suIdeografía.

Parece que en el transcurso de estas investigaciones preliminares, Frege llegó a la conclusión de que la aritmética tenía que ser parte de (o podía ser reducida a) lalógicaformal. Como reflejaría posteriormente, la capacidad de una persona para familiarizarse con los números naturales no podía estar relacionada con su experiencia directa o con el espacio geométrico, sino con el lenguaje y la capacidad analítica de raciocinio generalmente conocida como lógica. Este tipo de interpretación filosófica de las matemáticas es habitualmente conocido comologicismo.

En 1879, Frege se estableció como uno de los defensores máximos de esta escuela al publicar su primera gran obra, laIdeografía(Begriffsschrift). LaIdeografíaque da nombre a la obra se refiere al conjunto de símbolos y a la sintaxis formal que Frege desarrolló a fin de clarificar las relaciones lógicas contenidas en el lenguaje ordinario. Desde Aristóteles, la lógica había estado fundamentada en elcálculo proposicional,en base al cual la verdad o falsedad de una oración se establecía por medio de una serie de operadores lógicos (negación,conjunción,disyunción,...) que permitían desarrollarsilogismos.

Notación tabular que Frege usó en suIdeografía(1874), comparada con la notación abreviada usada en la actualidad.

LaIdeografíade Frege contenía el primer tratamiento sistemático de la lógica proposicional, que era introducida de una formaaxiomática,por medio de la cual todas las leyes de la lógica podía ser deducidas. La mayor contribución de Frege fue, en todo caso, la invención de lateoría de la cuantificación.Con base en ésta, Frege fue capaz de expandir el ámbito de los operadores lógicos para poder estudiar la validez lógica de expresiones que contuvieran afirmaciones comotodo,nada,algunos,cualquiera,etc. Esto constituyó un hito en la historia de la lógica formal, y la mayor aportación al campo desde Aristóteles.​

La notación que Frege introdujo en suIdeografía,aunque elegante, era difícil de reproducir en la imprenta, y muy laboriosa y extensa: era tabular y bidimensional, lo cual no fue apreciado ni por los editores y ni por lectores del libro. Frege fue además incapaz de separar su compleja notación de lasemánticaylógica sintácticaque ejemplificaba. Ocultos bajo una notación muy difícil de penetrar, la mayor parte de los teoremas de lógica proposicional y de las muchas ideas cruciales que desarrollaba en laIdeografíafueron completamente ignorados por la comunidad académica.

De hecho, laIdeografíafue recibida con una inusitada hostilidad, generalmente causada por la dificultad de la notación que usaba. Además, Frege había ignorado abiertamente los recientes trabajos deGeorge Booley deErnst Schröderen lógica formal. Aunque la obra de tanto Boole como de Schröder era sobre todo un intento de algebrificar la lógica clásica, Frege no hizo ningún intento de comparar los sistemas de ambos al suyo propio. Esto supuso que su creación de la lógica proposicional y de segundo orden quedaran ocultos para la mayor parte del público bajo una patina de notación.Schröderen particular fue muy hostil; en su reseña de laIdeografía,comparó la notación a "introducir nociones de Japonés sin hacer nada mejor que Boole, y haciendo muchas cosas peor. "​

Aunque pobremente recibida, laIdeografíale valió para que, con la ayuda de Abbe, Frege consiguiera el puesto de profesor que ocuparía hasta su retiro. Entre 1879 y 1884 Frege se dedicó a responder a reseñas hostiles delBegriffsschrifty a tratar de explicar en qué se distinguía esta obra de la Boole.

Grundlagen(1884)

A fin de evitar las críticas que su notación ideográfica había recibido, Frege escribió su siguiente gran obra, elGrundlagen der Arithmetik( "Leyes Fundamentales de la Aritmética" ) en un estilo completamente distinto, evitando el uso de un lenguaje simbólico.​ ElGrundlagenes la primera obra donde Frege propone que la aritmética es derivable de la lógica aunque, debido a las críticas vertidas alBegriffsschrift,la defensa que Frege hace de esta tesis no es enteramente formal.

Aunque elGrundlagenes quizás la obra más importante de Frege, su recepción fue aún más fría que la delBegriffsschrift:solo recibió tres reseñas, y todas ellas fueron hostiles.​ No está claro por qué elGrundlagenfue tan fríamente recibido. Se ha pensado que, habiendo abandonado toda notación simbólica, su contenido podría haber resultado aun así demasiado técnico para los filósofos, y demasiado filosófico para los matemáticos que trabajaban en este campo.Dedekindignoró por completo el libro,Cantorlo criticó con hostilidad, yHilbertlo rechazó por entero.

Pese a la incomprensión general, elGrundlagenpropone dos tesis totalmente radicales: por una lado, que cada número es un objeto que existe por sí mismo; por otro, que asignar un número a una oración es una aserción sobre un concepto. Esto significa que Frege rechazaba que los números fueran una propiedad que pertenece a un individuo o un colectivo, y que también rechazaba que los números fueran una propiedad subjetiva, dependiente del individuo. Esto separaba de forma radical a la lógica de la psicología (algo de lo que los filósofosempiricistashabían abusado), y de laepistemología(algo frecuente entre los filósofosracionalistasen la tradición deDescartes).

En 1887 se casó, tardíamente, con Margarete Katharina Sophia Anna Liesebe (1856-1904). Aunque se desconocen los detalles de su vida privada, tendrían dos hijos que morirían en la infancia, y adoptarían a un niño, Alfred Frege.

La década que siguió a la publicación delGrundlagenfue un período productivo para Frege. Es en este tiempo donde se centra en estudiar lafilosofía del lenguaje,donde por medio de tres artículos publicados en 1891 y 1892 cambiaría para siempre el campo. El más importante de estos esÜber Sinn und Bedeutung( "Sobre el sentido y la referencia" ), donde Frege traza una distinción entre lo que él llama el sentido de una expresión, y su referencia. Según Frege, el sentido y la referencia son dos aspectos distintos del significado. Para él tanto las expresiones de objeto como las de concepto tienen una referencia (un objeto al que se refiere) y un sentido (una forma de hablar de ese objeto).

Frege en su vejez.

Grundgesetzey etapa final (1893-1925)

La última gran obra de Frege fue elGrundgesetze der Arithmetik( "Leyes Básicas de la Aritmética" ), cuyo primer volumen apareció en 1893. En este libro, Frege se dispuso a construir de manera formal la aritmética a partir de la lógica. Esto debería de haber sido su mayor logro: demostrar que las matemáticas eran reducibles a (y deducibles de) la lógica, algo que había esbozado ya en elGrundlageny a lo que había dedicado toda su carrera. ElGrundgesetzese topó con dos grades problemas. Por un lado, escarmentados del fracaso delGrundlageny elBegriffsschrift,ningún editor quería publicar la obra.​ Frege consiguió finalmente disuadir a Hermann Pohle, un editor de Jena que había publicado artículos suyos anteriormente, de que accediera a imprimir elGrundgesetze,pero Pohle solo aceptó con la condición de editarla en dos volúmenes, y publicando el segundo volumen solo si el primero tenía éxito.​

Como ocurriera con elGrundlagen,el primer volumen delGrundgesetzefue recibido fríamente. Esto retrasó la publicación del segundo volumen una década. Pese a ello, su publicación valió a Frege su ascenso a una cátedra honorífica en Jena, financiada con un sustancioso estipendio por la fundación Carl Zeiss, conseguida gracias a la intercesión de su amigo y mentor Ernst Abbe.

Pese a su fracaso editorial, elGrundgesetzeconsiguió atraer la atención de la comunidad internacional a la obra de Frege. Su publicación espoleó una polémica con el matemático italianoGiuseppe Peano,quien hubo de modificar su propia axiomatización de la aritmética a fin de acomodar las críticas y tesis de Frege a la misma.​ La controversia con Peano atrajo la atención deBertrand Russell,por entonces un joven filósofo en elTrinity College de la Universidad de Cambridge.​

Entre 1893 y 1903, Frege se dedicó a escribir agrios artículos criticando a todos los filósofos y matemáticos que habían criticado su obra anteriormente. Escribió una reseña hostil contra laPhilosophie der ArithmetikdeEdmund Husserl,quien abrazó las críticas que Frege vertió en su obra y abandonó su psicologismo matemático a favor de las tesis logicistas de Frege.​

El otro gran problema elGrundgesetzese reveló en 1902, cuando el segundo volumen delGrundgesetzeestaba en la imprenta. Frege recibió una carta de Bertrand Russell en la que Russell señalaba que el quinto axioma delGrundgesetzehacía todo el sistema inconsistente. La carta de Russell, fechada el 16 de junio de 1902, comenzaba:

Querido Colega:

He sabido de tuGrundgesetzedesde hace un año y medio, pero sólo ha sido ahora que he podido encontrar tiempo para el detallado estudio que pretendo dedicar a tus escritos. Estoy totalmente de acuerdo contigo en todos sus puntos principales, en particular en tu rechazo de todo elemento psicologicista en lógica, y en el valor que asignas a una notación conceptual para los fundamentos de las matemáticas y de la lógica formal que, de paso, a duras penas pueden distinguirse. En muchos detalles, encuentro en las discusiones, distinciones y definiciones de tus escritos todo lo que uno busca en vano en otros lógicos. En particular, en lo que respecta a las funciones (sección 9 de tuNotación Conceptual) he llegado independientemente a las mismas conclusiones incluso en detalle.He encontrado una dificultad tan sólo en un punto. Afirmas(p. 17)que una función puede también constituir el elemento indeterminado.Esto es lo que solía creer yo, peroeste punto de vista me parece ahora dudoso debido a la siguiente contradicción:Seawel predicado de ser un predicado que no puede ser predicado de sí mismo. ¿Puedewser un predicado de sí mismo? De ambas respuestas se sigue una contradicción. Debemos por tanto concluir que w no es un predicado. Igualmente,no hay una clase(en su totalidad)de todas las clases que, en su totalidad, no sean miembros de sí mismas. De esto concluyo que bajo ciertas circunstancias un conjunto definible no forma un conjunto completo.​

El quinto axioma afirmaba que si todoAes unaB,y todoBes unaA,entonces la clase de lasAs es idéntica a la clase de lasBs. Russell, por medio de laparadoja de Russell,señaló que este axioma permitía la existencia de una clase de todas las clases de cosas que no son miembros de sí mismas; pero si una cosa es miembro de sí misma, entonces no es un miembro de sí misma; pero si no es un miembro de sí misma, entonces es un miembro de dicha clase, lo cual es contradictorio. Así, Russell señalaba que el sistema de Frege no podía ser lógicamente consistente.

Frege recibió la carta de Russell con auténtico estupor.​ A diferencia de Peano, a quien Russell también había comunicado suparadoja,Frege reconoció con integridad intelectual el problema y, a fin de subsanarlo, trató derelajarel quinto axioma de sus sistema en uno de los apéndices del segundo volumen delGrundgesetze,donde discutió la paradoja de Russell y su posible solución. Su solución resultó ser asimismo lógicamente inconsistente, aunque Frege sostuvo durante unos años lo contrario.​

Antes de su jubilación en 1918, Frege había abandonado toda pretensión de haber solucionado el problema, y aceptaba el fracaso de su sistema logicista. Para entonces, la lógica matemática de la que Frege había sido pionero había captado la atención de la comunidad filosófica y matemática, aunque Frege siguió siendo ignorado. Dedicó el resto de su vida a abordar la relación entre la lógica y la psicología, en una serie de artículos compilados comoInvestigaciones lógicas(1919-1923). La mayor parte de sus escritos de este período no fueron publicados hasta 1969.

Murió en 1925 enBad Kleinen,a donde se había retirado luego de su jubilación, dejando todos sus manuscritos a su hijo adoptivo Alfred.

Diario y opiniones personales

Frege era una persona reservada e introvertida. Sus alumnos decían que se dedicaba a dar clase mirando a la pizarra, salpicando sus explicaciones de vez en cuando con comentarios profundamente sarcásticos. Su carácter y relativa oscuridad hace que solo se conozcan sus opiniones personales y carácter a través de sus propios manuscritos, en particular su diario privado, que fue recuperado porMichael Dummetten los años 70.

La obra filosófica de Frege era de naturaleza extremadamente técnica, carente de cualquier vertiente práctica, tanto así que el filósofo y biógrafo inglésDummett,uno de los grandes divulgadores de Frege, expresó su "consternación al descubrir, mientras leía los diarios de Frege, que su héroe era unantisemita."​ Tras laRevolución de Noviembrede 1918, las opiniones políticas de Frege se radicalizaron. Su diario personal durante los últimos años de su vida contienen opiniones deextrema derecha,opuestas al sistema parlamentario, a la democracia, a los liberales, los católicos, los franceses y los judíos, que consideraba debían ser privados de sus derechos políticos y expulsados de Alemania.​ Frege afirmaba que se había considerado en el pasado como un liberal y un admirador deOtto von Bismarck,pero pasó a simpatizar con el generalLudendorffy conAdolf Hitler.​ Frege criticó asimismo elsufragio universaly elsocialismo.Frege tuvo trato amistoso con judíos en la vida real: uno de sus estudiantes fueGershom Scholem,quien apreciaba mucho a su profesor;​​ y Frege animó aLudwig Wittgensteina marchar a estudiar aCambridge.​ El diario de 1924 de Frege fue publicado póstumamente en 1994.​ Las opiniones personales de Frege eran ignoradas por sus allegados, puesto que este nunca las expresó en público.

Pensamiento

En 1879, Frege publicó su revolucionaria obra tituladaIdeografíaoEscritura de conceptos(Begriffsschrift), en la que sentó las bases de lalógica matemáticamoderna, iniciando una nueva era en esta disciplina que había permanecido prácticamente inalterada desdeAristóteles.Mediante la introducción de una nueva sintaxis, con la inclusión de los llamadoscuantificadores(«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 losPrincipia mathematicadeAlfred North WhiteheadyBertrand Russellcuando el poder de lalógica formal,en una notación menos extensa (pero que requiere muchos signos de agrupación) fue apreciable.

Logicismo

Frege fue un defensor dellogicismo,la tesis de que lasmatemáticasson reducibles a laló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 solo a laaritméticay a lateoría de conjuntos,puesto que Frege permaneció en gran medidakantianorespecto de lageometría.Su obra tituladaLeyes 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 deBertrand Russellen la que le advertía acerca de una grave inconsistencia en susistema lógico,conocida más adelante como laparadoja de Russell.

Frege introdujo a toda prisa una modificación en uno de susaxiomas,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 deBad Kleineny 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, este continuó trabajando y llegó a publicar una serie de importantes artículos, entre los cuales destacaEl 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 OxfordMichael Dummettpublicó 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 delsignificadode Frege se enfrenta a la tradiciónpsicologistaque asigna contenidos mentales a las palabras como sus significados. Frege se enfrenta a esta tradición en su artículoSobre el sentido y la referencia,e inaugura una importante tradición en lafilosofía del lenguaje.

La tesis según la cual las palabras son signos de ideas es expuesta porJohn Lockeen suEnsayo 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; lagentemediante 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 tituladoSobre el sentido y la referencia,Frege comienza preguntándose por los enunciados deidentidad,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 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 lareferenciay el sentido. La referencia es elobjetomismo 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 lamentede los hablantes, la teoría del significado presentada por Frege enSobre el sentido y la referencianos 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 unrealismo,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 solo 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 delmundo,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 "lahumanidadtiene 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.

Influencia

Busto de bronce del matemático, lógico y filósofo alemán Gottlob Frege por Karl Heinz Appelt enWismar.

El trabajo de Frege en los fundamentos de la matemática influyó directamente en losPrincipia MathematicadeBertrand RussellyAlfred North Whitehead.Ludwig WittgensteinyEdmund Husserltambién fueron otros filósofos profundamente influidos por Frege.Rudolf Carnaphizo suyas muchas de las tesis logicistas de Frege, y desarrolló gran parte de su filosofía con base en la de Frege. De este modo, Frege se convirtió en el padrino intelectual delcírculo de Viena.​ Por ello, Frege está considerado como el padre de laescuela analítica de filosofía.​

Frege fue una figura clave para lafilosofía del lenguaje.La distinción entre sentido yreferenciay entreconceptoyobjetose deben a él. En 1930, losteoremas de incompletitud de Gödelsocavaron parte del proyecto logicista de Frege. Los teoremas muestran que para cualquiersistema formalque tenga el poder suficiente para expresar laaritmética,habrá proposiciones verdaderas en el sistema que no pueden ser demostradas, ni sus negaciones refutadas. Pese a ello, la contribución de Frege como el gran pionero de la lógica matemática es abiertamente reconocida.​​

Gilles Deleuzearticula suLógica del sentidocon base en la proliferación infinita de entidades verbales oparadoja de Frege,según la cual "dada una proposición siempre puede tomarse su sentido como lo designado de otra proposición".

Obra

• Ideografía (1879) (Begriffsschrift)
• Los fundamentos de la aritmética(1884) (Die Grundlagen der Arithmetik)
• Las leyes básicas de la aritmética (dos volúmenes) (1893-1903) (Grundgesetze der Arithmetik)
• Sobre el sentido y la referencia(1892) (Über Sinn und Bedeutung)

Véase también

• Logicismo
• Cálculo proposicional de Frege
• Teorema de Frege
• Filosofía analítica

Enlaces externos

• Wikimedia Commonsalberga una categoría multimedia sobreGottlob Frege.
• Wikiquotealberga frases célebres de o sobreGottlob Frege.
• Gottlob Frege(en inglés) - Artículo de laStanford Encyclopedia of Philosophy.
• Gottlob Frege(en inglés) - Artículo de la Internet Encyclopedia of Philosophy.

• Datos:Q60028
• Multimedia:Gottlob Frege/Q60028
• Citas célebres:Gottlob Frege