Многие западные интеллектуалы ХХ века были обеспокоены влиянием на умы и нравы людей стремительного развития науки и появления многочисленных областей специализированного знания. Опасаясь, как бы философия не потеряла своей актуальности для будущих поколений, Бертран Рассел написал эссе «Философия для непосвящённых», в котором сетует на присвоение наукой заслуг философии, предостерегает от последствий недостатка философии в жизни и превозносит блага, которые может принести даже пятиминутное ежедневное упражнение в ней...

Идея типов в "теории типов" Рассела достаточно проста и заключается в том, чтобы терминологически отделить друг от друга объекты кажущиеся одинаковыми, в смысле существования, но являющиеся, на самом деле, совершенно различными в этом смысле. Проясним суть этого на следующем примере. Рассмотрим множество всех объектов в мире и представим его в виде перечисления: s1, s2, s3, ...sN, где N - общее количество объектов (оно может быть и бесконечно). Очевидно, что если это множество всех объектов в мире, то в мире не может быть более чем N объектов...