Η θεωρία των λογικών τύπων συνιστά τη συστηματική προσπάθεια του Russel να σώσει τα θεμέλια των μαθηματικών μετά την ανακάλυψη των λογικών αντινομιών. Αν και αρχικά η θεωρία οδηγήθηκε σε περιπλοκές, ωστόσο σήμερα η κλαδωτή ιεραρχία τύπων αποτελεί συστηματικό στοιχείο της σύγχρονης μαθηματικής έρευνας.