Этот метод Рассел применил для анализа так называемых обозначающих выражений, т. е. всех тех слов и словосочетаний, которые, помимо имен собственных, могут выполнять в предложении роль подлежащего и среди которых наиболее важную категорию составляют определенные дескрипции («самая высокая горная вершина», «столица Франции» и т. п.). В статье «Об обозначении» («On Denoting», 1905) Рассел сформулировал «теорию дескрипций», которая стала ядром его философской логики. Согласно этой теории, определенные дескрипции по своим логическим функциям сильно отличаются от имен собственных: если имя обладает самостоятельным значением, то дескрипция – это неполный символ, приобретающий значение только в контексте целого предложения и исчезающий при переводе предложения в логически совершенный язык[21]. Так, предложение «Сократ смертен» в логически совершенном языке выражается формулой F(a), тогда как предложение «Нынешний король Франции лыс» представляет собой конъюнкцию из трех предложений, одно из которых утверждает существование человека, являющегося нынешним королем Франции, второе говорит о единственности такого человека, а третье приписывает ему свойство быть лысым. Подобный анализ устраняет иллюзию того, что выражение «нынешний король Франции» кого-то обозначает, и вместе с тем позволяет понять, как определяется истинностное значение рассматриваемого предложения. Поскольку среди ныне живущих людей нет человека, обладающего свойством «быть королем Франции», то первый конъюнкт в этом сложном суждении является ложным, а стало быть, ложным является и все суждение в целом. Благодаря такому анализу остается в неприкосновенности закон исключенного третьего, поскольку уже нельзя считать предложение «Нынешний король Франции не лыс» отрицанием предложения «Нынешний король Франции лыс». Аналогичным образом разрешается и проблема единичных отрицательных суждений существования: предложение «Пегаса не существует» переводится в предложение с квантором «Не существует такого x, что x есть Пегас», которое уже не содержит в себе ничего парадоксального.
Таким образом, при разрешении трудностей, с которыми столкнулась денотативная теория значения, стратегия Рассела, по сути, состояла в следующем: сохранить в неприкосновенности основные положения этой теории, но радикально сократить категорию имен собственных, опираясь на следующий принцип: если языковое выражение встречается в предложении, которое может быть преобразовано в логически эквивалентное ему предложение, не содержащее этого выражения, то данное выражение не является именем собственным, а стало быть, оно не несет и никакой онтологической нагрузки. Исключив определенные дескрипции из категории имен, Рассел на этом не остановился. Следующим видом выражений, к которым он применил свой метод логического анализа, стали имена вымышленных персонажей и объектов, которые он истолковал как «скрытые» или «сокращенные» дескрипции. К примеру, произнося «Пегас», мы, согласно Расселу, используем это выражение не как имя, обозначающее несуществующий предмет, а как, скажем, сокращение для дескрипции «крылатый конь Беллерофонта», так как при анализе предложений, в которых «Пегас» выступает в качестве подлежащего, это выражение будет исчезать, переходя в состав предиката в виде указанной дескрипции. Это означает, что предложения, содержащие пустые сингулярные термины, уже не лишены истинностного значения, как это было у Фреге, т. е. Расселу удалось тем самым сохранить крайне важный для него принцип: любое осмысленное предложение является либо истинным, либо ложным.