ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
Шрифт:
Ответ заключается в том, что здесь имеются два уровня значения. Один из них мы только что использовали; другой уровень — это утверждение теории чисел. Если бы формула Т Тарского действительно существовала, то она являлась бы высказыванием о натуральных числах, которое одновременно и истинно и ложно! Именно в этом вся загвоздка. В то время как мы можем отмахнуться от парадокса Эпименида в русском языке, сказав, что его тема (его собственная истинность) — это нечто абстрактное, дело меняется, когда речь идет о конкретных высказываниях о числах! Если мы решим, что такая путаница не должна существовать, то нам придется отказаться от предположения о существовании формулы ISTIN{a}. Следовательно, в ТТЧ невозможно выразить понятие истинности.
крабий ум не способен распознавать истину, точно так же как он не способен распознавать теоремность ТТЧ.
Первое противоречило бы Теореме Тарского-Чёрча-Тюринга («Не существует разрешающей процедуры для арифметических истин»), а второе — Теореме Чёрча.
Интересно подумать о значении слова «форма» в приложении к построению сложных фигур. Например, что заставляет нас признать картину красивой? «Форма» линий и точек на нашей сетчатке? По-видимому, так и должно быть, поскольку именно в этой форме картина передается анализирующим механизмам у нас в голове; однако сложность обработки этих данных вызывает у нас чувство, что мы смотрим на что-то большее, чем простая двухмерная поверхность, — мы отвечаем на некое внутреннее значение картины, ее многомерный аспект, заключенный внутри этих двух измерений. Здесь важно слово «значение». Наш разум оснащен переводчиками, производящими на основе двухмерных схем многомерные значения, такие сложные, что мы не можем их описать сознательно. То же самое можно сказать и о нашей реакции на музыку.
Субъективно может показаться, что механизм, извлекающий внутреннее значение, совершенно отличен от механизма, проверяющего наличие или отсутствие некоего определенного качества, такого, например, как правильно-сформированность строчек. Возможно, это потому, что внутреннее значение — это что-то, что проявляется со временем.
Из этого следует, что в схемах, которые мы анализируем, можно говорить о двух видах формы. Прежде всего, там существуют такие качества, как правильно-сформированность, наличие которой можно определить с помощью предсказуемо конечных тестов, как в программах Блупа. Я предлагаю называть это синтаксическими характеристиками формы. Интуитивно можно сказать, что синтаксические аспекты формы лежат близко к поверхности и, таким образом, не создают многомерных познавательных структур.
С другой стороны, семантические характеристики формы не могут быть проверены с помощью предсказуемо конечных тестов; для них требуются открытые тесты. Примером такого аспекта, как мы видели, является теоремность строчек ТТЧ. Мы не можем, использовав некий стандартный тест, установить, является ли данная строчка теоремой ТТЧ. Почему-то тот факт, что здесь идет речь о значении, важным образом соотносится с трудностью определения теоремности ТТЧ. Акт извлечения значения из строчки означает, по сути, установление всех связей данной строчки с остальными строчками, и это, в свою очередь, выводит нас на бесконечную дорогу. Таким образом, «семантические» характеристики соотносятся с открытым поиском, поскольку — и это очень важно — значение объекта не заключается внутри самого объекта. Это не означает, что никакой объект вообще никогда невозможно понять, поскольку со временем его значение становится все яснее. Однако некоторые аспекты значения останутся скрыты очень надолго.
Давайте перейдем от строчек ТТЧ к музыкальным произведениям. Если вам так больше нравится, можете продолжать употреблять слово «строчка» в применении к музыкальным пьесам. Это обсуждение весьма общее, но мне кажется, что его смысл легче передать на примере музыки. Значение музыкального произведения странным образом дуалистично: с одной стороны оно тесно соотносится с огромным количеством других вещей в мире, а с другой стороны, оно явно выводится из самой музыки, то есть, оно должно быть расположено где-то внутри музыкального произведения.
Решение этой дилеммы
включает понятие интерпретатора — механизма, извлекающего значение. (Под «интерпретатором» в этом контексте я подразумеваю не музыканта-исполнителя, а механизм в мозгу у слушателя, извлекающий значение из пьесы, которую тот слышит.) Интерпретатор может заметить многие важные аспекты значения пьесы, слушая ее в первый раз; это, по-видимому, подтверждает гипотезу о том, что значение находится в самой пьесе и просто извлекается из нее. Но это только полдела. Музыкальный интерпретатор действует, создавая многомерную мысленную структуру — внутреннее представление о пьесе, — которую он пытается соотнести с ранее известной информацией, находя связи с другими многомерными мысленными структурами, в которых закодирован предыдущий опыт. По мере того, как происходит этот процесс, полное значение пьесы постепенно выходит на поверхность. В действительности, могут пройти годы прежде чем мы почувствуем, что наконец-то поняли сокровенное значение определенной пьесы. Это, как кажется, поддерживает гипотезу о том, что значение музыкального произведения также находится и вне его и что роль интерпретатора — постепенно собрать это значение воедино.Без сомнения, истина лежит где-то посередине значения — как музыкальное, так и лингвистическое — до какой-то степени локализованы только отчасти. Используя терминологию главы VI, мы можем сказать, что музыкальные произведения и куски текста отчасти являются триггерами, и отчасти — носителями явного значения. Яркая иллюстрация этого дуализма — табличка со старинной надписью значение здесь частично хранится в библиотеках и мозгах ученых всего мира, и в то же время явно содержится в самой табличке.
Таким образом, еще один способ охарактеризовать различие между «синтаксическими» и «семантическими» свойствами (в только что описанном смысле) заключается в том, что синтаксические свойства безусловно находятся внутри самого объекта, в то время как семантические свойства зависят от отношений этого объекта с потенциально бесконечным множеством других объектов и, следовательно, не являются полностью локализуемыми В синтаксических свойствах в принципе нет ничего спрятанного и загадочного, в то время как спрятанность — суть семантических свойств. Именно поэтому я предложил различать между «синтаксическим» и «семантическим» аспектами зрительных образов.
А как насчет красоты? Согласно вышеизложенным идеям, это, безусловно, не синтаксическое свойство Семантическое ли это свойство? Свойство ли это, скажем, отдельной картины? Давайте рассмотрим этот вопрос в применении к единственному зрителю С каждым из нас бывало, что то, что когда-то казалось красивым, некоторое время спустя выглядит серым и скучным, а в промежутках, возможно, кажется нейтральным Значит ли это, что красота — свойство преходящее? Можно повернуть ту же ситуацию другим концом и сказать, что изменился зритель. Но, имея в виду определенного зрителя, определенную картину и определенный момент времени, можно ли утверждать, что красота — качество, которое либо присутствует, либо нет? Или же красота неопределима и неуловима?
Возможно, что в каждом человеке в зависимости от обстоятельств могут действовать различные уровни интерпретаторов. Эти разные интерпретаторы выдают разные значения, устанавливают разные связи и обычно оценивают все глубокие аспекты по-разному. Из-за этого понятие красоты кажется почти неопределимым. Именно по этой причине я решил связать красоту в Диалоге «Магнификраб» с истиной, которая, как мы видели, является одним из самых неуловимых понятий математики.
В заключение этой главы я хочу привести некоторые идеи, касающиеся основной проблемы истины, парадокса Эпименида. Мне кажется, что воспроизведение Тарским этого парадокса в ТТЧ позволяет глубже понять его природу в русском языке. Тарский нашел, что в его версии парадокса есть два разных уровня. На одном уровне это суждение о себе самом, которое было бы истинно, если бы оно было ложно и ложно, если бы оно было истинно. На другом уровне — который я буду называть арифметическим субстратом — это суждение о целых числах, истинное тогда и только тогда, когда оно ложно.