Перейти к основному содержимому

Нулевые принципы Diakrisis

Обзор​

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

Принципы гарантируют:

  • Невозможность подмены реальной работы риторикой.
  • Честность признания редукций к известному.
  • Сохранение истории (не переписывание задним числом).
  • Обоснованную устойчивость структурных решений.

По 75.T (методология ↔ теория): каждый принцип формально ↔ техническим теоремам (см. §5 ниже).

Всего — восемь принципов: мета-нулевой П-0.0 + семь специализаций П-0.1..П-0.7.

Почему именно «нулевые»​

Термин «нулевой» (П-0.X) — не отсылка к номеру, а к до-формальному статусу: эти принципы предшествуют любой аксиоме теории. Они работают на регистре режима работы, не на регистре теорем.

Аналог — роль математической гигиены у Бурбаки, ингений у Лейбница, добротности у Гротендика. Это — то, что делает возможным осмысленную математику, но само не является её частью.

Структура принципов​

  • П-0.0 — мета-принцип: устанавливает общее отношение к работе.
  • П-0.1–П-0.2 — принципы языка (имена, экономия).
  • П-0.3–П-0.4 — принципы структуры (уровни, замкнутость).
  • П-0.5–П-0.6 — принципы новизны (несводимость, редукции).
  • П-0.7 — принцип времени (итеративность, история).

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

Мета-принцип П-0.0​

Формулировка​

П-0.0 (Различение — акт, не данность):

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

Философский статус​

П-0.0 — не формальная аксиома математики. Это — мета-установка работы. Она утверждает:

  1. Всё формально описываемое — производно от акта различения.
  2. Сам акт — не формализуем полностью (это — то, из-за чего формальность возможна, но само — не формальная структура).
  3. Работа всегда выявляет, а не создаёт — различения уже «имели место» в момент, когда мы их формализуем.

Связь с феноменологией​

П-0.0 — феноменологический принцип. Он соответствует тому, что:

  • Гуссерль назвал Reduktion (возврат к исходному акту интенции).
  • Гегель обозначил как Aufhebung (снимание, сохраняющее различие).
  • Брауэр — Urintuition (пра-интуиция двойственности).

Это не отождествляет Diakrisis с их теориями. Это — указание, что П-0.0 лежит в одной традиции с ними, не как философский тезис, но как регистр работы.

Формальное следствие​

Из П-0.0 вытекает: AFN-T не является дефектом. Невозможность формально ухватить «семя всего» — необходимое следствие того, что акт различения опередил всякую формализацию. Формализация всегда — следы акта, никогда — сам акт.

Декомпозиция П-0.0 на под-аспекты​

  • П-0.0.a (Примат акта): акт различения предшествует любой структуре, а не следует из неё.
  • П-0.0.b (Самозарождение): различение порождает и свой предмет, и свой инструмент одновременно.
  • П-0.0.c (Следовой характер формализации): формальные структуры — следы, а не причины.
  • П-0.0.d (Не-полнота формализма): никакая формальная система не ухватывает акт полностью.
  • П-0.0.e (Активность): различение — событие во времени, не статическое отношение.

Применение в работе​

Каждый формальный объект в Diakrisis (⟪⟫, 𝖬, α, Trace(𝖠) и т.д.) понимается как формальный след конкретного акта различения:

  • ⟪⟫ — след акта «различаю различения».
  • 𝖬 — след акта «различаю последовательность различений».
  • α — след акта «различаю конкретную конфигурацию».
  • Trace(𝖠) — след акта «прослеживаю траекторию различений».

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

Семь специализаций​

П-0.1 (Не-заимствование технических имён)​

Формулировка:

Ни одно имя из существующих математических или философских дисциплин не заимствуется как технический термин Diakrisis.

Заимствование допускается только как (а) рабочая метафора с явным маркером, или (б) обозначение извлечения — когда имя используется в контексте «ρ(α_X) = эта-структура».

Запрещены как технические: «основания», «мета-математика», «метастемология», «онтология», «аксиомы оснований», «универсум», «сущность».

Обоснование: заимствованное имя тащит семантический хвост. Читатель подставит старое значение, и новое утверждение «сработает по накатанному пути». Это автоматически нарушает П-0.5 (новизну) и П-0.3 (отсутствие внешней точки зрения).