Etablissant un lien étroit entre le langage et la logique, Russel inaugure la logique moderne, qui est désormais relationnelle et symbolique. Le langage de la logique moderne s'intéresse ainsi à la signification, qui doit permettre, selon lui, la vérification des faits et, finalement, l'établissement de la vérité.