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