Etablissant un lien etroit entre le langage et la logique, Russel inaugure la logique moderne, qui est desormais relationnelle et symbolique. Le langage de la logique moderne s'interesse ainsi a la signification, qui doit permettre, selon lui, la verification des faits et, finalement, l'etablissement de la verite.