ИССЛЕДОВАТЕЛЬСКАЯ ПРОГРАММА ПОППЕРА ПРОТИВ ИССЛЕДОВАТЕЛЬСКОЙ ПРОГРАММЫ КУНА
Теперь кратко подведем итоги спора Куна с Поппером.
Мы показали, что Кун прав в своих возражениях против наивного фальсификационизма, а также когда он подчеркивает непрерывность научного развития, упорство в борьбе за выживание некоторых научных теорий. Но Кун неправ, полагая, что, развенчивая наивный фальсификационизм, он тем самым опрокидывает все виды фальсификационизма. Кун выступает против всей исследовательской программы Поппера, он исключает всякую возможность рациональной реконструкции роста науки Кратко сопоставляя взгляды Юма, Карнапа и Поппера, Уоткинс замечает, что, по Юму, рост науки индуктивен и иррационален, по Карнапу,—индуктивен и рационален, по Попперу, — не индуктивен и рационален.303 Это сопоставление можно продолжить: по Куну, рост науки не индуктивен и иррационален. С точки зрения Куна, не может быть никакой логики открытия — существует только психология открытия. 304 Например, по Куну, наука всегда изобилует аномалиями, противоречиями, но в “нормальные” периоды господствующая парадигма задает образец роста, который может быть отброшен в период “кризиса”. “Кризис” — психологическое понятие, здесь оно обозначает нечто вроде паники, которой заражаются массы ученых Затем появляется новая “па-
радигма”, несоизмеримая со своей предшественницей Для их сравнения нет рациональных критериев Каждая парадигма имеет свои собственные критерии Этот кризис уничтожает не только старые теории и правила, но также и критерии, по которым мы доверяли им. Новая парадигма приносит совершенно новое понимание рациональности Нет никаких сверх-парадигматических критериев. Изменение в науке — лишь следствие того, что ученые примыкают к движению, имеющему шансы на успех. Следовательно, с позиции Куна, научная революция иррациональна и ее нужно рассматривать специалистам по психологии толпы.
Сведение философии науки на психологию науки — не изобретение Куна. Еще раньше волна психологизма пошла вслед за провалом джастификационизма Многие видели в джастификационизме единственно возможную форму рационализма: конец джастификационизма означал, казалось, конец рациональности вообще Крушение тезиса о том, что научные теории могут быть доказательно обоснованы, что прогресс науки имеет кумулятивный характер, вызывало панику среди сторонников джастификационизма. Если “открыть — значит доказать”, но доказать ничего нельзя, то и открыть ничего нельзя, а можно только претендовать на открытие. Поэтому разочарованные джастификационисты, точнее, экс-джастификационисты, решили, что разработка критериев рациональности — безнадежное дело и все, что остается, — это изучать и описывать Научный разум в том виде,
как он проявляет себя в деятельности известных ученых.
После крушения ньютоновской физики Поппер разработал новые, не джастификационистские критерии. Кое-кто из тех философов, на которых произвело столь сильное впечатление падение джастификационистской рациональности, теперь стали прислушиваться, часто из третьих уст, к необычным лозунгам, выдвинутым наивным фальсификационизмом. Найдя их несостоятельными, они приняли неудачу наивного фальсификационизма за конец всякой рациональности. Разработка рациональных критериев опять предстала как безнадежное предприятие; опять-таки раздались призывы ограничиться изучением Научного Разума.305 Критическая философия должна была уступить место тому, что Полани назвал “пост-критической” философией. Но в исследовательской программе Куна была новая идея: изучать следует не мышление отдельного ученого, а мышление Научного Сообщества. Психология индивидуума сменяется социальной психологией; подражание великим ученым — подчинением коллективной мудрости сообщества.
Но Кун просмотрел утонченный фальсификационизм Поппера и ту исследовательскую программу, начало которой было им положено. Поппер заменил центральную проблему классического рационализма, старую проблему поиска оснований, новой проблемой погрешимо-критического развития и приступил к разработке объективных критериев этого развития. Здесь я пытался продвинуть его программу еще дальше. Я думаю, что тот
небольшой шаг вперед, который удалось сделать, достаточен хотя бы для того, чтобы отбить критические выпады Куна.306
Реконструкция научного прогресса как размножения соперничающих исследовательских программ, прогрессивных и регрессивных сдвигов проблем, создает картину научной деятельности, во многом отличную от той, какая предстает перед нами, если развитие науки изображается как чередование смелых теорий и их драматических опровержений. В главных чертах эта реконструкция опирается на идеи Поппера, в особенности на “запрете” конвенционалистских, т. е. уменьшающих эмпирическое содержание, уловок. Главное отличие этой реконструкции от первоначального замысла Поппера состоит, я полагаю, в том, что в моей концепции критика не убивает — и не должна убивать — так быстро, как это представлялось Попперу. Чисто негативная, разрушительная критика, наподобие “опровержения” или доказательства противоречивости не устраняет программу. Критика программы является длительным, часто удручающе длительным процессом, а к зарождающимся программам следует относиться снисходительно.307 Конечно, можно ограничиться указанием на вырождение исследовательской программы, но только конструктивная критика с помощью соперничающих программ приводит к реальному успеху; что же касается поражающих воображение результатов, то они становятся видны только после рациональной реконструкции всего процесса.
Нельзя отрицать, что Куну удалось показать, как психология науки способна раскры-
вать важные и, прямо скажем, грустные истины Но психология науки не может рассчитывать на свою автономию Рост науки, каким он предстает в рациональной реконструкции, имеет место, по существу, в мире идей, в платоновском или попперовском “третьем мире”, в мире знания, ясность и чистота которого не зависит от познающего субъекта 308
Исследовательская программа Поппера направлена на описание этого объективного роста науки309 Исследовательская программа Куна, по-видимому, стремится к описанию изменения в (“нормальном”) научном мышлении (будь то мышление индивида или целого сообщества) 310 Но зеркальное отражение ние третьего мира в мышлении индивидуального ученого — пусть даже “нормального” — обычно является карикатурой оригинала; если описывать эту карикатуру, не соотнося ее с оригиналом из третьего мира, можно получить карикатуру на карикатуру. Нельзя понять историю науки, не учитывая взаимодействия этих трех миров
ПРИЛОЖЕНИЕ:
ПОППЕР, ФАЛЬСИФИКАЦИОНИЗМ И “ТЕЗИС ДЮГЕМА—КУАЙНА”
Поппер начинал как догматический фальсификационист в 20 х гг, но скоро осознал несостоятельность этой позиции и воздерживался от публикаций, пока не придумал методологический фальсификационизм Это была совершенно новая идея в философии науки, и выдвинута она была именно Поппером, который предложил ее как решение проблем, с которыми не мог совладать догматический фальсификационизм В самом деле, центральной проблемой философии Поппера является противоречие между положениями о том, что наука является критической и в то же вре мя подверженной ошибкам Хотя Поппер предлагал и последовательную формулировку, и критику догмата ческого фальсификационизма, он так и не сделал чет кого разграничения между наивным и утонченным фальсификационизмом.
В одной из своих прежних статей311 я предложил различать три периода в деятельности Поппера Поппер0, Пonnep1 и Поппер2. Поппер0 — догматический фальсификационист, не опубликовавший ни слова он был выдуман и “раскритикован” сначала Айером, а за тем и другими312 В этой статье я надеюсь окончательно прогнать этот призрак Поппер1 — наивный фальсификационист, Поппер2 — утонченный фальсификационист Реальный. Поппер развивался от догматического к наивному методологическому фальсификационизму в 20 х гг, он пришел к “правилам, принятия” утонченного фальсификационизма в 50-х гг.. Этот переход был отмечен тем, что к первоначальному требованию проверяемости было добавлено требование “не зависимой проверяемости”,313 а затем и третье требование о том, чтобы некоторые из независимых проверок приводили к подкреплениям.314 Но реальный Поппер никогда не отказывался от своих первоначальных (наивных) правил фальсификации Вплоть до настоящего времени он требует, чтобы были “заранее установлены критерии опровержения следует договориться относительно того, какие наблюдаемые ситуации, ее ли ни будут действительно наблюдаться, означают, что теория опровергнута”315 Он и сейчас трактует
“фальсификацию” как исход дуэли между теорией и наблюдением без необходимого участия другой, луч-шеи теории Реальный Поппер никогда не объяснял в деталях процедуру аппеляции, по результату которой могут быть устранены некоторые “принятые базисные предложения” Таким образом, реальный Поппер — это Поппер1 с некоторыми элементами Поппера2.
Идея демаркации между прогрессивными и регрессивными сдвигами проблем, как она обсуждалась в этой статье, основана на концепции Поппера; по сути, эта демаркация почти тождественна его известному критерию демаркации между наукой и метафизикой316
Поппер первоначально имел в виду только теоретический аспект проблемных сдвигов, что нашло выражение в гл. 20 [153] и дальнейшую разработку в [157] 317 Впоследствии он добавил к этому обсуждение эмпирического аспекта ([160]).318 Однако запрет, наложенный Поппером на “конвенционалистские уловки” в одних отношениях слишком строг, в других—слишком слаб Он слишком строг, поскольку, согласно Попперу, новый вариант прогрессивной программы никогда не принимает уменьшающую эмпирическое содержание уловку, специально для поглощения аномалии; в таком варианте невозможны констатации вроде следующей “Все тела подчиняются законам Ньютона, за исключением семнадцати аномальных случаев” Но так как необъясненных аномалий всегда сколько угодно, я допускаю такие формулировки объяснение есть шаг вперед (т е. является “научным”), если, по крайней мере, оно объясняет некоторые прежние аномалии, которые не получили “научного” объяснения ранее Если аномалии считаются подлинными (хотя и не обязательно неотложными) проблемами, не так уж важно, придаем ли мы им драматический смысл “опровержений” или снижаем его до уровня “исключений”, в таком случае различие чисто лингвистическое Такой уровень терпимости к ухищрениям ad hoc позволяет продвигаться вперед даже на противоречивых основаниях. Проблемные сдвиги могут быть прогрессивными несмотря на противоречия319 Однако запрет, налагаемый Поппером на уловки, уменьшающие эмпирическое содержание, также слиш ком слаб с его помощью нельзя, например, разрешить “парадокс присоединения” или исключить ухищре-
ния ad hoes. От них можно избавиться только потребовав, чтобы вспомогательные гипотезы формировались в соответствии с положительной эвристикой подлинной исследовательской программы. Это новое требование подводит нас к проблеме непрерывности в науке.
Эта проблема была поднята Поппером и его последователями. Когда я предложил свою теорию роста, основанную на идее соревнующихся исследовательских программ, я опять таки следовал попперовской традиции, которую пытался улучшить. Сам Поппер еще в своей “Логике открытия” 1934 г подчеркивал эвристическое значение “влиятельной метафизики”,320 за что некоторые члены Венского кружка называли его защитником вредной философии.321 Когда его интерес к роли метафизики ожил в 50-х гг, он написал очень интересный “Метафизический эпилог” к своему послесловию “Двадцать лет спустя” к “Логике научного исследования” (в гранках с 1957 г.).322 Но Поппер связывал упорство в борьбе за выживание теории не с методологической неопровержимостью, а скорее, с формальной неопровержимостью. Под “метафизикой” он имел в виду формально определяемые предложения с кванторами “все” или “некоторые” либо чисто экзистенциальные предложения Ни одно базисное предложение не могло противоречить им из за их логической формы Например, высказывание “Для всех металлов существует растворитель” в этом смысле было бы “метафизическим”, тогда как теория Ньютона, взятая сама по себе, таковой не была бы 323 В 50-х гг. Поппер также поднял проблему, как критиковать метафизические теории, и предложил ее решение.324 Агасси и Уоткинс опубликовали несколько интересных статей о роли такой “метафизики” в науке, в которых связывали ее с непрерывностью научного прогресса.325 Мой анализ отличается от них тем, что, во-первых, я иду гораздо дальше в стирании различий между “наукой” и “метафизикой”, в смысле который придан этим терминам Поппером; я даже воздерживаюсь от употребления термина “метафизический” Я говорю только о научных исследовательских программах, твердое ядро которых выступает как неопровержимое, но не обязательно по формальным, а, возможно, и по методологическим причинам, не имеющим отношения к логической форме. Во-вторых, резко отделяя дес-
криптивную проблему историке психологической роли метафизики от нормативной проблемы различения прогрессивных и регрессивных исследовательских программ, я пытаюсь продвинуть решение последней гораздо дальше, чем это сделано ими.
В заключение, я хотел бы рассмотреть “тезис Дюгема—Куайна” и его отношение к фальсификаций низму
Согласно этому тезису, при достаточном воображении любая теория (состоит ли она из отдельного высказывания либо представляет собой конъюнкцию из многих) всегда может быть спасена от “опровержения”, если произвести соответствующую подгонку, манипулируя фоновым (background) знанием, с которым связана эта теория По словам Куайна, “любое предложение может сохранить свою истинность, если пойти на решительную переделку той системы, в которой это предложение фигурирует И наоборот, по той же причине ни одно предложение не обладает иммунитетом от его возможной переоценки”326 Куайн идет дальше и дает понять, что под “системой” здесь можно подразумевать всю “целостность науки” “С упрямством опыта можно совладать, прибегнув к какой либо из многих возможных переоценок какого-либо из фрагментов целостной системы, [не исключая возможной переоценки самого упрямого опыта]”327
Этот тезис допускает двойственную интерпретацию Слабая интерпретация выражает только ту мысль, что невозможно прямое попадание эксперимента в узко определенную теоретическую мишень, и, кроме того, возможно сколько угодно большое разнообразие путей, по которым развивается наука. Это бьет лишь по догматическому, но не по методологическому фальсификационизму, отрицается только возможность опровержения какого либо изолированного фрагмента теоретической системы
При сильной интерпретации тезис Дюгема—Куайна исключает какое бы то ни было правило рационального выбора из теоретических альтернатив; в этом смысле он противоречит всем видам методологического фальсификационизма. Это различие не было ясно проведено, хотя оно имеет жизненное значение для методологии Дюгем, по-видимому, придерживался только слабой интерпретации в теоретическом выборе он видел действие человеческой “проницательности”, пра-
вильный выбор всегда нужен для того, чтобы приблизиться к “естественному порядку вещей”328 Со своей стороны, Куайн, продолжая традиции американского прагматизма Джемса и Льюиса, по-видимому, придерживается позиции, близкой к сильной интерпретации. 329
Рассмотрим подробнее слабую интерпретацию тезиса Дюгема—Куайна Пусть некоторое “предложение наблюдения” О выражает “упрямый опыт”, противоречащий конъюнкции теоретических (и “наблюдательных”) предложений h1, h2, , hn, J1, J2, . , Jn, где h1 — теория, a J1 — соответствующее граничное условие Если запустить “дедуктивный механизм”, можно сказать, что из указанной конъюнкции логически следует О; однако наблюдается О', из чего следует не О Допустим к тому же, что все посылки независимы и все равно необходимы для вывода О.
В таком случае можно восстановить непротиворечивость, изменяя любое из предложений, встроенных в наш “дедуктивный механизм” Например, пусть h, — предложение “Всегда, когда к нити подвешивается груз, превышающий предел растяжимости этой нити, она разрывается”; h2 — “Вес, равный пределу растя жимости данной нити — 1 ф ”, h3 — “Вес груза, подвешенного к этой нити—2 ф ”. Наконец, пусть О— предложение “Стальная гиря в 2 ф подвешена на нити там то и тогда-то, и при этом нить не разорвалась” Возникающее противоречие можно разрешить разными способами
Приведем несколько примеров (1) Мы отвергаем h1; выражение “подвешивается груз” заменяем выражением “прикладывается сила”; вводим новое граничное условие на потолке лаборатории, где производится испытание, прикреплен скрытый от непосредственного наблюдения магнит (или какой-нибудь другой источник, возможно, даже неизвестной нам силы) (2) Мы отвергаем h2; предполагается, что поскольку предел растяжимости нити зависит от ее влажности, а данная нить увлажнена, то предел ее растяжимости==2 ф. (3) Мы отвергаем ha; подвешенная гирька в действительности весит только один фунт, но ее взвесили на испорченных весах (4) Мы отвергаем О, хотя в этом предложении зафиксирован факт, разрыва на самом деле не было, дело в том, что данный факт зафикси-
рован профессором, известным своими буржуазно либеральными взглядами, а его ассистенты, исповедующие революционную идеологию, привыкли истолковывать все, что скажет этот профессор, “с точностью до наоборот”, если факт подтверждается, они видят, что он опровергается (5) Мы отвергаем h3, данная нить— не просто нить, а “супернить”, а “супернити” вообще не рвутся330 Можно продолжать до бесконечности Пока хватает воображения, действительно можно заменить любую из посылок, встроенных в “дедуктивный механизм”, внося изменения в различно удаленные от этого “дедуктивного механизма” части нашего знания и, таким образом, восстанавливая непротиворечивость.
Можно ли из этого вполне банального наблюдения вывести общую формулу “всякая проверка бросает вызов всей целостности нашего знания”? А почему бы и нет? Сопротивление этой “холистской догме относительно “глобального” характера всех проверок”331 со стороны некоторых фальсификационистов вызвано просто семантическим смешением двух различных понятий “проверки” (или “вызова”) упрямого экспериментального результата, имеющего место в нашем знании.
Попперовская интерпретация “проверки” (или “вызова”) состоит в том, что данный результат О противоречит (“бросает вызов”) конечной хорошо определенной конъюнкции посылок Т О&Т не может быть истинной. Но с этим не будет спорить ни один сторон ник тезиса Дюгема—Куайна Куайновская интерпретация “проверки” (или “вызова”) состоит в том, что замещение О&Т может быть вызвано некоторым изменением и вне О и Т. Следствие из О&Т может противоречить некоторому положению Н из какой либо удаленной части нашего знания. Однако никакой попперианец не станет этого отрицать.
Смешение этих двух понятий проверки приводит к некоторым недоразумениям и логическим промахам Кое кто, интуитивно ощущая, что рассуждения по правилу modus tollens, исходящие из опровержения, могут относиться к весьма неявным посылкам из целостности нашего знания, отсюда ошибочно заключают, что ограничение ceteris paribus — это посылка, конъюнктивно соединеная с вполне очевидными посылками Но “удар” может наноситься не рассуждением по modus tollens,
а быть следствием последовательного замещения исходного “дедуктивного механизма” 332
Таким образом, “слабый тезис Куайна” тривиальным рассуждением удерживается Но “сильный тезис Куайна” вызывает протест и наивного, и утонченного фальсификациониста.
Наивный фальсификационист настаивает на том, что из противоречивого множества научных высказываний можно вначале выделить (1) проверяемую теорию (она будет играть роль ореха), затем (2) принятое базисное предложение ( молоток), все прочее будет считаться бесспорным фоновым знанием (наковальня). Дело будет сделано, если будет предложен метод “закалки” для молотка и наковальни, чтобы с их помощью можно было расколоть орех, совершая тем самым “негативный решающий эксперимент” Но наивное “угадывание” в этой системе слишком произвольно, чтобы обеспечить сколько нибудь серьезную закалку (Грюнбаум, со своей стороны, прибегая к помощи теоремы Бэйеса, пытается показать, что по крайней мере “молоток” и “наковальня” обладают высокими степенями вероятности, основанными на опыте, и, следовательно, “закалены” достаточно, чтобы их использовать для колки орехов)333
Утонченный фальсификационист допускает, что любая часть научного знания может быть заменена, но только при условии, что это будет “прогрессивная” замена, чтобы в результате этой замены могли быть предсказаны новые факты При такой рациональной реконструкции “негативные решающие эксперименты” не играют никакой роли Он не видит ничего предосудительного в том, что какая то группа блестящих исследователей сговариваются сделать все возможное, чтобы сохранить свою любимую исследовательскую программу (“концептуальный каркас”, если угодно) с ее священным твердым ядром Пока гений и удача позволяют им развивать свою программу “прогрессивно”, пока сохраняется ее твердое ядро, они вправе делать это Но если тот же гений видит необходимость в замене (“прогрессивной”) даже самой бесспорной и подкрепленной теории, к которой он охладел по философским, эстетическим или личностным основаниям — доброй ему удачи! Если две команды, разрабатывающие конкурирующие исследовательские программы соревнуются между собой, скорее всего, победит та из
них, которая обнаружит более творческий талант, победит — если Бог не накажет ее полным отсутствием эмпирического успеха Путь, по которому следует наука, прежде всего определяется творческим воображением человека, а не универсумом фактов, окружающим его Творческое воображение, вероятно, способно найти новые подкрепляющие данные даже для самых “абсурдных” программ, если поиск ведется с достаточным рвением334 Этот поиск новых подтверждающих данных — вполне естественное явление Ученые выдвигают фантастические идеи и пускаются в выборочную охоту за новыми фактами, соответствующими их фантазиям Это можно было бы назвать процессом, в ко тором “наука создает свой собственный мир” (если помнить, что слово “создает” здесь имеет особый, побуждающий к размышлениям смысл) Блестящая плеяда ученых, получая финансовую поддержку процветающего общества для проведения хорошо продуманных экспериментальных проверок, способна преуспеть в продвижении вперед даже самой фантастической программы или, напротив, низвергнуть любую, даже самую, казалось бы, прочную цитадель “общепризнанного знания”
Здесь догматический фальсификационист в ужасе воздевает руки к небу Пред ним возникает призрак инструментализма в духе кардинала Беллармино, выходящий из под надгробия, под которым он был, казалось, навеки уложен достижениями ньютоновской “доказательно обоснованной науки”. На голову утонченного фальсификациониста падают обвинения в том, что он, дескать, создает прокрустовы матрицы, в которые пытается втиснуть факты Это может даже изображаться как возрождение порочного иррационалистического альянса между грубым прагматизмом Джемса и волюнтаризмом Бергсона, некогда триумфильно побежденного Расселом и Стеббингом.335 На самом же деле утонченный фальсификационизм соединяет в себе “инструментализм” (или “конвенционализм”) со строгим эмпирическим требованием, которого не одобрили бы ни средневековые “спасатели явлений”, вроде Беллармино, ни прагматисты, вроде Куайна, ни бергсонианцы, вроде Леруа это требование Лейбница—Уэвелла—Поппера, согласно которому хорошо продуманное создание матриц должно происходить гораздо быстрее, чем регистрация фактов, кото-
рые должны быть помещены в эти матрицы Пока это требование выполняется, не имеет значения, подчеркивается ли “инструментальный” аспект рождаемых воображением исследовательских программ для выявления новых фактов и надежных предсказаний, или же подчеркивается предполагаемый рост попперовского “правдоподобия; (“venssimilitude”). т е. выясненного различия между истинным и ложным содержанием какой либо из ряда теоретических версий”336 Таким образом, утонченный фальсификационизм объединяет то лучшее, что есть и в волюнтаризме, и в реалистических концепциях роста научного знания
Утонченный фальсификационист не принимает сторону ни Галилея, ни кардинала Беллармино. Он не с Галилеем, ибо утверждает, что наши фундаментальные теории, каковы бы они были, все же могут выглядеть абсурдом и не иметь никакой достоверности для божественного ума; но он и не с Беллармино, если толь ко кардинал не согласится, что научные теории все же могут, в конечном счете, вести к увеличению истинных и уменьшению ложных следствий и, в этом строго специальном смысле, могут увеличивать свое “правдоподобие” 337
ПРИМЕЧАНИЯ
1 Наиболее значительным приверженцем идеала “вероятной истины” в наше время является Р. Карнап. Критический анализ этой концепции и ее исторических предпосылок см в моей работе [93].
2 Основными сторонниками идеала “истины как соглашения” являются М. Поляни и Т.Кун. Критический анализ см.: [134], [135] и [98].*
3 С первых страниц своей книги [89] Т. Кун выступает против “кумулятивной” концепции роста науки. Но своим антикумулятивизмом он обязан прежде всего А Койре, а не К Попперу. А. Койре показал, что позитивизм — плохая методология для историков науки, историческое развитие физики нельзя понять вне контекста, создаваемого чередованием “метафизических” исследовательских программ. Поэтому изменения научного знания связаны с масштабными катаклизмами метафизических революций. Т. Кун принял эту эстафету у Барта и Койре, его книга получила столь широкую известность, в частности, благодаря его меткой и неотразимой критике в адрес джастификационистской историографии, что стало сенсацией в кругу рядовых ученых и историков науки до которых эстафета идей Барта, Койре (или Поппера) еще не дошла Однако, к сожалению, идеи Куна не свободны от авторитаристских и иррационалистских обертонов.
4-5 Джастификационисты не раз подчеркивали эту асимметрию между единичными фактуальными высказываниями и универсальными теориями См., например, рассуждения Р.Попкина о Б.Паскале ([152), с 14) <...> Пробабилисты же полагают, что теории могут быть не менее прочно установленными, чем фактуальные высказывания [“Пробабилисты” — так Лакатос называет тех методологов, которые стремятся использовать аппарат вероятностной логики и математической теории вероятностей в методологических исследованиях, в частности для определения степени вероятности (или подтверждения) научных утверждений” (Никифоров А Л Комментарий к статье И. Лакатоса “История и ее рациональные реконструкции” // Структура и развитие науки Из Бостонских исследований по философии науки М., 1978 С. 473) — Прим перев.]
6 На самом деле кое-кто из этих немногих, вслед за Миллем, отказавшись от явно неразрешимой проблемы индуктивного доказательства (выведения универсального из частных высказываний), перешли к другой проблеме, неразрешимость
которой гораздо менее очевидна, — выведения одних частных фактуальных высказываний из других
7 Основоположники пробабилизма были интеллектуалистами, поздние усилия Карнапа построить эмпирицистский вариант пробабилизма не увенчались успехом См [93], р 367, 361, прим 2.
8 Более подробно см [93], р 353 и далее
9[176], р. 683 О джастификационизме Б.Рассел см.: [91], р. 167.
10 [118], р. 144.
11 Отсюда ясно,почему демаркация между доказуемыми фактуальными и недоказуемыми теоретическими высказываниями имеет такое важное значение для догматического фальсификациониста.
12 “Должны быть заранее установлены критерии опровержения следует договориться относительно того, какие наблюдаемые ситуации, если они будут действительно наблюдаться, означают, что теория опровергнута” ([163], р. 38 [русск. перев с 247]).
13 Цит. по [161] К Поппер замечает “Я полностью согласен [русск перев , с 229]
14 [27], рр 367—368 О “невозможности корректирования” наблюдаемых фактов см [26] Если в приведенном выше отрывке Брейсуэйт дает убедительный ответ на вопрос о научной объективности, то в другом месте он замечает, что “за исключением далеко идущих обобщений наблюдаемых фактов полное опровержение не более возможно, чем полное доказательное обоснование” ([27], р 19)
15 Об этих посылках и их критику см [161], гл 4 и 10 [русск пер с 54—60, 75—78] Вот почему я, вслед за Поппером называю этот вариант фальсификационизма “натуралистическим” “Базисные высказывания” в смысле Поппера не следует смешивать с базисными высказываниями, о которых идет речь в указанных главах. Важно отметить, что эти две посылки принимают и многие джастификационисты, вовсе не являющиеся фальсификационистами к экспериментальным доказательствам они могут добавить “интуитивные” (вслед за Кантом) или “индуктивные” (вслед за Миллем). Наш фальсификационист допускает только экспериментальные доказательства
16Эмпирический базис теории — это множество ее потенциальных фальсификаторов, то есть множество тех предложений наблюдения, которые могут опровергнуть эту теорию
17 Между прочим, Галилей также показал, что, если бы луна была идеально чистой сферой, то она была бы невидимой это следовало из его оптики См.: [64].
18 На самом деле большинство психологов, отвергнувших джастификационистский сенсуализм, сделали это под влиянием философов прагматистов вроде У Джемса, который отрицал объективность знания. И все же влияние Канта — через О.Кюльпе и Ф.Брентано — и Поппера — через Э. Брунсвика и Д.Кэмпбелла — определило водораздел в современной психологи; и если даже в психологии был повержен психологизм, то это благодаря возросшему пониманию идеи объективности, центральной в философии Канта и Поппера
19См. [161], гл. 29 ([русск. перев , с 140]).
20 По видимому, первым философом, подчеркнувшим это, был Фриз в 1837 г. (см. [161], гл 29, прим. 3, русск перев , с 140]) Конечно, это частный случай более общего тезиса о том, что логические характеристики, такие как вероятность или непротиворечивость, относятся к высказываниям Так, например, высказывание “природа непротиворечива” ложно (или, если угодно, бессмысленно), ибо природа не есть вы оказывание (или конъюнкция высказываний)
21 Между прочим, даже это сомнительно.
22 Как говорит Поппер, “фактически окончательного опровержения теории вообще нельзя провести”, а те, кто ожидают какого-то непогрешимого опровержения, чтобы только затем элиминировать теорию, должны ждать вечно и никогда не смогут “извлечь из опыта какую-либо пользу” [161], гл 9, [русск перев , с 74]).
23 Кант и его английский последователь Уэвелл понимали, что все научные высказывания, как априорные, так и апостериорные, в равной степени теоретичны, но они оба полагали что такие высказывания равно доказуемы Кантианцы ясно понимали, что научные высказывания являются теоретическими в том смысле, что они не пишутся ощущениями на tabula rasa пустого сознания, и не выводятся дедуктивно или индуктивно из таких же высказываний Фактуальное высказывание — только частный случай теоретического высказывания В этом Поппер солидарен с Кантом против эмпирицистского варианта догматизма Но Поппер сделал следующий шаг по его мнению, высказывания науки не только теоретичны, они все также погрешимы и предположительны
24 Если гипотетическая планета столь мала, что недоступна даже самым большим из возможных оптических телескопов, он мог бы испробовать какой-нибудь совершенно новый прибор (вроде радиотелескопа), который мог бы позволить “наблюдать” ее, то есть Природу о ней, даже пусть только косвенно (Новая “наблюдательная” теория может сама и не быть четко сформулированной или удостоенной строгой проверки, но это озаботило бы его не более, чем Галилея заботили подобные ситуации).
25 По крайней мере до тех пор, пока некая новая исследовательская программа вытеснит ньютоновскую программу и сможет объяснить это столь упрямое явление В таком случае это явление будет извлечено из забвения и провозглаше но “решающим экспериментом” *
26 Поппер спрашивает “Какого же рода клинические реакции могли бы в глазах психоаналитика опровергнуть не только отдельный его диагноз, но и психоанализ в целом?” ([162], р. 38, [русск перев , с 247]). А какое наблюдение могло бы опровергнуть в глазах ньютонианца не только какое нибудь частное объяснение, но саму теорию Ньютона?
27 Это ограничение ceteris paribus, как правило, не должно рассматриваться как отдельная посылка
28 Кстати, мы могли бы убедить догматического фальсификациониста в том, что его критерий демаркации был очень наивным заблуждением. Отказавшись от него, но сохранив свои основные посылки, он должен был бы изгнать теории из науки и рассматривать рост научного знания как накопление доказательно обоснованных базисных предложений. Это действительно было бы последней фазой классического эмпиризма после того, как испарилась надежда доказывать или по крайней мере опровергать теории фактами
29 См. [161], разд. 8.
30 Ниже, в III разделе будут приведены еще более убедительные примеры.
31 Это разделение и соответствующая терминология заимствована у Поппера; см. [161], гл. 19, [русск. пер. с. 105—107]; [157], гл. 23, прим. 3 к гл. 25 [русск. пер , т. 2, с. 247, 433].
32 Какой ни возьми вариант консервативного активизма, он не может объяснить, почему теория тяготения Ньютона должна быть неуязвимой для критики, кантианцы ограничивались объяснением прочности геометрии Евклида и механики Ньютона. Что же касается ньютоновской гравитационной теории и
его оптики (или других областей науки), то они занимали неясную и временами индуктивистскую позицию.
33 Я не отношу Гегеля к “революционным активистам” Он и его последователи рассматривали изменение концептуальных каркасов как предопределенный, неизбежный процесс, в котором индивидуальное творчество или рациональная критика не играют существенной роли По этой “диалектике” получается, что те, кто устремляются вперед, поступают так же неверно, как и те, кто плетется позади Умно поступает не тот, кто строит лучшую “тюрьму” или разрушает своей критикой старую, а тот, кто всегда идет в ногу с историей. Эта диалектика рассматривает изменение вне связи с критикой
34 См.. [204], [203], [205]
35 См., в частности [149], [150] [русск. перев, с. 5—152], [127], [106], [107] Быть может, одной из главных философских заслуг конвенционалистов было то, что они высветили этот факт любая теория может быть спасена от опровержений “конвенционалистскими уловками” (Последний термин введен Поппером. См критическое обсуждение конвенционализма Пуанкаре в [161], особенно гл 19 и 20, [русск перев , с 105— 112])
36 Пуанкаре вначале разработал свой конвенционализм по отношению к геометрии [149]. Затем Мильо [127] и Леруа обобщили идею Пуанкаре, распространив ее на все разветвления современной физики Пуанкаре [150] с самого начала подвергает строгой критике бергсонианца Леруа, взглядам которого он противопоставляет аргументы, защищающие эмпирический (фальсифицируемый или “индуктивный”) характер всей физики, исключая геометрию и теоретическую механику Дюгем, в свою очередь, критиковал Пуанкаре по его мнению, и ньютоновская механика могла быть опровергнута
37 Loci classici (здесь: самые характерные примеры (лат.) — Прим перев} этих концепции—140] и [154]. Дюгем не был последовательным революционным конвенционалистом Во многом следуя Уэвеллу, он полагал, будто концептуальные изменения суть лишь приготовления к заключительной, хотя, быть может, неблизкой, “естественной классификации”. “Чем совершенней теория, — писал он, — тем в большей степени мы осознаем, что логический порядок в который она выстраивает экспериментально установленные законы, есть отражение некоторого порядка бытия” В частности, он отказывался признать, что механика Ньютона действительно
“рухнула” и называл теорию тяготения Эйнштейна проявлением “безумной и лихорадочной погони за новыми идеями”, которая ввергла физику в настоящий хаос где уже логика сама блуждает в потемках, а здравый смысл в ужасе бежит прочь” (Из предисловия ко II му изданию (1914) его книги [40])
38 [40]. гл VI, § 10
39 [161], гл 30, [русск. перев., с. 145].
40 Я этом разделе я обсуждаю “наивный” вариант попперовского методологического фальсификационизма Поэтому всюду, где в этой главе стоит термин “методологический фальсификационизм, его можно читать как “наивный методологический фальсификационизм”
41 [161], гл. 27, [русск. перев , с. 132].
42 Там же, гл. 28, [русск. перев., с 136—138].
43[161], гл 30 [русск пер, с. 143], [166],рр 2191—292
44 См [163], р. 390 [русск перев, с 360].
45 Обратим внимание, что Поппер весьма тщательно берет термин “наблюдательный” в кавычки, см [161], гл 28 [русск. пер , с 136—137].
46 Такое разграничение играет какую-то роль в первом и в четвертом типах решений методологического фальсификациониста
47 Интересное обсуждение этой темы можно найти у Фейерабенда [57]
48 Можно спросить не лучше ли было бы отказаться от терминологии натуралистического фальсификационизма и окрестить “наблюдательные” теории “пробными теориями”?
49 См [161], гл. 22 Многие философы как-то просмотрели важное замечание Поппера о том, что базисное предложение не может ничего опровергнуть без помощи хорошо подкреп ленной фальсифицирующей гипотезы
50 См [161], гл 30; [русск перев, с 145].
51 См [161], р 387
52 [161], гл 30, 29, [русск. перев , с. 148]
53 [159], р 134; [русск перев. № 10, с 44] В других работах Поппер подчеркивает, что его метод не может “гарантиро-
54 См. [155].
55 [161], гл. 82; [русск. перев., с. 213].
56 Там же, с. 214.
57 В отличие от догматической фальсификации (опровержения), эта “фальсификация” представляет собой прагматическую, методологическую идею. Но что же она означает? Ответ Поппера, с которым я не согласен, заключается в следующем: методологическая “фальсификация” указывает на “необходимость замены фальсифицированных гипотез лучшими гипотезами” ([161], р. 87; [русск. перев., с. 116]). Это хорошо иллюстрирует тот процесс, который описан мной в [92], когда критическая дискуссия изменяет исходную проблему, но оставляет старую терминологию. Побочным результатом оказывается изменение значений терминов.
58 Критерий демаркации догматического фальсификациониста: теория “научна”, если она имеет эмпирический базис.
59 Между прочим, Поппер [161] не совсем четко фиксирует этот момент. Он пишет: “Конечно, можно интерпретировать понятие наблюдаемое событие в психологическом смысле. Однако я использую это понятие в таком смысле, который позволяет заменить его на понятие “событие, характеризующееся положением и движением макроскопических физических тел” ([161], гл. 28; [русск. перев., с. 137]). Например, мы можем признать позитрон, проходящий через камеру Вильсона в момент t0, наблюдаемым событием, хотя сам позитрон имеет отнюдь не макроскопическую природу.
60 См. [161], гл. 68. Действительно, методологический фальсификационизм является философской основой некоторых из наиболее интересных направлений в современной статистике. Подход Неймана — Пирсона полностью основывается на методологическом фальсификационизме. См. также [27], гл. VI. (К сожалению, Брейсуэйт истолковывает попперовский критерий демаркации как водораздел между осмысленными и неосмысленными, а не между научными и не-научными высказываниями.)
61 [153] [русск. перев., с. 237].
62 Там же, с. 238.
63 [159], р. 133; [русск. перев. № 10, с. 44].
64 Обсуждение этого важного понятия попперовской методологии см. в [93], р. 397 и далее.
65 [161], гл. 9; [русск. перев., с. 74].
66 Там же.
67 Там же.
68 О проблеме “управляемого эксперимента” можно сказать только то, что это проблема такой организации экспериментальных условий, при которой сводится к минимуму риск очутиться в зависимости от такого рода решений.
69 В некотором важном смысле этот тип решений относится к той же категории, что и первый тип: такие решения разделяют проблематическое и непроблематическое знание.
70 Все это ясно показывает сложность решений, с помощью которых определяется “эмпирическое содержание” теории, т. е. класс ее потенциальных фальсификаторов. “Эмпирическое содержание” зависит от нашего решения, какие из теорий считать “наблюдательными” и какие аномалии считать контрпримерами. Если сравнивать эмпирическое содержание различных теорий, чтобы определить, какая из них “более научная”, то надо привлечь очень сложную и, следовательно, безнадежно произвольную систему решений, касающихся соответствующих множеств “относительно атомарных предложений” и “сферах применения” этих теорий. (О значении этих (весьма) специфических терминов см. [161], русск. пер., с. 167—172.) Но такое сравнение возможно только тогда, когда одна теория вытесняет другую (см. [161], р. 401, сноска 7). Но даже в этом случае могут встретиться трудности (которые, однако, не приводят к неустранимой “несоизмеримости”).*
71 Это было показано Дж. Уиздомом; см. [210].
Например, “для всех металлов существует некоторое вещество, переводящее их в раствор” или “существует вещество, способное превращать все металлы в золото”. Обсуждение таких теорий содержится в [199] и [201).
73 [177], р. 683.
74 Я уверен, что кое-кто усмотрит в методологическом фальсификационизме “экзистенциалистскую” философию науки.
75 [139]. р. 356.
76 [74], р 621. Агасси [4] идет вслед за Нейратом и Гемпелем, см особенно р. 16 и далее. Скорее забавно, что Агасси пола гает, будто он в этом вопросе выступает против “всей литературы по методологии науки В самом деле, многие ученые вполне понимали трдности, связанные с “конфронтацией теории и фактов” (Ср [49] р. 27) Некоторые философы, симпатизирующие фальсификационизму, подчеркивали, что “процесс отвержения научной гипотезы более сложен, чем кажется на первый взгляд” ([27], р. 20) Но только Поппер нашел конструктивное, рациональное решение
77 [74], р 622 Решительный гемпелевский “тезис эмпирической определенности” только подновляет старые аргументы Нейра-та и некоторые Поппера (против Карнапа, я полагаю), но прискорбно, что он даже не упоминает своих предшественников или единомышленников
78 [139]
79 161], гл 26, [русск перев, с 129]
80 Нейрат, кажется, так и не понял этот простой аргумент
Поппера (см [139])
81 Термин “правдоподобие” взят здесь в попперовском смысл: как разница между истинным и ложным содержанием теории. Оценка правдоподобия связана с известным риском, см [93], р 395 и далее
82 Данная статья может рассматриваться как попытка разработать такую общую теорию См.: [95], [96], [97]
83 Фальсификация теория зависит от высокой степени подкрепления ограничения ceteris paribus. Однако так бывает не всегда Вот почему методологический фальсификационист советует доверять “научному инстинкту” (1161), гл 18[русск.перев , с 101)) или “предчувствию” ([27], р 20)
84 Агасси [1] называет попперовскую идею науки “scientia ne-gativa” (см также [5])
85 Здесь надо вспомнить, что скептик-кунианец стоит перед тем, что я назвал бы “дилеммой ученого-скептика”: всякий ученый скептик, пытаясь объяснить изменчивость своих верований, склонен видеть в собственной психологи некую теоретичность, нечто большее, чем просто верование, — “научное” верование. Юм, опираясь на теорию обучения, в основе которой лежит отношение “стимул—реакция”, пытался изобразить науку как простую систему верований, но так и не задался вопросом, не относится ли его теория обучения к самой себе. Говоря современным языком, можно было бы
спросить, свидетельствует ли популярность философии Куна о том, что признана ее истинность? В таком случае она была бы отброшена. Может быть, она свидетельствует лишь о том, что эта философия привлекательна как новая мода? В таком случае она была бы “верифицирована”. Но пришлась ли бы Куну по вкусу такая “верификация”?
86 Фейерабенд, который сделал, наверное, больше кого-либо другого в распространении идей Поппера; теперь, кажется, примкнул к враждебному лагерю. См. его статью “Утешение для специалиста”. [Частичный руссь перевод см Фейерабенд П. Изб труды по методологии науки М , 1986 С. 109 — 124] ”
87 Термин “предсказание” здесь употреблен в широком смысле, допускающем и “после сказание”
88 Более подробное обсуждение этих правил принятия и отбрасывания со ссылками на работы Поппера см в [93], рр 375—390
89 Например, Мольер смеялся над врачами (“Мнимый больной”), которые на вопрос, почему опиум усыпляет, отвечали, что он обладает усыпляющей силой. Можно даже утверждать, что знаменитое ньютоновское высказывание “Гипотез не измышляю” было в действительности направлено против объяснений ad hoc — подобных его собственным объяснениям сил притяжения при помощи эфирной модели, которые должны были отвести возражения картезианцев.
90 Между прочим, Дюгем соглашался с Бернаром, что одни только эксперименты, без учета соображений “простоты”, могут решить судьбу физиологических теорий, но не физических ([140]. гл VI, § 1)
91 Кестлер справедливо замечает, что миф о большей простоте коперниковской теории был создан Галилеем ([85], р 476); на самом деле, “введение земного движения нисколько не упростило картину, по сравнению со старыми теориями, хотя сомнительные экванты исчезли, система продолжала изобиловать вспомогательными кругами” ([39], гл. XIII)
92 [161], гл 19 и 20 [русск. перев. с. 106, 110] Я детально рассматривал такие уловки, возникавшие в неформальной, псевдо эмпирической математике, именуя их “монстрами” [92], [русск пер с 24]
93 Если я уже знаю P1 “Лебедь А—белый”, то P: “Все лебеди белые” не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2 “Лебедь В — белый” Так называемые эмпирические обобще-
ния не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.
94 Могут спросить, уместен ли термин “сдвиг проблем”. когда речь идет о последовательности теорий, а не проблем. Отчасти я остановился на нем потому, что не нашел лучшего (“сдвиг теорий” звучит скверно), отчасти же потому, что теории всегда проблематичны, они никогда не решают всех проблем, которые стоят перед ними. Как бы то ни было, во второй части этой статьи этот термин в соответствующем контексте будет заменен более естественным термином “исследовательская программа”.
95 В первоначальном варианте [93] я писал: “Теория без добавочного подкрепления не имеет дополнительной объясняющей силы; вот почему, согласно Попперу, она не обеспечивает рост знания, и, следовательно, не является “научной”. . .” (р. 386). Под давлением моих коллег я убрал выделенную часть этого предложения, ибо они считали, что она звучит слишком эксцентрично. Теперь я сожалею об этом.
96 То, что у Поппера понятия “теория” и “последовательность теорий” сливаются в одно, не позволило ему более успешно развить основные идеи утонченного фальсификационизма. Эта двусмысленность привела его к таким по-видимости противоречащим друг другу утверждениям, как “Марксизм [как ядро последовательности теорий или как “исследовательская программа] неопровержим” и в то же время “марксизм [как особая конъюнкция этого ядра и некоторых вспомогательных гипотез, ограничения ceteris paribus и исходных условий] был опровергнут” (см. [163]).
Конечно, нет ничего ошибочного в том, что кто-то назовет отдельную, изолированную теорию “научной”, если она представляет собой шаг вперед по сравнению со своей предшественницей, если при этом ясно понимать, что мы оцениваем теорию как определенный итог — и в контексте—определенного исторического развития знания.
97 [1б7], v. 2, р. 233 [русск. перев., с. 269—270). Более тонкое понимание проблемы проглядывает в следующих замечаниях Поппера: “Мы предпочитаем решать, стоит признавать ее [теорию] или отвергать лишь после того, как исследуем те конкретные, практические выводы из нее, которые могут быть более непосредственно проверены экспериментом”. (Там же, подчеркнуто мною— И. Л.); (перевод уточнен мною.—Прим. перев.].
98 [161], гл. 30; [русск. перев., с. 145].
99 “В большинстве случаев до фальсификации некоторой гипотезы мы имеем в запасе другую гипотезу ([161], р. 87; [русск. перев., с. 116]). Но из наших рассуждений следует, что мы должны иметь другую гипотезу. Как пишет Фейерабенд, “лучшая критика проводится с помощью тех теорий, которые могут заменить устраненных ими соперниц” ([55], р. 227 [русск. перев., с. 425]). Он отмечает, что в некоторых случаях “альтернативы становятся совершенно необходимыми для опровержения тех или иных воззрений” (Там же, р. 254:
[русск. пер., с. 460]). Но согласно нашим рассуждениям, опровержение без альтернатив указывает только на скудость воображения, не способного к выдвижению спасающей гипотезы.
100 См. [93], pp. 387 и далее.
101 В кривом зеркале наивного фальсификационизма новые теории, которые заменяют старые опровергнутые теории, по рождению своему считаются неопровергнутыми. Следовательно, с точки зрения таких теорий нет соответствующего различия между аномалиями и решающими контрпримерами. Аномалия, по их мнению, это только робкий эвфемизм, за которым скрывается контрпример. Но в реальной истории новые теории рождаются уже опровергнутыми. Они наследуют многие аномалии старых теорий. Больше того, часто только новая теория драматически предсказывает тот факт, который еще лишь в будущем станет рассматриваться как решающий контрпример против ее предшественницы, в то время как “старые” аномалии могут продолжать свое существование в виде “новых” аномалий. Все это мы рассмотрим более подробно, когда введем понятие “исследовательской программы”.
102 Утонченный фальсификационизм знаменует собой новую теорию обучения.
103 Очевидно, что теория Т' может иметь добавочное подкрепленное эмпирическое содержание по сравнению с теорией Т и в том случае, когда Т, и Т' опровергнуты. Эмпирическое содержание не связано с истинностью или ложностью. Можно также сравнивать подкрепленное содержание теорий независимо от опровергнутого содержания. Так, можно считать, что элиминация теории Ньютона в пользу теории Эйнштейна вполне рациональна, хотя теория Эйнштейна, точно так же как и ньютоновская, родилась уже “опровергнутой”. Надо только вспомнить, что “качественное подтверждение” — это только эвфемизм для “количественного опровержения”. См [93], pp. 384—386.
104 См. [161], гл. 85 [русск. перев., с. 224].
105 Верно и то, что определенный вид пролиферации соперничающих теорий может играть ту или иную эвристическую роль при фальсификации. Часто бывает, что с эвристической точки зрения, фальсификация зависит от “выдвижения достаточно многочисленных (и оригинальных) теорий, от достаточного разнообразия теорий” ([156], русск. перев., с. 29). Например, мы имеем теорию, которая явным образом не опровергнута. Но может быть так, что предложена новая теория Т', несовместимая с Т, которая столь же успешно, как Т, объясняет известные факты; различия между объяснениями находятся в пределах ошибки наблюдения. В таких случаях мы вынуждены улучшать “экспериментальную технику”, затем совершенствовать “эмпирический базис” таким образом, чтобы иметь возможность фальсифицировать Т или Т' (или обе вместе). “Новая теория нужна для того, чтобы обнаружить недостатки старой” ([163], р. 246). Но роль такой пролиферации случайна, поскольку эмпирический базис подчищен, то спор идет между ним и проверяемой теорией Т, соперничающая с ней теория Т' работает лишь как катализатор.
106 См. также [55], р. 254—255 [русск. перев., с. 461].
107 [161], р. 87; [русск. перев., с. 116].
108 [161], гл. 30; [русск. перев., с. 143].
109 Возможно, было бы лучше в дальнейшем отказаться от обоих терминов сразу, так же как мы уже отказались от таких терминов как “индуктивное (или экспериментальное) доказательство”. Тогда мы могли бы назвать (наивные) “опровержения” аномалиями, а (в утонченном смысле) “фальсифицированные” теории—“вытесненными”. Наш “обычный” язык засорен не только “индуктивистской”, но и фальсификационистской догматикой. Реформа давно назрела.
110 Аргументы в защиту этой теории “обучения из опыта” 1 см. в [б].
111 Отсюда следует, что “обучение на опыте” есть нормативная идея; поэтому все теории о чисто “эмпирическом” обучении ошибочны по самой сути.
112 См. [105]. Слова в скобках показывают, что Лейбниц ставил этот критерий все же на второе место и полагал лучшими те теории, которые доказательно обоснованы. Поэтому позиция Лейбница, как и позиция Уэвелла, слишком далека от зрелого утонченного фальсификационизма.
113 [128], vol. 2, р. 23 [русск. перев., с. 456].
114 К этому сводились аргументы Дж. С. Милля. Они были
направлены против Уэвелла, полагавшего, что “совпадение индукций” или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию [206], pp. 95—96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики.
115 [83], р. 305. См. также [93], р. 394.
116 Это критическое замечание Уэвелла по поводу вспомогательной гипотезы ad hoc, фигурирующей в ньютоновской теории света ([203], vol. 2, р. 317).
117 Если воспользоваться терминологией моей работы [93], это была теория “ad hoc1 ” (p. 389); этот пример первоначально был подсказан мне П. Фейерабендом в качестве образца теории ad hoc, обладающей определенной ценностью.
118 А это уже не “ad hoc1”, a “ad hoc2” (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).
119 Можно сформулировать это условие совершенно ясно в терминах методологии исследовательских программ, которая будет предложена, в § 3: мы сохраняем формально метафизическую теорию в составе “твердого ядра” исследовательской программы до тех пор, пока связанная с ней эвристика обеспечивает прогрессивный сдвиг проблем, в “защитном поясе” вспомогательных гипотез. 120 Это явление было описано в превосходной статье Уэвелла [20], но он не смог объяснить его методологически. Вместо того, чтобы признать победу прогрессивной ньютоновской программы над регрессивной картезианской программой, он полагал, что это была победа доказанной истины над ложностью. Подробнее см.: [98], общее обсуждение проблемы демаркации между прогрессивной и регрессивной редукцией см. [168].
121 [161], гл. 22 [русск. перев., с. 117].
122 [161], р. 107.
123 См. об этом (161], гл. 29 [русск. перев., с. 138).
124 Агасси утверждает, что этот пример показывает, что мы можем “удерживать гипотезу перед лицом известных фактов, надеясь на то, что факты сами приладятся к теории, а не придется искать другой путь” ([4], р. 18). Но каким, образом приладятся факты? При каких особых условиях теория выигрывает спор? Агасси не отвечает на этот вопрос.
125 Понятно, что решение использовать некоторую монотео-
ретическую модель имеет жизненное значение для наивного фальсификациониста, позволяя ему отбросить теорию единственно на основании экспериментальных данных. Это соответствует неизбежному для него строгому различению (по крайней мере, в проверочных ситуациях) двух компонентов научного знания: проблематичного и непроблематичного. И когда он предлагает свою дедуктивную модель критицизма, то в ней именно теория, рассматривается как проблематичное знание. 126 Надо ответить на возможное возражение: “Природа не нужна для того, чтобы узнать о противоречивости ряда теорий. В отличие от ложности, противоречивость может быть установлена и без ее помощи”. На самом деле “НЕТ), произнесенное Природой, в рамках монотеоретической методологии принимает форму усиленного “потенциального фальсификатора”, то есть предложения, которое, так сказать, приписывается Природе и которое является отрицанием нашей теории. В рамках плюралистической методологии “НЕСОВМЕСТИМО” как возглас Природы обретает статус “фактуального” высказывания, сформулированного в свете одной из участвующих в игре теорий, произнесенного, по нашему мнению, Природой; будучи добавленным к предложенным теориям оно превращает их связку в противоречивую систему.
127 Например, в ранее приведенном примере можно попытаться заменить теорию гравитации, затем — радио-оптику; мы выбираем такой путь, который дает более впечатляющий рост знания, более прогрессивный сдвиг проблем.
]28 Критицизм не предполагает вполне четкой дедуктивной структуры: он создает ее. (Кстати, это основная идея моей работы [92].)
129 Классическим примером может служить отношение Ньютона к Флэмстйду, первому королевскому астроному. Так, Ньютон посетил Флэмстида 1 сентября 1694 г., работая в то время над своей лунной теорией. Он предложил Флэмстйду переинтерпретировать некоторые из его данных, так как они противоречили его, Ньютона, теории, причем он точно разъяснил астроному, как это сделать, Флэмстид согласился с Ньютоном и написал ему 7 октября: “С тех пор, как Вы возвратились домой, я проверял наблюдения, которые мною применялись в решении наиболее важных уравнений земной орбиты; рассматривая положения Луны в разные моменты времени. ... я нашел, что Вы можете вычесть из них примерно 20" (если, как Вы уверены, Земля наклонена в ту сторону, на которой в это время находится Луна). Таким образом, Ньютон постоянно критиковал и корректировал “на-
блюдательные” теории Флэмстида. Например, он предлагал ему более стройную теорию рефракции в земной атмосфере. Флэмстид соглашался с этим и скорректировал свои первоначальные “данные”. Можно понять постоянное унижение и постепенно нараставшую ярость этого крупного наблюдателя, чьи данные подвергались критике и улучшались человеком, который, по собственному признанию, сам не делал никаких наблюдений. Именно это чувство, как я догадываюсь, привело в конце концов к злобным личным нападкам.
130 То же самое относится к решениям третьего типа. Если мы отбрасываем стохастическую гипотезу только, когда имеем другую, заменяющую ее в указанном смысле, то точная форма “правил отбрасывания” становится менее важной.
131 [157], vol. 2, гл. 23, р. 218; [русск. перев., т. II. с. 252].
132 Агасси, следовательно, неправ, утверждая, что “данные наблюдения могут считаться ложными, а потому проблема эмпирического базиса устранима” ([4], р. 20).
133 [55], р. 226; [русск. перев., с. 423].
134 Можно было бы сказать, что положительная и отрицательная эвристики дают вместе примерное (неявное) определение “концептуального каркаса” (н, значит, языка). Поэтому, если история науки понимается как история исследовательских программ, а не теорий, в этом приобретает определенный смысл утверждение о том, что история науки есть история концептуальных каркасов или языков науки.
135 [161], гл. 11 и 70. Здесь слово “метафизический” употребляется как технический термин наивного фальсификационизма: высказывание является “метафизическим”, если оно не имеет “потенциальных фальсификаторов”. 136 См. [200]. Уоткинс предупреждает, что “логический разрыв между предложениями и предписаниями в метафизико-методологической сфере обнаруживает себя уже в том, что тот же самый ученый, который отвергает метафизическое учение как таковое, может следовать ему же, если оно выражено в форме предписывающих высказываний (pp. 356—357).
137 Об этой “картезианской исследовательской программе” см. [160] и [200]. pp. 350-351.
138 [100], кн. 4, гл. 11.
139 На самом деле твердое ядро программы, конечно, не возникает в полном боевом снаряжении, подобно Афине из головы Зевса. Оно вырабатывается постепенно в долгом подготовительном процессе проб н ошибок. Но здесь мы не будем обсуждать этот процесс.
140 Реальные примеры приведены в [98]
141 Такое “опровержение” каждый раз успешно отклонялось при помощи “скрытых лемм” то есть таких лемм, которые возникают из ограничения ceteris paribus
142 Если ученый (или математик) обладает положительной эвристикой, он отказывается быть втянутым в наблюдения Он будет “лежать на кушетке закрыв глаза и забыв о данных” (Ср [92], особенно р 300 и далее [русск перев, с 98 и далее], где приведен подробный анализ одной из таких программ) Конечно он между делом задает Природе неглупые вопросы ему нравится, когда Природа отвечает “ДА” но ничуть не огорчает, когда она возражает “НЕТ”
143 Г. Рейхенбах вслед за Кэджори дает иное объяснение за держки Ньютоном публикации его “Начал” “К своему разочарованию он нашел, что наблюдения не согласуются с его результатами вычислений Вместо того чтобы предложить теорию сколь бы ни была она прекрасна не считаясь с факта ми он предпочел положить ее в стол где его рукопись и пролежала так долго Лишь приблизительно двадцать лет спустя после новых измерений окружности земли сделанных французской экспедицией, Ньютон понял что геометрические данные которыми он пользовался проверяя свою теорию были неправильными и что новые данные согласуются с его теоретическими вычислениями И только после этого он опубликовал свой закон Эта история с Ньютоном — одна из самых ярких иллюстраций метода современной науки” ([174], рр 101—102) П Фейерабенд подверг критике описание Рей хенбаха но не дал альтернативного объяснения ([55] р 229)