ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда - Хофштадтер Даглас Р.

Ахилл: Какое оскорбительное предположение! Я вам покажу, что противоречите себе именно вы, и что об этом не может быть двух мнений.

Черепаха: Что ж, если это так, Ахилл, то это дело должно быть вам по плечу. Нет ничего легче, чем указать на противоречие. Валяйте, доказывайте, Ахилл!

Ахилл: Гмм… Даже не знаю, с чего начать… А! Теперь вижу. Вы сказали сначала, что (1) ваш панцирь зеленый и тут же, что (2) ваш панцирь не зеленый. Что тут добавишь?

Черепаха: Осталось только указать на противоречие. Будьте любезны, перестаньте, наконец, ходить вокруг да около.

Ахилл: Но… но… но… О, теперь я понимаю. (Видите ли, иногда я такой тугодум!) Наверное, мы с вами по-разному понимаем противоречие. В этом-то вся загвоздка. Позвольте мне объясниться: противоречие возникает, когда кто-то утверждает одну вещь и одновременно ее отрицает.

Черепаха: Вот ловкий трюк! Хотела бы я увидеть, как подобное возможно. Наверное, лучше всего противоречия получались бы у чревовещателей, которые могут говорить одновременно двумя сторонами рта. Но я-то не чревовещатель…

Ахилл: На самом деле, я имел в виду только то, что кто-то утверждает одну вещь и ее же отрицает в одном и том же предложении. Это не должно быть буквально в один и тот же момент.

Черепаха: Однако в вашем примере не ОДНО предложение, а два!

Ахилл: Да — два предложения, противоречащих друг другу.

Черепаха: Ну и путаница у вас в голове, бедняга! Сначала вы мне говорите, что противоречие — это что-то, что должно быть в одном и том же предложении. Тут же вы утверждаете, что вы нашли противоречие в паре моих предложений. Так и есть — ваш мыслительный процесс настолько запутан, что вы сами не видите, как вы непоследовательны. Со стороны, однако, это ясно как день.

Ахилл: Вы меня совсем сбили с толку вашими отвлекающими маневрами. Я уже перестал понимать, идет ли речь о каких-то чепуховых мелочах или же о чем-то важном и глубоком.

Черепаха: Уверяю вас, Черепахи не занимаются мелочами. Следовательно, верно второе.

Ахилл: Вы меня успокоили, благодарю вас. Теперь, поразмыслив, я вижу логический шаг, необходимый, чтобы уверить вас в том, что вы противоречили себе.

Черепаха: Отлично! Надеюсь, что этот шаг столь же легок, сколь бесспорен.

Ахилл: Так и есть — даже вы с ним согласитесь. Идея в том, что если вы считаете истинным предложение 1 («Мой панцирь зеленый») и предложение 2 («Мой панцирь не зеленый»), то вы должны считать истинной комбинацию этих двух предложений. Не так ли?

Черепаха: Безусловно. Это только естественно… если, конечно, все согласны с тем, КАК эти предложения комбинировать.

Ахилл: Разумеется — и тут-то я вас поймаю! Я предлагаю такую комбинацию —

Черепаха: С комбинированием предложений надо быть осторожнее. Разрешите мне это продемонстрировать. Наверняка, Ахилл, вы согласитесь со следующим предложением, описывающим ваш странный род:

У людей пять пальцев.

К тому же, истинность его весьма нетрудно проверить, не так ли?

Ахилл (неуверенно): Соглашусь ли я? То есть, э-э, гмм… как это я могу не согласиться с таким скучным и плоским утверждением? Минуточку… (Смотрит себе на пальцы и бормочет.) Раз, два, три, четыре… (Вслух, Черепахе) Г-жа Черепаха, а мизинец тоже считается за палец?

Черепаха: Я думаю, да.

Ахилл (снова бормочет): Ага! Получается пять. Кажется, правильно. Я проверил все необходимые и достаточные условия истинности, так что… (Вслух, на этот раз гораздо более уверенно): ЛЮБОЙ знает, что тривиальное суждение «у людей пять пальцев» — истинно! Что может быть более очевидно?

Черепаха: Разумеется. А теперь потрудитесь проверить почти такое же очевидное утверждение, а именно:

В этом предложении пять слов.

Ахилл (бормочет себе под нос): Гмм… раз… два… три… четыре… пять! Да, действительно, я должен согласиться с истинностью и этого утверждения. В ЭТОМ предложении я не вижу никаких проблем.

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

Ахилл: Именно «безопасного», г-жа Ч. Вам не удастся обвести меня вокруг пальца! Что ж, начнем, пожалуй…

Черепаха: Прекрасно. Посмотрим… у меня получается следующее предложение, которое, безусловно, должно оказаться истинным:

У людей пять пальцев и в этом предложении пять слов.

Ахилл: Постойте, г-жа Ч! Что-то здесь не то!

Черепаха (всем своим видом выражая невинное удивление): Что? Что вы имеете в виду?

Ахилл: Вы соединяете эти предложения неправильно!

Черепаха: Я только последовала вашему совету и использовала ваше любимое «и».

Ахилл: Не знаю, не знаю… То, что у вас получилось, НЕЛОГИЧНО! Где-то здесь должна быть ошибка…

Черепаха: Ну вот, вы снова заговорили о г-же Логике и ее великих принципах… Будьте так любезны, увольте — хотя бы на сегодня.

Ахилл: Г-жа Черепаха, у меня уже черепушка трещит от всего этого. Признайтесь, что вы немного сжульничали…

Черепаха: Пожалуйста, не обвиняйте меня в собственных грехах, кто из нас хотел соединить два высказывания с помощью «и».Мне кажется, я только следовала вашим пожеланиям — и какова же ваша благодарность? Ну и молодежь нынче пошла…

Ахилл: Ну вот, я же и виноват. Ведь я хотел, как лучше…

Черепаха: Добрыми намерениями, мой юный друг, вымощена дорога в преисподнюю…

Ахилл: Я чувствую себя ужасно…

Черепаха: Я отлично понимаю, куда вы клонили: вы хотели заставить меня принять за истинную фразу «Мой панцирь зеленый и мой панцирь не зеленый». О, создатель!… Какая страшная ложь, и как она противна черепашьему духу!

Ахилл: Умоляю вас простить меня, дурака… Честное слово, у меня и в мыслях не было вас обидеть.

Черепаха: Ничего, мой друг — мы, черепахи, привыкли к людской бестактности. Я ценю вашу компанию, Ахилл, пусть ваши мысли и не так кристально ясны, как у созданий нашей хладнокровной породы.

Ахилл (вздыхая): Надеюсь, что для меня еще не все потеряно — хотя я, наверняка, сделаю еще немало ложных шагов на пути к истине…

Черепаха: Мужайтесь, Ахилл. Может быть, наша сегодняшняя беседа вам поможет… Кстати, не забудьте отдать мне ту фигу, что вы мне принесли. Хоть она и зеленая, все равно пригодится!

Ахилл: Вот, возьмите.

Черепаха: Что ж, до скорого, мой друг.

Ахилл: До скорого.

ГЛАВА VII: Исчисление Высказываний

ПРЕДЫДУЩИЙ ДИАЛОГ напоминает «Двухголосную инвенцию» Льюиса Кэрролла. В обоих диалогах Черепаха отказывается использовать обычные повседневные слова в их обычном повседневном значении — по крайней мере, когда ей это невыгодно. В предыдущей главе был предложен один из возможных взглядов на парадокс Кэрролла. В этой главе мы проделаем при помощи символов то, что Ахиллу не удалось проделать словами. Иными словами, мы построим такую формальную систему, один из символов которой будет действовать так, как Ахилл хотел заставить действовать Черепахино «и»; другой символ будет вести себя так, как должны были вести себя слова «если… то…». Кроме того, мы будем иметь дело со словами «или» и «не». Рассуждения, зависящие исключительно от правильного употребления этих четырех слов, называются пропозициональными рассуждениями.

Я буду представлять эту новую формальную систему, называемую исчислением высказываний, в форме загадки, объясняя сначала лишь часть и предоставляя читателю догадываться о некоторых вещах самому. Начнем со списка символов: