Рассел поставил вопрос, который до него казался тривиальным: что происходит с истинностью предложения, если объект, о котором оно говорит, не существует?
До него Фреге предложил простое решение: у таких предложений нет истинностного значения вообще. Они как бы зависают. Рассела это не устраивало - он строил логику, где каждое осмысленное предложение должно быть либо истинным, либо ложным.
Его решение: скрытая структура. Фраза "Нынешний король Франции лыс" на самом деле содержит три скрытых утверждения одновременно:
- Существует хотя бы один нынешний король Франции.
- Таких королей не более одного.
- Этот объект является лысым.
Всё предложение истинно только если истинны все три части. Поскольку первая часть ложна (короля нет), всё предложение ложно - а не бессмысленно.
Почему это важно? Потому что это инструмент для анализа языка. Мы постоянно говорим о несуществующих объектах ("Шерлок Холмс умный", "Пегас умеет летать") и теория Рассела дает способ разобраться, что именно мы при этом делаем с точки зрения логики.
Вот это объяснение наконец сложилось. Про три скрытых утверждения - именно это и было непонятно. Спасибо.