Logicismo es un principios del siglo 20 movimiento filosófico y matemático, inicialmente desarrollado en el finales del siglo XIX por el matemático y lógico alemán Gottlob Frege. Se basa en la premisa de que matemáticas es solo un extensión lógica, y por lo tanto que algunas o todas las matemáticas son reducible a la lógica. Sostiene efectivamente que los teoremas y verdades matemáticos son lógicamente necesario o analítico. Para más detalles, consulte la sección sobre la doctrina del Logicismo.
Aunque el movimiento fue padre por Gottlob Frege, más tarde abandonado después de que Bertrand Russell señaló un paradoja exponiendo una inconsistencia en Frege teoría de conjuntos ingenua. El Teoremas de incompletitud de Kurt Gödel (1906 – 1978), que señalan la limitaciones de todos menos los más triviales formal sistemas matemáticos, también impactados en el credibilidad del Logicismo hasta cierto punto.
Russell y Alfred North Whitehead, sin embargo, continuaron defendiendo la teoría en su innovador «Principia Mathematica», que se publicó en 1910 – 1913. Ninguno de estos primeros proponentes utilizó realmente la término «Logicismo», que sólo se aplicó de forma retroactiva.
Hubo intentos posteriores, conocidos como Neogicismo, para resucitar la teoría de Frege mediante el uso de la propia Principio de Hume. El filósofo británico Crispin Wright (1942 -) fue un firme defensor.
El lógico, junto con el positivismo lógico, fue clave en el desarrollo del movimiento de la Filosofía Analítica a finales del siglo XX.
