Не путать с доказательством: верификация связывает утверждение с результатом проверки, а доказательство устанавливает необходимость вывода из принятых оснований.
Исходное определение
Верификация — это проверка утверждения посредством заранее определённой процедуры и установление того, соответствует ли полученный результат принятому критерию.
Она имеет условную форму:
Если утверждение A проверяется процедурой V в условиях C, то результат проверки соответствует или не соответствует критерию K.
Положительная верификация означает не безусловную истинность утверждения, а то, что:
утверждение прошло данную процедуру проверки при данных условиях и по данным критериям.
Что делает верификацию возможной
Верификация не начинается с непосредственного соприкосновения утверждения с реальностью. Для неё уже должны быть определены:
- проверяемое утверждение;
- объект проверки;
- процедура проверки;
- условия проведения;
- инструменты наблюдения или измерения;
- критерий положительного и отрицательного результата;
- допустимая погрешность;
- способ интерпретации результата;
- критерий достаточности проверки.
Если убрать эти условия, не останется чистой или нейтральной верификации. Исчезнет сама возможность определить, что, как и с каким результатом было проверено.
Что устанавливает верификация
Верификация устанавливает соответствие между тремя элементами:
- проверяемым утверждением;
- результатом проведённой процедуры;
- критерием, по которому результат признаётся подтверждающим или опровергающим утверждение.
Она не соединяет утверждение с реальностью без посредников. Между ними находятся процедура, инструмент, условия и интерпретация.
Поэтому точная формула звучит не так:
Утверждение верифицировано реальностью.
А так:
Результат, полученный процедурой V в условиях C, соответствует критерию K, принятому для проверки утверждения A.
Верификация и доказательство
Доказательство и верификация являются разными операциями.
Доказательство устанавливает необходимость вывода из принятых оснований:
Если приняты A и правила перехода R, то B необходимо следует из A.
Верификация устанавливает прохождение утверждением выбранной проверки:
Если проверить A процедурой V, полученный результат соответствует принятому критерию.
| Доказательство | Верификация |
|---|---|
| Устанавливает необходимость перехода | Устанавливает прохождение проверки |
| Связывает основания с выводом | Связывает утверждение с результатом процедуры |
| Опирается на аксиомы и правила вывода | Опирается на процедуру и критерий проверки |
| Вывод обязателен внутри принятой системы | Результат действителен в пределах проведённой проверки |
| Может не требовать эмпирического наблюдения | Часто требует наблюдения, измерения или сопоставления |
| Отвечает: «следует ли вывод?» | Отвечает: «подтверждается ли утверждение при этой проверке?» |
Результат верификации может стать посылкой доказательства. Доказательство, в свою очередь, может обосновывать устройство процедуры или переход от результата измерения к выводу. Но одно не заменяет другое.
Доказательство связывает основание с выводом. Верификация связывает утверждение с результатом проверки.
Верификация не нейтральна
Верификация всегда уже занимает сторону выбранной конструкции проверки. До получения результата определено:
- что считается объектом;
- какое свойство признаётся существенным;
- что будет измеряться или наблюдаться;
- какие условия считаются контролируемыми;
- какой инструмент допустим;
- какой результат будет признан значимым;
- какая погрешность принимается;
- как результат переводится в заключение об утверждении.
Это не делает верификацию ложной или бесполезной. Это означает, что она не является взглядом без позиции.
Верификация устанавливает соответствие утверждения не реальности без посредников, а результату определённой процедуры различения реальности.
Верификация и повторяемость
Одиночная успешная проверка показывает только то, что утверждение выдержало одну проверку в конкретных условиях.
Повторение позволяет установить воспроизводимость результата, но и оно зависит от того, что считается повторением тех же условий, той же процедуры и того же результата.
Поэтому повторяемость усиливает подтверждённость утверждения, но не превращает условную процедуру в безусловный доступ к реальности.
Может ли верификация быть окончательной
Положительный результат конечного числа проверок не означает, что утверждение выдержит все возможные проверки во всех возможных условиях.
Особенно это относится к общим утверждениям. Проверка отдельных случаев может подтверждать их, но сама по себе не исчерпывает множество ещё не проверенных случаев.
Поэтому выражение:
утверждение окончательно верифицировано,
часто скрывает границы проведённых процедур.
Точнее говорить:
утверждение подтверждено такой-то процедурой при таких-то условиях с такой-то точностью.
Окончательность может существовать только относительно заранее ограниченного множества проверок и критериев. Она не переносится автоматически на все возможные способы обращения к утверждению.
Верификация, подтверждение, проверка и фальсификация
Эти понятия пока следует различать предварительно:
- проверка — проведение процедуры без заранее указанного результата;
- верификация — установление соответствия результата критерию проверяемого утверждения;
- подтверждение — результат, увеличивающий основания принять утверждение;
- фальсификация — результат, несовместимый с утверждением по принятым правилам проверки.
Верификация может завершиться как подтверждением, так и неподтверждением. Поэтому её не следует заранее отождествлять с положительным результатом проверки.
Окончательные границы этих четырёх понятий требуют отдельного разбора.
Центральные формулы
Верификация не доказывает утверждение с логической необходимостью. Она устанавливает, что утверждение выдержало определённую проверку.
Результат верификации принадлежит не только утверждению, но и процедуре, условиям, инструменту и критерию интерпретации.
Чем точнее названы условия проверки, тем меньше верификация выдаёт локальный результат за безусловную истину.
Каких разборов ещё нет
Ниже перечислены вопросы, которые пока не получили самостоятельного разбора.
1. Носитель верифицированности
Не установлено, чему принадлежит свойство «быть верифицированным»: утверждению, отдельному результату, отношению между ними или всей конструкции проверки.
2. Доступ процедуры к реальности
Нужно разобрать, каким образом результат процедуры позволяет судить об объекте за пределами самой процедуры и где возникает риск подменить измерительную модель измеряемой реальностью.
3. Наблюдение и интерпретация
Не выяснено, существует ли результат до интерпретации или результатом он становится только после применения языка, шкалы и критерия различения.
4. Отрицательный результат
Нужно различить опровержение утверждения, неисправность инструмента, ошибку процедуры, нарушение условий и неверную интерпретацию полученных данных.
5. Степени подтверждения
Не разобрано, является ли верификация бинарной операцией или допускает степени, вероятности и изменение уверенности после серии проверок.
6. Независимость повторной проверки
Требуется определить, когда повторная проверка действительно независима, а когда она лишь воспроизводит те же исходные допущения, инструменты и систематические ошибки.
7. Границы применимости
Нужно установить, каким образом условия проверки ограничивают перенос результата на другие объекты, времена, масштабы и среды.
8. Самоверификация процедуры
Процедуру нельзя без остатка проверить только ею самой, не рискуя получить круг. Требуется разобрать роль калибровки, контрольных процедур и метауровня, а также основания доверия к ним.
9. Различные виды верификации
Пока не сопоставлены научная, техническая, документальная, программная, юридическая и повседневная верификация. Неясно, обладают ли они общей структурой или только называются одним словом.
10. Отношение к фальсификации
Требуется отдельно выяснить, симметричны ли подтверждение и опровержение, всякое ли утверждение в принципе проверяемо и что означает непроверяемость утверждения.
