Карл Поппер - Объективное знание. Эволюционный подход

Задача науки не сводится к поиску чисто теоретических объяснений. Она имеет и свои практические стороны — формулирование предсказаний, а также технические приложения. И то и другое можно анализировать с помощью той же логической схемы, которую мы использовали для анализа объяснений.

(1) Вывод предсказаний. В то время как при поиске объяснений нам дано — или известно — объясняемое и требуется найти подходящее объясняющее, при выводе предсказаний мы движемся в обратном направлении. В этом случае дана или предполагается известной (быть может, из учебников) теория, а также специфические начальные условия (известные или предполагаемые известными из наблюдений). Найти же требуется логические заключения, которые пока что нам не известны из наблюдений. Это — предсказания. В данном случае место объясняемого E в нашей логической схеме занимает предсказание P.

(2) Технические приложения. Рассмотрим задачу строительства моста, который должен удовлетворить определенным практическим требованиям, изложенным в перечне спецификаций. На этот раз нам даны спецификации 5, описывающие определенное положение вещей, а именно мост, который должен быть построен (5 — это спецификации заказчика, сформулированные до и отличные от спецификаций архитектора). Далее, нам даны релевантные физические теории (включая некоторые практические правила (rules of thumb)). А найти требуется определенные начальные условия, которые могут быть реализованы технически и которые имеют такую природу, что из них, взятых вместе с теорией, можно логически вывести требуемые спецификации. Так что в этом случае место E в нашей схеме занимают S [330].

Теперь понятно, почему с логической точки зрения и вывод предсказаний, и техническое применение научных теорий можно рассматривать как простое обращение (инверсия) базовой схемы научного объяснения.

Мы еще, однако, не истощили использования нашей схемы — она может служить и для анализа процедуры проверки объясняющего. Процедура проверки, или тестирования, состоит в том, чтобы вывести из объясняющего некоторое предсказание Р и сравнить его с фактически наблюдаемой ситуацией. Если предсказание не согласуется с наблюдаемой ситуацией, это показывает, что объясняющее ложно — оно фальсифицируется. В этом случае мы все еще не знаем, то ли ложна общая теория, то ли начальные условия описывают ситуацию, не соответствующую реальному положению вещей — а тогда ложны начальные условия. [Конечно, вполне может оказаться, что ложны как теория, так и начальные условия].

Фальсификация предсказания показывает, что объясняющее ложно, но обратное не верно: грубая и опасная ошибка — думать, что мы можем интерпретировать «верификацию» предсказания как «верификацию» объясняющего или хотя бы какой-то его части. Дело в том, что истинное предсказание вполне можно корректным образом вывести из ложного объясняющего. Большое заблуждение также рассматривать каждую «верификацию» предсказания как что-то вроде практического подкрепления (corroboration) объясняющего: правильней было бы сказать, что в качестве подкреплений объясняющего — и тем самым входящей в него теории, можно рассматривать только такие «верификации» предсказаний, которые [в отсутствии соответствующей теории] являются «неожиданными». Это значит, что предсказание можно использовать для подкрепления теории, только если его сопоставление с данными наблюдения может рассматриваться как серьезная попытка проверить объясняемое — как серьезная попытка опровергнуть его. [«Рискованное»] предсказание такого рода может быть названо «релевантным с точки зрения проверки теории» [331]. В конце концов достаточно очевидно, что успешная сдача экзамена может дать представление о качествах студента, только если этот экзамен достаточно серьезен, и что можно устроить такой экзамен, который легко выдержит даже самый слабый студент [332].

В добавление ко всему этому наша логическая схема позволяет нам, напоследок, проанализировать разницу между задачами теоретического и исторического объяснения.

Теоретик заинтересован в том, чтобы находить и проверять общие законы. В ходе их проверки он использует другие законы самого разного рода (многие из них — совершенно неосознанно), так же как и разнообразные начальные условия.

Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях — то есть то, что я назвал специфическими начальными условиями — и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы — обычно достаточно очевидные, — входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].

В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом:

U 0означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется — вместе с различными законами U 1, U 2,... и различными начальными условиями I 1,I 2,... — Для вывода различных предсказаний P 1,P 2,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.

Образ действий историка можно представить следующей схемой:

Здесь I 0есть историческая гипотеза, историческое описание, которое должно быть испытано или проверено. Оно остается без изменения в продолжение всех проверок, и оно сочетается с различными (в основном очевидными) законами U 1, U 2,... и с соответствующими начальными условиями I 1,I 2,... для вывода различных предсказаний P 1,P 2,... и т.д.

Обе эти схемы, конечно, в высшей степени идеализированы и упрощены.

Ранее я попытался показать, что объяснение будет удовлетворительным, только если входящие в него общие законы, его теорию, можно проверять независимо от объясняемого. Это означает, что любая удовлетворительная объяснительная теория должна всегда утверждать нечто большее, чем то, что уже содержится в объясняемых, которые первоначально побудили нас ее выдвинуть. Другими словами, удовлетворительные теории должны в принципе выходить за пределы тех эмпирических ситуаций, которые их породили, в противном случае они, как мы видели, будут давать только объяснения, содержащие логический круг.