Gottlob Frege (1848-1925)
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
No figura en el Diccionario filosófico · 1965
Diccionario de filosofía · 1984:188
Lógico, matemático y filósofo alemán. Sus obras inauguraron una etapa
nueva en la lógica matemática. Frege fue el primero en realizar la
construcción axiomática de la lógica de los enunciados y de los
predicados y dio comienzo a la teoría de la demostración matemática.
Elaboró un sistema de aritmética formalizada con vistas a fundamentar
de este modo la idea de la reductibilidad de una parte considerable de
las matemáticas a la lógica (Logicismo). El progreso ulterior de la
lógica estuvo asociado en gran medida al desarrollo del legado de
Frege y, en particular, a la superación de la contradicción
descubierta en su sistema. Frege fue adversario de la corriente
“psicológica” subjetivista en lógica. En sus concepciones lógicas
figuran elementos de materialismo. Al mismo tiempo, en la
interpretación del problema de lo general por Frege existen rasgos de
idealismo objetivo en el espíritu de Platón. Frege es autor de una
parte de la semántica lógica, relacionada con los conceptos de
significación y sentido de las expresiones idiomáticas.