Фальсификация и методология научно-исследовательских программ - Лакатос Имре. Страница 27
Реконструкция научного прогресса как размножения соперничающих исследовательских программ, прогрессивных и регрессивных сдвигов проблем, создает картину научной деятельности, во многом отличную от той, какая предстает перед нами, если развитие науки изображается как чередование смелых теорий и их драматических опровержений. В главных чертах эта реконструкция опирается на идеи Поппера, в особенности на "запрете" конвенционалистских, т. е. уменьшающих эмпирическое содержание, уловок. Главное отличие этой реконструкции от первоначального замысла Поппера состоит, я полагаю, в том, что в моей концепции критика не убивает - и не должна убивать - так быстро, как это представлялось Попперу. Чисто негативная, разрушительная критика, наподобие "опровержения" или доказательства противоречивости не устраняет программу. Критика программы является длительным, часто удручающе длительным процессом, а к зарождающимся программам следует относиться снисходительно. ( 307 ) Конечно, можно ограничиться указанием на вырождение исследовательской программы, но только конструктивная критика с помощью соперничающих программ приводит к реальному успеху; что же касается поражающих воображение результатов, то они становятся видны только после рациональной реконструкции всего процесса.
Нельзя отрицать, что Куну удалось показать, как психология науки способна раскрывать важные и, прямо скажем, грустные истины. Но психология науки не может рассчитывать на свою автономию. Рост науки, каким он предстает в рациональной реконструкции, имеет место, по существу, в мире идей, в платоновском или попперовском "третьем мире", в мире знания, ясность и чистота которого не зависит от познающего субъекта. (308 )
Исследовательская программа Поппера направлена на описание этого объективного роста науки. (309) Исследовательская программа Куна, по-видимому, стремится к описанию изменения в ("нормальном") научном мышлении (будь то мышление индивида или целого сообщества). (310). Но зеркальное отражение третьего мира в мышлении индивидуального ученого пусть даже "нормального" - обычно является карикатурой оригинала; если описывать эту карикатуру, не соотнося ее с оригиналом из третьего мира, можно получить карикатуру на карикатуру. Нельзя понять историю науки, не учитывая взаимодействия этих трех миров.
5
ПРИЛОЖЕННИЕ:
ПОППЕР, ФАЛЬСИФИКАЦИОНИЗМ И "ТЕЗИС ДЮГЕМА-КУАИНА"
Поппер начинал как догматический фальсификационист в 20-х гг., но скоро осознал несостоятельность этой позиции и воздерживался от публикаций, пока не придумал методологический фальсификационизм. Это была совершенно новая идея в философии науки, и выдвинута она была именно Поппером, который предложил ее как решение проблем, с которыми не мог совладать догматический фальсификационизм. В самом деле, центральной проблемой философии Поппера является противоречие между положениями о том, что наука является критической и в то же время подверженной ошибкам. Хотя Поппер предлагал и последовательную формулировку, и критику догматического фальсификационизма, он так и не сделал четкого разграничения между наивным и утонченным фальсификационизмом.
В одной из своих прежних статей 311 я предложил различать три периода в деятельности Поппера: Поппер0, Поппер1 и Поппер2.. Поппер0 - догматический фальсификационист, не опубликовавший ни слова: он был выдуман и "раскритикован" сначала Айером, а затем и другими.312 В этой статье я надеюсь окончательно прогнать этот призрак. Поппер1 - наивный фальсификационист, Поппер2 - утонченный фальсификационист. Реальный Поппер развивался от догматического к наивному методологическому фальсификационизму в 20-х гг.; он пришел к "правилам принятия" утонченного фальсификационизма в 50-х гг. Этот переход был отмечен тем, что к первоначальному требованию проверяемости было добавлено требование "независимой проверяемости",313 а затем и третье требование о том, чтобы некоторые из независимых проверок приводили к подкреплениям.314 Но реальный Поппер никогда не отказывался от своих первоначальных (наивных) правил фальсификации. Вплоть до настоящего времени он требует, чтобы были "заранее установлены критерии опровержения: следует договориться относительно того, какие наблюдаемые ситуации, если ни будут действительно наблюдаться, означают, что теория опровергнута".315 Он и сейчас трактует "фальсификацию" как исход дуэли между теорией и наблюдением без необходимого участия другой, лучшей теории. Реальный Поппер никогда не объяснял в деталях процедуру аппеляции, по результату которой могут быть устранены некоторые "принятые базисные предложения". Таким образом, реальный Поппер - это Поппер с некоторыми элементами Поппера2.
Идея демаркации между прогрессивными и регрессивными сдвигами проблем, как она обсуждалась в этой статье, основана на концепции Поппера; по сути, эта демаркация почти тождественна его известному критерию демаркации между наукой и метафизикой.316
Поппер первоначально имел в виду только теоретический аспект проблемных сдвигов, что нашло выражение в гл. 20 [153] и дальнейшую разработку в [157]-317 Впоследствии он добавил к этому обсуждение эмпирического аспекта ([160])."8 Однако запрет, наложенный Поппером на "конвенционалистские уловки" в одних отношениях слишком строг, в других - слишком слаб. Он слишком строг, поскольку, согласно Попперу, новый вариант прогрессивной программы никогда не принимает уменьшающую эмпирическое содержание уловку, специально для поглощения аномалии; в таком варианте невозможны констатации вроде следующей: "Все тела подчиняются законам Ньютона, за исключением семнадцати аномальных случаев". Но так как необъясненных аномалий всегда сколько угодно, я допускаю такие формулировки: объяснение есть шаг вперед (т. е. является "научным"), если, по крайней мере, оно объясняет некоторые прежние аномалии, которые не получили "научного" объяснения ранее. Если аномалии считаются подлинными (хотя и не обязательно неотложными) проблемами, не так уж важно, придаем ли мы им драматический смысл "опровержений" или снижаем его до уровня "исключений"; в таком случае различие чисто лингвистическое. Такой уровень терпимости к ухищрениям ad hoc позволяет продвигаться вперед даже на противоречивых основаниях. Проблемные сдвиги могут быть прогрессивными несмотря на противоречия.319 Однако запрет, налагаемый Поппером на уловки, уменьшающие эмпирическое содержание, также слишком слаб: с его помощью нельзя, например, разрешить "парадокс присоединения" или исключить ухищрения ad hoc. От них можно избавиться только потребовав, чтобы вспомогательные гипотезы формировались в соответствии с положительной эвристикой подлинной исследовательской программы. Это новое требование подводит нас к проблеме непрерывности в науке.
Эта проблема была поднята Поппером и его последователями. Когда я предложил свою теорию роста, основанную на идее соревнующихся исследовательских программ, я опять-таки следовал попперовской традиции, которую пытался улучшить. Сам Поппер еще в своей "Логике открытия" 1934 г. подчеркивал эвристическое значение "влиятельной метафизики",320 за что некоторые члены Венского кружка называли его защитником вредной философии.321 Когда его интерес к роли метафизики ожил в 50-х гг., он написал очень интересный "Метафизический эпилог" к своему послесловию "Двадцать лет спустя" к "Логике научного исследования" (в гранках с 1957 г.).322 Но Поппер связывал упорство в борьбе за выживание теории не с методологической неопровержимостью, а скорее, с формальной неопровержимостью. Под "метафизикой" он имел в виду формально определяемые предложения с кванторами "все" или "некоторые" либо чисто экзистенциальные предложения. Ни одно базисное предложение не могло противоречить им из-за их логической формы. Например, высказывание "Для всех металлов существует растворитель" в этом смысле было бы "метафизическим", тогда как теория Ньютона, взятая сама по себе, таковой не была бы.323 В 50-х гг. Поппер также поднял проблему, как критиковать метафизические теории, и предложил ее решение.324 Агасси и Уоткинс опубликовали несколько интересных статей о роли такой "метафизики" в науке, в которых связывали ее с непрерывностью научного прогресса.325 Мой анализ отличается от них тем, что, во-первых, я иду гораздо дальше в стирании различий между "наукой" и "метафизикой", в смысле, который придан этим терминам Поппером; я даже воздерживаюсь от употребления термина "метафизический". Я говорю только о научных исследовательских программах, твердое ядро которых выступает как неопровержимое, но не обязательно по формальным, а, возможно, и по методологическим причинам, не имеющим отношения к логической форме. Во-вторых, резко отделяя дескриптивную проблему историко-психологической роли метафизики от нормативной проблемы, различения прогрессивных и регрессивных исследовательских программ, я пытаюсь продвинуть решение последней гораздо дальше, чем это сделано ими.