En la filosofia de les matemàtiques, el llogicisme és una corrent de pensament que sosté una o vàries tesis segons les quals —baix algun significat coherent de llògica— les matemàtiques són una extensió de la llògica, part o la totalitat de les matemàtiques són reduibles a la llògica, o be part o la totalitat de les matemàtiques poden ser modelades dins de la llògica.

Bertrand Russell i Alfred North Whitehead varen defendre este programa, iniciat per Gottlob Frege i posteriorment desenrollat per Richard Dedekind i Giuseppe Peano.