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

)

Для утонченного фальсификационизма в теории важнее всего, что она позволяет предсказывать новые факты; можно сказать прямо, что для той версии попперовского эмпиризма, которую я отстаиваю, соответствующим значением обладают лишь те факты, какие способна предсказать теория. Эмпиризм (то есть научность) и теоретическая прогрессивность неразрывно связаны.

Эта мысль не так уж нова. Лейбниц, например, в известном письме к Конрингу в 1678 г. писал: "Лучшей похвалой гипотезе (когда ее истинность уже доказана) является то, что с ее помощью могут быть сделаны предсказания о неизвестном ранее явлении или еще небывалом эксперименте. (112) Точка зрения Лейбница была широко поддержана учеными. Но с тех пор, как оценка научной теории в допопперовской методологии рассматривалась как оценка степени ее подтверждения, позиция Лейбница некоторыми логиками подвергалась критике как неприемлемая. Например, Дж. С. Милль в 1843г. высказывал недовольство тем, что "существует мнение, что гипотеза... вправе рассчитывать на более благоприятный прием, если, объясняя все ранее известные факты, она, кроме того, позволила предусмотреть и предсказать другие факты, проверенные впоследствии на опыте". (113) Милль целит точно: действительно, такая оценка противоречит и джастификационизму, и пробабилизму. В самом деле, почему мы должны считать, что некое событие, если оно предвосхищено теорией, имеет для нас большую познавательную ценность, чем если бы оно было известно до теоретического предсказания? До тех пор, пока доказательная обоснованность считается единственным критерием научности, критерий Лейбница будет выглядеть непригодным. (114) Подобным же образом, если рассматривать отношение между вероятностью теории и эмпирическими данными, то, как заметил Дж. Кейнс, оно не может зависеть от того, получены ли данные до теоретических предсказаний или после них. (115

)

Но несмотря на столь убедительные аргументы джастификационистской критики, критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к гипотезам ad hoc, которые "хотя и верно выражают факты, для объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями". (116 )

Но только Поппер заметил, что бросающееся в глаза несоответствие между несколькими разрозненными возражениями против гипотез ad hoc, с одной стороны, и внушительным сооружением джастификационистской теории познания, с другой, устраняется именно разрушением джастификационизма, а также введеднием нового, не джастификационистского критерия оценки научных теорий, основанного на неприятии гипотез ad hoc.

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

В то же время, следуя тому же критерию, надо признать, что теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была теория ad hoc, а значит, бесполезная с эвристической точки зрения. (117 )

Прекрасный пример теории, удовлетворяющей только первой части попперовского критерия прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это теория Бора - Крамерса - Слэтера 1924 г. Эта теория была опровергнута во всех ее новых предсказаниях." (118 )

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

Возьмем еще один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких факторов нет: возможно, они руководствуются метафизическими принципами, вроде того, что любое объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие.

Должны ли мы похвалить первых, назвав их "критическими мыслителями", побранить вторых "филистерами", а третьих осудить как "апологетов"? Ни в коем случае. Нам вообще не нужны никакие выводы относительно подобных "опровержений". Мы никогда не отвергнем какую-то теорию просто потому, что она не выполнила чьих-то указов. Если перед нами противоречие, о каком шла речь выше, то нам нет нужды решать, какие части нашей композиции проблематичны, а какие - нет. Мы рассматриваем все эти части как проблематичные по отношению к принятому базисному предложению, которое противоречит их конъюнкции, и пытаемся заменить их все. Если удается заменить какую-то часть композиции, так, чтобы это вело к "прогрессу" (то есть, если в результате замены увеличилось подкрепленное эмпирическое содержание по сравнению с предшествующим элементом композиции), мы назовем ее "фальсифицированной".