Глава 7. Онтологическое ядро: сквозные мотивы

Глава 6 завершила методологическое измерение Части I: были введены основные формальные узлы аппарата ToS — различение, Законы, Принципы, $E/R/R$-структура, уровни, критерии и технический статус аксиом реализации. Часть этих узлов уже имеет прямую машинную проверку в Rocq; часть служит онтологическим и методологическим ориентиром для последующих частей. Настоящая глава завершает Часть I в её онтологическом измерении.

На протяжении Глав 1–6 ToS принимала ряд позиционных решений — не объявляя их отдельно, а проводя самим устройством аппарата. Бесконечность разворачивалась как процесс, не как объект. Список оказывался первичнее множества. Определённость возникала в акте различения, а не предсуществовала ему. Эти решения работали, но не были собраны и явно объявлены как онтологические позиции тома.

Настоящая глава собирает их. Она объявляет сквозные мотивы — онтологические позиции, к которым ToS возвращается на протяжении всех последующих частей тома, и фиксирует программу чтения этих частей. Глава онтологическая: она не вводит нового формального аппарата, а проясняет, на каких онтологических основаниях стоит уже построенный. Некоторые из собираемых ниже узлов имеют прямые Rocq-якоря; некоторые — частичные формальные следы; некоторые суть методологические мотивы, которые будут разворачиваться в дальнейших частях.

Незавершённость и квантовая суперпозиция

Мета-мотив $M_{\mathrm{MM}}${MM}: процессность онтологии

Процессность онтологии не является одним из четырёх сквозных мотивов тома наравне с остальными. Она — их общий фон, условие, на котором держатся все четыре. Поэтому мы обозначаем её как $M_{\mathrm{MM}}$ (мета-мотив): обозначение фоновое по отношению к собственно сквозным мотивам $M_1$–$M_4$, которые будут объявлены в § 7.3. Подчеркнём выбор обозначения: мы не пишем <<$M_{\mathrm{MM}}$>>. В ToS символ $0$ означает отсутствие (Глава 5), и обозначить мета-мотив нулевым индексом значило бы поставить его в один ряд с $M_1$–$M_4$ как их предшественник на той же шкале — тогда как процессность стоит не перед четырьмя мотивами, а под ними, как их фон. Индекс $\mathrm{MM}$ фиксирует именно этот иной статус. Структура мотивов, таким образом, такова:

$$\begin{array}{rl}{M}_{\mathrm{MM}}& :\text{процессность онтологии (мета-мотив, фон);}\\ M_1& :\text{позитивная онтология;}\\ M_2& :\text{операциональная делимость;}\\ M_3& :\text{множества как режим рассмотрения;}\\ M_4& :\text{структурная неизбежность.}\end{array}$$

Мета-мотив $M_{\mathrm{MM}}$ был фактически развёрнут уже в Главе 6, в обсуждении принципа $P4$ и незавершённости. Здесь он формулируется прямо, как онтологическая позиция.

Формулировка. Онтология ToS процессна, не объектна. То, что существует, существует как разворачивание, не как готовая данность. Это относится к бесконечности (она есть процесс построения, не завершённое множество), к статусу (он существует на шаге процесса, не как постоянное свойство), к определённости вообще (она возникает в акте различения, не предсуществует ему).

Эта позиция — не техническое ограничение, принятое ради удобства формализации. Она следует из самого устройства акта различения, с которого ToS начинается. Акт различения — это акт; он совершается. До него нет ни различённого, ни определённого; с ним определённость наступает. Онтология, выводимая из акта, не может не быть процессной: в её основании — не объект, а акт.

Почему мета-мотив нуждается в отдельном объявлении. В Главах 1–6 процессность работала как рабочий принцип: на ней строились конкретные конструкции. Но рабочий принцип и объявленная онтологическая позиция — не одно и то же. Объявить позицию означает: указать, что ToS сознательно избирает процессную онтологию там, где классическая математика по умолчанию предполагает объектную. С процессной онтологией связано одно распространённое недоразумение — о мнимом конфликте с квантовой физикой, — которое стоит прояснить сразу.

Суперпозиция и Закон Исключённого Третьего

Процессная онтология ToS опирается, среди прочего, на Закон Исключённого Третьего ($L3$). Иногда приходится слышать, что этот Закон вступает в противоречие с квантовой физикой; стоит коротко показать, что противоречия нет.

Распространённое огрубление. Начиная с работы Биркгофа и фон Неймана (1936), известна квантовая логика — логическая структура, отвечающая решётке замкнутых подпространств гильбертова пространства. Эту структуру порой описывают словами «квантовая механика отменяет классическую логику», и в том числе — Закон Исключённого Третьего. Такое описание — огрубление. Квантовая логика ослабляет закон дистрибутивности — $A\wedge (B\vee C)=(A\wedge B)\vee (A\wedge C)$, — а не Закон Исключённого Третьего. Дистрибутивность и $L3$ — разные законы; ослабление одного не есть отрицание другого. Более того, решётка квантовой логики ортодополнена: для всякого подпространства $A$ выполняется $A\vee A^{\perp }=1$ — то есть аналог исключённого третьего в квантовой логике сохранён. Падает дистрибутивность, не $L3$.

$L3$ держится безусловно. В ToS Закон Исключённого Третьего онтологически выводится из $L1$ и $L2$ (Глава 3): если нечто тождественно себе ($L1$) и не может одновременно быть и не быть ($L2$), то между «быть $A$» и «не быть $A$» третьего исхода структурно нет. $L3$ — это утверждение о дизъюнкции исходов, и оно держится всегда, для любого $A$. То, что в некоторой ситуации неизвестно, имеет место $A$ или $\neg A$, не колеблет $L3$ нисколько: $L3$ — закон о структуре исходов, не о знании. Незнание того, какой из двух исходов имеет место, — не <<третий вариант>>.

Суперпозиция — не «третий исход». Квантовая суперпозиция — состояние системы до измерения — не есть «третий исход» наряду с $A$ и $\neg A$. Она вообще не есть высказывание-конкурент к «$A$» и «$\neg A$». Суперпозиция есть состояние, в котором соответствующий акт различения ещё не совершён: вопрос «$A$ или $\neg A$?» как актуальное различение ещё не поставлен. Измерение есть акт различения; до измерения исхода нет — не потому, что есть «третий», а потому, что нет ещё самого проведённого различения, к исходу которого $L3$ относится. Когда измерение совершается, исход — строго один из возможных, и $L3$ им соблюдается.

То, что не предсуществует акту, — это не исход дизъюнкции $A\vee \neg A$ (дизъюнкция верна всегда), а сам факт проведённого различения. Суперпозиция не нарушает $L3$ и не конкурирует с ним; она есть онтологическая ситуация до того, как $L3$ получает актуализированное различение, к исходу которого он применяется. Никакого конфликта с $L3$ здесь нет — есть лишь процессная онтология, в которой определённость наступает с актом.

$P4$ и суперпозиция: один структурный мотив в двух

        областях

Сказанное обнаруживает не тождество математики и квантовой физики, а общий структурный мотив. В математике принцип $P4$ говорит: бесконечность не предсуществует как завершённый объект, а разворачивается как процесс. В физике квантовая суперпозиция указывает на сходную структуру: определённое значение наблюдаемой не обязано предсуществовать акту измерения как готовый факт, а может актуализироваться в процессе различения.

Поэтому суперпозиция не отменяет $L3$ и не конкурирует с ним. $L3$ утверждает полноту завершённого различения: $A\vee \neg A$. Суперпозиция же описывает ситуацию, в которой соответствующее различение ещё не завершено как исход процесса. Это не нарушение исключённого третьего, а указание на процессный характер актуализации определённости.

Подчеркнём статус сказанного. Это — структурная аналогия, общий мотив процессности, а не доказанное тождество математического аппарата и физической теории. ToS высказывает программную гипотезу: обе процессности — та, что ToS обнаруживает в основаниях математики, и та, что физика обнаруживает в квантовом описании, — суть проявления единой онтологии акта различения, выводимой из одного первопринципа $A=\exists$. Превращение этой гипотезы в формальный вывод — предмет следующего тома, не настоящего.

Мост к Тому III

Сказанное обозначает мост, который полностью разворачивается за пределами настоящего тома.

Том II посвящён математике: он строит аппарат ToS и применяет его к числовым системам, анализу, алгебре, геометрии — к математическому содержанию. Вывод физики из акта различения — предмет следующего тома. Там процессная онтология, обоснованная здесь как мета-мотив $M_{\mathrm{MM}}$, разворачивается в программу вывода законов физики: в частности, в исследование унистохастической структуры квантовой теории как структуры, согласованной с устройством различения¹.

Для настоящего тома существенно следующее: первый сквозной мотив — процессность онтологии — не ограничен математикой. Он онтологический, а не узко математический; и именно поэтому он есть сквозной мотив тома, а не локальный принцип одной из его частей. В каждой последующей части Тома II, где математический объект оказывается процессом, а не завершённой данностью, читатель встречает этот мотив снова. Полный состав сквозных мотивов и система меток, по которым их возвраты прослеживаются через том, устанавливаются в § 7.3.

Множества как режим рассмотрения списка

Запрос достаточного основания для существования множества

Второй сквозной мотив тома касается соотношения двух фундаментальных конструкций — списка и множества — и того, какая из них онтологически первична.

В классических основаниях математики множество принимается как исходное понятие: совокупность элементов, существующая как готовый объект, безотносительно к какому-либо порядку или процессу. Из множеств строится всё остальное. ToS этого исходного допущения не делает — и не делает по конкретной причине.

Множество требует основания собирания. Спросим: на каком основании элементы некоторого множества собраны вместе? Множество $\{a,b,c\}$ предъявляет три элемента как одну совокупность — но что делает их одной совокупностью? В классической постановке ответ дан заранее: совокупность существует постольку, поскольку существуют её элементы, и собирание не требует отдельного основания. В позиции ToS такой ответ недостаточен. По Закону Достаточного Основания ($L4$) всякое различение требует основания; а собрать элементы в одну совокупность — значит различить эту совокупность как одно. Следовательно, существование множества как одного предмета требует запроса достаточного основания: должно быть указано, на каком основании именно эти элементы образуют одно.

Список такого запроса не порождает. Список устроен иначе. Список — это элементы, разворачивающиеся по порядку, производимому Законом Порядка ($L5$). Список не собирает элементы в одно — он разворачивает их один за другим. Это не значит, что список вообще не имеет основания: по $L4$ всё имеет достаточное основание, и список не исключение. Основание у списка другое, чем у множества: не акт собирания, а правило разворачивания по порядку. Список не предъявляет элементы как уже собранную тотальность; он предъявляет их как результат последовательного процесса, и его достаточное основание дано этим процессом-правилом.

Различие принципиально. Множество, чтобы существовать как один предмет, требует ответа на вопрос «на каком основании собрано». Список этого вопроса не порождает: его основание — не собирание, а правило разворачивания.

Первичность списка

Из сказанного следует онтологический тезис, составляющий ядро второго сквозного мотива.

Тезис. Список первичен; множество производно. Список есть прямое выражение того, как процесс разворачивается по $L5$: упорядоченная последовательность элементов, занимающих позиции (Глава 6, § 6.6). Достаточное основание списка дано правилом его разворачивания — не актом собирания, а самим тем, что процесс разворачивается по порядку; а разворачивание процесса есть прямое следствие устройства акта различения. Множество же — не исходная конструкция, а производная: оно получается из списка операцией, разбираемой в следующем подразделе.

Почему именно список, а не множество. Список ближе к акту различения. Акт различения совершается — он имеет ход, направление, порядок: сначала одно различение, затем следующее. Список наследует эту структуру прямо: он есть упорядоченное разворачивание. Множество же отвлечено от порядка — а отвлечение от порядка есть дополнительная операция, которой акт различения сам по себе не предполагает. Поэтому первичен список: он — то, что получается из акта различения непосредственно; множество — то, что получается после дополнительной операции.

Связь с процессной онтологией. Первичность списка — не самостоятельный тезис, а проявление мета-мотива $M_{\mathrm{MM}}$ (§ 7.1). Список процессен: он разворачивается. Множество, взятое как готовая совокупность, объектно. Утверждать первичность списка над множеством — то же, что утверждать первичность процесса над объектом. Второй мотив, таким образом, опирается на $M_{\mathrm{MM}}$.

Множество как режим рассмотрения

Если список первичен, а множество производно, остаётся точно сказать: чем именно является множество и какой операцией оно получается из списка.

Множество есть режим рассмотрения списка. Множество не является новым первичным объектом, независимым от процесса. Оно есть результат режима рассмотрения, который переводит список в его support: оставляет только значения, встречающиеся в списке, и забывает порядок и кратность.

Здесь нужна точность. Было бы неверно сказать, что множество есть тот же список: один и тот же набор значений получается из разных списков — например, $(a,b,c)$, $(c,b,a)$ и $(a,a,b,c)$ все дают одно множество $\{a,b,c\}$. Поэтому множество — не список, а результат забывания того, чем эти списки различаются: порядка и кратности. Точнее всего этот переход описывается двухступенчатой схемой:

$$\text{List}(A)⟶\text{Multiset}(A)⟶\text{Set}(A).$$

Первый переход забывает порядок (список $\to$ мультимножество), второй — кратность (мультимножество $\to$ множество). Множество есть результат обоих забываний — support списка с погашенными порядком и кратностью.

Возьмём список $(a,b,a,c)$. Рассмотреть его как множество — значит применить к нему оба забывания: отвлечься от того, что $a$ стоит раньше $b$ (порядок), и от того, что $a$ встречается дважды (кратность). В этом режиме список $(a,b,a,c)$ предстаёт как множество $\{a,b,c\}$ — но само $\{a,b,c\}$ не новый объект, возникший рядом со списком; это support, результат режима рассмотрения, применённого к списку (или к любому другому списку с тем же набором значений).

Режим не создаёт объекта. Существенно: переход «список $\to$ множество» не создаёт новой сущности. Он есть смена взгляда, не порождение предмета. Когда математик работает с множеством, он работает со списком в определённом режиме рассмотрения — отвлекаясь от порядка и кратности. Множество как «готовая совокупность, существующая сама по себе» есть не объект, а результат отвлечения; принять его за самостоятельный исходный объект — значит принять режим рассмотрения за предмет.

В терминах E/R/R. Это — частный случай общей разметки тома (Глава 4): множество есть не элемент-объект, а роль-режим над элементами списка, в котором погашено правило следования ($L5$). Принять множество за самостоятельный предмет значит принять роль за носитель — та же категориальная ошибка, что «число-как-объект» вместо числа-роли (Часть II) или «точка-как-атом» вместо точки-класса (Часть IV). Формально этот режим — переход список $\to$ мультимножество $\to$ множество как последовательное погашение правил — развёрнут с E/R/R-разбором в Части II (список как кардинальный путь к числу).

Связь с Главой 6. В § 6.6 проводилось различение позиции, элемента и числа: элемент занимает позицию, число есть значение элемента. Режим рассмотрения «как множество» есть отвлечение именно от позиционной структуры (порядок позиций) и от того, что разные элементы могут иметь одно значение (кратность). Множество — это support списка, в котором погашены позиция и кратность и оставлено только то, какие значения в нём встречаются.

Что этот взгляд объясняет

Понимание множества как режима рассмотрения списка — не терминологическая тонкость. Оно проясняет ряд классических затруднений теории множеств.

Парадокс Рассела. «Множество всех множеств, не содержащих себя» в режиме рассмотрения списков попросту не имеет источника: нет списка, разворачивание которого его порождало бы. Парадокс Рассела требует завершённой тотальности всех множеств (Глава 6, § 6.5); но тотальность всех списков не разворачивается ни одним процессом, а множество, не порождённое никаким списком, в позиции ToS не существует. Парадокс не возникает — не потому, что запрещён, а потому, что конструкция, на которой он строится, не имеет источника в списке.

Это списочное объяснение согласуется с уже введённой иерархической блокировкой и не заменяет её, а дополняет. С точки зрения мотива $M_3$ (множества как режим, § 7.3), расселовская тотальность не имеет процессного источника. С точки зрения же $P2/L5$ та же тотальность пытается задать критерий на собственном уровне, что запрещено иерархией уровней: формально это разобрано в файле TheoryOfSystems_Core_ERR.v, где теорема russell_paradox_blocked устанавливает невозможность критерия-свидетеля на собственном уровне через иррефлексивность отношения level_lt. Списочное и иерархическое объяснения — два согласованных описания одной и той же структурной невозможности.

Аксиома Выбора. Аксиома Выбора в классической теории множеств утверждает существование функции выбора для семейства непустых множеств. Здесь нужна осторожность в формулировке. Для конечного списка или конечной стадии процесса выбор не требует отдельной аксиомы: порядок уже дан (он производится $L5$), а значит можно выбрать первый, максимальный или иной канонический элемент по правилу — механизм статуса (Глава 6, § 6.6) определяет такой выбор по порядку. Но это не тождественно полной Аксиоме Выбора для произвольного завершённого семейства множеств. Полная AC требует отдельного анализа через $P4$, поскольку она связана с завершённой функцией выбора по бесконечному семейству, а не с конечным выбором внутри одной стадии; и в этой, завершённой форме она, как разобрано в Главе 6 (§ 6.5–6.6), несовместима с $P4$. Таким образом, режим рассмотрения списков снимает потребность в аксиоме там, где речь идёт о конечном или стадийном выборе; вопрос о полной AC он не закрывает, а переадресует к анализу через $P4$.

Вопросы о мощности. Классические вопросы о мощности — такие, как континуум-гипотеза, — ставятся в предположении, что мощность есть первичная характеристика готового множества. В позиции ToS мощность не первична: первичен список и его разворачивание, а мощность — характеристика, видимая лишь в режиме рассмотрения, отвлечённом от порядка. Вопросы такого рода тем самым не отбрасываются, но переформулируются; их подробный разбор — предмет части тома, посвящённой числовым системам и континууму.

{ Подчеркнём границу этого тезиса. Здесь не утверждается решение континуум-гипотезы — ни в положительную, ни в отрицательную сторону. Утверждается лишь смена онтологического статуса вопроса: мощность перестаёт быть первичной характеристикой готовой тотальности и становится характеристикой режима рассмотрения. Формальная работа с этой переформулировкой — задача последующих частей, и настоящая глава её не предрешает. }

Теория множеств как надстройка. Сказанное не отменяет теории множеств. Оно указывает её место: формальная теория множеств есть надстройка над более первичным уровнем списков, а не фундамент под ним. В репозитории ToS это отражено прямо: формализация теоретико-множественных конструкций² располагается поверх списочного аппарата, как производный слой, а не как основание.

Что этот взгляд не утверждает

Чтобы второй сквозной мотив не был прочитан сильнее, чем он есть, нужно очертить его границы.

ToS не утверждает, что теория множеств ложна. Теория множеств — точный, мощный и работающий математический аппарат; ничто в позиции ToS этого не отменяет. ToS не утверждает, что математики, работающие с множествами, делают что-либо неправильно: режим рассмотрения «как множество» законен и продуктивен.

Утверждается только следующее: онтологический статус множества — не статус первичного объекта, а статус режима рассмотрения списка. Меняется не рабочая ценность теории множеств, а её место в онтологии: она не фундамент, а надстройка. Различение это онтологическое, не практическое. Математик может продолжать работать с множествами ровно так, как работал; ToS лишь уточняет, чем при этом является множество.

Связь со сквозными мотивами

Второй мотив — первичность списка, множество как режим рассмотрения — связан с остальным онтологическим ядром тома.

Он продолжает первый мотив (§ 7.1): первичность списка над множеством есть частный случай первичности процесса над объектом. Список процессен, множество как готовая совокупность объектно; утверждать первое первичным — значит проводить процессную онтологию в область теории множеств.

В основании второго мотива — триада, которую стоит зафиксировать явно:

Список (первичное) $⟶$ режим рассмотрения (отвлечение от порядка и кратности) $⟶$ множество (производное).

Список разворачивается процессом и онтологически первичен. Режим рассмотрения есть операция отвлечения. Множество есть то, что видно в этом режиме, — не самостоятельный объект, а список, рассматриваемый с погашенными порядком и кратностью.

Эта триада — ядро второго мотива. Полный состав сквозных мотивов тома и их взаимные связи устанавливаются в § 7.3.

Связь с категорной структурой

Сказанное допускает точную категорную формулировку, которая здесь лишь обозначается — её разработка относится к части тома, посвящённой категорной структуре математики.

Переход «список $\to$ множество», то есть режим рассмотрения, отвлекающийся от порядка и кратности, есть функтор забывания: отображение, которое забывает часть структуры — здесь структуру порядка и кратности, — сохраняя лишь то, какие значения встречаются. Функторы забывания — стандартная категорная конструкция; характерно, что в каждом таком функторе есть направление «полное $\to$ обеднённое», и обратного пути — однозначного восстановления забытой структуры — в общем случае нет.

Это категорное наблюдение согласуется с онтологическим тезисом настоящего раздела: список несёт больше структуры, чем множество; переход от списка к множеству есть забывание; и забытое — порядок, производимый $L5$, и кратность — однозначно из множества не восстанавливается. Категорный язык, таким образом, независимо подтверждает: первично то, что богаче структурой, а получается из него — забыванием. Подробная разработка этого соответствия — предмет соответствующей части тома.

Сквозные мотивы

Установка: от отдельных мотивов к их составу

Разделы § 7.1 и § 7.2 раскрыли отдельные онтологические мотивы: § 7.1 — процессность онтологии, § 7.2 — первичность списка над множеством. Настоящий раздел собирает полный состав онтологического ядра тома и устанавливает порядок, в котором его мотивы связаны.

Прежде всего — одно уточнение о процессности. Процессность онтологии, развёрнутая в § 7.1 как мета-мотив $M_{\mathrm{MM}}$, не есть один из четырёх мотивов, перечисляемых ниже. Она есть общая черта всего онтологического ядра — черта, проходящая через каждый из четырёх мотивов. Бесконечность процессна; список процессен; делимость осуществляется в процессе; структуры возникают в разворачивании. Процессность — не отдельный пункт перечня, а то, чем пронизан весь перечень. Поэтому она была вынесена в § 7.1 отдельно и раньше, под меткой $M_{\mathrm{MM}}$: она есть фон, на котором четыре мотива $M_1$–$M_4$ стоят.

Сами четыре мотива — это четыре онтологические позиции, к которым том возвращается на протяжении всех последующих частей. Они перечисляются ниже в порядке дедуктивной иерархии: каждый следующий опирается на предыдущие.

Мотив $M_1${M1}: позитивная онтология

Формулировка. Всё онтологически существующее существует позитивно. Нет «отрицательных объектов»; небытие не есть особый род бытия, существующий наряду с бытием. То, что есть, есть как наличие; то, чего нет, не есть особый предмет «отсутствие», а просто не есть.

Основание. Мотив $M_1$ следует прямо из устройства акта различения. Акт различения полагает различённое — он есть акт наличия, не акт отсутствия. Различить $A$ означает положить $A$; различить $\neg A$ означает положить нечто иное, чем $A$, — но опять-таки положить, а не «предъявить отсутствие». Отрицание в ToS — производная операция над положенным, не исходный объект. $\neg A$ не есть «отрицательный объект $A$»; это — результат операции различения, применённой так, что положено иное.

Техническая оговорка. { В записи Distinction (файл Distinction.v) есть поле negative : Prop. Формально это не означает, что negative есть «отрицательный объект». Это поле есть отрицательная сторона различения — пропозициональный аспект, связанный с положительной стороной positive через поля exclusive (несовместность сторон) и exhaustive (исчерпанность). В каноническом случае distinction_of $(P)$ поле negative задаётся как $\neg P$ — то есть как результат операции отрицания, а не как самостоятельный отрицательный объект. Мотив $M_1$ согласуется с этим: позитивно положена сама структура различения с обеими её сторонами, а отрицание — аспект этой структуры, не отдельный род бытия. }

Почему $M_1$ первичен. $M_1$ стоит первым в дедуктивной иерархии, потому что он формулирует сам способ, которым в ToS нечто есть. Прежде чем говорить о делимости существующего, о режимах его рассмотрения, о неизбежности структур, нужно зафиксировать: существующее существует позитивно. Все последующие мотивы оперируют уже на позитивно положенном.

Мотив $M_2${M2}: операциональная делимость

Формулировка. Атомарность операциональна, а не абсолютна. Объект может быть неделимым относительно данного уровня, критерия, языка или процедуры рассмотрения — но это не делает его абсолютно неделимым сущим. То, что на одном уровне рассмотрения выступает как неделимый элемент, на другом уровне может оказаться системой со своими элементами. Неделимость — характеристика операциональная: она указывает уровень, на котором объект не разлагается, а не абсолютное свойство объекта.

Основание. Мотив $M_2$ опирается на иерархию уровней — принцип $P1$ (Глава 4). Уровни в ToS не абсолютны: над всяким уровнем $L$ есть уровень выше, и под структурой, выступающей элементом на одном уровне, на более низком уровне обнаруживается её собственное устройство. То, что в ToS называется элементом, всегда есть элемент на некотором уровне; «элемент вообще», неделимый абсолютно, в иерархической структуре уровней места не имеет.³

Связь с $M_1$. $M_2$ опирается на $M_1$. Говорить о делимости имеет смысл лишь применительно к тому, что положено позитивно: делится наличное. Операциональная делимость есть утверждение об устройстве позитивно существующего — о том, что его неделимость всегда относительна к уровню. Без $M_1$ (позитивности существующего) у $M_2$ не было бы предмета: делить было бы нечего.

Мотив $M_3${M3}: множества как режим

Формулировка. Множества вторичны; списки первичны. Множество не есть исходный объект; оно есть режим рассмотрения списка, отвлечённый от порядка и кратности. Этот мотив развёрнут полностью в § 7.2; здесь он лишь занимает своё место в общем составе.

Связь с $M_{\mathrm{MM}}$, $L5$ и предыдущими мотивами. $M_3$ опирается прежде всего на мета-мотив $M_{\mathrm{MM}}$ и Закон Порядка $L5$: список есть порядковое разворачивание, то есть процессная конструкция, и без процессности ($M_{\mathrm{MM}}$) и порядка ($L5$) самого понятия списка не было бы. Именно от них $M_3$ зависит в первую очередь. Связь с $M_1$ и $M_2$ — вторичная, но существенная: на $M_1$ $M_3$ опирается тем, что список есть последовательность позитивно положенных элементов; на $M_2$ — тем, что переход от списка к множеству есть смена режима рассмотрения, то есть операция, осуществляемая на некотором операциональном уровне работы с уже заданной структурой. Отвлечение от порядка и кратности операционально ровно в том же смысле, в каком операциональна делимость. $M_3$, таким образом, есть применение операционального взгляда к паре «список / множество» — но коренится он в процессности $M_{\mathrm{MM}}$ и порядке $L5$.

Мотив $M_4${M4}: структурная неизбежность

Формулировка. Устойчивые структуры рассматриваются как повторные проявления устройства различения. Определённые структуры — порядки, иерархии, отношения эквивалентности, категорные конструкции и другие — проявляются в самых разных областях математики. Мотив $M_4$ предлагает читать это не как случайное совпадение и не как произвол выбора аксиом, а как повторное проявление одного устройства — устройства акта различения. Существенно: $M_4$ — это рабочий онтологический тезис и программа чтения последующих частей, а не уже доказанная универсальная теорема. ToS не утверждает, что формально выведены все устойчивые структуры математики; ToS предлагает в каждой области тома проверять, как порядок, различение, уровень, критерий и роль вновь порождают знакомые математические структуры.

Основание. Мотив $M_4$ опирается на все предыдущие, включая мета-мотив $M_{\mathrm{MM}}$. Если существующее положено позитивно ($M_1$), если оно делимо операционально, по уровням ($M_2$), и если режимы его рассмотрения производны от первичных процессных конструкций ($M_3$), — то структуры, которые при этом возникают, естественно рассматривать не как внешний выбор, а как след устройства различения. Закон Порядка ($L5$) производит упорядоченность везде, где есть разворачивание; иерархия уровней ($P1$) производит иерархическую структуру везде, где есть различение по уровням. $M_4$ предлагает держать это наблюдение как руководящую гипотезу чтения — и в каждой части тома проверять её на конкретном материале, а не принимать как уже доказанный универсальный факт.

Почему $M_4$ завершает иерархию. $M_4$ стоит последним, потому что он есть программный вывод из трёх предыдущих: он формулирует не отдельную позицию, а руководящую гипотезу, опирающуюся на то, что все три предыдущие позиции имеют место. Если онтология позитивна, делимость операциональна, а множества производны, — то устойчивость и повторяемость структур естественно ожидать как след устройства различения и проверять её часть за частью. $M_4$ — итог дедуктивной иерархии мотивов и одновременно программа чтения остального тома.

Онтологическое ядро тома

Четыре мотива, собранные вместе, образуют онтологическое ядро Тома II. Они связаны дедуктивной иерархией: $M_1\to M_2\to M_3\to M_4$, — каждый следующий опирается на предыдущие.

ОНТОЛОГИЧЕСКОЕ ЯДРО ТОМА: МЕТА-МОТИВ И ЧЕТЫРЕ МОТИВА

$M_{\mathrm{MM}}$ — Процессность онтологии (мета-мотив). Существующее существует как разворачивание, не как готовая данность. Общий фон, пронизывающий все четыре мотива ниже.

$M_1$ — Позитивная онтология. Всё онтологически существующее существует позитивно. Небытие не есть особый род бытия; отрицание — производная операция, не исходный объект.

$M_2$ — Операциональная делимость. Атомарность операциональна, а не абсолютна. Неделимость указывает уровень рассмотрения, а не абсолютное свойство объекта.

$M_3$ — Множества как режим. Множества вторичны, списки первичны. Множество есть режим рассмотрения списка (его support), отвлечённый от порядка и кратности.

$M_4$ — Структурная неизбежность. Рабочий тезис и программа чтения: устойчивые структуры рассматриваются как повторные проявления устройства различения и проверяются часть за частью.

Дедуктивная иерархия: $M_1\to M_2\to M_3\to M_4$, на общем фоне мета-мотива $M_{\mathrm{MM}}$. Каждый мотив опирается на предыдущие; процессность — фон, пронизывающий все четыре.

Мотивы и их формальный статус

Чтобы ясно различить, что в собранном ядре уже имеет машинную проверку, а что является методологическим мотивом, сведём мотивы в таблицу с указанием формальных якорей и статуса.

Мотив	Формальный якорь	Статус
$M_{\mathrm{MM}}$ процессность	Generator/Process в Core, P4CompletedInfinity.v, файлы физического контура	частично формализовано
$M_1$ позитивная онтология	Distinction, поля positive, negative, exclusive, exhaustive	прямой формальный след
$M_2$ операциональная делимость	Level, System $L$, Criterion в Core_ERR.v	формализовано как иерархия уровней
$M_3$ множества как режим	списки, support, слой src/settheory/	требует уточнения
$M_4$ структурная неизбежность	повторное появление порядка, эквивалентности, категорных конструкций	методологический мотив

Таблица делает явной разницу статусов. $M_1$ имеет прямой формальный след: запись Distinction с её полями машинно проверена. $M_2$ формализован как иерархия уровней (тип Level и связанные конструкции). $M_{\mathrm{MM}}$ формализован частично: процессные конструкции и незавершённость бесконечности проверены, но не как единая полная модель. $M_3$ опирается на списочный аппарат, но точная связь списка, support и теоретико-множественного слоя ещё требует уточнения. $M_4$ — методологический мотив, программа чтения, а не машинно-проверенная теорема. Эта разнородность статусов нормальна для главы, фиксирующей онтологическое ядро и программу: часть ядра уже формальна, часть — ориентир для последующей работы.

Завершение Части I

С объявлением четырёх сквозных мотивов Часть I — «Перво-различие и законы логики» — завершена в обоих своих измерениях.

В формальном измерении Главы 1–6 задали основную ось аппарата ToS: $A=\exists$ как пред-формальный первофакт; Distinction как первый формализуемый след; Законы $L1$–$L5$ как структурные свойства различения и иерархии; Принципы $P1$–$P4$ как принципы системного построения; $E/R/R$ как онтологическую схему системы; уровни, критерии и технический статус аксиом реализации. Ряд ключевых узлов этой архитектуры имеет прямую машинную проверку в Rocq; часть узлов служит онтологическим и методологическим ориентиром для последующих частей. Точное распределение того, что уже машинно проверено, а что остаётся мотивом, сведено в таблицу «Мотивы и их формальный статус».

В онтологическом измерении (Глава 7) собрано ядро: процессность онтологии как общий фон-мета-мотив $M_{\mathrm{MM}}$ и четыре сквозных мотива — позитивная онтология, операциональная делимость, множества как режим, структурная неизбежность — в их дедуктивной иерархии.

Глава 7 не добавляет нового технического слоя. Она фиксирует онтологическое ядро и программу чтения, через которую последующие части тома будут рассматривать числовые системы, структуру континуума, основания анализа, алгебраические и геометрические структуры, категорную организацию математики и мост к физике. В каждой из этих областей сквозные мотивы предлагается проверять заново: и там, где числовая система оказывается процессом, а не завершённым объектом; и там, где атомарность объекта обнаруживается относительной; и там, где множество оказывается режимом рассмотрения; и там, где одна и та же структура возникает в несвязанных, казалось бы, областях. Часть I дала основание и программу; том продолжается их применением.

---

---

Часть: Часть I. Перво-различие и законы логики · Том: «Математика»

Понятия: Порядок · Парадокс · Логика · Формализация

Навигация: ← Глава 6. Аксиоматический минимум и механизм статуса · Глава 1. Первичность единицы — Часть II →

Footnotes

1. В репозитории эта линия имеет несколько формальных следов. Файл DistinctionProcess.v задаёт модель sharpness/coherence, где измерение понимается как постепенное sharpening различения; MeasurementSynthesis.v формулирует quantum/classical bridge; UnistochasticFromGraph.v и связанные Cayley-файлы проверяют конкретные унистохастические конструкции (матрицы над $Q$, ортогональность, двойную стохастичность, примеры $2\times 2$ и $3\times 3$); ConnectionClosesGap.v собирает Barandes-style correspondence между distinction graph, doubly stochastic / unistochastic transitions и path-dependence. Эти файлы дают формальные компоненты физического моста, но не должны читаться как уже завершённый формальный вывод всей квантовой теории из Distinction; такой вывод относится к следующему тому. ↩

2. Соответствующие построения — в каталоге src/settheory/ репозитория theory-of-systems-coq. ↩

3. Формализация уровней — в файле src/TheoryOfSystems_Core_ERR.v (тип Level, отношение level_lt и его иррефлексивность). Существенная оговорка: тип Level задаёт иерархию уровней, но не доказывает, что всякий объект непременно имеет дальнейшее внутреннее разложение. Мотив $M_2$ потому и формулируется как операциональная атомарность — утверждение об относительности неделимости к уровню рассмотрения, а не теорема о бесконечной делимости всякого объекта. ↩