Санта действительно существует? Философское расследование. Эрик Каплан

содержит выражения «истинно-в-языке-L» и «ложно-в-языке-L». Кроме того, существует еще и метаметаязык, описывающий выражения на метаязыке. На нем вы можете сказать следующее: «Выражение “Фраза «Снег белый» истинна-в-языке-L” истинно-в-языке-L1».

      Какой же язык нужно использовать, чтобы сказать «Это предложение неверно»? Такого языка нет. Существует истина-в-языке-L, истина-в-языке-L1, истина-в-языке-L2, но не абсолютная истина, из-за которой и возникает парадокс.

      Те из читателей этой книги, которые любят решать головоломки, наверняка уже заметили нестыковку. Чтобы сформулировать проблему и описать свое решение, Расселу и Тарскому приходится нарушать собственные правила!

      Представим, будто Рассел сказал нам: «Не нужно ставить вопрос следующим образом: “Является ли слово «самоописательный» самоописательным?” Такая фраза абсолютно бессмысленна. Лучше используйте мою теорию типов, в которой прилагательные имеют смысл только в том случае, когда мы правильно их применяем».

      Но ведь то, что он сказал, противоречит его же правилам! Рассел заявил: «Вопрос, является ли слово “самоописательный” самоописательным, бессмыслен». Но ведь в нем есть смысл. Сам Рассел только что задал этот вопрос, и мы его поняли. Он не сказал: «Не нужно ставить вопрос следующим образом: “Оаывваывсфывсваыфват?” Такая фраза абсолютно бессмысленна». Подобное выражение было бы последовательным и непротиворечивым. Вместо этого Рассел сказал: «Не нужно ставить вопрос следующим образом: “Является ли слово «самоописательный» самоописательным?” Такая фраза абсолютно бессмысленна».

      Очевидно, что это утверждение неверно. Вопрос «Является ли слово “самоописательный” самоописательным?» должен иметь определенный смысл, иначе между ним и вопросом «Оаывваывсфывсваыфват?» не было бы никакой разницы и мы не смогли бы рассуждать о нем, применяя описанную выше логику.

      Это серьезная нестыковка! Но еще бóльшая проблема состоит в том, что ответ Рассела тоже нарушает его собственные правила: «Не используйте слова таким образом, чтобы они широко характеризовали всю окружающую реальность, но прилагайте их только к тому типу или уровню реальности, который им позволительно описывать». Чтобы описать, как следует использовать слова, он применяет понятие «слова», которое как раз таки широко характеризует всю окружающую реальность.