Верификация
    А.А. Грицанов
    Верификация (от лат. verificatio - доказательство, подтверждение) - установление истинности или эмпирической осмысленности научных утверждений, Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С т.зр. неопозитивизма, эмпирический базис науки образуют абсолютно достоверные протокольные предложения, выражающие "чистый" чувственный опыт субъекта. Лишь те предложения науки истинны и осмысленны, которые могут быть верифицированы, т.е. сведены к протокольным предложениям. Задача логического анализа науки заключается в том, чтобы, с одной стороны, связать научные утверждения с протокольными предложениями и обеспечить науке прочный эмпирический базис, а с др. стороны - очистить язык науки от неверифицируемых, следовательно, бессмысленных предложений. При осуществлении этой программы встали две главные проблемы: выяснение природы протокольных предложений и разработка процедур В. Попытки неопозитивистов решить эти проблемы привели их к новому пониманию эмпирического языка - как языка, фиксирующего факты и результаты наблюдений и экспериментов, и к признанию косвенной верифицируемости: лишь небольшое число научных предложений должно быть непосредственно сводимо к протокольным, все остальные предложения верифицируются косвенно - благодаря их логической связи с непосредственно верифицируемыми предложениями, В современной философии науки термин В. употребляется редко, причем в самом широком смысле: верифицировать некоторое предложение или теорию - значит как-то (прямо или косвенно) подтвердить ее с помощью эмпирических процедур - наблюдения или эксперимента.
    ***
    Верификация (позднелат. verificatia - подтверждение лат. verus - истинный, facio - делаю) - логико-методологическая процедура установления истинности научной гипотезы (равно как и частного, конкретно-научного утверждения) на основе их соответствия эмпирическим данным (прямая или непосредственная В.) или теоретическим положениям, соответствующим эмпирическим данным (косвенная В.).
    Концепция верификационизма была разработана участниками Венского кружка, нередко ссылавшихся в этой связи на идею Витгенштейна о том, что "понимать предложение - значит знать, что имеет место, когда оно истинно". (Хотя сам Витгенштейн как-то отметил: "Одно время я часто повторял, что для прояснения употребления какого-нибудь предложения не плохо было бы задаться вопросом - как можно верифицировать это утверждение? Но это лишь один способ прояснить употребление слова или предложения... Некоторые люди превратили данный мной совет обратиться к верификации - в догму, представив дело так, будто я выдвигаю теорию значения"). Первая эксплицитная формулировка принципа верифицируемости была осуществлена Ф.Вайсманом в работе "Логический анализ понятий вероятности" (1930). В рамках логического позитивизма принцип верифицируемости мыслился (содержательно исчерпываясь почти полностью в рамках формализованного представления методов Маха и К.Пирсона) критериально исчерпывающим способом апробации научных утверждений, понятых в качестве "протокольных предложений" как фиксаций данных непосредственного опыта.
    Согласно Шлику, "первоначально под "протокольными предложениями" понимались - как это видно из самого наименования - те предложения, которые выражают факты абсолютно просто, без какого-либо их переделывания, изменения или добавления к ним чего-либо еще, - факты, поиском которых занимается всякая наука и которые предшествуют всякому познанию и всякому суждению о мире. ............