---
title: "Иммануил Кант: реперная реконструкция текстовой концепции"
subtitle: "Источниковые основания, противоречия и неполнота. Черновик монографии v0.1"
author: "Курпишев Иван Борисович"
date: "Калининград · 5 сентября 2026 года"
lang: ru-RU
---

Проект «ЛОГИКА КУРПИШЕВА 2». Вычислительное основание: KLT-RBDv6 / ARBD Build 28, выпуск KANT-B28-R017-AUDIT-001. Автор исследуемых первоисточников — Иммануил Кант. Автор проекта и научной постановки — Курпишев Иван Борисович, независимый исследователь. Текст подготовлен как рабочая редакция для авторского редактирования и независимой экспертизы.

**Доказательный статус:** SCIENCE=ABSTAIN; truth_layer_promotion=0; независимая смысловая и философская проверка не проведена. Представленная модель относится к зафиксированным текстовым свидетельствам и аннотациям, а не к внутренним намерениям автора или установленной истинности его положений.

# Аннотация

Предлагается исполнимая минимальная реализация авторской реперной базы ARBD на основе спецификаций Build 28. Её объект — документированная система понятий и утверждений в заданном корпусе произведений. Иерархия автор — семейство произведений — издание — вхождение — реперный кандидат — концептуальный граф позволяет различать повторение мысли в независимых трудах, воспроизведение одного текста в нескольких редакциях и исследовательское сопоставление разных положений.

Весь KANT-RUN-017 унаследован с сохранением 55 реперов, 145 вхождений, 152 связей принадлежности, 20 записей произведений/изданий и 14 семейств. Для проверки использованы 136 сохранённых страниц электронной транскрипции Akademie-Ausgabe. Повторно воспроизведено расположение 87 из 90 цитатных записей. Обнаружены три недопустимых диапазона строк, три неточные цитатные записи и шесть вхождений с пересекающейся принадлежностью к кластерам. Эти результаты отделены от философских противоречий.

Вектор ACP описывает семь структурных характеристик без единого балла истины. Четыре группы удовлетворяют операционным условиям AUTHOR_CORE_CANDIDATE; это не устанавливает их исключительную философскую центральность. Пять унаследованных концептуальных напряжений и 43 компонентных пробела сохраняются. Полученный результат представляет воспроизводимое основание для дальнейшей монографии и уточняет границы допустимого машинного вывода.

# Предмет и источниковая организация исследования

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

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

Состав корпуса охватывает «Критику чистого разума» в редакциях A и B и английском переводе, «Пролегомены», «Основоположение к метафизике нравов», «Критику практического разума», «Критику способности суждения», «Религию в пределах только разума», «Метафизику нравов», «Антропологию с прагматической точки зрения», «Спор факультетов», тексты о Просвещении, всеобщей истории, теории и практике, вечном мире и редакционно опосредованную «Логику» Яше. Число 20 относится к каталожным записям, а 14 — к семействам интеллектуальных произведений. Оно не означает двадцати полностью загруженных книг.

Редакции A и B одной «Критики» сохраняются различимыми вариантами одного семейства. Английская версия не увеличивает число независимых произведений. Материал Яше хранится с отдельным предупреждением об опосредовании; машинное сопоставление не превращает редакционное построение в непосредственную авторскую речь Канта.

Из 136 снимков страниц 11 унаследованы из RUN-017, 125 получены в новом аудите. Сохраняются исходные HTTP-тела, контрольные суммы и правила извлечения. Полных замороженных произведений по-прежнему нет. Электронная транскрипция AA полезна благодаря стабильным указателям тома, страницы и строки, но её снимок не равен факсимиле печатной страницы или независимому удостоверению издателя.

# Формальная модель и условия корректного переноса

Для автора $A$ задаётся корпус $C_A=\{W_1,\ldots,W_n\}$. Вхождение имеет вид

$$o=(A,W,F,\ell,q,t,\sigma,\alpha,R,I,U,D,\mathrm{Dom},\pi),$$

где $F$ — семейство произведения, $\ell$ — локатор, $q$ — цитатный фрагмент, $t$ — тип высказывания, $\sigma$ — полярность и модальность, $\alpha$ — атрибуция, $\pi$ — происхождение. Поля R/I/U/D/Dom наследуются из исследовательской схемы; их наличие не объявляется авторским членением кантовского текста.

Спецификация описывает репер $\rho$ как проверяемый класс $[o]_{\sim_A}$. Для этого обозначения отношение $\sim_A$ должно быть эквивалентностью на объявленном носителе. Простое сходство формулировок не гарантирует транзитивности. Более того, явная принадлежность одного и того же вхождения двум различным классам несовместима с разбиением, если речь идёт о том же уровне объектов.

**Лемма о разбиении.** Пусть непустые множества $M_i$ объявлены классами одной эквивалентности. Тогда для любых $i,j$ либо $M_i=M_j$, либо $M_i\cap M_j=\varnothing$.

**Доказательство.** Если $x\in M_i\cap M_j$, то каждый элемент $M_i$ эквивалентен $x$, а $x$ эквивалентен каждому элементу $M_j$. По транзитивности оба класса совпадают. Следовательно, различные классы не пересекаются. Это утверждение о структуре отношения, а не доказательство семантического сходства кантовских положений.

В RUN-017 шесть вхождений имеют более одной принадлежности. Они затрагивают восемь кластеров: KANT-AR-027, 032, 036, 038, 040, 047, 049, 051. Эти группы сохраняются как пересекающиеся редакционные предложения. Возможный будущий ремонт — выделение отдельных смысловых ролей одного фрагмента с обоснованием каждой роли. Автоматическое слияние всех связанных кластеров сейчас недопустимо: оно подменило бы исследование заранее выбранным тождеством понятий.

**Лемма о независимой повторяемости.** Пусть число повторений определяется мощностью множества идентификаторов семейств среди допущенных авторских вхождений. Добавление допущенного экземпляра с уже имеющимся идентификатором семейства не увеличивает эту мощность.

**Доказательство.** Если $F(o)\in S$, то $S\cup\{F(o)\}=S$. Другие координаты ACP при добавлении вхождения могут измениться. Непроверенный перевод может также внести новый блокер атрибуции, поэтому инвариантность семейной повторяемости нельзя переносить на весь статус кандидата.

Текстовая модель записывается как

$$\mathrm{CText}_A(C_A)=(G_A,\mathrm{Core}_A,\mathrm{Conflict}_A,\mathrm{Gap}_A,\mathrm{Evolution}_A).$$

Граф $G_A$ содержит реперные кандидаты, типы связей, происхождение и сведения о времени/редакциях. Типы Build 28 — REPEATS, SUPPORTS, DEPENDS_ON, CONTRADICTS, REFINES, GENERALIZES, SUPERSEDES_CANDIDATE, PROJECTS_TO. Тип SUPPORTS обозначает здесь предложенную концептуальную поддержку; без дополнительного исчисления он не является правилом логического вывода.

# Атрибуция и вектор ACP

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

В данном аудите 109 немецких вхождений сохраняют унаследованную декларацию AUTHORIAL; новая независимая филологическая экспертиза этой декларации не проведена. 33 переводных и три редакционно опосредованных вхождения требуют отдельной проверки. Из допущенных авторских вхождений 106 имеют воспроизводимую привязку; ещё три содержат ошибочные диапазоны строк.

Профиль имеет вид

$$\mathrm{ACP}(\rho)=(f,\tau,a,d,m,c,u).$$

Здесь $f$ — число независимых семейств, $\tau$ — интервал годов произведений, $a$ — доля допущенных авторских вхождений, $d$ — доля вхождений с документарным полем D и воспроизведённым источником, $m$ — доля вхождений с одним привязанным ключом области, $c$ — число зарегистрированных прямых незакрытых конфликтов, $u$ — число диагностик неприкреплённого определения или вывода. Знаменатель долей — число уникальных членов группы; для пустой группы результат доли не определён и хранится как null.

Типизированная область наследуется из компонентной аннотации, связанной с тем же репером и страницей. Её присутствие проверяемо программно, но адекватность области требует смыслового анализа. Год произведения также не является точной датой изменения убеждений Канта. Вектор не скаляризуется: ни сумма координат, ни их среднее не объявляются λ-истинностью или вероятностью истины.

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

| Репер | Предложенная тема | f | Годы | D | Dom |
|---|---|---:|---|---|---|
| KANT-AR-025 | Моральное зло, вменимость и максима | 2 | 1793–1798 | 4/4 | 1/4 |
| KANT-AR-035 | Просвещение и самостоятельное употребление рассудка | 2 | 1784–1784 | 2/2 | 1/2 |
| KANT-AR-039 | Республиканская конституция и правовая форма | 2 | 1795–1798 | 2/2 | 1/2 |
| KANT-AR-053 | Структурированное единство интересов разума | 2 | 1787–1788 | 3/3 | 1/3 |

Источник таблицы — результат исполнения ACP_PROFILES.json. Для всех четырёх доля допущенной атрибуции равна 1; число зарегистрированных прямых конфликтов равно 0. У KANT-AR-025 сохраняется одна диагностика ORPHAN-DEFINITION. Эти значения демонстрируют, что структурный статус ядра совместим с неполнотой аргументационного и доменного описания. Четыре группы не объявляются единственно важными понятиями философии Канта.

# Логическая форма, предмет и границы теоретического знания

Фрагмент AA III 80 различает соответствие общим формальным правилам мышления и достаточное основание предметной истины. Условие логической согласованности представлено как необходимое, но недостаточное для установления содержательной истины. Для репера KANT-AR-019 это позволяет хранить отдельно logical_form и object_relation; переход от одного к другому требует отдельного основания. [Кант, AA III 80](https://www.korpora.org/kant/aa03/080.html).

В предисловии редакции A критика направлена на способность разума, источники, объём и границы метафизического познания. Эта постановка поддерживает репер критического самоисследования, однако не даёт права превращать конкретное определение критики в универсальный алгоритм всех наук. [Кант, AA IV 9](https://www.korpora.org/kant/aa04/009.html).

В рамках проекта KLT указанные места допускают методологическое сопоставление с требованием раздельно проверять формальную согласованность, источник, область и предметную интерпретацию. Это сопоставление принадлежит исследователю. Тождества кантовского критерия истины и λ-истинности Курпишева не установлено; из текстовой аналогии не следует физическое или предсказательное подтверждение KLT.

Редакции A и B дают разные контексты трансцендентальной дедукции. Сохранённые страницы AA IV 87 и AA III 111–112 позволяют исследовать роль апперцепции и объективной значимости. Сходная тематическая функция не доказывает тождества архитектуры двух дедукций и не создаёт второго независимого произведения. Вопрос о staged-интерпретации трёх синтезов остаётся открытым: перечисление связанных функций не устанавливает универсальный временной порядок вычисления. [Кант, AA IV 87](https://www.korpora.org/kant/aa04/087.html); [AA III 111](https://www.korpora.org/kant/aa03/111.html); [AA III 112](https://www.korpora.org/kant/aa03/112.html).

# Пять случаев концептуального напряжения

**Природа и свобода — KANT-C-001.** В AA V 195 различаются законодательство рассудка для природы и законодательство разума для свободы; обсуждается их соединение через способность суждения. Это источниковое основание для проверки перехода между областями. Оно не разрешает свести теоретическое познание природы и практическую причинность к одной неразличённой пропозиции. Статус случая сохраняется как TENSION_REVIEW. [Кант, AA V 195](https://www.korpora.org/kant/aa05/195.html).

**Пределы познания и практическое принятие — KANT-C-002.** AA V 4 допускает практическое принятие в определённом отношении, не устанавливая соответствующего теоретического усмотрения. Следовательно, формула «теоретически не познаётся» не является сама по себе отрицанием «принимается в практическом отношении». Для прямого конфликта необходимо показать одинаковые предмет, область употребления, модальность и смысл терминов. Такой полный тест корпуса ещё не завершён. [Кант, AA V 4](https://www.korpora.org/kant/aa05/004.html).

**Добро и зло в характеристике человека — KANT-C-003.** В AA VII 324 текст различает интеллигибельную моральную предрасположенность и чувственно проявляющуюся склонность к запрещённому. Это различение препятствует механическому построению пары P и не-P только из слов «добрый» и «злой». Один конец прежней записи задан источниковым якорем, а не ID репера; новый реестр сохраняет эту разницу типов. Исследовательская задача — проверить, последовательно ли различение работает в сопоставляемых произведениях. [Кант, AA VII 324](https://www.korpora.org/kant/aa07/324.html).

**Революция как средство и как исторический знак — KANT-C-004.** Унаследованный реестр сопоставляет ограничение роли политической революции в преобразовании способа мышления с обсуждением исторического события и реакции на него как знака тенденции человеческого рода. Для монографии это гипотеза различения причинного механизма и свидетельства, а не завершённое устранение противоречия. Предстоит проверить целые контексты Просвещения и «Спора факультетов», а также субъектов соответствующих суждений. [Кант, AA VIII 36](https://www.korpora.org/kant/aa08/036.html); [AA VII 84–85, начало на с. 84](https://www.korpora.org/kant/aa07/084.html).

**Практическая надежда и эмпирические признаки прогресса — KANT-C-005.** Здесь требуется сопоставить текст 1793 года о практической ориентации на улучшение с различением наблюдаемой легальности и внутренней моральной настроенности в тексте 1798 года. Различие даты само по себе не доказывает эволюции учения; одинаковое слово «прогресс» не гарантирует одинакового предиката. Случай остаётся открытым до анализа модальности и критерия свидетельства. [Кант, AA VIII 309](https://www.korpora.org/kant/aa08/309.html); [AA VII 91](https://www.korpora.org/kant/aa07/091.html).

Эти пять случаев не объявлены ни доказанными противоречиями, ни окончательно разрешёнными трудностями. Для решающего минимального правила нужны две проверенные утвердительные атомарные формулы с совпадающими аргументами, областью, модальностью, значением термина и временной областью, но противоположной полярностью. В 59 унаследованных нормализациях эти предпосылки не удостоверены. Из 1711 попарных сопоставлений 58 включают неутвердительную форму, остальные 1653 выходят за поддерживаемую проверенную логическую форму. Поэтому решающее правило воздерживается от вывода; нуль найденных прямых противоречий здесь не является теоремой о непротиворечивости.

# Источниковые дефекты и реестр неполноты

Новая проверка выделила три диапазона, требующих исправления. На странице AA VIII 290 нет указанной строки 38; на AA VIII 294 нумерованный основной текст заканчивается строкой 16, тогда как запись запрашивает строки до 20; на AA VIII 313 отсутствуют запрошенные строки 22–24. Диапазоны не были автоматически обрезаны. Такая диагностика относится к локатору, не к истинности исследуемого положения.

Три цитатные записи не воспроизвелись по объявленным правилам. В KANT-SE-013-016B (AA VI 380:22–24) внутри приведённого текста отсутствует авторская вставка в скобках без явного знака пропуска. KANT-SE-014-021 (AA VIII 290) соединяет пункты перечисления без их исходных обозначений. В KANT-TSE-016-012 (AA VIII 275:16–22) заключительное слово второго фрагмента располагается уже на строке 23. Это разные виды ремонта: обозначение пропуска, разделение цитатных фрагментов и уточнение границы источника. [AA VI 380](https://www.korpora.org/kant/aa06/380.html); [AA VIII 290](https://www.korpora.org/kant/aa08/290.html); [AA VIII 275](https://www.korpora.org/kant/aa08/275.html).

В результате повторную прямую источниковую привязку получили 106 из 113 компонент, исторически отмеченных как прямые. Семь оставшихся компонент относятся к реперам 046, 047 и 055. Их прежний статус не стирается: рядом записывается новый отрицательный результат проверки привязки. Это не доказывает ложность соответствующих кантовских тезисов и не отрицает возможность исправить цитатную запись.

| Уровень реестра | Объём | Интерпретация |
|---|---:|---|
| Унаследованные смысловые компоненты | 156 | Исследовательская декомпозиция; её полнота не доказана |
| Старые остаточные компонентные пробелы | 43 | 23 контекстных и 20 без точной привязки; не объявлены закрытыми |
| Новые диагностики Build 28 | 287 | Разные уровни: атрибуция, источник, область, связи и аргументация |
| Исторические записи неполноты корпуса | 39 | Сохранённый реестр прежних циклов с прежними статусами |

Эти числа не складываются в «число недостатков Канта». Одна и та же нерешённая источниковая задача может проявляться на уровне вхождения, компоненты и репера. ORPHAN-DEFINITION означает отсутствие зарегистрированной типизированной связи употребления определения в данном графе; ORPHAN-CONCLUSION — отсутствие зарегистрированной связи основания вывода. Ни то ни другое не доказывает, что соответствующий аргумент отсутствует в полном тексте.

# Исполнение, воспроизводимость и продолжение монографии

Модуль реализован на Python и SQLite. Все 90 исторических таблиц базы сравниваются по схеме и значениям строк после добавления 15 таблиц нового слоя. Исходный ZIP RUN-017 включён как точка отката. При повторной сборке JSON и HTML совпали побайтово, а SQLite — по схеме и всем значениям строк. Выполнены 34 проверки, включая негативные: подмена исходных байтов, потеря происхождения, смешение автора и редактора, повторное засчитывание семейства, неоднозначная принадлежность, неподдерживаемое отрицание и попытка повышения truth_layer.

Программный результат готов к подключению через объявленный контракт API/CLI и JSON. Публикация на рабочем сайте KLT-RBDv6, импорт в его действующую базу, перенос в браузерный или Flutter-движок и сборка APK относятся к следующему этапу. Текущий пакет не маркируется как уже развёрнутая версия программы.

Дальнейшая монография должна развиваться по последовательности проверяемых задач. Сначала необходимо исправить шесть конкретных цитатных/строчных привязок и провести независимую оценку 36 опосредованных атрибуций. Затем — обосновать смысловое членение шести общих вхождений, уточнить области Dom, сопоставить 47 ещё не типизированных связей и документировать основания оставшихся компонент. После этого можно расширять формализованный корпус с отдельным контролем кванторов, модальности, области отрицания и временной отнесённости.

Переход к предсказательным задачам KLT потребует самостоятельного протокола испытаний. Ни устойчивое повторение репера, ни успешная реконструкция аргумента Канта не заменяют такого протокола. Сохраняется truth_layer_promotion=0: удостоверяются операции над текстовыми свидетельствами, тогда как истинность представленных положений, полнота реконструкции и научная состоятельность дальнейших переносов остаются отдельными обязательствами.

# Источники и материалы воспроизводимости

**Кант, первичные тексты.** Akademie-Ausgabe: «Критика чистого разума» — AA III–IV; «Пролегомены» и «Основоположение к метафизике нравов» — AA IV; «Критика практического разума» и «Критика способности суждения» — AA V; сочинения по религии и метафизике нравов — AA VI; «Спор факультетов» и «Антропология» — AA VII; историко-политические тексты — AA VIII; редакционно опосредованная «Логика» — AA IX. Использована электронная транскрипция Korpora; конкретные страницы приведены при утверждениях, полный перечень 136 снимков — в SOURCE_AUDIT.json. Современные русские названия здесь служат навигации; новый русский перевод корпуса не создавался.

**Курпишев И. Б., проектные материалы.** AUTHOR_REPER_DB_SPEC.md, ARBD v1 / Build 28, экземпляр от 5 сентября 2026 года; FORMAL_MODEL.md, экземпляр той же даты. [Спецификация базы](https://drive.google.com/file/d/1tnsK0x7PT_xWeoRK5YsZdSzukXcPY2-7/view); [формальная модель](https://drive.google.com/file/d/1mAvktShsAdOxXt4Dqydbc4od_yWsga_I/view).

**Вычислительный корпус.** KLT_RBD_ARBD_KANT_RUN_017_2026-09-04.zip; SHA-256: 81479b9dce1ebf7280414f91c2cfaacc49cd534d6f141a00994ce927ad44ff97. Активный смысловой слой родителя: semantic_run017. Настоящий производный выпуск: ARBD_B28_KANT_R017_v1_0. Контрольные суммы входов, отчёт испытаний, неизменённый родитель, исходники, SQLite и JSON включены в пакет.
