Но вернёмся к критерию К. Поппера. История показывает, что теории живут, развиваются и даже процветают, невзирая на противоречия с экспериментальными данными. Приведём конкретный пример. В 1788 году великий Лагранж писал об уравнениях Эйлера: «Мы обязаны Эйлеру первыми общими формулами для движения жидкостей. записанными в простой и ясной символике частных производных. Благодаря этому открытию вся механика жидкостей свелась к вопросу анализа, и будь эти уравнения интегрируемыми, можно было бы в любом случае полностью определить движение жидкости под воздействием любых сил.». Надежды Лагранжа не оправдались: в ряде случаев уравнения Эйлера были проинтегрированы, но результаты расчётов резко расходились с наблюдениями. Привело ли это к отказу от уравнений Эйлера? Ни в коем случае.
Вот что пишет по этому поводу известный американский математик и гидродинамик Г. Биркгоф: "В гидродинамике такие несомненные противоречия между экспериментальными данными и заключениями, основанными на правдоподобных рассуждениях, называются парадоксами. Эти парадоксы были предметом многих острот. Так недавно было сказано, что в девятнадцатом веке «гидродинамики разделялись на инженеров-гидравликов, которые наблюдали то, что нельзя было объяснить, и математиков, которые объясняли то, что нельзя было наблюдать». Как мы видим, гидродинамика не только существует, но даже способна шутить. «Теперь обычно заявляют, – продолжает Биркгоф, – что подобные парадоксы возникают из-за отличия реальных жидкостей, имеющих малую, но конечную вязкость, от идеальных жидкостей, имеющих нулевую вязкость.» Итак, все дело опять в идеальных объектах, без которых и нельзя, вероятно, построить теорию.
Концепция исследовательских программ И.Лакатоса
Очевидные недостатки фальсификационизма Поппера пытался преодолеть И. Лакатос в своей концепции исследовательских программ. При достаточной находчивости, полагает он, можно на протяжении длительного времени защищать любую теорию, даже если эта теория ложна. «Природа может крикнуть: „Нет!“, но человеческая изобретательность. всегда способна крикнуть ещё громче». Поэтому следует отказаться от попперовской модели, в которой за выдвижением некоторой гипотезы следует её опровержение. Ни один эксперимент не является решающим и достаточным для опровержения теории.
В чем же суть концепции Лакатоса? «Картина научной игры, – пишет он, – которую предлагает методология исследовательских программ, весьма отлична от подобной картины методологического фальсификационизма. Исходным пунктом здесь является не установление фальсифицируемой. гипотезы, а выдвижение исследовательской программы». Под последней понимается теория, способная защищать себя в ситуациях столкновения с противоречащими ей эмпирическими данными. В исследовательской программе Лакатос выделяет её ядро, т. е. основные принципы или законы, и «защитные пояса», которыми ядро окружает себя в случаях эмпирических затруднений.
Приведём конкретный пример. Допустим, что опираясь на законы Ньютона (в данном случае они образуют ядро исследовательской программы), мы рассчитали орбиты планет Солнечной системы и обнаружили, что это противоречит астрономическим наблюдениям. Неужели мы отбросим законы Ньютона? Разумеется, нет. Мы выдвинем какое-либо дополнительное предположение, для того чтобы объяснить обнаруженные расхождения. Как известно, именно это и имело место в реальной истории: в 1845 году Леверье, занимаясь неправильностями в движении Урана, выдвигает гипотезу о существовании ещё одной планеты Солнечной системы, которая и была открыта И. Галле в сентябре 1846 года. Гипотеза Леверье и выступает в данном случае как защитный пояс. Но допустим, что гипотеза не получила бы подтверждения, и новую планету не удалось обнаружить. Неужели мы в этом случае отбросили бы законы Ньютона? Без всякого сомнения, нет. Была бы построена какая-то новая гипотеза.
Как долго это может продолжаться? Лакатос полагает, что теория никогда не фальсифицируется, а только замещается другой, лучшей теорией. Суть в том, что исследовательская программа может быть либо прогрессирующей, либо регрессирующей. Она прогрессирует, если её теоретический рост предвосхищает рост эмпирический, т. е. если она с успехом предсказывает новые факты. Она регрессирует, если новые факты появляются неожиданно, а программа только даёт им запоздалые объяснения. В этом случае теоретический рост отстаёт от эмпирического роста. Если одна исследовательская программа прогрессивно объясняет больше, чем другая, с ней конкурирующая, то первая вытесняет вторую.