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