Согласно стандартной точке зрения на науку, господствовавшей в середине XIX в., научные исследования должны начинаться со свободного, непредубежденного наблюдения фактов, продолжаться индуктивной формулировкой универсальных законов, описывающих эти факты, и в конечном счете, с помощью дальнейшей индукции, приходить к еще более общим утверждениям, которые принято называть теориями. Истинность законов и теорий подлежит проверке путем сопоставления вытекающих из них эмпирических выводов со всеми наблюдаемыми фактами, включая те, что их породили. Такое индуктивное видение науки, классически описанное в книге Джона Стюарта Милля «Система логики» (1843) и по сей день остающееся «народным» видением, во второй половине XIX в. начало рушиться под воздействием работ Эрнста Маха, Анри Пуанкаре и Пьера Дюгема и было поставлено «с ног на голову» в гипотетико–дедуктивной модели научного познания, возникшей уже в следующем веке как плод творчества представителей «Венского кружка» и американских прагматистов (см. Alexander P., 1964; Наггё R., 1967; Losee J., 1972, chs. 10, 11).
Тем не менее до самого 1948 г. гипотетико–дедуктивная модель не была терминологически формализована в качестве единственно возможного способа научного объяснения. Эта авторизованная версия впервые появилась в ставшей впоследствии знаменитой работе Карла Гемпеля и Питера Оппенгейма (Hempel C.G. and Oppenheim P., 1965)[8], которые утверждали, что любые истинно научные объяснения имеют общую логическую структуру: они включают как минимум один универсальный закон плюс указание релевантных начальных условий или границ его применимости, которые вместе составляют explanans (объясняющее), или предпосылки, из которых с помощью правил дедуктивной логики выводится explanandum, утверждение о некотором событии, объяснение которому мы хотим найти. Под универсальным законом понимается утверждение типа: «всякий раз, когда происходят события А, происходят и события Б». Эти универсальные законы могут иметь детерминистическую форму — если в них говорится об отдельных событиях Б, или статистическую форму — если в них говорится о классах событий типа Б (статистические законы имеют следующую форму: «если произошли события А, то события Б произойдут с вероятностью р, где 0 <р < 1»). Под правилами дедуктивной логики понимаются непогрешимые силлогические рассуждения вроде «если А истинно, то Б истинно; А истинно, следовательно, Б истинно» (это пример того, что логики называют гипотетическим силлогизмом). Вряд ли стоит добавлять, что дедуктивная логика — абстрактный инструмент, и логическая обоснованность дедуктивных размышлений никак не зависит от того, справедливы ли на самом деле большая посылка «если А истинно, то Б истинно» или малая посылка «А истинно».
Из общей логической структуры всех истинно научных объяснений следует, продолжали Гемпель и Оппенгейм, что при операции, называемой объяснением, используются те же правила логических выводов, что и при операции, называемой прогнозом, с единственной разницей — объяснения следуют за событиями, а прогнозы предшествуют им. В случае с объяснением мы начинаем с явления, которое необходимо объяснить, а потом находим хотя бы один универсальный закон и набор начальных условий, которые дают логическое суждение о данном явлении. Иными словами, назвать какую–то конкретную причину объяснением данного явления означает просто отнести явление к сфере действия какого–либо универсального закона или группы законов; поэтому один из критиков тезиса Гемпеля–Оппенгейма назвал его «способом объяснения через покрывающие законы» (Dray W., 1957, ch. 1). В случае с прогнозом, с другой стороны, мы начинаем с универсального закона и набора начальных условий и из них с помощью дедукции выводим утверждение о неизвестном событии; прогнозы часто используются для того, чтобы проверить, работает ли исходный универсальный закон. Короче, объяснение — это просто «предсказание назад».
Представление о полной логической симметрии между природой предсказания и природой объяснения получило название тезиса симметрии. Оно составляет ядро гипотетико–дедуктивной модели познания, или модели познания через покрывающие законы. Отличительная черта модели в том, что она не использует никаких других способов логического рассуждения кроме дедукции (значение этого замечания вскоре прояснится). Универсальные законы, используемые при объяснении, не являются результатом индуктивного обобщения частных случаев; это лишь гипотезы, если угодно, догадки, которые можно проверить, используя их для построения прогнозов конкретных событий, но сами они несводимы к наблюдениям за событиями.
8
Тот же тезис более осторожно был заявлен сначала Гемпелем (Hempel C.G., 1942) и вызвал широкую дискуссию среди историков о смысле исторических объяснений (см. ниже, сноску 5). Более ранние, хотя и не столь строгие формулировки гипотетико–дедуктивной модели можно найти в книге Поппера «Логика научного открытия», впервые опубликованной в 1934 г. на немецком языке, а затем в 1959 г. на английском (Popper К., 1959, р. 59, 68–69; см. также Popper К., 1962, II, р. 262–263, 362–364; Popper К., 1976, р. 117), а на самом Деле еще в 1843 г. — у Милля (Mill J.S.,1973, vol. 7, p. 471–472).