Б. Рассел работал над устранением этих и некоторых других парадоксов, оставаясь в рамках аксиоматического построения логики. Вместе с А. Уайтхедом он написал трехтомный труд «Рппс1р1а МаШетаБса», в котором давалось логическое обоснование математики и преодолевались различные парадоксы. Причины парадоксов заложены в определенных свойствах языка, в частности в смешении различных видов общностей. Соответственно устранение парадоксов заключалось в строгом разграничении классов понятий по степени их общности. Эта концепция получила название теория типов. В ней задается иерархия объектов и дефиниций, во многом предвосхищающая различные семантические классификации слов.
   Б. Рассел создал оригинальную теорию дескрипций, в которой строго различил имена и дескрипции, а внутри последнего класса — определенные и неопределенные дескрипции. Нетождественность собственных имен и определенных дескрипций позволила объяснить невозможность их взаимной подстановки во фразах типа Георг IVинтересовался, является ли Вальтер Скотт автором романа «Уэверли». Имя Вальтер Скотт и определенная дескрипция автор романа «Уэверли» обозначают одного и того же человека, но при этом не тождественны. Именно поэтому подстановка собственного имени Вальтер Скотт на место дескрипции автор романа «Уэверли» с сохранением смысла и истинности высказывания невозможна (ср. Георг IV интересовался, является ли Вальтер Скотт Вальтером Скоттом).
26