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