Исследовательские программы Лакатоса: ядро и пояс

Имре Лакатос предложил смотреть на науку иначе, чем принято в учебниках: единица оценки - не отдельная теория, которую проверяют и опровергают поодиночке, а исследовательская программа, то есть длинная серия теорий, связанных общими исходными допущениями и общим планом работы. Эта конструкция примирила логику опровержения Поппера с исторической картиной Куна и до сих пор служит рабочим инструментом методологии науки. Разберём устройство программы, критерий её прогресса и типовые ловушки; форма ниже поможет собрать точный запрос под вашу тему.

Зачем понадобилась методология исследовательских программ

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

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

Лакатос назвал попперовскую версию наивным фальсификационизмом и построил на её месте изощрённый вариант, где оценивают не единичную теорию, а её ряд. Подробности исходной позиции - в разборе критерия фальсифицируемости Поппера.

Строение программы: ядро, пояс и две эвристики

Исследовательская программа состоит из четырёх элементов.

Жёсткое ядро - фундаментальные допущения, которые участники программы решением, а не опытом, объявляют неопровержимыми. У ньютоновской программы это три закона движения и закон всемирного тяготения. Ядро не проверяется: оно определяет, что вообще считать этой программой.

Защитный пояс - вспомогательные гипотезы, конкретные модели, начальные условия, допущения о приборах. Именно пояс принимает на себя все столкновения с опытом и именно он переделывается, иногда до неузнаваемости.

Отрицательная эвристика - запрет направлять модус толленс в ядро. Столкнулись с аномалией - меняйте пояс.

Положительная эвристика - заранее продуманный план работ, последовательность всё более реалистичных моделей. Ньютон начал с точечной планеты вокруг неподвижного точечного Солнца, затем перешёл к системе многих планет, затем учёл их взаимное притяжение, затем заменил точки вращающимися шарами. Аномалии на ранних шагах не пугали никого: план заранее предполагал, что грубая модель будет заменена.

Рассчитать для своей задачи

Прогрессивный и регрессивный сдвиг проблем

Раз ядро защищено конвенцией, критерий научности нельзя строить на опровержении. Лакатос переносит оценку на динамику серии

$T_1 \to T_2 \to T_3 \to \dots \to T_n$

и вводит два условия. Серия теоретически прогрессивна, если каждая следующая теория имеет избыточное эмпирическое содержание по сравнению с предыдущей, то есть предсказывает какой-то новый, ранее не ожидавшийся факт:

$\text{Cont}(T_{n+1}) \supset \text{Cont}(T_n)$

Серия эмпирически прогрессивна, если хотя бы часть этого избыточного содержания подтверждается наблюдением. Сдвиг проблем называют прогрессивным, когда выполнены оба условия сразу.

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

Рассчитать для своей задачи

Уран, Нептун и Вулкан: один ход, два исхода

Хрестоматийный пример Лакатоса. В начале XIX века орбита Урана систематически расходилась с расчётом по ньютоновской теории. Наивный фальсификационист обязан был бы признать закон тяготения опровергнутым. Леверье и Адамс поступили иначе: сохранили ядро и добавили в пояс гипотезу о невидимой планете, возмущающей орбиту. Гипотеза давала точное предсказание - координаты, где эту планету следует искать. В 1846 году Галле навёл телескоп в указанную точку и нашёл Нептун. Избыточное содержание подтвердилось, сдвиг оказался прогрессивным.

Тот же Леверье применил тот же приём к аномальному смещению перигелия Меркурия и постулировал планету Вулкан внутри орбиты Меркурия. Вулкана не нашли, гипотеза так и осталась спасательной операцией без нового подтверждённого содержания, а аномалию через полвека снял Эйнштейн уже из другого ядра.

Конкуренция программ и отсутствие мгновенной рациональности

Отсюда следует главный вывод методологии: аномалия не отменяет программу. Аномалии накапливаются десятилетиями, их складывают в отложенный список и работают дальше - так поступала и ньютоновская, и коперниканская программа. Отказ от программы рационален лишь тогда, когда рядом появляется конкурент, который прогрессивен, объясняет прежние успехи старой программы и предсказывает сверх них.

При этом Лакатос настаивал: мгновенной рациональности не существует. Приговор регрессивной программе всегда предварителен, потому что она может восстановиться. Атомизм веками считался метафизической спекуляцией и вернулся победителем; волновая теория света была вытеснена корпускулярной и возродилась у Юнга и Френеля. Учёный, продолжающий работать в буксующей программе, не нарушает никаких норм рациональности - он рискует, и риск иногда окупается.

Лакатос между Поппером и Куном

Позиция Лакатоса выросла из спора двух других. У Поппера смена теорий мгновенна и логична: опровергнута - отброшена. У Куна научная революция описана как переключение гештальта и обращение сообщества, что Лакатос счёл сползанием в психологию толпы и иррационализм.

Его собственное решение сохраняет рациональность, но растягивает её во времени. Оценка выносится не решению отдельного учёного в конкретный день, а серии теорий на длинной дистанции; в науке нормально сосуществование нескольких конкурирующих программ, а не монополия одной парадигмы. Как эта развилка связана с исходным вопросом о границе науки, показано в разборе проблемы демаркации Поппера.

Рассчитать для своей задачи

Критика методологии

Самое известное возражение принадлежит Фейерабенду. Критерий прогресса работает ретроспективно: определить, что сдвиг регрессивный, можно лишь спустя годы, а Лакатос прямо отказывается назвать срок, после которого держаться за программу неразумно. Значит, практикующему исследователю методология не даёт никакого совета здесь и сейчас - это «методология без методологических правил», по сути тот же эпистемологический анархизм Фейерабенда, только вежливо сформулированный.

Второе возражение историческое: граница ядра размыта. Что считать ядром ньютоновской программы, историки науки описывают по-разному, а раз состав ядра задаётся реконструкцией постфактум, под неё можно подогнать почти любой сюжет. Третье касается социальных и гуманитарных наук, где серии теорий редко выстраиваются в чистые ряды с растущим содержанием, и потому схема прикладывается к материалу с натяжкой.

Частые ошибки

• Путают программу с парадигмой Куна. Парадигма у Куна одна и монопольна, программ по Лакатосу всегда несколько и они конкурируют одновременно.
• Считают жёсткое ядро эмпирическим утверждением. Ядро неопровержимо по конвенции участников программы, а не потому, что оно многократно подтверждено.
• Называют ad hoc любую защитную гипотезу. Гипотеза о Нептуне тоже спасала ядро, но предсказала новый факт и оказалась прогрессивной.
• Оценивают прогресс по числу подтверждений. Важны не подтверждения известного, а предсказанные и затем подтверждённые новые факты.
• Считают, что регрессивную программу нужно бросить немедленно. Лакатос отрицает мгновенную рациональность: приговор всегда предварителен.

FAQ

Чем исследовательская программа отличается от парадигмы Куна? Программа - логико-методологическая конструкция с явно выделенными ядром, поясом и эвристиками, и её прогресс оценивается объективным критерием избыточного содержания. Парадигма - социально-психологическое понятие, включающее образцы решений, ценности и навыки сообщества; её смена у Куна не имеет рационального критерия. Программ может сосуществовать несколько, парадигма в нормальной науке одна.

Всегда ли ad hoc гипотеза плоха? Нет. У Лакатоса ярлык ad hoc присваивается не по форме высказывания, а по результату: если модификация пояса дала новое подтверждённое предсказание, она законна и программа прогрессирует. Плоха только та правка, которая объясняет исключительно аномалию, ради которой введена.

Применима ли методология к гуманитарным наукам? Частично. Выделить ядро и пояс удаётся и в лингвистике, и в экономических школах, и это полезный ход для курсовой работы. Но критерий предсказания новых фактов там работает слабее, поэтому оценку прогресса обычно приходится смягчать и опираться на объяснительную силу и внутреннюю связность программы.

Коротко

Исследовательские программы Лакатоса - способ описать науку так, чтобы она осталась рациональной и при этом совпала с реальной историей. Программа держится на жёстком ядре, защищённом конвенцией, окружена перестраиваемым поясом вспомогательных гипотез и управляется двумя эвристиками: отрицательная запрещает трогать ядро, положительная задаёт план моделей. Оценивают не отдельную теорию, а серию: сдвиг прогрессивен, если каждая следующая версия предсказывает новые факты и хотя бы часть предсказаний подтверждается, и регрессивен, если правки лишь латают аномалии. Программу отбрасывают не из-за аномалии, а из-за появления прогрессивного конкурента, и даже этот приговор Лакатос считал предварительным.