Наука и психическое здоровье (книга 2) (ЛП)

Для примера я процитирую анализ Рассела «простого» утверждения «я лгу», приведенный в Principia. «Старейшее противоречие подобного рода известно по имени Эпименида. Эпименид Критский сказал, что все критяне – лжецы, и что все утверждения, сделанные критянами, определенно являются ложными. Было ли это утверждение ложью? Простейшая форма данного противоречия предоставляется человеком, который говорит «Я лгу»; если он лжет, то он говорит правду, и наоборот. . . .

«Когда человек говорит «Я лгу», можно истолковать его утверждение как: «Есть утверждение, которое я высказываю, и которое является ложным». То есть, он утверждает истинность некоторой ценности функции «я утверждаю p, и p является ложным». Но мы видели, что слово «ложный» является неоднозначным, и что для того, чтобы сделать его однозначным, нужно конкретизировать порядок этой ложности, или, что то же самое, порядок утверждения, которому приписывается ложность. Мы также видели, что, если p является утверждением n-ного порядка, то утверждение, в котором p, очевидно, является переменной, не принадлежит к n-ному порядку, а имеет более высокий порядок. Следовательно, истинность или ложность, которые могут относиться к утверждению «имеется утверждение p, которое я утверждаю и которое обладает ложностью n-ного порядка» – это истинность или ложность более высокого порядка, чем n-ный. Следовательно, утверждение Эпименида не относится к самому себе, и, соответственно, не возникает никакого противоречия.

«Если мы рассмотрим утверждение «Я лгу» как компактный способ одновременно сделать все следующие утверждения: «Я высказываю ложное утверждение первого порядка», «Я высказываю ложное утверждение второго порядка», и так далее, то мы обнаружим следующее любопытное состояние дел: по причине отсутствия высказанного утверждения первого порядка, утверждения «Я высказываю ложное утверждение первого порядка» является ложным. Это утверждение принадлежит ко второму порядку, следовательно, утверждение «Я делаю ложное утверждение второго порядка» является истинным. Это утверждение третьего порядка, и оно является единственным утверждением третьего порядка, которое делается. Следовательно, утверждение «Я делаю ложное утверждение третьего порядка» является ложным. Так, мы видим, что утверждение «Я делаю ложное утверждение порядка 2n+1» является ложным, в то время как утверждение «Я делаю ложное утверждение порядка 2n» истинно. При таком положении дел никакого противоречия не наблюдается».⁵

Понятно, что если применить язык порядков абстракций к вышеописанному случаю, то подобный вывод можно сделать в более обобщенном и простом виде. Если смешивать порядки абстракций, то, естественно, из этого выйдет бесконечный спор. Этот пример показывает, как смешивание порядков абстракций может привести к нерешаемым словесным проблемам, и как семантически важно то, что не следует отождествлять и нужно быть осознающим абстрагирование, с проистекающим из этого инстинктивным чувством этого особенного структурного расслоения «человеческого знания». Следует отметить, что при смешивании порядков абстракций и использовании м.п терминов, без осознания их ∞-значного характера, всегда можно создать бесконечный набор подобных словесных споров, которые будут затемнять данный вопрос, но как только мы припишем м.п терминам определенный порядок и тем самым установим конкретное единственное значение для данного контекста для множества значений, которыми может обладать любой м.п термин, все трудности пропадут.

Поскольку вышеприведенный анализ относится ко всем м.п терминам, а эти термины являются наиболее важными в нашей жизни, нет никакого смысла в попытках избегать этих терминов или последствий их использования. Как раз наоборот; часто возникает структурная необходимость в построении м.п термина – например, «абстрагирование» – где мы должны принять за данность то, что он обладает множеством значений, и указать на эти значения, придавая этому термину определенный порядок абстракции. Так, такие термины, как «абстрагирование» или «характеристика». , можно рассматривать как путаные или вводящие в замешательство; но «абстрагирование на различных порядках». , таким не будет, поскольку в конкретном контексте всегда можно приписать данному термину определенный порядок и единственное значение.