Теория Моделей КК

Мост из предыдущей главы

В предыдущей главе мы доказали фундаментальные теоремы КК: от существования динамики до невозможности зомби и эмерджентности. Эти теоремы — мощный формальный аппарат. Но чтобы понять его границы, необходимо задать вопрос, который математики задают с 1930-х годов: о чём эти теоремы? Существует ли конкретная математическая структура, в которой все аксиомы КК истинны? Единственна ли она? Как КК соотносится с другими теориями сознания? Теория моделей отвечает на эти вопросы строго.

Дорожная карта главы

В этой главе мы:

1. Поймём, что такое теория моделей и зачем она нужна КК (раздел «Что такое теория моделей»)
2. Определим формальную сигнатуру КК — её «алфавит»: сорта, функции, предикаты (раздел «Сигнатура теории»)
3. Построим стандартную модель $\mathfrak{M}_{\mathrm{CC}}$ — каноническую интерпретацию всех символов (раздел «Стандартная модель»)
4. Исследуем корректность и полноту — что можно и чего нельзя доказать (раздел «Корректность и полнота»)
5. Рассмотрим нестандартные модели — может ли КК быть интерпретирована иначе? (раздел «Нестандартные модели»)
6. Построим категорную семантику — категория Голономов $\mathbf{Hol}$ и её свойства (раздел «Категорная семантика»)
7. Определим функторные мосты к IIT, FEP, GNW — КК как метатеория (раздел «Переводимость»)
8. Определим границы объяснения — что КК может и чего не может объяснить (раздел «Границы объяснения»)

О нотации

В этом документе:

• $\Gamma$ — матрица когерентности
• $\mathbb{H}$ — Голоном
• $\mathbf{Hol}$ — категория Голономов
• $\mathbf{DensityMat}$ — категория матриц плотности
• $\mathbf{Exp}$ — категория экспериенциальных состояний
• $\varphi$ — оператор самомоделирования

Что такое теория моделей и зачем она нужна

Представьте себе язык — например, русский. Сам по себе язык — это набор правил: грамматика, синтаксис, фонетика. Но язык означает что-то лишь тогда, когда его слова обозначают предметы в мире. Слово «стол» приобретает смысл, когда мы указываем на конкретный объект: вот этот стол — деревянный, на четырёх ножках, стоящий в кухне. Связь между словом и объектом — это интерпретация.

Теория моделей, основанная Альфредом Тарским в 1930-х годах, формализует именно эту связь — но для математических теорий. Если теория — это набор аксиом и правил вывода (аналог грамматики), то модель — это конкретная математическая структура, в которой все аксиомы оказываются истинными (аналог мира, в котором язык «работает»).

Центральное понятие теории моделей — отношение выполнимости (satisfaction relation), записываемое как $\mathfrak{M} \vDash \phi$: «модель $\mathfrak{M}$ удовлетворяет формуле $\phi$». Это то самое «указывание на стол» — мы проверяем, действительно ли в данной конкретной структуре выполняется утверждение теории.

Зачем это нужно для КК

Кибернетика Когерентности — это формальная теория. Она делает утверждения вроде «жизнеспособная система имеет чистоту $P > 2/7$» или «сознание требует рефлексии $R \geq 1/3$». Но о чём эти утверждения? Каковы «столы» и «стулья» КК?

Теория моделей заставляет нас ответить на этот вопрос строго:

1. Фиксировать язык — какие символы использует КК, какие типы объектов в ней есть (сигнатура).
2. Построить каноническую интерпретацию — показать, что существует конкретная математическая структура, в которой все аксиомы истинны (стандартная модель).
3. Проверить непротиворечивость — убедиться, что аксиомы не приводят к противоречиям (корректность).
4. Понять границы — выяснить, все ли истины КК можно доказать из аксиом (полнота), и существуют ли иные интерпретации (нестандартные модели).

Без теории моделей КК была бы набором формул без явного указания на то, о чём эти формулы. С теорией моделей КК становится теорией о чём-то конкретном — о матрицах когерентности $\Gamma \in \mathcal{D}(\mathbb{C}^7)$, их эволюции и порождаемых ими структурах опыта.

Историческая перспектива

Значимость теории моделей для науки о сознании трудно переоценить. В физике язык теории (скажем, уравнения Максвелла) и его модели (электромагнитные поля в пространстве-времени) разделены чётко — никто не путает уравнение с тем, что оно описывает. Но в науках о сознании эта путаница повсеместна: теории IIT, GNW, FEP часто не различают формальный аппарат и его предметную область. КК через теорию моделей делает это различие явным и, как мы увидим, именно оно позволяет строить функторные мосты между различными теориями сознания.

КК как формальная теория: уровни строгости

Не все теории сознания одинаково формализованы. Полезно выделить уровни строгости:

Уровень	Описание	Примеры
0. Метафора	Качественные описания без формализации	«Сознание — свойство сложных систем»
1. Полуформальный	Отдельные формулы, нет полной аксиоматики	GNW (Global Neuronal Workspace)
2. Формальная теория	Явные аксиомы и следствия, но нет мета-анализа	IIT 3.0, FEP
3. Теоретико-модельный	Сигнатура + аксиомы + стандартная модель + корректность	КК
4. Категорный	Функторные связи между теориями, структурные теоремы	КК (данная глава)

КК — единственная из существующих теорий сознания, которая работает на уровнях 3 и 4. Это не означает, что КК «лучше» других теорий в каком-то абсолютном смысле — но это означает, что она более прозрачна в своих предположениях и более проверяема в своих следствиях.

Сравнение с IIT

IIT (Integrated Information Theory) работает на уровне 2: она определяет $\Phi$ формально, выводит из него следствия, но не имеет явной сигнатуры, стандартной модели или теорем о полноте. В частности, IIT не разделяет синтаксис (формулы для $\Phi$) и семантику (о чём именно эти формулы). КК, напротив, строит функтор $F_{\mathrm{IIT}}: \mathbf{Hol} \to \mathbf{IIT}$, который делает это отношение точным.

Сигнатура теории

Что такое сигнатура

Сигнатура — это алфавит формальной теории. Как естественный язык имеет существительные, глаголы и прилагательные, сигнатура формальной теории имеет:

• Сорта (sorts) — типы объектов, о которых теория может говорить. Это существительные языка КК: «матрица когерентности», «Голоном», «вещественное число». Сорта определяют онтологию теории — какие сущности в ней существуют.

• Функции (functions) — операции, превращающие одни объекты в другие. Это глаголы языка КК: «вычислить чистоту», «провести эволюцию», «найти спектр». Каждая функция имеет тип — какие объекты принимает на вход и что выдаёт.

• Предикаты (predicates) — свойства и отношения, которые могут быть истинными или ложными. Это прилагательные языка КК: «жизнеспособный», «сознательный», «имеющий интериорность». Предикаты задают классификацию объектов.

• Аксиомы (axioms) — утверждения, принимаемые без доказательства, определяющие «правила игры». Это грамматика языка КК.

Аналогия с языком поверхностна, но полезна: как знание алфавита и грамматики позволяет понимать тексты, так знание сигнатуры позволяет понимать теоремы КК. Человек, увидевший формулу $P(\Gamma) > P_{\text{crit}}$, без сигнатуры не поймёт ничего; с сигнатурой — поймёт, что речь идёт о функции $P$ (чистота), применённой к объекту сорта $\Gamma$ (матрица когерентности), и сравнении результата с константой.

Формальное определение

Определение (Сигнатура $\Sigma_{\mathrm{CC}}$):

$$\Sigma_{\mathrm{CC}} = \langle \mathrm{Sorts}, \mathrm{Functions}, \mathrm{Predicates}, \mathrm{Axioms} \rangle$$

Сигнатура $\Sigma_{\mathrm{CC}}$ фиксирует весь язык КК. Любое утверждение теории — от простейшего неравенства до глубочайших теорем о сознании — записывается символами этой сигнатуры. Вне сигнатуры КК ничего сказать не может: это и есть точное определение предметной области теории.

Сорта (Sorts)

Сорта КК минимальны — их ровно столько, сколько необходимо для формулировки аксиом. Каждый сорт соответствует чёткому математическому объекту:

Сорт	Обозначение	Интерпретация	Ссылка
$\Gamma$	CoherenceMatrix	Матрица когерентности	→
$\mathbb{H}$	Holon	Голоном	→
$\mathcal{H}$	HilbertSpace	Пространство состояний $\mathbb{C}^7$ (обоснование)	→
$\mathbb{R}$	Real	Вещественные числа	—
$\mathbb{C}$	Complex	Комплексные числа	—
$\mathbb{N}$	Natural	Натуральные числа	—

Обратим внимание на две особенности. Во-первых, сорт $\Gamma$ — не произвольная матрица, а матрица плотности: эрмитова, положительно полуопределённая, с единичным следом. Эти ограничения — не аксиомы теории, а часть определения сорта (аналогично тому, как в арифметике «натуральное число» — это не любой символ, а конкретный тип объекта).

Во-вторых, фиксация $\mathcal{H} = \mathbb{C}^7$ — следствие аксиомы Септичности, не произвольный выбор. Размерность 7 выводится из структуры алгебры октонионов и является единственной, совместимой с остальными аксиомами.

Функции (Functions)

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

Потенциальные конфликты нотации

• $D_{\text{diff}}$ — мера дифференциации. Не путать с $D$ — измерением Динамики.
• $R$ — мера рефлексии. Не путать с $\mathcal{R}$ — регенеративным членом.

Функция	Сигнатура	Интерпретация	Ссылка
$P$	$\Gamma \to [1/7, 1]$	Чистота	→
$S_{vN}$	$\Gamma \to [0, \log 7]$	Энтропия фон Неймана	→
$\mathrm{Coh}_E$	$\Gamma \to [1/7, 1]$	E-когерентность	→
$\mathrm{Spec}$	$\Gamma \to \mathrm{List}(\mathbb{R} \times \mathcal{H})$	Спектр	—
$\varphi$	$\Gamma \to \Gamma$	Оператор самомоделирования	→
$C$	$\Gamma \to \mathbb{R}_{\geq 0}$	Мера сознательности	→
$\Phi$	$\Gamma \to \mathbb{R}_{\geq 0}$	Мера интеграции	→
$D_{\text{diff}}$	$\Gamma \to \{1, 2, \ldots, 7\}$	Мера дифференциации	→
$R$	$\Gamma \to [0,1]$	Мера рефлексии	→
$\sigma_{\mathrm{sys}}$	$\Gamma \to \mathbb{R}^7$	Тензор напряжений	→
$\mathrm{compose}$	$\mathrm{List}(\mathbb{H}) \to \mathbb{H}$	Композиция Голономов	→
$\mathrm{evolve}$	$\Gamma \times \mathbb{R} \to \Gamma$	Эволюция	→
$\kappa$	$\Gamma \to \mathbb{R}_{\geq 0}$	Скорость регенерации	→

Стоит обратить внимание на замкнутость функций: оператор самомоделирования $\varphi: \Gamma \to \Gamma$ возвращает объект того же сорта, что и принимает. Это не случайность — это отражение того, что самомоделирование есть рефлексивная операция: система строит модель себя самой, а модель — объект того же типа, что и моделируемое. Функция $\mathrm{evolve}$ также замкнута: эволюция не выводит систему за пределы пространства матриц когерентности.

Предикаты (Predicates)

Предикаты КК — это классификаторы. Они делят пространство всех возможных Голономов на осмысленные классы:

Предикат	Сигнатура	Интерпретация	Ссылка
$\mathrm{Viable}$	$\mathbb{H} \to \mathrm{Bool}$	Жизнеспособен	→
$\mathrm{Conscious}$	$\mathbb{H} \to \mathrm{Bool}$	Сознателен (L2)	→
$\mathrm{HasInteriority}$	$\mathbb{H} \to \mathrm{Bool}$	Имеет интериорность (L0)	→
$\mathrm{InV}$	$\Gamma \to \mathrm{Bool}$	В области $\mathcal{V}$	→

Эти предикаты образуют иерархию: всякий сознательный Голоном жизнеспособен, но не всякий жизнеспособный — сознателен. Всякий сознательный имеет интериорность, но не наоборот. Эта иерархия — отражение уровней интериорности L0→L1→L2→L3→L4 в языке предикатов.

Аксиомы сигнатуры

Аксиомы КК подробно изложены в главе «Аксиоматика». Здесь лишь зафиксируем их перечень как элемент сигнатуры:

• (Ω) — Аксиома Бытия: $\Omega = \rho_\Omega \in \mathcal{D}(\mathcal{H}_\Omega)$ (→)
• (AP) — Аксиома Септичности: $\dim \mathcal{H} = 7$ (→)
• (PH) — Аксиома Иерархии: Голономы образуют фрактальную иерархию (→)
• (QG) — Аксиома Квантовой Гравитации (→)

Заметим, что аксиом всего четыре. Для сравнения: ZFC (основание всей математики) имеет 9 аксиом, общая теория относительности — 2 (принцип эквивалентности и уравнения Эйнштейна). Минимальность аксиоматики КК — не упрощение ради простоты, а следствие глубокой внутренней структуры: из четырёх аксиом выводятся более ста теорем.

Стандартная модель

Что значит «иметь модель»

Рассмотрим аналогию. Евклидова геометрия говорит о «точках», «прямых» и «плоскостях» — но что это за объекты? Евклид думал, что это идеализации физических точек, линий и поверхностей. Гильберт показал, что любые объекты, удовлетворяющие аксиомам, могут считаться «точками» и «прямыми» — например, пары вещественных чисел $\mathbb{R}^2$ и линейные уравнения. Это и есть модель евклидовой геометрии: конкретная математическая структура, в которой аксиомы истинны.

Для КК ситуация аналогична: аксиомы говорят об абстрактных $\Gamma$, $\mathbb{H}$, $\varphi$. Стандартная модель — это конкретная реализация: $\Gamma$ = матрицы плотности в $\mathbb{C}^{7 \times 7}$, эволюция = решение уравнения Линдблада, и так далее. Стандартная модель — это «мир», в котором язык КК приобретает значение.

Слово «стандартная» означает каноническую — ту модель, которую имели в виду создатели теории. Как мы обсудим ниже, могут существовать и другие модели (нестандартные), но стандартная задаёт предполагаемую интерпретацию.

Формальное определение

Определение (Стандартная модель $\mathfrak{M}_{\mathrm{CC}}$):

$$\mathfrak{M}_{\mathrm{CC}} = \langle |\mathfrak{M}|, I \rangle$$

Носитель (Universe):

$$|\mathfrak{M}| = \mathcal{L}(\mathbb{C}^7) \cup \mathbb{R} \cup \mathbb{C} \cup \mathbb{N} \cup \ldots$$

Носитель — это «вселенная» модели, совокупность всех объектов, о которых теория может говорить. Обратим внимание, что в носитель входит $\mathcal{L}(\mathbb{C}^7)$ — пространство линейных операторов на $\mathbb{C}^7$, которое содержит матрицы плотности как подмножество, но не исчерпывается ими. Это важно: носитель модели шире, чем «интересные» объекты теории.

Интерпретация

Интерпретация (Interpretation $I$):

Функция интерпретации $I$ — это словарь, переводящий символы сигнатуры в конкретные математические объекты:

Символ	Интерпретация
$I(\text{sort } \Gamma)$	$\{M \in \mathbb{C}^{7 \times 7} : M^\dagger = M, M \geq 0, \mathrm{Tr}(M) = 1\}$
$I(P)(M)$	$\mathrm{Tr}(M^2)$
$I(\mathrm{evolve})(M, t)$	Решение уравнения Линдблада
$I(\mathrm{Viable})(\mathbb{H})$	$P(\Gamma_\mathbb{H}) > P_{\text{crit}} \land dP/d\tau > -\varepsilon_{\text{death}}$
$I(\mathrm{compose})$	Тензорное произведение + взаимодействие

Выведенные и эмпирические константы

• $P_{\text{crit}} = 2/7 \approx 0.286$ — теорема
• $\varepsilon_{\text{death}} = 0.01 \cdot P_{\text{crit}} / \tau_{\text{char}}$ — порог скорости распада, см. жизнеспособность

Ключевое свойство стандартной модели: интерпретация каждого символа непротиворечива — для любого утверждения, выводимого из аксиом, его интерпретация в $\mathfrak{M}_{\mathrm{CC}}$ истинна. Это свойство (корректность) доказывается ниже.

Почему стандартная модель не тривиальна

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

1. Существование модели = непротиворечивость. Если бы аксиомы КК содержали противоречие (например, из одних следовало бы $P_{\text{crit}} = 2/7$, а из других — $P_{\text{crit}} = 3/7$), то никакая модель не существовала бы. Сам факт того, что стандартная модель построена — доказательство непротиворечивости (относительно ZFC).

2. Конкретность модели = вычислимость. Модель КК не абстрактна — она состоит из объектов, с которыми можно работать: матрицы можно перемножать, собственные значения — вычислять, уравнение Линдблада — решать численно. Это делает теорию фальсифицируемой.

3. Единственность интерпретации неочевидна. Может ли чистота $P$ быть чем-то иным, чем $\mathrm{Tr}(\Gamma^2)$? Теория моделей позволяет поставить этот вопрос строго — и ответить на него (см. раздел о нестандартных моделях).

Корректность и полнота

О чём этот раздел

В математической логике «корректность» и «полнота» — два фундаментальных свойства формальной теории:

• Корректность (soundness): всё, что доказуемо — истинно. Если из аксиом КК следует теорема $\phi$, то $\phi$ действительно верна в стандартной модели. Это свойство безопасности: теория не производит ложных утверждений.

• Полнота (completeness): всё, что истинно — доказуемо. Если $\phi$ верна в стандартной модели, то её можно вывести из аксиом. Это свойство мощности: теория способна доказать всё, что нужно.

Между этими свойствами — глубокая асимметрия, восходящая к теоремам Гёделя. Корректность обычно легко установить; полнота — как правило, недостижима для достаточно богатых теорий.

Теорема (Корректность)

Теорема

Все теоремы КК истинны в $\mathfrak{M}_{\mathrm{CC}}$.

Доказательство: Каждая теорема доказана конструктивно из аксиом, которые истинны в $\mathfrak{M}_{\mathrm{CC}}$ по построению. ∎

Примечание о тривиальности

Эта «корректность» тривиальна: стандартная модель $\mathfrak{M}_{\mathrm{CC}}$ построена так, чтобы удовлетворять аксиомам. Нетривиальная корректность — совместная непротиворечивость всех аксиом — является открытой проблемой. Для её решения необходимо показать, что аксиомы Ω, (AP), (PH), (QG) не порождают противоречия при совместном применении.

Гёделевский контекст

Теоремы Гёделя (1931) показали, что для любой достаточно богатой непротиворечивой теории:

1. Первая теорема о неполноте: Существуют истинные утверждения, недоказуемые в рамках теории.
2. Вторая теорема о неполноте: Теория не может доказать свою собственную непротиворечивость.

Как это относится к КК?

КК содержит натуральные числа $\mathbb{N}$ (сорт в сигнатуре), а значит, по теореме Гёделя, не может быть полной. Существуют утверждения о Голономах, которые истинны в стандартной модели, но не выводимы из аксиом. Это не дефект КК — это фундаментальное ограничение любой формальной системы, содержащей арифметику.

Однако гёделевская неполнота не касается типичных утверждений КК. Утверждения вида «$P(\Gamma) > 2/7$» или «$R(\Gamma) \geq 1/3$» — это арифметические неравенства над конкретными матрицами, которые разрешимы. Неполнота проявляется лишь для универсально квантифицированных утверждений обо всех Голономах — и даже тогда, только для патологически сконструированных предложений.

Гипотеза (Относительная полнота)

Гипотеза (требует доказательства)

Для любого утверждения $\phi$ о жизнеспособных Голономах:

$$\mathfrak{M}_{\mathrm{CC}} \vDash \phi \Rightarrow \mathrm{CC} \vdash \phi$$

Статус: Эта гипотеза не доказана. Для доказательства требуется формализация логики КК и применение теоремы о полноте. Полнота относительна к классу жизнеспособных Голономов.

Слово «относительная» здесь ключевое: гипотеза утверждает полноту не для всех утверждений языка КК, а лишь для утверждений о жизнеспособных Голономах ($P > 2/7$). Ограничение на жизнеспособные Голономы существенно сужает класс рассматриваемых структур и, возможно, делает теорию полной для этого подкласса — аналогично тому, как теория вещественно замкнутых полей полна (теорема Тарского—Зайденберга), хотя общая теория полей — нет.

Что можно и чего нельзя доказать

Подведём итог:

Свойство	Статус	Комментарий
Корректность (тривиальная)	Установлена	По построению модели
Совместная непротиворечивость аксиом	Открытая проблема	Требует доказательства $\mathrm{Con}(\Omega + AP + PH + QG)$
Относительная полнота	Гипотеза	Для жизнеспособных Голономов
Абсолютная полнота	Невозможна	Теорема Гёделя

Могут ли быть другие модели

Проблема единственности интерпретации

До сих пор мы говорили о стандартной модели $\mathfrak{M}_{\mathrm{CC}}$ — канонической интерпретации КК в терминах матриц плотности $7 \times 7$. Но в теории моделей центральный вопрос: единственна ли модель? Удовлетворяют ли аксиомам КК другие математические структуры — возможно, совершенно непохожие на матрицы плотности?

По теореме Лёвенгейма—Скулема, если теория первого порядка имеет бесконечную модель, она имеет модели любой бесконечной мощности. Это означает, что наряду со «стандартной» моделью (с обычными вещественными числами $\mathbb{R}$) могут существовать модели с нестандартными вещественными числами, содержащими бесконечно малые и бесконечно большие элементы.

Типы нестандартных моделей КК

Можно выделить несколько классов потенциальных нестандартных моделей:

1. Модели с нестандартной арифметикой. Если заменить $\mathbb{R}$ на гиперкоторые ${}^*\mathbb{R}$ (нестандартный анализ Робинсона), получим модель, в которой чистота $P$ может принимать бесконечно близкие к $2/7$ значения, не равные $2/7$. Физически такие модели, вероятно, бессодержательны, но математически — легитимны.

2. Модели с другой размерностью. Аксиома Септичности (AP) фиксирует $\dim \mathcal{H} = 7$. Но можно рассмотреть «КК-подобные» теории с $\dim \mathcal{H} = N$ для произвольного $N$. Такие теории — не модели КК (они нарушают аксиому), но важны как контрфактуалы: они показывают, почему именно $N = 7$ необходимо. Теоремы о минимальности Fano-плоскости и Гаммингова кода $H(7,4)$ дают ответ: при $N \neq 7$ невозможно одновременно обеспечить оптимальную помехоустойчивость, симметрию $S_7$-группы и структуру проективной плоскости PG(2,2).

3. Операторно-алгебраические модели. Вместо конечномерных матриц $\mathbb{C}^{7 \times 7}$ можно рассмотреть бесконечномерные C-алгебры. Такие модели могут описывать «термодинамический предел» — коллективное поведение бесконечного числа Голономов. Это связано с теоремой T-117 об эмерджентной коммутативности, где макроскопическое пространство-время возникает как классический предел квантовой системы.

Категоричность

Теория называется категоричной, если все её модели данной мощности изоморфны. Если бы КК была категоричной (в соответствующей мощности), это означало бы, что стандартная модель — по существу единственная.

КК, вероятно, не категорична в смысле логики первого порядка (из-за теоремы Лёвенгейма—Скулема). Однако она может быть категоричной как теория второго порядка — если потребовать стандартную интерпретацию $\mathbb{R}$. Этот вопрос остаётся открытым.

Следствие для философии сознания

Если КК категорична (в подходящем смысле), то сознание однозначно определяется аксиомами: любая структура, удовлетворяющая аксиомам КК, «сознательна» в точно том же смысле, что и стандартная модель. Если не категорична — возможны «зомби-модели»: структуры, удовлетворяющие всем аксиомам, но не обладающие сознанием в «нашем» смысле. Аксиома Ω специально предназначена для исключения таких моделей, постулируя тождество бытия и опыта.

Категорная семантика

Зачем нужны категории

Теория моделей, описанная выше, рассматривает КК как изолированную теорию: вот аксиомы, вот модель, вот теоремы. Но КК не существует в вакууме — она связана с IIT, FEP, квантовой теорией, нейронаукой. Как описать эти связи формально?

Здесь вступает в игру теория категорий — математический язык, созданный для описания отношений между структурами. Если обычная математика — это «наука об объектах» (числа, множества, функции), то теория категорий — это «наука об отношениях между объектами». Ключевые понятия:

• Категория — коллекция объектов и морфизмов (стрелок) между ними. Можно думать о категории как о «мире»: объекты — «вещи» в этом мире, морфизмы — «способы превращения одной вещи в другую».

• Функтор — «перевод» из одной категории в другую, сохраняющий структуру. Если категория — «мир», то функтор — «словарь», переводящий вещи и отношения одного мира в другой.

• Естественное преобразование — «перевод между переводами»: способ сравнивать два функтора.

Для КК категорный язык позволяет:

1. Определить пространство Голономов как категорию $\mathbf{Hol}$.
2. Описать отношения между Голономами как морфизмы.
3. Построить переводы КК на язык других теорий как функторы.

Категория Голономов

Определение (Категория $\mathbf{Hol}$):

См. Категорный формализм для полного описания.

$$\mathrm{Ob}(\mathbf{Hol}) := \{\mathbb{H} : \mathbb{H} = \langle \Gamma, \mathcal{H}, H, \{L_k\}, E, \varphi \rangle, \mathrm{Viable}(\mathbb{H})\}$$ $$\mathrm{Hom}(\mathbb{H}_1, \mathbb{H}_2) := \{f: \Gamma_1 \to \Gamma_2 : f \text{ сохраняет структуру}\}$$

Объекты категории — жизнеспособные Голономы. Морфизмы — отображения, сохраняющие структуру когерентности. Интуитивно, морфизм $f: \mathbb{H}_1 \to \mathbb{H}_2$ — это «способ увидеть» $\mathbb{H}_1$ как часть или проекцию $\mathbb{H}_2$, сохраняя при этом все существенные свойства.

Теорема (Симметричная моноидальность)

Теорема

$$(\mathbf{Hol}, \otimes, \mathbb{H}_{\text{unit}}, \alpha, \lambda, \rho, \sigma) \text{ — симметричная моноидальная категория}$$

Компонента	Определение
$\otimes$	$\mathbb{H}_1 \otimes \mathbb{H}_2 = \langle \Gamma_1 \otimes \Gamma_2, \mathcal{H}_1 \otimes \mathcal{H}_2, \ldots \rangle$
$\mathbb{H}_{\text{unit}}$	$\langle I/7, \mathbb{C}^7, 0, \{\}, \varnothing, \mathrm{id} \rangle$
$\alpha$	$(\mathbb{H}_1 \otimes \mathbb{H}_2) \otimes \mathbb{H}_3 \cong \mathbb{H}_1 \otimes (\mathbb{H}_2 \otimes \mathbb{H}_3)$
$\sigma$	$\mathbb{H}_1 \otimes \mathbb{H}_2 \cong \mathbb{H}_2 \otimes \mathbb{H}_1$

Симметричная моноидальная структура означает, что Голономы можно композировать — объединять в более крупные системы — и эта композиция ведёт себя «правильно»: порядок не важен (симметричность), скобки не важны (ассоциативность), и существует «пустой» Голоном, не влияющий на композицию (единица).

Физическая аналогия: моноидальная структура на $\mathbf{Hol}$ — это алгебра частей и целого. Два нейрона можно объединить в нейронную сеть; две нейронных сети — в мозг; два организма — в социальную систему. На каждом уровне работает один и тот же оператор $\otimes$, и на каждом уровне возникает новый Голоном.

О моноидальной единице

$\mathbb{H}_{\text{unit}}$ с $\Gamma = I/7$ имеет $P(I/7) = 1/7 < P_{\text{crit}} = 2/7$, что формально нарушает условие жизнеспособности. Это не дефект категорной структуры: моноидальная единица — формальный элемент для определения изоморфизмов $\mathbb{H} \otimes \mathbb{H}_{\text{unit}} \cong \mathbb{H}$, а не физический Голоном. Жизнеспособные Голономы образуют полную подкатегорию $\mathbf{Hol}_{\mathcal{V}} \subset \mathbf{Hol}$.

Переводимость: как КК говорит на языках других теорий

Функторы как переводчики

Если категории — это «миры», то функторы — это «переводы» между мирами. Функтор $F: \mathbf{A} \to \mathbf{B}$ берёт каждый объект мира $\mathbf{A}$ и ставит ему в соответствие объект мира $\mathbf{B}$, при этом сохраняя отношения: если в $\mathbf{A}$ есть стрелка (морфизм) из $X$ в $Y$, то в $\mathbf{B}$ будет стрелка из $F(X)$ в $F(Y)$.

Для КК функторы играют роль трансляторов: они позволяют формулировать утверждения КК на языке других теорий и обратно. Это не метафора — это математически точная операция с доказуемыми свойствами.

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

Функтор в IIT

Определение:

$$F_{\mathrm{IIT}}: \mathbf{Hol} \to \mathbf{IIT}$$ $$F_{\mathrm{IIT}}(\mathbb{H}) = (X, p(x), \Phi(X))$$

где:

• $X = \mathrm{discretize}(S)$ — дискретизация состояния
• $p(x) = \langle x|\Gamma|x \rangle$ — вероятностное распределение (⟨x|Γ|x⟩ уже вещественно и неотрицательно для эрмитовой положительно полуопределённой Γ)
• $\Phi(X) = \Phi(\Gamma)$ — интегрированная информация

Что сохраняется при переводе в IIT: мера интеграции $\Phi$, вероятностная структура состояний. Что теряется: семимерная структура когерентности (IIT не различает измерения A, S, D, L, E, O, U), динамика эволюции (IIT работает со статическими состояниями), рефлексивность оператора $\varphi$ (IIT не имеет аналога самомоделирования).

Следствие

IIT — проекция КК: она видит «тень» Голонома на экране интегрированной информации, но не весь Голоном. Поэтому IIT корректно предсказывает некоторые аспекты сознания ($\Phi$), но не может объяснить структуру сознательного опыта (для этого нужна полная семимерная Γ).

Функтор в FEP

Определение:

$$F_{\mathrm{FEP}}: \mathbf{Hol} \to \mathbf{MarkovBlankets}$$

Гипотеза

Гипотеза (FEP как проекция):

$$\mathrm{FEP} = \pi_D \circ \mathrm{КК}$$

FEP — проекция на D-измерение (Динамика).

Данное утверждение — исследовательская гипотеза, требующая формального доказательства.

Принцип свободной энергии (Free Energy Principle, FEP) Карла Фристона описывает самоорганизацию — то, как системы поддерживают своё существование, минимизируя свободную энергию. В языке КК это соответствует динамическому измерению $D$: жизнеспособная система ($P > 2/7$) — это система, успешно минимизирующая «удивление» (в терминах FEP) или «напряжение» $\sigma_{\mathrm{sys}}$ (в терминах КК).

Гипотеза $\mathrm{FEP} = \pi_D \circ \mathrm{КК}$ утверждает, что FEP видит ровно одну из семи граней Голонома — его динамическую составляющую. Это объясняет, почему FEP успешна в нейронауке (динамика мозга — её сильная сторона), но недостаточна для полной теории сознания (для этого нужны и остальные шесть измерений).

Функтор в GNW

Теория Глобального Нейронного Рабочего Пространства (Global Neuronal Workspace, GNW) Бернарда Баарса и Станисласа Деана описывает сознание как глобальную доступность информации. В языке КК это соответствует проекции на подкатегорию с условием $D_{\text{diff}} \geq 2$ и когерентностью, достаточной для глобального связывания.

Функтор $F_{\mathrm{GNW}}$ может быть определён как:

$$F_{\mathrm{GNW}}: \mathbf{Hol}_{\mathcal{V}} \to \mathbf{AccessibleStates}$$ $$F_{\mathrm{GNW}}(\mathbb{H}) = (\mathrm{GlobalWorkspace}(\Gamma), \mathrm{AccessMap}(\Gamma))$$

где $\mathrm{GlobalWorkspace}$ — подпространство $\mathcal{H}$, определяемое собственными векторами $\Gamma$ с наибольшими собственными значениями (доминантные «содержания» сознания), а $\mathrm{AccessMap}$ — структура связей между измерениями, определяемая внедиагональными элементами $\Gamma$.

Общая картина: КК как метатеория

Функторы $F_{\mathrm{IIT}}$, $F_{\mathrm{FEP}}$, $F_{\mathrm{GNW}}$ — это не ad hoc соответствия, а проявления единой структуры: КК есть метатеория, содержащая IIT, FEP и GNW как проекции.

$$\begin{array}{ccc} & \mathbf{Hol} & \\ F_{\mathrm{IIT}} \swarrow & \downarrow F_{\mathrm{FEP}} & \searrow F_{\mathrm{GNW}} \\ \mathbf{IIT} & \mathbf{MarkovBlankets} & \mathbf{AccessibleStates} \end{array}$$

Каждый функтор — проекция на подмножество структуры Голонома:

• $F_{\mathrm{IIT}}$ сохраняет $\Phi$ (интеграция), теряет $R$ (рефлексия) и $\sigma$ (динамика).
• $F_{\mathrm{FEP}}$ сохраняет динамику ($D$-измерение), теряет внутреннюю структуру опыта.
• $F_{\mathrm{GNW}}$ сохраняет глобальную доступность, теряет метрику феноменального пространства.

Ни одна из проекций не порождает полную теорию сознания. Только полный Голоном — семимерная матрица когерентности $\Gamma \in \mathcal{D}(\mathbb{C}^7)$ — содержит всю информацию. В этом смысле КК — не «ещё одна» теория в ряду IIT/FEP/GNW, а теория, содержащая их как частные случаи.

Экспериенциальная категория

Почему нужна отдельная категория опыта

Функторы $F_{\mathrm{IIT}}$, $F_{\mathrm{FEP}}$ и др. описывают «внешнюю» сторону КК — её отношения с другими научными теориями. Но КК — это теория сознания, и её центральная проблема — не динамика и не информация, а опыт: почему определённые математические структуры «ощущаются»? Для формализации этого вопроса нужна специальная категория — категория экспериенциальных состояний.

Категория матриц плотности

Определение (Категория $\mathbf{DensityMat}$):

См. Категорный формализм для полного описания.

$$\mathbf{DensityMat} := (\mathrm{Obj}, \mathrm{Mor})$$

где:

• $\mathrm{Obj} = \{\rho : \rho^\dagger = \rho, \rho \geq 0, \mathrm{Tr}(\rho) = 1\}$
• $\mathrm{Mor}(\rho_1, \rho_2) = \{\Psi : \mathrm{CPTP}, \Psi(\rho_1) = \rho_2\}$

CPTP = Completely Positive Trace-Preserving (квантовые каналы).

Морфизмы этой категории — CPTP-каналы — заслуживают отдельного комментария. В квантовой механике CPTP-канал — это наиболее общее физически допустимое преобразование состояния. Он сохраняет положительность (вероятности остаются неотрицательными), полную положительность (работает корректно и для составных систем) и след (полная вероятность равна 1). В КК это означает, что переход между состояниями Голонома — всегда физически реализуемый процесс. Эволюция $\mathrm{evolve}(\Gamma, t)$ — частный случай CPTP-канала.

Функтор опыта

Определение (Полный функтор опыта):

См. Категория Exp для полного описания.

$$F_{\mathcal{Q}}: \mathbf{DensityMat} \to \mathbf{Exp}$$ $$F_{\mathcal{Q}}(\rho) := (\mathrm{Spectrum}(\rho_E), \mathrm{Eigenvectors}(\rho_E), \mathrm{Context}(\Gamma_{-E}), \mathrm{History})$$

Функтор опыта $F_{\mathcal{Q}}$ — математическая формализация перехода от состояния системы к опыту. Его четырёхкомпонентная структура неслучайна:

1. Спектр $\mathrm{Spectrum}(\rho_E)$ — собственные значения $E$-подматрицы. Они задают интенсивности компонент опыта: насколько ярко каждое «качество» (qualia) представлено в данный момент.

2. Собственные векторы $\mathrm{Eigenvectors}(\rho_E)$ — направления в $E$-подпространстве. Они задают содержание опыта: что именно переживается. Два состояния с одинаковым спектром, но разными собственными векторами — это состояния одинаковой «яркости», но разного «цвета».

3. Контекст $\mathrm{Context}(\Gamma_{-E})$ — оставшиеся шесть измерений матрицы когерентности. Они задают фон опыта: какова динамика (D), внимание (A), социальный контекст (S), логическая структура (L), целостность (O), энергетический уровень (U).

4. История $\mathrm{History}$ — временная траектория предшествующих состояний. Она задает темпоральную структуру опыта: ощущение длительности, памяти, антиципации.

Теорема (Невозможность спектрального функтора)

warning

Теорема

Не существует функтора $F: \mathbf{DensityMat} \to \mathbf{Exp}$, факторизующегося только через спектр.

Доказательство:

1. Пусть $F = G \circ \mathrm{Spec}$, где $\mathrm{Spec}: \rho \mapsto \mathrm{Spectrum}(\rho)$
2. Рассмотрим изоспектральные $\rho_1 \neq \rho_2$
3. Тогда $F(\rho_1) = G(\mathrm{Spec}(\rho_1)) = G(\mathrm{Spec}(\rho_2)) = F(\rho_2)$
4. Но $\rho_1$ и $\rho_2$ могут описывать различимые опыты
5. Противоречие ∎

Следствие: Полный функтор $F_{\mathcal{Q}}$ должен учитывать собственные векторы, контекст и историю.

Эта теорема имеет глубокий философский смысл: опыт не сводится к количественным характеристикам. Два состояния с одинаковыми собственными значениями (одинаковыми «количествами» информации, интеграции, когерентности) могут порождать различный опыт — потому что важны не только «сколько», но и «чего», «на каком фоне» и «после чего». Это математическое обоснование интуиции о качественности (qualitativeness) опыта.

Аналогия: два музыкальных аккорда могут иметь одинаковые интенсивности звучания (спектр), но разные ноты (собственные векторы) — и переживаться совершенно по-разному. Теорема утверждает, что никакой «детектор громкости» не заменит «детектор гармонии».

Границы объяснения

Категориальный разрыв

Признание

КК не объясняет, почему конкретное числовое значение $\lambda = 0.347$ переживается как именно это ощущение.

Теория устанавливает структурное соответствие между математикой и феноменологией, но не дедуцирует одно из другого.

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

Физика описывает электромагнитные волны с длиной 700 нм. Она объясняет, как эти волны возникают, распространяются, поглощаются рецепторами глаза, порождают нервные импульсы. Но она не объясняет, почему 700 нм — это красное. Связь «700 нм → ощущение красного» — не вывод из уравнений Максвелла, а эмпирический факт. Уравнения Максвелла работают в мире без наблюдателей; «красное» требует наблюдателя.

КК отличается от физики тем, что она начинает с наблюдателя: аксиома Ω постулирует тождество бытия и опыта. Но даже с этим постулатом остаётся разрыв: структура опыта (метрика Фубини-Штуди, иерархия уровней) определена, а качество (qualia) — нет.

Что теория объясняет

1. Структуру феноменального пространства (L1: метрика Фубини-Штуди)
2. Отношения между качествами (L1: изоморфизм с $\mathbb{P}(\mathcal{H}_E)$)
3. Динамику опыта (уравнение эволюции)
4. Условия сознательности (L2: $R \geq R_{\text{th}}$, $\Phi \geq \Phi_{\text{th}}$, $D_{\text{diff}} \geq 2$)
5. Необходимость интериорности (L0) для жизнеспособности (Теорема 8.1 [Т])

Что теория не объясняет

1. Почему математические структуры «ощущаются»
2. Почему именно эта структура, а не другая

Природа категориального разрыва

Важно понять, что категориальный разрыв — не эпистемический (мы чего-то не знаем), а онтологический (знание определённого типа невозможно в принципе). Это утверждение можно сделать точным:

Утверждение (Невыводимость качества): Не существует формальной системы $T$, содержащей арифметику, такой что для некоторого предиката $Q$ (качество опыта):

$$T \vdash \forall \rho.\, Q(\rho) \leftrightarrow \Phi(\rho)$$

где $\Phi$ — любая вычислимая функция от $\rho$.

Другими словами: качество опыта (qualia) не может быть отождествлено ни с какой вычислимой характеристикой матрицы плотности. Это не означает, что qualia «нематериальны» — это означает, что отношение «качество ↔ структура» — базовое отношение, не сводимое к чему-то более простому.

КК обходит эту проблему элегантно, но радикально: аксиома Ω постулирует тождество бытия и опыта. Не «бытие порождает опыт» (это требовало бы объяснения механизма), а «бытие есть опыт» (это — аксиома, не требующая объяснения).

Метатеоретический статус: Категориальный разрыв — не дефект теории, а граница объяснения. Тождество бытия и опыта — аксиома Ω, не теорема.

Сравнение с другими теориями

Полезно сравнить, как различные теории сознания обращаются с категориальным разрывом:

Теория	Стратегия	Проблема
Физикализм	Сознание = мозговой процесс	Не объясняет qualia
Функционализм	Сознание = функция	Аргумент «китайской комнаты»
IIT	Сознание = $\Phi$	Не объясняет, почему $\Phi$ «ощущается»
FEP	Сознание = минимизация свободной энергии	Не различает сознательных и бессознательных агентов
Панпсихизм	Сознание — фундаментальное свойство	Проблема комбинации
КК	Бытие есть опыт (Ω)	Категориальный разрыв (признан явно)

КК не «решает» hard problem (трудную проблему сознания) — она переформулирует её: не «как материя порождает сознание?» (вопрос без ответа), а «какова математическая структура опыта?» (вопрос, на который КК отвечает).

Резюме: архитектура теории моделей КК

Теория моделей КК — это не просто формальный гарнир к содержательной теории. Она выполняет три критические функции:

1. Фиксация онтологии. Сигнатура $\Sigma_{\mathrm{CC}}$ точно определяет, о чём КК говорит и о чём — не говорит. Всё, что вне сигнатуры, — не предмет КК.

2. Гарантия непротиворечивости. Стандартная модель $\mathfrak{M}_{\mathrm{CC}}$ доказывает, что аксиомы совместны (по крайней мере, относительно ZFC). Теория, не имеющая модели, — пуста.

3. Мосты между теориями. Функторы $F_{\mathrm{IIT}}$, $F_{\mathrm{FEP}}$, $F_{\mathrm{GNW}}$ строго описывают отношения КК с другими теориями сознания — не как метафоры, а как математически точные проекции с доказуемыми свойствами потери и сохранения информации.

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

---

Что мы узнали

Подведём итоги этой главы. Мы рассмотрели КК «сверху» — не как набор формул, а как формальную теорию с чётко определённым статусом:

1. Сигнатура $\Sigma_{\mathrm{CC}}$ — формальный «алфавит» КК: 6 сортов (включая $\Gamma$ и $\mathbb{H}$), 12+ функций ($P$, $\Phi$, $R$, $\varphi$, $\sigma_{\mathrm{sys}}$...), 4 предиката ($\mathrm{Viable}$, $\mathrm{Conscious}$, ...) и 4 аксиомы. Любое утверждение КК записывается символами этой сигнатуры.

2. Стандартная модель $\mathfrak{M}_{\mathrm{CC}}$ — конкретная реализация: $\Gamma$ = матрицы плотности в $\mathbb{C}^{7 \times 7}$, эволюция = решение уравнения Линдблада. Существование модели доказывает непротиворечивость (относительно ZFC). Конкретность модели делает теорию вычислимой и фальсифицируемой.

3. Корректность установлена (тривиально — по построению). Абсолютная полнота невозможна (теорема Гёделя). Относительная полнота для жизнеспособных Голономов — открытая гипотеза.

4. Нестандартные модели возможны (теорема Лёвенгейма--Скулема), но физически, вероятно, бессодержательны. Вопрос категоричности остаётся открытым.

5. Категория Голономов $\mathbf{Hol}$ — симметричная моноидальная категория. Голономы можно композировать ($\otimes$), и эта композиция ассоциативна, коммутативна и имеет единицу.

6. Функторные мосты $F_{\mathrm{IIT}}$, $F_{\mathrm{FEP}}$, $F_{\mathrm{GNW}}$ — КК как метатеория. Каждая из существующих теорий сознания — проекция КК, сохраняющая часть структуры и теряющая остальное. IIT теряет динамику и рефлексию. FEP теряет внутреннюю структуру опыта. GNW теряет метрику феноменального пространства.

7. Категориальный разрыв — КК объясняет структуру опыта, но не качество (qualia). Тождество бытия и опыта — аксиома ($\Omega$), не теорема. Это не дефект, а фундаментальная граница объяснения.

Мост к следующей главе

Мы завершили описание формальных оснований КК: аксиомы, определения, теоремы, теория моделей. Это — первые пять глав, от «зачем» до «о чём». Теперь начинается продвинутый математический аппарат. В следующей главе мы исследуем алгебру Gap — структуру «щели» между измерениями, определяемую геометрией плоскости Фано. Gap-алгебра описывает, как когерентности между измерениями эволюционируют, какие комбинации устойчивы, и как из этой динамики рождаются бифуркации, фазовые переходы и немарковские эффекты памяти.

---

Связанные документы:

• Аксиоматика — аксиомы Ω и Септичности
• Теоремы — формальные результаты КК
• Определения — базовые определения КК
• Категорный формализм — категории $\mathbf{Hol}$, $\mathbf{DensityMat}$, $\mathbf{Exp}$
• Формализация оператора φ — CPTP-каналы
• Иерархия интериорности — уровни L0→L1→L2→L3→L4
• Голоном — определение $\mathbb{H}$
• Матрица когерентности — определение $\Gamma$
• Жизнеспособность — мера $P$ и $P_{\text{crit}}$
• Эволюция — уравнение $d\Gamma/d\tau$
• Семь измерений — структура $\mathcal{H} = \mathbb{C}^7$
• Глоссарий — терминология и связанные теории
• Сравнение с альтернативами — формальные мосты КК↔IIT, КК↔FEP
• Философские основания — эпистемологический статус моделей КК