(позднелат. verificatio - доказательство, подтверждение, от лат. verus - истинный и facio - делаю) эмпирическое подтверждение теоретических положений науки путём 'возвращения' к наглядному уровню познания, когда идеальный характер абстракций игнорируется и они 'отождествляются' с наблюдаемыми объектами. Например, идеальные геометрические объекты - 'точки', 'прямые' и пр. - 'отождествляются' с их чувственными 'образами'. В общем случае В. - это построение наглядной модели для любой теории. Идея В. вызревала постепенно, по мере усиления роли логической дедукции в выработке научных понятий. Осознание, главным образом, в математике и теоретической физике, возможного несоответствия между логическим (абстрактным) мышлением и интуитивным мышлением, связанным с наглядностью (пример: открытие непрерывных функций, не имеющих производных), породило потребность в обосновании связи между абстракцией и реальностью. Известным выражением этой потребности и одновременно выражением позиции эмпирической философии явилось выдвинутое ещё И. Кантом требование 'наглядного исключения' любой абстракции: '... необходимо сделать чувственным (sinnlich) всякое абстрактное понятие, то есть показать соответствующий ему объект в созерцании, так как без этого понятие (как говорится) было бы бессмысленным (оhne Sinn), то есть лишенным значения' (Соч., т. 3, М., 1964, с. 302). В философии неопозитивизма это требование получило статус методологического принципа возможности опытной проверки, или принципа В. В известном смысле оно аналогично требованию практической применимости абстракций, заключающейся в удалении абстракций, в замене их 'конкретными' объектами, от которых они (могут быть) абстрагированы. Однако, поскольку не всякую применяемую абстракцию можно верифицировать, то есть исключить 'наглядным' способом (ибо не всякая реальность, отражением которой является абстракция, наглядна), критерий В. не тождествен критерию практики.
Лит.: Витгенштейн Л., Логико-философский трактат, пер. с нем., М., 1958; Нарский И. С., Современный позитивизм. Критический очерк, М., 1961; Яновская С. А., Проблемы введения и исключения абстракций более высоких (чем первый) порядков, в кн.: The foundation of statements and dicisions. Proceedings of the International colloquium on methodology of sciences held in Warsaw 18-23 September 1961, Warszawa, 1965; Неванлинна P., Пространство, время и относительность, пер. с нем., М., 1966; Schlick М., Meaning and verification, 'Philosophical Review', 1936, v. 45, | 4; Camap R., Testability and meaning, 'Philosophy of Science', 1936, v. 3, | 4; 1937, v. 4, | 1 .
М. М. Новосёлов.