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