ВЕРИФИКАЦИЯ(позднелат. veriflcatia— подтверждение; лат. verus - истинный, tacio - делаю) - логико-методологическая процедура установления истинности научной гипотезы (см.) (равно как и частного, конкретно-научного утверждения) на основе их соответствия эмпирическим данным (прямая или непосредственная В.) или теоретическим положениям, соответствующим эмпирическим данным (косвенная В.). Концепция верификационизма была разработана участниками Венского кружка, нередко ссылавшихся в этой связи на идею Л.Витгенштейна о том, что "понимать предложение - значит знать, что имеет место, когда оно истинно". (Хотя сам Витгенштейн как-то отметил: "Одно время я часто повторял, что для прояснения употребления какого-нибудь предложения не плохо было бы задаться вопросом - как можно верифицировать это утверждение? Но это лишь один способ прояснить употребление слова или предложения... Некоторые люди превратили данный мной совет обратиться к верификации - в догму, представив дело так, будто я выдвигаю теорию значения".)
Первая эксплицитная формулировка принципа верифицируемое™ была осуществлена Ф.Вайсманом в работе "Логический анализ понятий вероятности" (1930). В рамках логического позитивизма принцип верифицируемости мыслился (содержательно исчерпываясь почти полностью в рамках формализованного представления методов Э.Маха и К.Пирсона) критериально исчерпывающим способом апробации научных утверждений, понятых в качестве "протокольных предложений" как фиксаций данных непосредственного опыта. Согласно М.Шлику, "первоначально под "протокольными предложениями" понимались - как это видно из самого наименования - те предложения, которые выражают факты абсолютно просто, без какого-либо их переделывания, изменения или добавления к ним чего-либо еще, - факты, поиском которых занимается всякая наука и которые предшествуют всякому познанию и всякому суждению о мире. Бессмысленно говорить о недостоверных фактах. Только утверждения, только наше знание могут быть недостоверными. Поэтому если нам удается выразить факты в "протокольных предложениях", без какого-либо искажения, то они станут, наверное, абсолютно несомненными отправными точками знания".
Возможный логический алгоритм осуществления верификационной процедуры Ш. характеризовал так: для того,