Верификация это проверка истинности высказывания с целью его оценки. Так, расчет можно проверить, повторив ту же операцию или проделав другую, а гипотезу — посредством опыта. Правда, остается вопрос об истинности самой проверки — нового расчета или опыта. В том, что касается расчетов, принято думать, что вероятность ошибки быстро уменьшается в зависимости от числа проверок, особенно если проверку производят несколько человек и по разным методикам. Тем не менее и в этой области мы вынуждены полагаться на надежность своего разума, который никакой проверке не поддается (ибо всякая верификация подразумевает разумность).
В том, что касается опыта и эксперимента, мы сталкиваемся с проблемой индукции (Индукция). Как можно верифицировать универсальное суждение («все лебеди белы») путем простого перебора единичных случаев («этот лебедь белый, этот лебедь тоже белый, и этот лебедь тоже белый…»), если ясно, что полного списка составить нельзя, а одного-единственного исключения будет достаточно, чтобы опровергнуть все суждение? Следовательно, строгой верификации не существует. Зато, как показывает Поппер, существует достаточная фальсификация: одного-единственного черного или цветного лебедя достаточно, чтобы доказать, что не все лебеди белы. Вот эта асимметрия между верифицируемостью и фальсифицируемостью и лежит в основе экспериментального подхода.
Верифицировать теорию или гипотезу не означает доказать ее строгую истинность; это лишь означает попытку показать, что она ложна. Пока она успешно противостоит всем попыткам фальсификации, мы считаем ее истинной — конечно, относительно и временно. Однако нетрудно заметить, что подобный попперизм, или дарвинизм («слабые» теории умирают, выживают «сильнейшие»), в решении проблемы индукции носит скорее эпистемологический, чем метафизический характер. С его помощью можно неплохо объяснить, как действует наука, но нельзя ничего утверждать о ее глобальной истинности. И не только потому, что любая мысль может оказаться всего лишь сном, как признает и сам Поппер, но главным образом потому, что любой проверочный тест должен быть и сам проверен, а значит, никогда не будет абсолютно надежным. Достаточно одного черного лебедя, чтобы доказать, что не все лебеди белы. Но как доказать, что лебедь действительно черный?
Всякая верификация, как и всякая фальсификация, предполагает существование предшествующей истины — истины мира, истины опыта, истины разума, а она не верифицируема и не фальсифицируема. Если бы мы изначально не знали, что такое истина, мы никогда не смогли бы опознать ложное. Если бы истина не предшествовала любой верификации, то верифицировать было бы попросту нечего. Вот что говорит об этом Спиноза: «Habemus enim ideam veram» («ибо мы располагаем истинной идеей»; «Трактат об усовершенствовании разума»). Это, конечно, не доказательство, но других доказательств нет и быть не может, потому что тогда нам станет нечего доказывать.
