Верификация


Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать:

В значении доказуемости, проверяемости объяснений (моделей) объектов/явлений, в зависимости от степени подтверждаемости реальностью (эмпирически, фактами), образует понятия:

Формальная верификация — доказательство с помощью формальных методов правильности или неправильности программы (системы) в соответствии с формальным описанием свойств программы (системы).

В действительности идея верифицируемости не является отправной идеей представителей Венского кружка[4] и была еще ранее сформулирована — хотя и не вполне ясно — Витгенштейном:

Предложение можно понять тогда, если мы знаем, при каких условиях оно может быть истинным. Это означает, что требуется не знание того, является ли предложение истинным или ложным, но знание обстоятельств, которые позволяют установить его истинность.ЛФТ, 4.024

Принцип верификации был выдвинут Венским кружком[4], в котором состоял философ-позитивист Мориц Шлик в 20-е годы XX века. Члены кружка полагали, что в науке должны остаться два класса научных предложений — аналитические истины, не имеющие предметного содержания, и фактические истины, эмпирические факты конкретных наук, значение которых может быть проверено особым способом — принципом верификации. «Очищающая» науку от метафизики процедура верификации с помощью протокольных предложений[4] эмпирического характера лежит в основе всей программы логического позитивизма.