Фальсификация и методология научно-исследовательских программ

Ньютон вначале разработал свою программу для планетарной системы с фиксированным точечным центром - Солнцем и единственной точечной планетой. Именно в этой модели был выведен закон обратного квадрата для эллипса Кеплера. Но такая модель запрещалась третьим законом динамики, а потому должна была уступить место другой модели, в которой и Солнце, и планеты вращались вокруг общего центра притяжения. Такое изменение мотивировалось вовсе не наблюдениями (не было "данных", свидетельствующих об аномалии), а теоретическим затруднением в развитии программы. Затем им была разработана программа для большего числа планет так, как если бы существовали только гелиоцентрические и не было бы никаких межпланетных сил притяжения. Затем он разработал модель, в которой Солнце и планеты были уже не точечными массами, а массивными сферами. И для этого изменения ему не были нужны наблюдения каких-то аномалий; ведь бесконечные значения плотности запрещались, хотя и в неявной форме, исходными принципами теории, поэтому планеты и Солнце должны были обрести объем. Это повлекло за собой серьезные математические трудности, задержавшие публикацию "Начал" более чем на десять лет. Решив эту "головоломку", он приступил к работе над моделью с "вращающимися сферами" и их колебаниями. Затем в модель были введены межпланетные силы и начата работа над решением задач с возмущениями орбит.

С этого момента взгляд Ньютона на факты стал более тревожным. Многие факты прекрасно объяснялись его моделями (качественным образом), но другие не укладывались в схему объяснения. Именно тогда он начал работать с моделями деформированных, а не строго шарообразных планет и т. д.

Ньютон презирал тех, кто подобно Р. Гуку застревал на первой наивной модели и не обладали ни достаточными способностями, ни упорством, чтобы развить ее в исследовательскую программу, полагая, что уже первый вариант и образует "научное открытие". Сам он воздерживался от публикаций до тех пор, пока его программа не пришла к состоянию замечательного прогрессивного сдвига. [133]

Большинство (если не все) "головоломок" Ньютона, решение которых давало каждый раз новую модель, приходившую на место предыдущей, можно было предвидеть еще в рамках первой наивной модели; нет сомнения, что сам Ньютон и его коллеги предвидели их. Очевидная ложность первой модели не могла быть тайной для Ньютона. [134] Именно этот факт лучше всего говорит о существовании положительной эвристики исследовательской программы, о "моделях", с помощью которых происходит ее развитие. "Модель" - это множество граничных условий (возможно, вместе с некоторыми "наблюдательными" теориями), о которых известно, что они должны быть заменены в ходе дальнейшего развития программы. Более или менее известно даже каким способом. Это еще раз говорит о том, какую незначительную роль в исследовательской программе играют "опровержения" какой-либо конкретной модели; они полностью предвидимы, и положительная эвристика является стратегией этого предвидения и дальнейшего "переваривания". Если положительная эвристика ясно определена, то трудности программы имеют скорее математический, чем эмпирический характер. [135]

"Положительная эвристика" исследовательской программы также может быть сформулирована как "метафизический принцип". Например, ньютоновскую программу можно изложить в такой формуле: "Планеты - это вращающиеся волчки приблизительно сферической формы, притягивающиеся друг к другу". Этому принципу никто и никогда в точности не следовал: планеты обладают не одними только гравитационными свойствами, у них есть, например, электромагнитные характеристики, влияющие на движение. Поэтому положительная эвристика является, вообще говоря, более гибкой, чем отрицательная. Более того, время от времени случается, что, когда исследовательская программа вступает в регрессивную фазу, то маленькая революция или творческий толчок в ее положительной эвристике может снова подвинуть ее е сторону прогрессивного сдвига. [136] Поэтому лучше отделить "твердое ядро" от более гибких метафизических принципов, выражающие положительную эвристику.

Наши рассуждения показывают, что положительная эвристика играет первую скрипку в развитии исследовательской программы при почти полном игнорировании "опровержений"; может даже возникнуть впечатление, что как раз "верификации", а не опровержения создают точки соприкосновения с реальностью. [137]Хотя надо заметить, что любая "верификация" n+1 варианта программы является опровержением п-того варианта, но ведь нельзя отрицать, что некоторые неудачи последующих вариантов всегда можно предвидеть. Именно "верификации" поддерживают продолжение работы программы, несмотря на непокорные примеры.

Мы можем оценивать исследовательские программы даже после их "элиминации" по их эвристической силе: сколько новых фактов они дают, насколько велика их способность "объяснить опровержения в процессе роста"? [138]