Il est à l'origine de la formalisation des mathématiques (Begriffschrift, 1879) et de la doctrine logiciste du fondement des mathématiques. Il est le premier à avoir présenté une théorie cohérente du calcul des prédicats et du calcul des propositions. Il est aussi à l'origine de la sémiologie par la distinction qu'il a établie entre le sens et la signification.
