D.20 · дефектный парадокс · подтип: Смешение уровней (правило/посылка)
Carroll’s Tortoise
Суть ошибки. Правило вывода (уровень операций) смешивается с посылкой (уровень элементов)
Точная формулировка
Ахиллес наконец догнал Черепаху, и они беседуют о логике. Черепаха предлагает силлогизм: (A) если p, то q; (B) p; (Z) следовательно, q — и заявляет: «Я принимаю A и B, но не признаю́, что из них следует Z. Пусть логика заставит». Ахиллес записывает посылку (C): если A и B истинны, то Z истинно. «Прекрасно, — отвечает Черепаха, — принимаю A, B и C; теперь мне нужна посылка, что из них следует Z». Ахиллес записывает (D)… Регресс бесконечен: Ахиллес никогда не приведёт Черепаху к выводу.
Происхождение
Диалог «Что Черепаха сказала Ахиллесу» вышел в журнале Mind в апреле 1895 года. Автор — Льюис Кэрролл, он же Чарльз Доджсон, преподаватель математики оксфордского Крайст-Чёрч: автор «Алисы» был серьёзным логиком — «Символическая логика», «Игра логики», собственный метод диаграмм для силлогизмов. Выбор персонажей точен: у Зенона Ахиллес не может догнать Черепаху — у Кэрролла догнал, и застрял в гонке логической: бесконечный регресс отрезков сменился бесконечным регрессом посылок, а структура та же — каждый шаг к цели рождает нужду в новом шаге. Решения Кэрролл не предложил — оборвал диалог и оставил проблему читателю. Потомство огромно: Рассел и Уайтхед в Principia различают утверждения и правила вывода — ровно то различие, которое Черепаха отказывается признать; Витгенштейн развил узел в аргумент о следовании правилу («любой образ действий можно привести в соответствие с правилом» — и ответил: правило не интерпретация, а практика); Крипке (1982) превратил его в скептический парадокс о значении — прямого потомка Черепахи.
Следствие
Из всех атак на логику эта — самая глубокая по адресу: лжец бьёт по истине, Рассел — по множеству, Черепаха — по самому выводу: modus ponens, правило, без которого логика не работает вовсе. Родня по структуре — вечные проблемы: регресс обоснования (любое обоснование стоит на посылках, требующих обоснования), индукция Юма (оправдание индукции индуктивно). Ответы веков: фундаментализм, когерентизм, инфинитизм; инференциализм Брэндома (неявное знание правил прежде явной формулировки); натуралистический ход (правила вывода — стратегии, закреплённые обучением). Практика воспроизводит узел ежедневно: как обучают правилам, как машина «понимает» инструкцию, как норма права применяется к случаю — правило не применяет себя само.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: посылки (A, B), заключение (Z), правило вывода, требование Черепахи. Сигнал уже здесь: три типа сущностей — того же ли типа правило, что посылки?
Домен 2 — Прояснение: что означают термины? Здесь дефект. Посылка — утверждение внутри рассуждения: «X истинно». Правило вывода — разрешение на переход, инструкция над рассуждением: «имея X и Y, заключай Z». Разные уровни: посылка — элемент, правило — операция над элементами. Черепаха различия не проводит и требует превратить правило в посылку; но записанное посылкой C правило перестаёт быть правилом — для перехода нужно новое, и регресс запущен. Сигнал: категориальное смешение.
Домен 3 — Выбор рамки: вторичная ошибка — Ахиллесова: он принимает нелегитимное требование. Понимай он различие уровней — отказал бы.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: рассуждение Черепахи валидно при её допущении «правило есть посылка». Допущение ложно — проблема не в выводе.
Домен 6 — Рефлексия: регресс без конца — сигнал: проверь категории участников; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение) — первичный; Домен 3 — вторичный (принятое нелегитимное требование). Тип: дефектный — категориальное смешение. Нарушенные законы: Порядок — организующее стоит этажом выше организуемого; Тождество — правило не есть посылка. Суть дефекта: правило вывода (уровень операций) втиснуто в ряд посылок (уровень элементов). На триаде E/R/R: Правило потребовано стать Элементом — точное зеркало Рассела, где Элемент захватывал место Правила; зеркальность зафиксирована машинно (см. ниже).
Растворение
Правильный ответ Ахиллеса: «Нет, Черепаха. C — не посылка. Это правило, по которому из A и B следует Z; ты приняла A и B — правило применяется, не принимается, и Z следует». На вопрос «почему я должна применять modus ponens?» ответ лежит вне логики: правило — не утверждение о мире, которое принимают, а операция, которую применяют; вопрос Черепахи — о том, хочет ли она вообще рассуждать. Хочет — правила действуют; отказывается — разговор окончен, и не от бессилия логики, а от выхода из неё. Отказ от требования останавливает регресс — на первом же шаге. Различие держит всё вокруг: правила шахмат — не фигура на доске; конституция — не ещё один закон, а порядок принятия законов; грамматическое правило — не предложение языка. Черепаха, сама того не желая, демонстрирует Закон Порядка: организующий принцип — не организуемый элемент. Отсюда честный остаток: некоторые вещи не обосновываются внутри системы, потому что они — условия системы; modus ponens не доказывается через modus ponens, и это архитектура логики, а не её слабость. Правила — то, что делает выводы возможными.
Урок
О категориях. Посылки и правила — разные категории; первый шаг анализа — распознать, к какой категории принадлежит каждый участник рассуждения. Об уровнях. Требовать обоснования правил на уровне посылок — категориальная ошибка; у логики уровневая архитектура, и она несущая. О нелегитимных требованиях. Не всякое требование заслуживает выполнения: Ахиллес проиграл в момент, когда взялся писать посылку C. Отказ по точной причине — не слабость, а диагностика.
Родня по механизму
Рассел (машинно зафиксированное зеркало: там Элемент → Правило, здесь Правило → Элемент), Лжец (оценка внутри оцениваемого), регресс обоснования и проблема индукции (обоснование метода средствами метода), крипкенштейн (следование правилу), Ахиллес и черепаха (персонажи-предки: у Зенона застряло движение, у Кэрролла — вывод).
Машинная проверка. Именной разбор есть: tortoise_demand_illegitimate (требование Черепахи нелегитимно — правило не превращается в посылку), regress_stopped (отказ от требования останавливает регресс), carroll_is_err_confusion (смешение Правило → Элемент; соседняя строка того же определения фиксирует Рассела как Элемент → Правило — зеркало машинно); запись реестра D20_CarrollTortoise несёт диагноз в поле: RuleAsPremise (всё — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс