Не стану утверждать, что между методами теоретических наук о природе и об обществе не существует никаких различий; они есть даже между разными естественными науками, так же как и между различными социальными науками. (Сравним, например, анализ конкурентных рынков и анализ языков романской группы.) Но я согласен с Контом и Миллем — и со многими другими, такими, как К. Менгер, — что методы, применяемые в этих двух областях знания, в сущности своей одинаковы (методы, которые я имею в виду, наверное, отличаются от методов, которые имели в виду Конт и Милль). Они заключаются в выдвижении дедуктивных причинных объяснений и их проверке (через проверку предсказаний). Иногда это называется гипотетико-дедуктивным методом, чаще — гипотетическим методом, поскольку он не сообщает абсолютной достоверности проверяемым с его помощью научным положениям.
Научные утерждения всегда сохраняют характер предварительных гипотез, даже если они выдерживают ряд жестких проверок.
Большинство методологов считают гипотезы временными в том смысле, что в конечном счете они должны быть заменены доказанными теориями (или, по крайней мере, «достаточно вероятными» теориями, в смысле исчисления вероятностей). Думаю, что этот взгляд ошибочен и ведет к множеству никому не нужных трудностей. Но эта проблема нас здесь не интересует. Важно только понять, что в науке мы всегда имеем дело с объяснениями, предсказаниями и проверками и что метод проверки гипотез всегда один и тот же (см. предыдущий раздел). Из гипотезы, которую требуется проверить — например, из универсального закона, вместе с некоторыми другими утверждениями, рассматриваемыми в связи с этим как проблематичные, например с утверждениями о некоторых начальных условиях, — мы дедуцируем наш прогноз. Затем мы сравниваем этот прогноз с результатами экспериментальных и иных наблюдений. Соответствие наблюдений прогнозу считается подтверждением гипотезы, хотя и не окончательным ее доказательством; несоответствие рассматривается как опровержение, или фальсификация.
В рамках этого анализа большого различия между объяснением, предсказанием и проверкой не существует. Различие касается не логической структуры, но акцента и зависит от того, что именно мы считаем проблемой, а что таковой не считаем. Если проблема в том, чтобы отыскать прогноз, и в то же время в том, чтобы найти начальные условия или некоторые универсальные законы (или и в том, и в другом), из которых мы можем дедуцировать некоторый данный «прогноз», тогда мы ищем объяснения (и данный «прогноз» становится тем, что требуется «объяснить», explicandum'ом). Если мы рассматриваем законы и начальные условия как данные (а не как искомые) и используем их для дедукции прогноза с целью получения некоторой новой информации, тогда мы занимаемся предсказанием. (В этом случае мы применяем наши научные результаты.) Если же мы будем рассматривать одну из посылок — т. е. либо универсальный закон, либо начальное условие — как проблематичную, а прогноз — как подлежащий сравнению с результатами опыта, тогда речь пойдес о проверке проблематичной посылки.
Результатом проверок является отбор тех гипотез, которые выдержали проверку, и элиминация гипотез, которые ее не выдержали. Важно осознать последствия этой позиции. Все проверки суть попытки отсеять ложные теории — найти слабые пункты и отвергнуть теорию, если проверка приводит к ее фальсификации. Иногца такой взгляд считают парадоксальным; ведь нашей целью является обоснование теории, а не уничтожение ложных теорий. Но именно поэтому мы должны подходить со всей строгостью к проверке теорий, мы должны искать в них ошибки и стремиться их фальсифицировать. И только если нам не удалось этого сделать, несмотря на все наши усилия, только тоща можно сказать, что теории выдержали проверку. Подтверждение теории почти ничего не значит, если мы не нашли и даже не пытались найти ее опровержения. Если мы некритичны, то всегда найдем то, что нам хочется найти: в результате поисков найдутся подтверждения, а того, что будет представлять опасность для наших любимых теорий, мы просто не заметим. Получить безграничные свидетельства в пользу теории легче легкого. А при критическом подходе ее пришлось бы отвергнуть. Чтобы метод отбора через элиминацию работал и из теорий выживали достойнейшие, не следует облегчать им жизнь.
Таков в общих чертах метод всех опытных наук. Но что мы можем сказать о методе, с помощью которого получаются теории или гипотезы? Что сказать об индуктивных обобщениях и о пути от наблюдения к теории? На этот вопрос я отвечу следующим образом (мой ответ будет касаться и концепций, обсужденных в разделе 1, в том случае, если они не были обсуждены в разделе 26). (а) Я не верю, что мы вообще делаем индуктивные обобщения в том смысле, что начинаем с наблюдений и извлекаем из них теории. Полагаю, что это нечто вроде оптической иллюзии. Ни на одной из ступеней научного развития нельзя начинать без какого-то подобия теории, будь это гипотеза, предубеждение или проблема, часто технологическая, которая направляет наши наблюдения и помогает отбирать из бесчисленных объектов наблюдения те, которые представляют для нас интерес. Коли так, метод элиминации — тот же метод проб и ошибок, обсужденный в разделе 24, — применим во всех случаях. Не думаю, однако, что мы должны останавливаться на этом пункте. Ибо мы можем сказать, что (б) с точки зрения науки не имеет значения, как мы получили теории: совершили ли мы прыжок к необоснованным выводам, или же просто споткнулись о них (т. е. прибегнули к помощи «интуиции»), или же применили индуктивную процедуру. Вопрос «как вы открыли теорию?» касается чисто личных вещей в отличие от вопроса «как вы проверили теорию?». Только последний является научно значимым вопросом. Метод проверки, который мы изложили, является плодотворным; он ведет к новым наблюдениям и взаимодействию теории и наблюдения.