Mantıkçılık, Alman matematikçi Gottlob Frege (1848-1925) ve İngiliz matematikçi Bertrand Russell (1872-1970) tarafından ortaya atılan ve matematiğin aslında mantık olduğunu öne süren düşünce okulu.
Mantıkçılar, matematiğin tümünün, sayı ya da küme gibi matematiğe özgü kavramlardan yararlanmaya gerek kalmaksızın, saf mantıktan çıkarsanabileceğini ileri sürerler.
biçimcilik, sezgicilik
Önermeleri ve bunların kanıtlamalardaki kullanımlarını inceleyen disiplin
