2.7. И. Лакатос и концепция внутреннего единства логики доказательства и опровержения

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

И. Лакатос обосновывает возможность трех способов действия (трех «стратигем») в этой кризисной ситуации.

1. Метод устранения «монстров», при котором первоначальная ги­потеза (наивная догадка) сохраняется за счет такого переопре­деления ее терминов, что контрпример истолковывается как па­тологический случай (монстр), который не ставит под сомнение саму догадку. Это скорее оборонительная, нежели наступатель­ная стратегия, так как мы закрываем путь для дальнейшего со­вершенствования знания за счет его распространения на более сложные случаи.

2. Метод устранения исключений — выявление условий, ограни­чивающих область применения гипотезы, т. е. первоначальное предположение не отбрасывается, а уточняется, но это уточнение носит внешний характер по отношению к сути самого доказатель­ства в форме мысленного эксперимента.

3. Метод включения лемм, заключающийся в уточнении исходной формулировки гипотезы путем включения в нее в качестве огра­ничивающего и конкретизирующего условия тех неявных по­сылок, пренебрежение которыми в «наивной» (слишком общей и неконкретной) формулировке и порождает возможные контрпри­меры. Открытие здесь не идет ни вниз, ни вверх, но следует по зиг­загообразному пути: толкаемое контрпримером, оно движется от наивной догадки к предпосылкам и потом возвращается назад, чтобы уничтожить наивную догадку и заменить ее теоремой. Таким образом, подлинная методология, по Лакатосу, не должна быть ни индуктивистской, ни односторонне дедуктивистской. Она должна исследовать конструктивные процессы обогащения, развития содержания научного знания и вырабатывать соответствующие нормы, приемы, способы исследования. Противоречие между выдвинутыми положениями и контрпримерами выступает стимулом для «включе­ния» критико-рефлексивной установки по отношению к сложившей­ся познавательной ситуации, выявления ее скрытых (неявных) посы­лок, что, в свою очередь, ведет к запуску конструктивной творческой деятельности мысли по преодолению сложившейся кризисной ситуа­ции путем выхода за ее пределы, расширения познавательного гори­зонта и, наконец, формулирования более богатого, полного и глубоко­го содержания мыслимой реальности.

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

Исследовательская программа — теория (вернее, серия теорий раз­ного уровня), способная защищать себя при столкновении с контрпри­мерами. В программе выделяется «твердое ядро» (основные принци­пы или законы) и «защитные пояса», которыми ядро окружает себя в случае столкновения с эмпирическими затруднениями.

Например, законы И. Ньютона образуют ядро построенной им ис­следовательской программы, столкнувшейся с контрпримером, — рас­считанная по этим законам орбита планеты Уран отличалась от той, которую фиксировали астрономические наблюдения. Означало ли это, что следовало отбросить эти законы? Отнюдь нет. Астрономом Леве-рье было сделано дополнительное предположение (защитный пояс) о существовании еще одной планеты в Солнечной системе, и через год эта планета (Плутон) была обнаружена. Если бы эта гипотеза не под­твердилась, придумали бы другую. Таким образом, теория никогда не фальсифицируется, а вытесняется другой, лучшей.

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

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

Исследовательская программа может быть либо прогрессирующей (если теоретический рост предвосхищает рост эмпирический и про­грамма с успехом предсказывает новые факты), либо регрессирующей (если новые факты появляются неожиданно, а программа дает им за­поздалые объяснения). Если одна из конкурирующих программ про­грессивно объясняет больше, чем другая, то первая вытесняет вторую. Главное, по И. Лакатосу, — это внутреннее единство тенденций оправ­дания и опровержения исходных предположений, которое определяет непрерывность развития наук, обогащение и конкретизацию исходного содержания, выведение одних форм знания из других под влиянием противоречий самого познания.