• Bertrand Arthur William Russell (1872–1970) a fost un filosof, logician, eseist și critic social

britanic cunoscut mai ales pentru munca sa în logica matematică și filozofia

analitică. Contribuțiile sale cele mai influente includ susținerea logicismului (opinia că
matematica este într-un sens important reductibil la logică), rafinarea calculului predicat al
lui Gottlob Frege (care încă constituie baza majorității sistemelor logice contemporane),
apărarea lui monismul neutru (opinia că lumea constă dintr-un singur tip de substanță care
nu este nici exclusiv mentală, nici exclusiv fizică) și teoriile sale despre descrieri
definite , atomism logic și tipuri logice .

• Principalele contribuții ale lui Russell la logică și fundamentele matematicii includ

descoperirea paradoxului lui Russell , cunoscut și ca paradoxul Russell-Zermelo (Linsky
2013), dezvoltarea sa (împreună cu Whitehead) a teoriei tipurilor , susținerea logicismului
(punctul de vedere că matematica este, într-un anumit sens semnificativ, reductibilă la
logica formală), teoria sa impresionantă generală a relațiilor logice, formalizarea
matematicii cantității și a numerelor reale și rafinarea calculului predicatului de ordinul
întâi.