§ 3. Философия исследовательских программ

Основным понятием философии науки Имре Лакатоса является понятие «научно-исследовательской программы». До некоторой степени это понятие близко к идее «парадигмы» у Томаса Куна, о чем пойдет речь в следующей главе, но все же здесь есть и существенные отличия. Как и парадигма Куна, исследовательская программа понимается Лакатосом более широко, чем только логическая теория. Лакатос выделяет в программе две основные компоненты: 1) «негативное» ядро, и 2) «позитивную» эвристику. Ядро представляет из себя некоторую систему центральных утверждений научной теории, которая никогда не подвергаются сомнению в рамках данной программы (ядро «негативно» в том смысле, что оно не восприемлет, отталкивает от себя все возможные контрпримеры). Например, таким ядром является идея гена как носителя наследственной информации в генетике или идея непрерывности в классической механике. Позитивная эвристика определяет проблемы для исследования, выделяет защитный пояс вспомогательных гипотез, предвидит аномалии и победоносно превращает их в подтверждающие примеры. Ученый видит аномалии, но, поскольку его исследовательская программа выдерживает их натиск, он может свободно игнорировать их (вспомним «метод устранения монстров», описанный выше).

Таким образом, Лакатос отходит от фальсификационизма Поппера с его утверждением, что одно эмпирическое высказывание может опровергнуть теорию. Теория и факты – это как бы игроки разных весовых категорий, и опровергнуть теорию (программу) может только другая, более успешная, теория (программа). Исследовательская программа считается прогрессирующей тогда, когда ее теоретический рост предвосхищает ее эмпирический рост, т.е. когда она с некоторым успехом может предсказать новые факты (такое предсказание Лакатос называет «прогрессивным сдвигом» программы). Наоборот, программа регрессирует, если ее теоретический рост отстает от эмпирического роста, т.е накапливаются факты, которые программа не успевает объяснить, не то что предсказать. Такое состояние Лакатос называет «регрессивным сдвигом» программы. Если исследовательская программа прогрессивно объясняет больше, нежели конкурирующая, то она рано или поздно вытесняет ее, и эта конкурирующая программа может быть устранена или до поры отложена. Таким образом, критерием научности для Лакатоса является скорее осуществление верификации дополнительного (прогностического) содержания теории, чем обнаружение фальсифицирующих ее примеров. Казалось бы, в такой формулировке Лакатос возвращается к неопозитивизму, но следует помнить, что, во-первых, верифицируемость и фальсифицируемость, как это было отмечено выше, не противоречат друг другу, и, во-вторых, Лакатос, как и Поппер, принимает многие положения конвенционализма, рассматривая науку как некоторый род методологической игры.