Объективное знание. Эволюционный подход
Шрифт:
X
Хорошим примером из истории науки, иллюстрирующим мою точку зрения, может служить переход от теорий Кеплера и Галилея к теории Ньютона.
Что этот переход не имеет ничего общего с индукцией и что теорию Ньютона нельзя рассматривать как обобщение двух упомянутых предшествовавших ей теорий, можно видеть из того несомненного [и важного] факта, что теория Ньютона противоречитобеим этим теориям. Так, законы Кеплера нельзя дедуктивно вывести из законов Ньютона[хотя часто утверждалось, что их можно таким образом вывести и даже что законы Ньютона можно дедуктивно вывести из законов Кеплера]: законы Кеплера можно получить из законов Ньютона только приближенно,приняв [ложное] допущение, будто массы различных планет пренебрежимо малы по сравнению с массой Солнца. Аналогично, галилеев закон свободного падения тел нельзя дедуктивно вывести из теории Ньютона — напротив, он ей противоречит. Только приняв [ложное] допущение, будто общая длина всех
Это, конечно, показывает, что теория Ньютона не может быть обобщением, полученным путем индукции [или дедукции], но что это — новая гипотеза, которая может указать путь к фальсификации прежних теорий: она может осветить и указать путь к тем областям, в которых, согласно новой теории, прежние теории уже не способны давать хорошие приближения. (В случае Кеплера — это область теории возмущений, а в случае Галилея — это теория переменных ускорений, поскольку, согласно Ньютону, ускорение силы тяжести изменяется обратно пропорционально квадрату расстояний).
Если бы теория Ньютона добилась только объединения законов Кеплера с законами Галилея, она была бы всего только круговым объяснением этих законов,а потому неудовлетворительной как объяснение. Однако ее способность освещения дальнейшего пути развития науки и ее сила убеждения состояли именно в ее способности пролить свет на путь к независимым проверкам, ведущий нас к [успешным] предсказаниям, которые были несовместимы с предшествующими теориями. Это был путь к новым эмпирическим открытиям.
Теория Ньютона служит примером попытки объяснить некоторые прежние теории меньшей степени общности — попытки, которая не только привела к некоторого рода объединению этих прежних теорий, но в то же время и к их фальсификации (и к их корректировке посредством ограничения или определения той области, в пределах которой они являются верными (valid) с хорошим приближением) [334] . Чаще, пожалуй, встречается другой случай — сначала фальсифицируется старая теория, а затем возникает новая как попытка объяснить как частичный успех старой теории, так и ее неудачу.
334
(Добавлено при переводе на английский язык). Несовместимость теорий Ньютона и Кеплера подчеркивал Пьер Дюгем, который писал о ньютоновском «принципе всемирного тяготения»,что «он отнюдь не может быть выведен путем обобщения и индукции из наблюдательных законов Кеплера»,поскольку он «формально противоречит этим законам. Если теория Ньютона верна, то законы Кеплера с необходимостью ложны»(цитирую по с. 193 перевода на английский язык П. П. Винера книги Duhem P."The Aim and Structure of Physical Theory", 1954). Термин «наблюдательный»,примененный Дюгемом к «законам Кеплера»,надо воспринимать с хорошей «щепоткой соли» (то есть с большими оговорками): законы Кеплера были необузданными (wild) догадками, такими же, как законы Ньютона; их невозможно было вывести по индукции из наблюдений Тихо Браге, так же как законы Ньютона нельзя было вывести из законов Кеплера. Анализ Дюгема основан на том факте, что в нашей Солнечной системе есть много тяжелых планет, взаимное притяжение которых должно рассчитываться в соответствии с ньютоновской теорией возмущений. Однако мы можем пойти дальше Дюгема: даже если мы будем считать, что законы Кеплера выполняются для множества систем двух тел,каждая из которых состоит из центрального тела с массой Солнца и однойпланеты (масса и расстояние до центрального тела которых различны для разных систем, входящих в это множество), даже и в этом случае третий закон Кеплера не выполняется, если верны законы Ньютона, как я показал вкратце в моей книге "Conjectures and Refutations", примечание 28 к главе 1 (р. 62) (русский перевод см. Поппер К.Логика и рост научного знания. М., Прогресс, 1983, примечание 17 на с. 284), и несколько подробнее в моей работе "The Aim of Science"* 1957 (теперь это глава 5 настоящей книги), а также в моей статье "Naturgesetze und Theoretische Systeme" (1949) (см., в частности, сборник "Theorie und Realitat", ed. by Albert Hans,1964, ch. 1, SS.73 ГГ., особенно SS. 82 и след.). В этой последней работе я говорю кое-что по поводу объяснений, которые исправляют свои (казалось бы, «известные» или «данные») объясняемые, объясняя их приближенно.Эту точку зрения я довольно полно разработал в моих лекциях, начиная с 1940 года (впервые это было сделано в курсе лекций, прочитанном в Крайстчерчском отделении Королевского общества Новой Зеландии — ср. сноску на с. 134 моей книги "Poverty of Historicism" (русский перевод — Поппер К.Нищета историцизма. М., 1993, с. 155)).
XI
В связи с моим анализом понятия (или, скорее, практики) объяснения кажется существенным еще один момент. От Декарта [а может быть еще и от Коперника] до Максвелла большинство физиков пытались объяснять все вновь обнаруживаемые отношения с помощью механических
С этим переходом от механической к абстрактной теории была достигнута та стадия развития науки, на которой от объяснительной теории практически не требуется ничего, кроме возможности ее независимой проверки; мы готовы работать с теориями, которые на интуитивном уровне можно представлять посредством диаграмм, таких как рисунки [или посредством «изобразимых» или «визуализуемых» механических моделей], если их можно получить, — это дает нам «конкретные» теории; если же такие изображения нельзя получить, мы готовы работать с «абстрактными» математическими теориями [которые, однако, могут быть вполне «доступными пониманию» в том смысле, который я рассматривал в другом месте [335] ].
335
(Добавлено при переводе на английский язык). Более полный анализ «понимания» дан в главе 4 настоящей книги.
Наш общий анализ понятия объяснения, конечно, не может быть затронут неудачей любого конкретного изображения или модели. Он применим ко всевозможным абстрактным теориям в той же мере, что и к механическим или иным моделям. Собственно говоря, с нашей точки зрения модели — не что иное, как попытки объяснить новые законы в терминах старых законов, которые уже проходили проверку [вместе с допущениями относительно типичных начальных условий, или наличия типичной структуры — то есть модели в более узком смысле]. Модели часто играют важную роль при распространении и совершенствовании теорий, но необходимо отличать новую модель в рамках старых теоретических допущений от новой теории — то есть от новой системы теоретических допущений.
XII
Я надеюсь, что некоторые из моих формулировок, которые в начале этой лекции могли показаться вам надуманными (far-fetched) или даже парадоксальными, уже не кажутся вам такими.
Нет дороги, ни царской и никакой другой, с необходимостью ведущей от «данного» множества конкретных фактов к какому-то общему закону. То, что мы называем «законами» — это просто гипотезы, или предположения, которые всегда образуют часть некоторой более крупной системы теорий [собственно говоря, всего нашего горизонта ожиданий] и которые, следовательно, невозможно проверять по отдельности. Прогресс науки состоит в пробах, в устранении ошибок и в дальнейших пробах, руководимых опытом, приобретенным в ходе предшествующих проб и ошибок. Никакую теорию никогда нельзя считать абсолютно надежной; любая теория может стать проблематичной, сколь бы хорошо подкрепленной она ни казалась сейчас. Никакая научная теория не является священной и неприкосновенной, стоящей выше критики. Это часто забывали, особенно в прошлом столетии, когда на нас производили такое впечатление часто повторявшиеся и действительно великолепные подкрепления некоторых механических теорий, что эти теории в конце концов стали считаться несомненно истинными. Бурное развитие физики в нашем веке научило нас лучше в этом разбираться, и мы теперь увидели, что задача ученого — подвергать свою теорию все новым и новым проверкам и что никакую теорию нельзя объявлять окончательной. Проверка состоит в том, что берут теорию, подлежащую проверке, и комбинируют ее со всевозможными видами начальных условий, а также с другими теориями, а затем сопоставляют получившиеся предсказания с действительностью. Если это приводит к обманутым ожиданиям, к опровержениям, то нам приходится перестраивать нашу теорию.
Обманутые ожидания, с которыми мы в такой надежде подходили к действительности, играют в этой процедуре очень важную роль. Ее можно сравнить с опытом слепого, который дотрагивается до препятствия или натыкается на него, и благодаря этому узнает о его существовании. Только через фальсификацию наших предположений мы на самом деле соприкасаемся с «действительностью».Только обнаружение и устранение наших ошибок и составляет тот «позитивный» опыт, которого мы набираемся у действительности.
Конечно, всегда возможно спасти фальсифицированную теорию с помощью дополнительных гипотез [таких как гипотеза эпициклов]. Однако это — не путь прогресса в науке. Подобающей реакцией на фальсификацию будет поиск новых теорий, которые, похоже, обещают нам лучшее овладение (grasp) фактами. Наука заинтересована не в том, чтобы оставить за собой последнее слово, если это означает закрыть наши умы перед фальсифицирующим опытом, а в том, чтобы учиться на опыте, то есть учиться на наших ошибках.