escuela de filosofía de la matemática, caracterizada por la tesis, (Gottlob Frege, Bertrand Russell), de que las verdades de la aritmética son reducibles a la lógica, (o analíticas en el setido de Frege); los números son reducibles a conjuntos.
(Haack, 1978).
El logicismo fue clave en el desarrollo de la filosofía analítica en el siglo XX.
La doctrina tuvo su primer antecedente en Gottfried Leibniz. Sin embargo, el primer intento serio y detallado de reducir la matemática a la lógica tuvo que esperar hasta el siglo XIX, cuando Richard Dedekind, Georg Cantor y Giuseppe Peano articularon los principios básicos de la matemática, y Frege desarrolló el primer sistema de lógica de predicados.
Se alega que los teoremas de incompletitud de Kurt Gödel socavan el propósito del proyecto.