Filósofo y matemático alemán nacido en Wismar, Alemania. Estudió matemáticas, filosofía y física en las universidades de Jena y Gotinga, institución esta última donde se doctoró en filosofía (1873). Su carrera académica la desarrolló como profesor de matemáticas en Jena. Autor, entre otros, de los libros Die Grundlagen der Aritmetik (1884), Function und Begriff (1891), Über Sinn und Bedeutung (1892) y Grundgesetze der Aritmetik (1893).
Entre las recientes ediciones en lenguas española y portuguesa: Fundamentos de la aritmética: investigación lógico-matemática sobre el concepto de número, Laia, Barcelona, 1973; Escritos lógico-semánticos, Tecnos, Madrid, 1974; Lógica e filosofia da linguagem, Cultrix, São Paulo, 1978; Estudios sobre semántica, Ariel, Barcelona, 1984; Escritos filosóficos, Crítica, Barcelona, 1996; Ensayos de semántica y filosofía de la lógica, Tecnos, Madrid, 1998; Investigaciones lógicas, Tecnos, Madrid, 1994.

Está considerado como el padre del simbolismo lógico, de la lógica moderna, en virtud de la cual la aritmética se puede expresar en términos de ‘logicismo’. La aritmética puede reducirse a lógica formal, a cálculo lógico.
Desde una posición crítica de las bases racionalistas de la lógica cartesiana y al psicologismo, acercó la filosofía al campo del análisis lingüístico, al estudio de la comprensión a través de la comunicación; esto es, como la teoría del significado o sentido de la expresión conceptual –la ‘conceptografía’- que se encierra en el lenguaje formal. Ese sentido, como valor de reconocimiento objetivo de la expresión, como convención o acuerdo, es el que habilita la comunicación, el que permite la comunicación como una forma de comprensión compartida. Frege recrea una teoría del conocimiento construida a partir del análisis de las estructuras lingüísticas que lo soportan.
El pensamiento semántico de Frege se proyecta en la obra de Wittgenstein, especialmente en su Tractatus Logico-philosophicus, y está relacionada, en el plano de la construcción de la matemática como lógica, con la de Bertrand Russell, que en 1902 puso al descubierto ciertas debilidades encontradas en Frege, también halladas por Gödel en su idea de la ‘incompletitud’ matemática.