research · 2026 · концептуальное и методологическое исследование
Границы записи: метод порядка источников для проверки письменных атрибуций
Более поздний текст не становится задним числом частью записи, о которой он говорит.
Аннотация
Письменные формы часто запускают быстрый переход от того, что непосредственно присутствует в записи, к утверждениям о значении, референтах, источнике, намерении, опыте и состоянии мира. Эта работа ставит операциональную остановку раньше таких переходов.
Уровень 0 удерживает изначально предоставленное письменное вхождение W₀ как то письменное вхождение, которое было предоставлено. Уровень 1 проверяет, какие последующие утверждения фиксируются W₀ при явно заданных процедуре P и контракте входа I. Подход не отрицает значение, референцию, опыт, коммуникацию или интерпретацию; он делает каждый доказательный переход явным и доступным для оспаривания.
Метод
- Уровень 0 — остановка порядка записи
- W₀ было предоставлено раньше; атрибуция A₁ появилась позже. Поэтому A₁ — или названное, утверждаемое либо описываемое ею — не засчитывается задним числом как уже содержавшееся в W₀.
- Уровень 1 — тест границы записи
- Утверждение C определяется записью только тогда, когда оно имеет одно значение истинности во всех допустимых ситуациях, сохраняющих W₀, процедуру P и контракт входа I.
Три вердикта
- Определяется записью
- Значение истинности C инвариантно во всём K(W₀,P,I), а требуемая P корректна во всём классе.
- За пределами записи
- Существуют две допустимые ситуации с теми же W₀, P и I, но разными значениями истинности C.
- Процедура не задана
- Структурному утверждению недостаёт операции или конвенции, необходимой для решения.
Граница притязаний
Работа не утверждает, что значения, референция, опыт или интерпретация не существуют. Она не предлагает онтологический приоритет записи и не вводит новую теорию логического следования.
Вклад заявлен локально: остановка порядка источников, тест инвариантности с явной схемой допустимости и формат сильнейшего контрпримера.
Опровержение
Рамка ослабляется, если предполагаемое утверждение «за пределами записи» детерминированно решается из W₀ при уже объявленных P и I; если для предполагаемого утверждения «определяется записью» строится допустимая пара свидетелей с разными значениями истинности; либо если предшествующая работа уже формулирует и операционализирует тот же локальный тест порядка источников и допустимости.
В последнем случае новизна снимается, а не защищается переименованием.