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