D.14 · дефектный парадокс · подтип: Ложная посылка
Zeno’s Dichotomy
Суть ошибки. Бесконечное деление ≠ невозможность завершения
Точная формулировка
Чтобы пройти путь, нужно сначала пройти его половину; затем половину остатка; затем половину нового остатка — и так без конца: остаток никогда не исчерпывается, до цели не дойти. Есть и вторая редакция, острее: прежде чем пройти половину, нужно пройти половину половины, а прежде — половину той… У черды нет первого члена — движению не с чего начаться. Одна апория запрещает движению кончиться, другая — начаться.
Происхождение
Первая из четырёх апорий движения в «Физике» Аристотеля — и чистейшая: Ахиллес — та же механика, одетая в состязание, дихотомия обходится одним ходоком и одним отрезком. Историческая рама общая с Ахиллесом — элейское оружие против мыслимости движения, ответ Аристотеля (делимо не значит разделено), строгий счёт Нового времени; полная линия — в карточке Ахиллеса. Собственный след дихотомии — самый знаменитый ряд математики: 1/2 + 1/4 + 1/8 + … = 1; его сходимость — школьная сцена, на которой апория разыгрывается и решается счётно.
Следствие
Две редакции завещали две разные путаницы. Прогрессивная («не дойти») — ту же, что Ахиллес: границу описания приняли за границу движения. Регрессивная («не начаться») добавила своё: описание без первого члена потребовало от процесса «первого акта» — и отсутствие первого члена в раскрое выдало за невозможность начала. Этот ход воскресает всюду, где от непрерывного требуют «первого шага»: у отрезка нет первой точки после нуля — но линия рисуется; у процесса нет «первого мгновения после старта» — но процессы идут. Наследники обеих редакций — супертаски (Лампа Томсона, Росс-Литтлвуд): вопрос «что после всех шагов?» — зеркальный вопросу «что перед всеми шагами?».
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: путь, ходок, операция половинного деления, черда остатков (или предшествий), цель. Структура: одно движение раскроено бесконечной чередой частей. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Не дойти»: черда полуостатков перечисляет позиции до цели — цели нет среди членов по построению, и «в списке нет» выдано за «не достигается». «Не начаться»: у черды предшествий нет первого члена — свойство раскроя; посылка «движение обязано исполнить члены описания по порядку, начиная с первого» ложна: раскрой — не программа бега. Сигнал: свойства описания перенесены на движение — в обеих редакциях.
Домен 3 — Выбор рамки: второй слой, общий с Ахиллесом: бесконечный перечень частей приложен к одному непрерывному процессу; частей столько, сколько нарезало описание, — делимо не значит разделено.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: внутри описания честно: каждый остаток положителен, у предшествий нет первого — истинно. Ложен перенос на движение. Проблема не в выводе.
Домен 6 — Рефлексия: всякий сделанный шаг опровергает «не начаться», всякий приход — «не дойти»; сигнал: описание не покрывает событие; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение) — первичный; Домен 3 — вторичный. Тип: дефектный — ложная посылка: «бесконечность частей описания — препятствие движению» (в прогрессивной редакции — бесконечное время, в регрессивной — невозможное начало). Нарушенные законы: Тождество — свойство раскроя (нет последнего члена / нет первого члена) приписано пути и движению. Суть дефекта: граница и устройство описания выданы за границу и устройство описываемого. На триаде E/R/R: Правило раскроя порождает черду без края — и этот край, отсутствующий у Правила, объявлен отсутствующим у Элемента (движения).
Растворение
Счётная часть — короче некуда: 1/2 + 1/4 + 1/8 + … = 1; времена частей убывают той же геометрией — сумма конечна; «не дойти» опровергнуто пределом. Диагностическая часть важнее счётной. Прогрессивная редакция: цель — не член черды остатков, как единица — не член последовательности 1/2, 3/4, 7/8…; приход к цели — событие движения, а не последний элемент списка, потому списку и не обязан. Регрессивная редакция: «первого шага» нет у раскроя, и только у него; движение не исполняет список частей — оно порождает путь, который описание вольно кроить как угодно, хоть чередой без первого члена. Требовать от процесса первого элемента произвольного раскроя — как требовать у отрезка первую точку после нуля: её нет, и это факт об устройстве континуума, а не запрет рисовать линии. Основание процессное, общее для блока: деление потенциально — оно процесс без завершения, и никакой его этап не предъявляет движению счёт; движение цело, раскрои принадлежат описанию. Полный вывод основания — в карточке Ахиллеса.
Урок
О двух краях. Описание может не иметь ни первого, ни последнего члена — и то и другое суть факты об описании; переносить их на объект — одна и та же ошибка с двух концов. О «начале». Услышав «не может начаться», проверь: у процесса нет начала — или у выбранного раскроя нет первого члена? О чистоте формы. Дихотомия — Ахиллес без черепахи: убрав состязание, видишь механизм голым; сведение задачи к чистой форме — половина растворения.
Родня по механизму
Ахиллес и черепаха (та же механика в лицах — полный разбор основания там), Стрела Зенона (третья апория: мгновение вместо деления), Лампа Томсона и Росс-Литтлвуд (супертаски: «после всех шагов» — зеркало «перед всеми шагами»), Сорит (сосед по полю реестра: инструмент не по объекту).
Машинная проверка. Сходимость половинного ряда — частный случай формализованного: geometric_series_cauchy при r = 1/2, series_limit (src/SeriesConvergence.v); бесконечность как процесс — RealProcess := nat -> Q (src/process/ProcessCore.v, P4). В реестре 46 — D14_ZenoDichotomy: поле InstrumentObjectMismatch, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс