3. Дедуктивная проверка теорий

Согласно развиваемой в настоящей книге концепции, метод критической проверки теорий и отбора их по результатам та­кой проверки всегда идет по следующему пути. Из некоторой новой идеи, сформулированной в предварительном порядке и еще не оправданной ни в каком отношении — некоторого пред­восхищения, гипотезы или теоретической системы — с помощью логической дедукции выводятся следствия. Затем полученные следствия сравниваются друг с другом и с другими соответству­ющими высказываниями с целью обнаружения имеющихся меж­ду ними логических отношений (таких, как эквивалентность, выводимость, совместимость или несовместимость).

Можно, как представляется, выделить четыре различных пути, по которым происходит проверка теории. Во-первых, это логи­ческое сравнение полученных следствий друг с другом, при по­мощи которого проверяется внутренняя непротиворечивость си­стемы. Во-вторых, это исследование логической формы теории с целью определить, имеет ли она характер эмпирической, или научной, теории или, к примеру, является тавтологичной. В-третьих, это сравнение данной теории с другими теориями, главным образом, с целью определить, внесет ли новая теория вклад в научный прогресс в том случае, если она выживет после ее различных проверок. И наконец, в-четвертых, это проверка теории при помощи эмпирического использования выводимых из нее следствий.

Цель проверок последнего типа заключается в том, чтобы выяснить, насколько новые следствия рассматриваемой теории, то есть все, что является новым в ее содержании, удовлетворя­ют требованиям практики, независимо от того, исходят ли эти требования из чисто научных экспериментов или практичес­ких, технических применений. Процедура проверки при этом является дедуктивной. Из данной теории с помощью других, ранее принятых высказываний выводятся некоторые сингуляр­ные высказывания, которые можно назвать «предсказаниями» («predictions»), в частности предсказания, которые легко прове­ряемы или непосредственно применимы. Из них выбираются высказывания, невыводимые из до сих пор принятой теории, и особенно противоречащие ей. Затем мы пытаемся вынести неко­торое решение относительно этих (и других) выводимых выска­зываний путем сравнения их с результатами практических при­менений и экспериментов. Если такое решение положительно, то есть если сингулярные следствия оказываются приемлемыми, или верифицированными, то теория может считаться в настоя­щее время выдержавшей проверку и у нас нет оснований отка­зываться от нее. Но если вынесенное решение отрицательное или, иначе говоря, если следствия оказались фальсифицирован­ными, то фалъсификация их фальсифицирует и саму теорию, из которой они были логически выведены.

Следует подчеркнуть, что положительное решение может под­держивать теорию лишь временно, поскольку последующие воз­можные отрицательные решения всегда могут опровергнуть ее. В той мере, в какой теория выдержала детальные и строгие проверки и она не преодолена другой теорией в ходе научного прогресса, можно сказать, что наша теория «доказала свою ус­тойчивость» или, другими словами, что она «подкреплена» («corroborated») прошлым опытом.

Отметим, что в кратко очерченной нами процедуре проверки теорий нет и следа индуктивной логики. В нашем рассуждении нигде не предполагается возможность перехода от истинности сингулярных высказываний к истинности теорий, равно как нигде не допускается, что на основании «верифицированных» следствий может быть установлена «истинность» теории или хотя бы ее «вероятность».

В этой книге я предприму более детальный анализ методов дедуктивной проверки. И я попытаюсь показать, что в рамках такого анализа можно рассматривать все проблемы, которые обычно называются «эпистемологическими». Те же специфи­ческие проблемы, которые порождаются индуктивной логикой, могут быть устранены без замены их новыми проблемами.