М. К. Эшер, «Воздушный замок» (Luchtkasteel), гравюра на дереве, 1928. Иллюстрация к диалогу в ГЭБ: замок парит над водой, а в отражении — Ахилл верхом на Черепахе.
Музыкальная форма-прообраз
Двухголосные инвенции И. С. Баха (BWV 772–786): короткие пьесы, где два голоса по очереди проводят одну тему. В диалоге два «голоса» — Ахилл и Черепаха — разыгрывают одну тему (принять ли вывод), и каждый ход Черепахи повторяет предыдущий на ступень выше.
Персонажи диалога
- Ахилл — простодушный герой, верящий, что ещё одна записанная формула заставит собеседника согласиться.
- Черепаха — упорный «второй читатель», который принимает посылки, но не принимает правило вывода.
Текст не принадлежит Хофштадтеру: это диалог Льюиса Кэрролла «Что Черепаха сказала Ахиллу» (Mind, 1895), из которого Хофштадтер и заимствовал своих персонажей. Подробнее: Парадокс Льюиса Кэрролла.
Связь со следующей главой
Диалог стоит сразу после Главы I. Там вводится «выход из системы», здесь показано, что бывает, когда его не делают. Хофштадтер вернётся к диалогу в Главе VII: правила вывода нельзя целиком перевести в теоремы, на каком-то уровне вывод надо просто делать.
Игра слов / приёмы для разбора на семинаре
- «Solvitur ambulando» («решается ходьбой») — ответ и Зенону, и Черепахе: вывод совершается, а не доказывается.
- Две беговые дорожки. Дистанция Ахилла сходится (отрезки убывают), дорожка Черепахи расходится (каждый шаг больше предыдущего).
- Анахронизмы: Ахилл восхищается Евклидом, «который будет опубликован лишь через несколько столетий», стенография «ещё не изобретена», карманов нет — блокнот хранится в шлеме.
- Финальные каламбуры. У Кэрролла Черепаха переименовывает Ахилла в A Kill-Ease, а Ахилл её — в Taught-Us, вслед за Черепахой Квази из «Алисы» («we called him Tortoise because he taught us»). В переводе: «г-жа Чепупаха» и «Ахинесс».
Комментарий в контексте семинара
1. Правило — не утверждение
Черепаха превращает правило вывода «из A и B следует Z» в ещё одну посылку C. Теперь Z надо выводить уже из A, B и C, для этого нужна посылка D, и так без конца. Блокнот заполняется, а к Z Ахилл не приближается.
Система MIU показывает, где ошибка. Правила MIU не являются строчками MIU: «правило II» нельзя вывести как теорему. Применение правила — это действие над строчками, а не ещё одна строчка в списке. Если правило записать как посылку, оно перестаёт работать: ему самому нужно правило, по которому его применять.
2. Система — это пространство, которое задают правила
Черепаха принимает аксиомы, но не правило. Получается «система» без двигателя: посылки есть, а пространства теорем нет. Это дополняет первый тезис встречи 4: свойства и ограничения формальной системы задают прежде всего правила. Сменить правила значит попасть в другое пространство, и никакая запись внутри блокнота не вернёт Черепаху в систему Евклида.
3. Смешение уровней (Тарский)
Ахилл вписывает утверждение о языке («Z логически следует из A, B, C») в язык, как ещё одну строку того же списка. Это то самое смешение языка-объекта и метаязыка, против которого выстроена иерархия Тарского. «Следует» и «истинно» — понятия метауровня. Если затащить их на уровень объекта, получится либо регресс (у Кэрролла), либо парадокс (лжец у Тарского). Регресс Черепахи — мягкий родственник парадокса лжеца: противоречия нет, но и конца нет.
4. Два полюса тривиальности
У формальной системы два вырожденных полюса:
- выводится всё — закон взрыва, где из противоречия следует что угодно;
- не выводится ничего — система Черепахи, где ни одна посылка ни к чему не обязывает.
Нетривиальная система лежит между ними: она различает выводимое и невыводимое, и только в таком промежутке возможна система, которая рефлексирует над собственным устройством.
Ирония в духе Приста: в его «Логике парадокса» (LP) Черепаха отчасти права. Там modus ponens для материальной импликации не всегда работает: если A одновременно истинно и ложно, из A и «если A, то Z» не обязательно следует Z. Чтобы противоречие не взорвало систему, Прист ослабляет именно то правило, которое Ахилл считает неоспоримым.
5. Синтаксис против семантики
Ахилл — образцовый «синтаксист»: его угроза «Логика возьмёт вас за горло» выражает веру в принуждающую силу текста. Черепаха показывает, что никакая запись сама по себе не принуждает. Сила вывода не в строчках, а в том, что их понимают и применяют. Это граница чисто синтаксического подхода, о которой шла речь в тезисе «Европа — синтаксис, Восток — семантика».
6. Мухоловка: Ахилл не делает прыжок
Ахилл, исписывающий страницу за страницей, — это витгенштейновская муха, которая бьётся о стекло. Выход открыт: признать, что правило другого уровня, чем посылка, и перестать его записывать. Но Ахилл остаётся внутри игры, навязанной Черепахой: «философия — это бутылка, но никто не делает прыжок». Витгенштейн разбирает ту же проблему в «Философских исследованиях» (§§ 185–201, следование правилу): правило не содержит собственной инструкции по применению. Если на каждое правило нужно ещё правило, регресс неизбежен, а останавливает его практика: «так мы действуем».
7. Зенон и разрешающая процедура
Финал («уже 1001 шаг, осталось всего несколько миллионов») — это буквально explore(depth) из разбора головоломки MU. Наращивание глубины ничего не решает, ответ даёт только взгляд снаружи: инвариант в случае MIU, различение уровней в случае Черепахи.