Różnica pomiędzy logicyzmem a formalizmem polega na tym, że logicyzm nie wypowiada się na temat znaczenia pojęć pozalogicznych używanych do konstrukcji matematyki. Zarówno Hilbert jak i twórca koncepcji Russell mieli na te kwestie zdanie znacząco odbiegające od współczesnych poglądów formalistów. Akcentowali oni znaczenie pojęć matematycznych a nie jedynie ich wzajemne relacje. Formalizm stoi na zupełnie innej pozycji dzieląc jawnie aksjomaty na logiczne i pozalogiczne i dodatkowo uważając, że są one wszystkie całkiem dowolne.
Współcześnie logicyzm został wchłonięty w warstwie technicznej przez formalizm, który stanowi wraz z aksjomatyką teorii mnogości paradygmat rozwojowy podstaw matematyki, przynajmniej w zakresie przedstawiania wiedzy i edukacji. Należy powątpiewać czy matematycy tworząc nowe teorie stosują rzeczywiście metodę aksjomatyczną. Zwykłym obyczajem w matematyce jest jednak aksjomatyczne formułowanie wyników już dokonanej pracy.
Przedstawiciele logicyzmu Bertrand Russell Alfred North Whitehead Giuseppe Peano David Hilbert Gottlob Frege
Zobacz też formalizm (matematyka) intuicjonizm (matematyka) finityzm (matematyka) konstrukcjonizm (matematyka) metamatematyka logika
Linki zewnętrzne Logicism , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Logicism , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Kategoria:Filozofia matematyki