Опосредованная проверка применяется, когда ученый имеет дело с непосредственно не наблюдаемыми, в том числе с прошлыми и будущими, явлениями. Проверка будет сложнее, когда приходится иметь дело с теориями в целом. Некоторые из теорий, близкие к эмпирическим фактам, проверяются непосредственно в эксперименте и в технике. Например, значительная часть современной техники построена на использовании законов классической ньютоновской механики, и эта техника достаточно эффективна в своем функционировании. Она является частью производственной деятельности людей.
Не всегда, однако, теории имеют непосредственное техническое приложение и проверку в технике. "В науке не обязательно все доводить до уровня производственной практики. Здесь большое значение имеют эксперимент и наблюдение явлений, которые были предсказаны теорией (Уемов А. И. "Истина и пути ее познания". С. 58; приводимый ниже пример взят также из этой работы). Так, в физике долгое время господствовало представление о траектории светового луча как об идеально прямой линии. Из общей теории относительности Эйнштейна вытекало, что луч света звезды, проходя мимо солнца, должен отклоняться от прямой линии на определенную теорией величину. Во время солнечного затмения этот так называемый эффект Эйнштейна можно было проверить. В 1918 г., после окончания первой мировой войны, экспедиции, отправленные к берегам Африки и Америки, показали, что предсказанные теорией явления действительно имеют место. Таким образом, гипотеза Эйнштейна, базирующаяся на обшей теории относительности, нашла практическое подтверждение.
Здесь практика выступает в форме естественно-природного "эксперимента" и активного наблюдения за протекающим процессом со стороны человека. Таких источников познания и проверки знаний на истинность немало в физике, космологии, биологии, медицине, других науках. Для весьма абстрактных дедуктивных теорий характерна косвенная проверка: из теории выводятся теоретические и эмпирические следствия и производится проверка последних на практике. Приведенный пример с гипотезой, т.е. следствием из теории относительности Эйнштейна, как раз иллюстрирует отмеченный способ проверки. Возможно, такой способ не всегда надежен без дополнительных усилий по проверке теорий, однако его ценность в науке неоспорима.
Поиски путей практической проверки теорий весьма сложны, и эта сложность возрастает пропорционально непрерывно увеличивающейся степени абстрактности научных теорий. Все чаще теория проверяется не в одном эксперименте и не целиком, а по частям, допускающим проверку, и в целой серии различных экспериментов. Доказательная сила отдельного, пусть даже удачно поставленного эксперимента, ограничена. Еще в 20-х годах С. И. Вавилов справедливо отмечал: "Экспериментальное подтверждение той или иной теории, строго говоря, никогда не должно почитаться безапелляционным по той причине, что один и тот же результат может следовать из различных теорий. В этом смысле бесспорный experimentum crucis" едва ли возможен" (Вавилов С. И. "Экспериментальные основания теории относительности". М. - Л., 1928. С. 16). Доказательная сила отдельного эксперимента относительна: относительна в смысле его невозможности полностью доказать или опровергнуть сложную теорию. А между тем в науке постоянно растет число таких теорий и путь от теоретических систем знания к практике становится все более опосредованным и далеким. Возникают ситуации, когда с одной и той же группой экспериментов оказываются связанными разные теории данной области знания.
Помимо практики в научном познании существуют и другие критерии истины. Их ценность очевидна там, где практика пока не в состоянии определить истину и заблуждение (а подобные случаи встречаются довольно часто, их число возрастает с развитием науки).
Среди них выделяется логический критерий. Здесь имеется в виду его понимание как формально-логического критерия. Его существо - в логической последовательности мысли, в ее строгом следовании законам и правилам формальной логики в условиях, когда нет возможности непосредственно опираться на практику. Выявление логических противоречий в рассуждениях или в структуре концепции становится показателем ошибки и заблуждения. Современная формальная логика достаточно авторитетна во многих науках, особенно в математике.
