Gottlob Frege

Friedrich Ludwig Gottlob Frege ( 8 de noviembre de 1848 - 26 de julio de 1925) fue un filósofo, lógico y matemático alemán. Fue profesor de matemáticas en la Universidad de Jena y muchos lo consideran el padre de la filosofía analítica , concentrándose en la ^filosofía del lenguaje , la lógica y las matemáticas . Aunque fue ignorado en gran medida durante su vida, Giuseppe Peano (1858-1932), Bertrand Russell (1872-1970) y, en cierta medida, Ludwig Wittgenstein ( 1889-1951) presentaron su trabajo a generaciones posteriores de filósofos. Frege es considerado ampliamente como el mayor lógico desde Aristóteles y uno de los filósofos de las matemáticas más profundos de todos los tiempos. ^[8]

Sus contribuciones incluyen el desarrollo de la lógica moderna en la Begriffsschrift y el trabajo sobre los fundamentos de las matemáticas . Su libro Fundamentos de la aritmética es el texto seminal del proyecto logicista , y es citado por Michael Dummett como el lugar donde señalar el giro lingüístico . Sus artículos filosóficos " Sobre el sentido y la referencia " y " El pensamiento " también son ampliamente citados. El primero aboga por dos tipos diferentes de significado y el descriptivismo . En Fundamentos y "El pensamiento", Frege aboga por el platonismo contra el psicologismo o el formalismo , en relación con los números y las proposiciones respectivamente.

Frege nació en 1848 en Wismar , Mecklemburgo-Schwerin (hoy parte de Mecklemburgo-Pomerania Occidental ). Su padre Carl (Karl) Alexander Frege (1809-1866) fue el cofundador y director de una escuela secundaria para niñas hasta su muerte. Después de la muerte de Carl, la escuela fue dirigida por la madre de Frege, Auguste Wilhelmine Sophie Frege (née Bialloblotzky, 12 de enero de 1815 - 14 de octubre de 1898); su madre era Auguste Amalia Maria Ballhorn, descendiente de Philipp Melanchthon ^[9] y su padre era Johann Heinrich Siegfried Bialloblotzky, descendiente de una familia noble polaca que abandonó Polonia en el siglo XVII. ^[10] Frege era luterano. ^[11]

En su infancia, Frege se topó con filosofías que guiarían su futura carrera científica. Por ejemplo, su padre escribió un libro de texto sobre la lengua alemana para niños de 9 a 13 años, titulado Hülfsbuch zum Unterrichte in der deutschen Sprache für Kinder von 9 bis 13 Jahren (2.ª ed., Wismar 1850; 3.ª ed., Wismar y Ludwigslust: Hinstorff, 1862) (Libro de ayuda para la enseñanza del alemán a niños de 9 a 13 años), cuya primera sección trataba sobre la estructura y la lógica del lenguaje .

Frege estudió en la Große Stadtschule Wismar  [de] y se graduó en 1869. ^[12] El profesor de matemáticas y ciencias naturales Gustav Adolf Leo Sachse (1843-1909), que también era poeta, jugó un papel importante en la determinación de la futura carrera científica de Frege, alentándolo a continuar sus estudios en su propia alma mater, la Universidad de Jena . ^[13]

Frege se matriculó en la Universidad de Jena en la primavera de 1869 como ciudadano de la Confederación Alemana del Norte . En los cuatro semestres de sus estudios asistió a aproximadamente veinte cursos de conferencias, la mayoría de ellas sobre matemáticas y física. Su maestro más importante fue Ernst Karl Abbe (1840-1905; físico, matemático e inventor). Abbe dio conferencias sobre teoría de la gravedad, galvanismo y electrodinámica, teoría de análisis complejo de funciones de una variable compleja, aplicaciones de la física, divisiones seleccionadas de la mecánica y mecánica de sólidos. Abbe fue más que un maestro para Frege: fue un amigo de confianza y, como director del fabricante óptico Carl Zeiss AG, estaba en condiciones de impulsar la carrera de Frege. Después de la graduación de Frege, entablaron una correspondencia más estrecha. ^{[ cita requerida ]}

Otros profesores universitarios notables fueron Christian Philipp Karl Snell (1806-1886; materias: uso del análisis infinitesimal en geometría, geometría analítica de planos , mecánica analítica, óptica, fundamentos físicos de la mecánica); Hermann Karl Julius Traugott Schaeffer (1824-1900; geometría analítica, física aplicada, análisis algebraico, sobre el telégrafo y otras máquinas electrónicas ); y el filósofo Kuno Fischer (1824-1907; filosofía kantiana y crítica ). ^{[ cita requerida ]}

A partir de 1871, Frege continuó sus estudios en Gotinga, la universidad líder en matemáticas en los territorios de habla alemana, donde asistió a las conferencias de Rudolf Friedrich Alfred Clebsch (1833-1872; geometría analítica), Ernst Christian Julius Schering (1824-1897; teoría de funciones), Wilhelm Eduard Weber (1804-1891; estudios físicos, física aplicada), Eduard Riecke (1845-1915; teoría de la electricidad) y Hermann Lotze (1817-1881; filosofía de la religión). Muchas de las doctrinas filosóficas del Frege maduro tienen paralelos en Lotze; ha sido objeto de debate académico si hubo o no una influencia directa en las opiniones de Frege derivada de su asistencia a las conferencias de Lotze. ^{[ cita requerida ]}

En 1873, Frege obtuvo su doctorado con Ernst Christian Julius Schering, con una disertación titulada "Ueber eine geometrische Darstellung der imaginären Gebilde in der Ebene" ("Sobre una representación geométrica de formas imaginarias en un plano"), en la que pretendía resolver problemas tan fundamentales en geometría como la interpretación matemática de los puntos infinitamente distantes (imaginarios) de la geometría proyectiva . ^{[ cita requerida ]}

Frege se casó con Margarete Katharina Sophia Anna Lieseberg (15 de febrero de 1856 – 25 de junio de 1904) el 14 de marzo de 1887. ^[12] La pareja tuvo al menos dos hijos, que lamentablemente murieron cuando eran jóvenes. Años más tarde adoptaron un hijo, Alfred. Sin embargo, poco más se sabe sobre la vida familiar de Frege. ^[14]

Aunque su educación y sus primeros trabajos matemáticos se centraron principalmente en la geometría, el trabajo de Frege pronto giró hacia la lógica. Su Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens [ Guión conceptual: un lenguaje formal para el pensamiento puro inspirado en el de la aritmética ], Halle a/S: Verlag von Louis Nebert, 1879marcó un punto de inflexión en la historia de la lógica. La Begriffsschrift abrió nuevos caminos, incluyendo un tratamiento riguroso de las ideas de funciones y variables . El objetivo de Frege era demostrar que las matemáticas surgen de la lógica y, al hacerlo, ideó técnicas que lo separaron de la silogística aristotélica pero lo acercaron bastante a la lógica proposicional estoica. ^[15]

En efecto, Frege inventó la lógica de predicados axiomáticos , en gran parte gracias a su invención de las variables cuantificadas , que con el tiempo se volvieron omnipresentes en las matemáticas y la lógica, y que resolvieron el problema de la generalidad múltiple . La lógica anterior había tratado con las constantes lógicas y , o , si... entonces... , no , y algunos y todos , pero las iteraciones de estas operaciones, especialmente "algunos" y "todos", eran poco comprendidas: incluso la distinción entre una oración como "todo chico ama a alguna chica" y "alguna chica es amada por todos los chicos" podía representarse solo de manera muy artificial, mientras que el formalismo de Frege no tenía dificultad en expresar las diferentes lecturas de "todo chico ama a alguna chica que ama a algún chico que ama a alguna chica" y oraciones similares, en completo paralelo con su tratamiento de, digamos, "todo chico es tonto".

Un ejemplo que se observa con frecuencia es que la lógica de Aristóteles es incapaz de representar enunciados matemáticos como el teorema de Euclides , una afirmación fundamental de la teoría de números que sostiene que hay un número infinito de números primos . Sin embargo, la "notación conceptual" de Frege puede representar tales inferencias. ^[16] El análisis de los conceptos lógicos y la maquinaria de formalización que es esencial para Principia Mathematica (3 vols., 1910-13, de Bertrand Russell , 1872-1970, y Alfred North Whitehead , 1861-1947), para la teoría de las descripciones de Russell , para los teoremas de incompletitud de Kurt Gödel (1906-1978) y para la teoría de la verdad de Alfred Tarski (1901-1983), se debe en última instancia a Frege.

Uno de los propósitos declarados de Frege era aislar principios genuinamente lógicos de inferencia, de modo que en la representación adecuada de la prueba matemática, uno no apelara en ningún momento a la "intuición". Si había un elemento intuitivo, debía aislarse y representarse por separado como un axioma: de ahí en adelante, la prueba debía ser puramente lógica y sin lagunas. Habiendo exhibido esta posibilidad, el propósito más amplio de Frege era defender la visión de que la aritmética es una rama de la lógica, una visión conocida como logicismo : a diferencia de la geometría, se debía demostrar que la aritmética no tenía base en la "intuición" y que no necesitaba axiomas no lógicos. Ya en la Begriffsschrift de 1879 se derivaron teoremas preliminares importantes, por ejemplo, una forma generalizada de la ley de la tricotomía , dentro de lo que Frege entendía como lógica pura.

Esta idea fue formulada en términos no simbólicos en sus Fundamentos de la aritmética ( Die Grundlagen der Arithmetik , 1884). Más tarde, en sus Leyes básicas de la aritmética ( Grundgesetze der Arithmetik , vol. 1, 1893; vol. 2, 1903; el vol. 2 fue publicado a sus expensas), Frege intentó derivar, mediante el uso de su simbolismo, todas las leyes de la aritmética a partir de axiomas que él afirmaba como lógicos. La mayoría de estos axiomas fueron tomados de su Begriffsschrift , aunque no sin algunos cambios significativos. El único principio verdaderamente nuevo fue uno que él llamó la Ley básica V : el "rango de valores" de la función f ( x ) es el mismo que el "rango de valores" de la función g ( x ) si y solo si ∀ x [ f ( x ) = g ( x )].

El caso crucial de la ley puede formularse en notación moderna de la siguiente manera. Sea { x | Fx } la extensión del predicado Fx , es decir, el conjunto de todos los Fs, y lo mismo para Gx . Entonces la Ley Básica V dice que los predicados Fx y Gx tienen la misma extensión si y sólo si ∀x[ Fx ↔ Gx ]. El conjunto de Fs es el mismo que el conjunto de Gs sólo en el caso de que cada F sea un G y cada G sea un F. (El caso es especial porque lo que aquí se llama la extensión de un predicado, o un conjunto, es sólo un tipo de "rango de valores" de una función.)

En un episodio famoso, Bertrand Russell escribió a Frege, justo cuando el vol. 2 de las Grundgesetze estaba a punto de ser impreso en 1903, demostrando que la paradoja de Russell podía derivarse de la Ley Básica V de Frege. Es fácil definir la relación de pertenencia de un conjunto o extensión en el sistema de Frege; Russell luego llamó la atención sobre "el conjunto de cosas x que son tales que x no es un miembro de x ". El sistema de las Grundgesetze implica que el conjunto así caracterizado es y no es un miembro de sí mismo, y por lo tanto es inconsistente. Frege escribió un apéndice apresurado de último momento al vol. 2. Frege deduce la contradicción y propone eliminarla modificando la Ley Fundamental V. Frege abre el Apéndice con el comentario excepcionalmente honesto: "Casi nada más desafortunado puede sucederle a un escritor científico que ver uno de los cimientos de su edificio tambalearse después de terminar su trabajo. Esta fue la situación en la que me encontraba cuando una carta del Sr. Bertrand Russell, justo cuando la impresión de este volumen estaba a punto de terminarse". (Esta carta y la respuesta de Frege están traducidas en Jean van Heijenoort 1967.)

Posteriormente se demostró que el remedio propuesto por Frege implicaba que sólo hay un objeto en el universo del discurso y, por lo tanto, no tiene valor (de hecho, esto sería una contradicción en el sistema de Frege si hubiera axiomatizado la idea, fundamental para su discusión, de que lo Verdadero y lo Falso son objetos distintos; véase, por ejemplo, Dummett 1973), pero trabajos recientes han demostrado que gran parte del programa de los Grundgesetze podría salvarse de otras maneras:

• La Ley Básica V puede debilitarse de otras maneras. La más conocida se debe al filósofo y lógico matemático George Boolos (1940-1996), experto en la obra de Frege. Un "concepto" F es "pequeño" si los objetos que caen bajo F no pueden ponerse en correspondencia biunívoca con el universo del discurso, es decir, a menos que: ∃ R [ R es biunívoca y ∀ x ∃ y ( xRy & Fy )]. Ahora debilitemos V a V*: un "concepto" F y un "concepto" G tienen la misma "extensión" si y solo si ni F ni G son pequeños o ∀ x ( Fx ↔ Gx ). V* es consistente si la aritmética de segundo orden lo es, y basta para probar los axiomas de la aritmética de segundo orden.
• La Ley Básica V puede simplemente reemplazarse por el principio de Hume , que dice que el número de F es el mismo que el número de G si y sólo si las F pueden ponerse en una correspondencia biunívoca con las G. Este principio también es consistente si la aritmética de segundo orden lo es, y es suficiente para probar los axiomas de la aritmética de segundo orden. Este resultado se denomina teorema de Frege porque se observó que al desarrollar la aritmética, el uso que Frege hace de la Ley Básica V se limita a una prueba del principio de Hume; es de éste, a su vez, de donde se derivan los principios aritméticos. Sobre el principio de Hume y el teorema de Frege, véase "Lógica, teorema y fundamentos de la aritmética de Frege". ^[17]
• La lógica de Frege, conocida hoy como lógica de segundo orden , puede debilitarse y convertirse en la llamada lógica predicativa de segundo orden. La lógica predicativa de segundo orden más la Ley Básica V es demostrablemente consistente mediante métodos finitistas o constructivos , pero sólo puede interpretar fragmentos muy débiles de aritmética. ^[18]

El trabajo de Frege en lógica recibió poca atención internacional hasta 1903, cuando Russell escribió un apéndice a Los principios de las matemáticas en el que exponía sus diferencias con Frege. La notación diagramática que Frege utilizaba no tenía antecedentes (y no ha tenido imitadores desde entonces). Además, hasta que aparecieron los Principia Mathematica (3 vols.) de Russell y Whitehead en 1910-1913, el enfoque dominante de la lógica matemática seguía siendo el de George Boole (1815-1864) y sus descendientes intelectuales, especialmente Ernst Schröder (1841-1902). No obstante, las ideas lógicas de Frege se difundieron a través de los escritos de su alumno Rudolf Carnap (1891-1970) y otros admiradores, en particular Bertrand Russell y Ludwig Wittgenstein (1889-1951).

Frege es uno de los fundadores de la filosofía analítica , cuyos trabajos sobre lógica y lenguaje dieron origen al giro lingüístico en la filosofía. Entre sus contribuciones a la filosofía del lenguaje se encuentran:

• Análisis de función y argumento de la proposición ;
• Distinción entre concepto y objeto ( Begriff und Gegenstand );
• Principio de composicionalidad ;
• Principio de contexto ; y
• Distinción entre el sentido y la referencia ( Sinn und Bedeutung ) de los nombres y otras expresiones, que a veces se dice que implica una teoría de referencia mediada .

Como filósofo de las matemáticas, Frege atacó la apelación psicologista a las explicaciones mentales del contenido del juicio sobre el significado de las oraciones. Su propósito original estaba muy lejos de responder a preguntas generales sobre el significado; en cambio, ideó su lógica para explorar los fundamentos de la aritmética, y se propuso responder a preguntas como "¿Qué es un número?" o "¿A qué objetos se refieren las palabras que designan los números ('uno', 'dos', etc.)?". Pero al investigar estas cuestiones, finalmente se encontró analizando y explicando qué es el significado, y así llegó a varias conclusiones que resultaron muy importantes para el curso posterior de la filosofía analítica y la filosofía del lenguaje.

En su artículo de 1892, " Sobre el sentido y la referencia " ("Über Sinn und Bedeutung"), Frege introdujo su influyente distinción entre sentido ("Sinn") y referencia ("Bedeutung", que también se ha traducido como "significado" o "denotación"). Mientras que las teorías convencionales sobre el significado consideraban que las expresiones tenían una sola característica (la referencia), Frege introdujo la idea de que las expresiones tienen dos aspectos diferentes de significado: su sentido y su referencia.

Referencia (o "Bedeutung") aplicada a nombres propios , donde una expresión dada (por ejemplo, la expresión "Tom") simplemente se refiere a la entidad que lleva el nombre (la persona llamada Tom). Frege también sostuvo que las proposiciones tenían una relación referencial con su valor de verdad (en otras palabras, un enunciado "se refiere" al valor de verdad que asume). Por el contrario, el sentido (o "Sinn") asociado con una oración completa es el pensamiento que expresa. Se dice que el sentido de una expresión es el "modo de presentación" del elemento al que se hace referencia, y puede haber múltiples modos de representación para el mismo referente.

La distinción puede ilustrarse así: en sus usos ordinarios, el nombre "Charles Philip Arthur George Mountbatten-Windsor", que para fines lógicos es un todo inanalizable, y la expresión funcional "el Rey del Reino Unido", que contiene las partes significativas "el Rey de ξ" y "Reino Unido", tienen el mismo referente , a saber, la persona mejor conocida como el Rey Carlos III . Pero el sentido de la palabra " Reino Unido " es una parte del sentido de esta última expresión, pero no una parte del sentido del "nombre completo" del Rey Carlos.

Estas distinciones fueron cuestionadas por Bertrand Russell, especialmente en su artículo " Sobre la denotación "; la controversia ha continuado hasta el presente, alimentada especialmente por las famosas conferencias de Saul Kripke " Nombrar y necesidad ".

Los escritos filosóficos publicados de Frege eran de naturaleza muy técnica y estaban divorciados de las cuestiones prácticas, tanto que el estudioso de Frege, Dummett, expresó su "sorpresa al descubrir, mientras leía el diario de Frege, que su héroe era un antisemita". ^[19] Después de la Revolución alemana de 1918-19 , sus opiniones políticas se volvieron más radicales. En el último año de su vida, a la edad de 76 años, su diario contenía opiniones políticas que se oponían al sistema parlamentario, a los demócratas, liberales, católicos, los franceses y los judíos, a quienes creía que se les debía privar de sus derechos políticos y, preferiblemente, expulsarlos de Alemania. ^[20] Frege confesó "que alguna vez se había considerado un liberal y era un admirador de Bismarck ", pero luego simpatizó con el general Ludendorff . En una entrada fechada el 5 de mayo de 1924, Frege expresó su acuerdo con un artículo publicado en Deutschlands Erneuerung de Houston Stewart Chamberlain que elogiaba a Adolf Hitler . ^[21] Frege dejó constancia de su creencia de que lo mejor sería que los judíos de Alemania "se perdieran, o mejor aún, que desaparecieran de Alemania". ^[21] Se han escrito algunas interpretaciones sobre esa época. ^[22] El diario contiene una crítica al sufragio universal y al socialismo. Frege tuvo relaciones amistosas con los judíos en la vida real: entre sus estudiantes estaba Gershom Scholem , ^{[23] [24]} que valoraba enormemente su enseñanza, y fue él quien animó a Ludwig Wittgenstein a partir hacia Inglaterra para estudiar con Bertrand Russell . ^[25] El diario de 1924 se publicó póstumamente en 1994. ^[26]

Sus alumnos describían a Frege como una persona muy introvertida, que rara vez dialogaba con los demás y que, durante sus clases, pasaba la mayor parte del tiempo frente al pizarrón. Sin embargo, era conocido por mostrar ocasionalmente ingenio e incluso un sarcasmo amargo. ^[27]

• Nacido el 8 de noviembre de 1848 en Wismar , Mecklemburgo-Schwerin .
• 1869 — asiste a la Universidad de Jena .
• 1871 — asiste a la Universidad de Göttingen .
• 1873 — Doctorado en matemáticas ( geometría ) en Gotinga.
• 1874 — Habilitación en Jena; profesor particular .
• 1879 - Profesor Ausserordentlicher en Jena.
• 1896: Profesor honorario Ordentlicher en Jena.
• 1918 — se jubila. ^[28]
• Murió el 26 de julio de 1925 en Bad Kleinen (ahora parte de Mecklemburgo-Pomerania Occidental ).

Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879), Halle an der Saale: Verlag von Louis Nebert (versión en línea).

• En inglés: Begriffsschrift, a Formula Language, Modeled Upon That of Arithmetic, for Pure Thought , en: J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 , Harvard, MA: Harvard University Press, 1967, págs. 5–82.
• En inglés (secciones seleccionadas revisadas en notación formal moderna): RL Mendelsohn, The Philosophy of Gottlob Frege , Cambridge: Cambridge University Press, 2005: "Apéndice A. Begriffsschrift en notación moderna: (1) a (51)" y "Apéndice B. Begriffsschrift en notación moderna: (52) a (68)." ^[a]

Die Grundlagen der Arithmetik: Eine logisch-mathematische Untersuchung über den Begriff der Zahl (1884), Breslau: Verlag von Wilhelm Koebner (versión en línea).

• En inglés: Los fundamentos de la aritmética : una investigación lógico-matemática sobre el concepto de número , traducido por JL Austin , Oxford: Basil Blackwell, 1950.

Grundgesetze der Arithmetik , Banda I (1893); Band II (1903), Jena: Verlag Hermann Pohle (versión en línea).

• En inglés (traducción de secciones seleccionadas), "Traducción de parte de los Grundgesetze der Arithmetik de Frege ", traducido y editado por Peter Geach y Max Black en Traducciones de los escritos filosóficos de Gottlob Frege , Nueva York, NY: Philosophical Library, 1952, págs. 137-158.
• En alemán (revisado en notación formal moderna): Grundgesetze der Arithmetik , Korpora (portal de la Universidad de Duisburg-Essen ), 2006: Banda I Archivado el 21 de octubre de 2016 en Wayback Machine y Banda II Archivado el 29 de agosto de 2017 en Wayback Machine .
• En alemán (revisado en notación formal moderna): Grundgesetze der Arithmetik – Begriffsschriftlich abgeleitet. Band I und II: In moderne Formelnotation transkribiert und mit einem ausführlichen Sachregister versehen , editado por T. Müller, B. Schröder y R. Stuhlmann-Laeisz, Paderborn: mentis, 2009.
• En inglés: Basic Laws of Arithmetic , traducido y editado con una introducción de Philip A. Ebert y Marcus Rossberg. Oxford: Oxford University Press, 2013. ISBN 978-0-19-928174-9 . 

“ Función y concepto ” (1891)

• Original: "Funktion und Begriff", discurso dirigido a la Jenaische Gesellschaft für Medizin und Naturwissenschaft, Jena, 9 de enero de 1891.
• En inglés: "Función y Concepto".

" Sobre el sentido y la referencia " (1892)

• Original: "Über Sinn und Bedeutung", en Zeitschrift für Philosophie und philosophische Kritik C (1892): 25–50.
• En inglés: "Sobre el sentido y la referencia", traducido alternativamente (en una edición posterior) como "Sobre el sentido y el significado".

“ Concepto y objeto ” (1892)

• Original: "Ueber Begriff und Gegenstand", en Vierteljahresschrift für wissenschaftliche Philosophie XVI (1892): 192–205.
• En inglés: "Concepto y Objeto".

“¿Qué es una función?” (1904)

• Original: "Was ist eine Funktion?", en Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20 de febrero de 1904 , S. Meyer (ed.), Leipzig, 1904, págs. ^[29]
• En español: "¿Qué es una función?".

Investigaciones lógicas (1918-1923). Frege pretendía que los tres artículos siguientes se publicaran juntos en un libro titulado Logische Untersuchungen ( Investigaciones lógicas ). Aunque el libro en alemán nunca apareció, los artículos se publicaron juntos en Logische Untersuchungen , ed. G. Patzig, Vandenhoeck & Ruprecht, 1966, y las traducciones al inglés aparecieron juntas en Logical Investigations , ed. Peter Geach, Blackwell, 1975.

• 1918–19. "Der Gedanke: Eine logische Untersuchung" ("El pensamiento: una investigación lógica"), en Beiträge zur Philosophie des Deutschen Idealismus I : ^[b] 58–77.
• 1918–19. "Die Verneinung" ("Negación") en Beiträge zur Philosophie des Deutschen Idealismus I : 143-157.
• 1923. "Gedankengefüge" ("Pensamiento compuesto"), en Beiträge zur Philosophie des Deutschen Idealismus III : 36–51.

• 1903: "Über die Grundlagen der Geometrie". II. Jahresbericht der deutschen Mathematiker-Vereinigung XII (1903), 368–375.
  • En inglés: "Sobre los fundamentos de la geometría".
• 1967: Pequeños escritos . (I. Angelelli, ed.). Darmstadt: Wissenschaftliche Buchgesellschaft, 1967 y Hildesheim, G. Olms, 1967. "Small Writings", una colección de la mayoría de sus escritos (por ejemplo, los anteriores), publicada póstumamente .

• Sistema Frege
• Lista de pioneros en informática
• Neofregeanismo

• Bibliografía en línea de las obras de Frege y sus traducciones al inglés (compilada por Edward N. Zalta , Stanford Encyclopedia of Philosophy ).
• 1879. Begriffsschrift , eine der arithmetischen nachgebildete Formelsprache des reinen Denkens . Halle a. S.: Luis Nebert. Traducción: Concept Script, un lenguaje formal de pensamiento puro inspirado en el de la aritmética , por S. Bauer-Mengelberg en Jean Van Heijenoort , ed., 1967. De Frege a Gödel: un libro de consulta en lógica matemática, 1879-1931 . Prensa de la Universidad de Harvard.
• 1884. Die Grundlagen der Arithmetik: Eine logisch-matematische Untersuchung über den Begriff der Zahl . Breslau: W. Koebner. Traducción: JL Austin , 1974. Los fundamentos de la aritmética: una investigación lógico-matemática sobre el concepto de número , 2ª ed. Blackwell.
• 1891. "Funktion und Begriff". Traducción: "Función y Concepto" en Geach y Black (1980).
• 1892a. "Über Sinn und Bedeutung" en Zeitschrift für Philosophie und philosophische Kritik 100:25–50. Traducción: "Sobre el sentido y la referencia" en Geach y Black (1980).
• 1892b. "Ueber Begriff und Gegenstand" en Vierteljahresschrift für wissenschaftliche Philosophie 16:192–205. Traducción: "Concepto y Objeto" en Geach y Black (1980).
• 1893. Grundgesetze der Arithmetik, Band I . Jena: Verlag Hermann Pohle. Band II , 1903. Band I+II online Archivado el 17 de junio de 2022 en Wayback Machine . Traducción parcial del volumen 1: Montgomery Furth, 1964. The Basic Laws of Arithmetic . Univ. of California Press. Traducción de secciones seleccionadas del volumen 2 en Geach y Black (1980). Traducción completa de ambos volúmenes: Philip A. Ebert y Marcus Rossberg, 2013, Basic Laws of Arithmetic . Oxford University Press.
• 1904. "¿Era una función?" en Meyer, S., ed., 1904. Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20 de febrero de 1904 . Leipzig: Barth: 656–666. Traducción: "¿Qué es una función?" en Geach y Black (1980).
• 1918–1923. Peter Geach (editor): Investigaciones lógicas , Blackwell, 1975.
• 1924. Gottfried Gabriel, Wolfgang Kienzler (editores): Gottlob Freges politisches Tagebuch . En: Deutsche Zeitschrift für Philosophie , vol. 42, 1994, págs. 1057–98. Introducción de los editores en las págs. 1057–66. Este artículo ha sido traducido al inglés en: Inquiry , vol. 39, 1996, págs. 303–342.
• Peter Geach y Max Black , eds., y trad., 1980. Traducciones de los escritos filosóficos de Gottlob Frege , 3.ª ed. Blackwell (1.ª ed., 1952).

Filosofía

• Badiou, Alain . "Sobre un uso contemporáneo de Frege", trad. Justin Clemens y Sam Gillespie . UMBR(a) , núm. 1, 2000, págs. 99–115.
• Baker, Gordon y PMS Hacker, 1984. Frege: Logical Excavations . Oxford University Press. — Crítica vigorosa, aunque controvertida, tanto de la filosofía de Frege como de interpretaciones contemporáneas influyentes como la de Dummett.
• Currie, Gregory, 1982. Frege: Una introducción a su filosofía . Harvester Press.
• Dummett, Michael , 1973. Frege: Filosofía del lenguaje . Harvard University Press.
• ------, 1981. La interpretación de la filosofía de Frege . Harvard University Press.
• Hill, Claire Ortiz, 1991. Palabra y objeto en Husserl, Frege y Russell: las raíces de la filosofía del siglo XX . Athens OH: Ohio University Press.
• ------, y Rosado Haddock, GE, 2000. Husserl o Frege: significado, objetividad y matemáticas . Open Court. — Sobre el triángulo Frege-Husserl-Cantor.
• Kenny, Anthony , 1995. Frege: una introducción al fundador de la filosofía analítica moderna . Penguin Books. — Excelente introducción y descripción general, sin tecnicismos, de la filosofía de Frege.
• Klemke, ED, ed., 1968. Ensayos sobre Frege . University of Illinois Press. — 31 ensayos de filósofos, agrupados bajo tres títulos: 1. Ontología ; 2. Semántica ; y 3. Lógica y filosofía de las matemáticas .
• Rosado Haddock, Guillermo E., 2006. Una introducción crítica a la filosofía de Gottlob Frege . Ashgate Publishing.
• Sisti, Nicola, 2005. Il Programma Logicista di Frege e il Tema delle Definizioni . Franco Angeli. — Sobre la teoría de las definiciones de Frege.
• Sluga, Hans , 1980. Gottlob Frege . Routledge.
• Nicla Vassallo, 2014, Frege sobre el pensamiento y su significado epistémico con Pieranna Garavaso, Lexington Books–Rowman & Littlefield, Lanham, MD, Usa.
• Weiner, Joan , 1990. Frege en perspectiva , Cornell University Press.

Lógica y matemáticas

• Anderson, DJ, y Edward Zalta , 2004, "Frege, Boolos y objetos lógicos", Journal of Philosophical Logic 33 : 1–26.
• Blanchette, Patricia , 2012, La concepción de la lógica de Frege . Oxford: Oxford University Press, 2012
• Burgess, John, 2005. Fixing Frege . Princeton Univ. Press. — Un estudio crítico de la rehabilitación en curso del logicismo de Frege.
• Boolos, George , 1998. Lógica, lógica y lógica . MIT Press. — 12 artículos sobre el teorema de Frege y el enfoque logicista de la base de la aritmética .
• Dummett, Michael , 1991. Frege: Filosofía de las matemáticas . Harvard University Press.
• Demopoulos, William, ed., 1995. Frege's Philosophy of Mathematics . Harvard Univ. Press. — Artículos que exploran el teorema de Frege y su formación matemática e intelectual.
• Ferreira, F. y Wehmeier, K. , 2002, "Sobre la consistencia del fragmento Delta-1-1-CA de los Grundgesetze de Frege ", Journal of Philosophic Logic 31 : 301–11.
• Grattan-Guinness, Ivor , 2000. The Search for Mathematical Roots 1870–1940 . Princeton University Press. — Justo para el matemático, no tanto para el filósofo.
• Gillies, Donald A. , 1982. Frege, Dedekind y Peano sobre los fundamentos de la aritmética . Fundación Metodología y Ciencia, 2. Van Gorcum & Co., Assen, 1982.
• Gillies, Donald: La revolución fregeana en la lógica. Revoluciones en las matemáticas , 265–305, Oxford Sci. Publ., Oxford Univ. Press, Nueva York, 1992.
• Irvine, Andrew David , 2010, "Frege sobre las propiedades de los números", Studia Logica, 96(2): 239–60.
• Charles Parsons , 1965, "La teoría de los números de Frege". Reimpreso con posdata en Demopoulos (1965): 182-210. El punto de partida de la actual reexaminación comprensiva del logicismo de Frege.
• Gillies, Donald: La revolución fregeana en la lógica. Revoluciones en las matemáticas , 265–305, Oxford Sci. Publ., Oxford Univ. Press, Nueva York, 1992.
• Heck, Richard Kimberly: Teorema de Frege . Oxford: Oxford University Press, 2011
• Heck, Richard Kimberly: La lectura de los Principios Fundamentales de Frege . Oxford: Oxford University Press, 2013
• Wright, Crispin , 1983. La concepción de los números como objetos de Frege . Aberdeen University Press. — Una exposición sistemática y una defensa de alcance restringido de la concepción Grundlagen de los números de Frege .

Contexto histórico

• Everdell, William R. (1997), Los primeros modernos: perfiles de los orígenes del pensamiento del siglo XX, Chicago: University of Chicago Press, ISBN 978-0-852-0-312-0 9780226224848

• Obras de Gottlob Frege o sobre él en Internet Archive
• Frege en el Proyecto Genealogía
• Una guía completa del material fregeano disponible en la web por Brian Carver.
• Enciclopedia de filosofía de Stanford :
  • "Gottlob Frege" — de Edward Zalta .
  • "Lógica de Frege, teorema y fundamentos de la aritmética" — por Edward Zalta .
• Enciclopedia de filosofía en Internet :
  • Gottlob Frege - por Kevin C. Klement.
  • Frege y el lenguaje Archivado el 31 de enero de 2009 en Wayback Machine  . — por Dorothea Lotter.
• Laboratorio de Investigación en Metafísica: Gottlob Frege.
• Frege sobre el ser, la existencia y la verdad.
• O'Connor, John J.; Robertson, Edmund F. , "Gottlob Frege", Archivo de Historia de las Matemáticas de MacTutor , Universidad de St Andrews
• Begriff, un paquete LaTeX para componer la notación lógica de Frege, versión anterior.
• Grundgesetze, un paquete LaTeX para la composición tipográfica de la notación lógica de Frege, versión madura
• Leyes básicas de aritmética de Frege, sitio web, incluye correcciones y herramienta de composición tipográfica LaTeX , por PA Ebert y M. Rossberg.