а) Догматический (натуралистический) фальсификационизм. Эмпирический базис.
Существо разногласий станет яснее, если мы восстановим проблемную ситуацию, как она возникла в философии науки после краха “джастификационизма”.
“Джастификационисты” полагают, будто научное знание состоит из доказательно обоснованных высказываний. Признавая, что чисто логическая дедукция позволяет только выводить одни высказывания из других (переносить истинность), но не обосновывать (устанавливать) истинность, они по-разному решают вопрос о природе тех высказываний, истинность которых устанавливается и обосновывается внелогическим образом. Классические интеллектуалисты (в более узком смысле ― “рационалисты”) допускают весьма различные, но в равной мере надежные типы “внелогического” обоснования ― откровение, интеллектуальную интуицию, опыт. Любые научные высказывания могут быть выведены логически из подобных оснований. Классические эмпирицисты считают такими основаниями только сравнительно небольшое множество “фактуальных высказываний”, выражающих “твердо установленные факты”. Значения истинности таких высказываний устанавливаются опытным путем, и все они образуют эмпирический базис науки. Если требовать, чтобы в основаниях науки не было ничего, кроме узкого эмпирического базиса, то для доказательного обоснования научных теорий нужны более эффективные логические средства, чем дедуктивная логика, которой ограничиваются интеллектуалисты, например, “индуктивная логика”. Все джастификационисты, будь то интеллектуалисты или эмпирицисты, согласны в том, что единичного высказывания, выражающего твердо установленный факт, достаточно для опровержения универсальной теории[1]; но лишь немногие осмеливаются утверждать, что конечной конъюнкции фактуальных высказываний достаточно для “индуктивного” доказательного обоснования универсальной теории.[2]
Джастификационизм, считающий знанием лишь то, что доказательно обосновано, был господствующей традицией рационального мышления на протяжении столетий. Скептицизм не есть отрицание джастификационизма; скептики только полагают, что нет (или не может быть) доказательно обоснованного знания и поэтому нет знания вообще. Они видят в “знании” только разновидность веры, свойственной всем одушевленным существам. Тем самым скептицизм, остающийся джастификационистским, дискредитирует знание, открывая дверь иррационализму, мистике, суевериям.
Поэтому понятны исключительные усилия, предпринимаемые классическими рационалистами, чтобы спасти синтетические априорные принципы интеллектуализма, и классическими эмпирицистами, спасающими определенность эмпирического базиса и значимость индуктивного вывода. Они верны кодексу научной чести, требующему воздерживаться от необоснованных высказываний. Но и те, и другие терпят поражение: кантианцы ― от удара, нанесенного неэвклидовой геометрией и неньютоновской физикой, эмпирицисты ― от логической невозможности положить в основание знания чисто эмпирический базис (еще кантианцы заметили, что никакое научное высказывание не может быть вполне обосновано фактами) и индуктивную логику (никакая логика не может увеличить содержание знания, гарантируя вместе с тем его безошибочность). Отсюда следовало, что все теории в равной степени не могут иметь доказательного обоснования.
Философы неохотно признавали это по очевидным причинам: классические джастификационисты страшились вывода, что если теоретическая наука не имеет доказательного обоснования, то она есть не что иное как софистика и иллюзия, если не бессовестное надувательство. Философское значение пробабилизма (или “нео-джастификационизма”) состояло в попытке избежать такого вывода.
Пробабилизм возник благодаря усилиям группы кембриджских философов, полагавших, что хотя научные теории равно необоснованны, они все же обладают разными степенями вероятности (в том смысле, какой придан этому термину исчислением вероятностей) по отношению к имеющемуся эмпирическому подтверждению.[3] С этой точки зрения, кодекс научной чести не так суров, как кажется: он требует только высокой вероятности научных теорий или хотя бы того, чтобы в каждом конкретном случае были указаны эмпирические подтверждения данной теории и определена вероятность этой теории по отношению к этим подтверждениям.
Конечно, замена доказательной обоснованности вероятностью была серьезным отступничеством джастификационистского мышления. Но и оно оказалось недостаточным. Вскоре было показано, главным образом благодаря настойчивым усилиям Поппера, что при весьма общих условиях все теории имеют нулевую вероятность, независимо от количества подтверждений; все теории не только равно необоснованны, но и равно невероятны.[4]
Многие философы все еще полагают, будто бы, потерпев неудачу в попытках найти хотя бы пробабилистское решение проблемы индукции, мы тем самым вынуждены “отвергнуть все то, что наукой и здравым смыслом рассматривалось как знание”.[5] На этом фоне особенно видна незаурядная роль фальсификационизма, решившегося на радикальное изменение способов оценки научных теорий и, шире, канонов интеллектуальной честности. Фальсификационизм тоже стал, так сказать, новым и значительным отступничеством рационализма. Но это было отступлением от утопических идеалов последнего, оно обнажило путаность и лицемерность многочисленных попыток отстоять эти утопические идеалы и, следовательно, сыграло прогрессивную роль.
Остановимся вначале на наиболее характерном виде фальсификационизма: догматическом (или “натуралистическом”) фальсификационизме. Согласно этой концепции, все без исключения научные теории опровержимы, однако существует некий неопровержимый эмпирический базис. Это ― строгий эмпирицизм, но без индуктивизма; неопровержимость эмпирического базиса не переносится на теории. Поэтому догматический фальсификационизм можно считать более слабым вариантом джастификационизма.
Очень важно подчеркнуть, что само по себе признание (подкрепленного) контрпримера решающим свидетельством против данной теории еще не определяет методолога как догматического фальсификациониста. С этим согласится любой кантианец или индуктивист.
Но и тот, и другой, почтительно склоняя голову перед отрицательным результатом решающего эксперимента, в то же время озабочены прежде всего тем, как получше укрепить пока еще не опровергнутую теорию, отсидеться в ее окопах под критическим обстрелом со стороны другой теории. Например, кантианцы верили в то, что евклидова геометрия и механика Ньютона неприступны; индуктивисты верили, что вероятность этих теорий равна 1. Но догматический фальсификационист прежде всего верит эмпирическому контр-свидетельству, считая его единственным арбитром, выносящим приговор теории.
Поэтому догматического фальсификациониста отличает то, что для него все теории в равной степени гипотетичны. Наука не может доказательно обосновать ни одной теории. Но, не будучи способной доказательно обосновывать, наука может опровергать: “с полной логической определенностью отрекаться от того, что обнаружило свою ложность”[6], а это означает, что допускается существование фундаментального эмпирического базиса ― множества фактуальных высказываний, каждое из которых может служить опровержением какой-либо теории. Фальсификационисты предлагают новый ― надо сказать, довольно умеренный ― кодекс научной чести: они склонны считать “научными” не только те высказывания, которые доказательно обоснованы фактами, но и те, которые всего лишь опровержимы, то есть противоречат некоторым фактуальным высказываниям, другими словами, “научные” высказывания должны иметь непустое множество потенциальных фальсификаторов.[7]
Таким образом, научная честность требует постоянно стремиться к такому эксперименту, чтобы в случае противоречия между его результатом и проверяемой теорией, последняя была отброшена.[8] Фальсификационист требует, чтобы опровергнутое высказывание безоговорочно отвергалось без всяких уверток. С нефальсифицируемыми высказываниями, если это не тавтологии, догматический фальсификационист расправляется без проволочек: зачисляет их в “метафизические” и лишает их права гражданства в науке.
Догматические фальсификационисты четко различают теоретика и экспериментатора: теоретик предполагает, экспериментатор ― во имя Природы ― располагает. Как сказал Вейль: “Раз и навсегда я хочу выразить безграничное восхищение работой экспериментатора, который старается вырвать интерпретируемые факты у неподатливой природы и который хорошо знает как предъявить нашим теориям решительное “нет” или тихое “да”.[9] Очень ясно выразился Брейсуэйт о догматическом фальсификационизме. Он так формулирует вопрос, касающийся объективности научного знания: “В какой степени признанная научными экспертами дедуктивная система может считаться свободным творением человеческого ума, и до какой ― объективным отображением фактов природы?”. И отвечает:
“Способ выдвижения научной гипотезы и то, как ею пользуются для выражения общих суждений ― это человеческое изобретение; у Природы мы получаем только наблюдаемые факты, которыми опровергаются или не опровергаются научные гипотезы… Наука полагается на Природу в том, являются ли какие-то высказывания, относящиеся к низшему уровню научных умозаключений, ложными. Такая проверка совершается при помощи дедуктивной системы научных гипотез, в построении каковой мы обладаем достаточно большой свободой. Человек предлагает систему гипотез; Природа располагает их истинностью или ложностью. Сначала человек придумывает научную систему, а затем проверяет, согласуется ли она с наблюдаемым фактом”.[10]
По логике догматического фальсификационизма, рост науки ― это раз за разом повторяющееся опрокидывание теорий, наталкивающихся на твердо установленные факты. Например, согласно этой концепции, вихревая теория тяготения Декарта была опровергнута ― и отброшена ― тем фактом, что планеты движутся по эллиптическим орбитам, а не по картезианским кругам; теория Ньютона успешно объяснила известные в ее время факты, как те, что объяснялись теорией Декарта, так и те, что служили опровержением последней. Точно так же, если следовать рассуждениям фальсификационистов, теория Ньютона, в свою очередь, была опровергнута ― доказана ее ложность ― фактом аномальности перигелия Меркурия, а теория Эйнштейна справилась с объяснением и этого факта. Все это означает следующее: наука занимается тем, что выдвигает смелые предположения, которые никогда не бывают ни доказательно обоснованны, ни даже признаны вероятными, зато некоторые из них впоследствии устраняются твердо установленными, решительными опровержениями, а на их место приходят еще более смелые, новые и покамест неопровергнутые ― по крайней мере, на первых порах ― гипотезы.
Однако догматический фальсификационизм уязвим. Он зиждется на двух ложных посылках и на слишком узком критерии демаркации между научным и ненаучным знанием.
Первая посылка ― это утверждение о существовании естественной, вытекающей из свойств человеческой психики, разграничительной линии между теоретическими или умозрительными высказываниями, с одной стороны, и фактуальными (базисными) предложениями наблюдения, с другой. (Вслед за Поппером, я назову это натуралистической концепцией наблюдения).
Вторая посылка ― утверждение о том, что высказывание, которое в соответствии с психологическим критерием фактуальности может быть отнесено к эмпирическому базису (к предложениям наблюдения), считается истинным; о нем говорят, что оно доказательно обосновано фактами. (Я назову это учением о доказательном обосновании путем наблюдения [эксперимента]).[11]
Эти две посылки предохраняют от смертельной для догматического фальсификационизма возможности опровержения эмпирического базиса, ложность которого могла бы переноситься дедуктивными процедурами на проверяемую теорию.
К этим посылкам добавляется критерий демаркации: “научными” считаются только те теории, которые исключают некоторые доступные наблюдению состояния дел в исследуемой предметной области и потому могут быть опровергнуты фактами. Иначе говоря, теория “научна”, если у нее есть эмпирический базис.[12]
Однако обе посылки ложны. Психология опровергает первую, логика ― вторую, и, наконец, методологические рассуждения говорят против критерия демаркации. Рассмотрим все это поочередно.
1) Даже беглый обзор нескольких характерных примеров показывает несостоятельность первой посылки. Галилей утверждал, что он мог “наблюдать” горы на Луне и пятна на Солнце, и что эти “наблюдения” опровергли прославленную в веках теорию, согласно которой небесные тела должны быть непорочно чистыми сферами. Но его “наблюдения” не соответствуют критериям, по которым “наблюдаемым” считается только то, что видят невооруженным глазом. Возможности галилеевских наблюдений зависели от возможностей его телескопа, а следовательно, и от оптической теории, на основании которой этот телескоп был изготовлен, что вызывало сомнения у многих современников Галилея.
Аристотелевской теории противостояли не галилеевские наблюдения, чистые, без теоретической примеси, а “наблюдения”, проведенные Галилеем на основе принятой им оптической теории. Именно эти “наблюдения” и противоречили “наблюдениям” Аристотеля, основанным на теории небесных тел Стагирита.[13]
Здесь перед нами prima facie [на первый взгляд (лат.) ― Перев.] примерно равные в своей непоследовательности теории. Кое-кто из эмпирицистов мог бы согласиться с этим и признать, что “наблюдения” Галилея не были настоящими наблюдениями; но все же они верят в то, что можно провести “естественную демаркацию” между предложениями, продиктованными пассивному и не имеющему собственного содержания уму чувствами ― только так, якобы, образуется настоящее “непосредственное знание”, и теми предложениями, которые сформированы теоретически-нагруженными, “нечистыми” ощущениями. Дело в том, что все разновидности джастификационистских теорий познания, считающие источником (единственным или данным) знания чувства, оказываются в тесной зависимости от психологии наблюдения. Именно психология определяет, что такое “правильное”, “нормальное”, “здоровое”, “неискаженное”, “точное” или “научно значимое” состояние чувств ― или даже состояние души как таковой, ― при котором возможно истинное наблюдение. Например, Аристотель и стоики под правильным сознанием понимали сознание человека, здорового с медицинской точки зрения. Современные мыслители признают, что правильное сознание есть нечто большее, чем просто “здоровый дух”. У Декарта ― это сознание, закаленное в горниле скептического сомнения, выжигающего все, кроме cogito, чтобы затем возродить из него ego, способное с помощью Бога познавать истину. Для всех школ современного джастификационизма характерна особая психотерапия, посредством которой они намерены приуготовлять сознание к восприятию блаженства доказанной истины через мистическое соприкосновение. Так, для классических эмпирицистов правильное сознание есть tabula rasa, лишенная всякого первичного содержания, свободная от любых теоретических предрассудков. Но ошеломляющий для классического эмпиризма вывод, следующий из работ Канта и Поппера, а также психологов, испытавших влияние этих мыслителей, заключается в том, что подобная эмпирицистская психотерапия не может быть успешной. Причина в том, что нет и не может быть ощущений, не нагруженных ожиданиями, и следовательно, нет никакой естественной (то есть психологической) демаркации между предложениями наблюдения и теоретическими предложениями.[14]
2) Но даже если бы такая естественная демаркация существовала, вторая посылка догматического фальсификационизма была бы ниспровергнута логикой. Дело в том, что значения истинности предложений “наблюдения” не могут быть однозначно определены: никакое фактуальное предложение не может быть доказательно обосновано экспериментом. Можно только выводить одни предложения из других, но нельзя их вывести из фактов; попытаться доказывать предложения, ссылаясь на показания чувств, все равно, что доказывать свою правоту, “стуча кулаком по столу”.[15] Это элементарная логическая истина, но даже сегодня она усвоена совсем немногими.[16]
Если фактуальные предложения недоказуемы, то они могут быть ошибочными. Но если они могут быть ошибочными, то конфликт между теориями и фактуальными предложениями не обязательно означает “фальсификацию”, это может быть просто несогласованность. Быть может, воображение играет более важную роль при формулировании теорий, чем “фактуальных предложений”[17], но ошибочными могут быть и те, и другие. Следовательно, мы не можем не только доказательно обосновывать теории, но и опровергнуть их.[18] Никакой демаркации между рыхлыми, недоказуемыми “теориями” и жесткими, доказательно обоснованными предложениями “эмпирического базиса” не существует: все научные предложения являются теоретическими и, увы, погрешимыми.[19]
3) Наконец, если бы даже существовала естественная демаркация между предложениями наблюдения и теориями, а истинностное значение первых могло бы быть однозначно установлено, догматический фальсификационизм все же был бы бессилен устранить наиболее значимые теории, обычно называемые научными. Ведь если даже эксперименты могли бы доказательно обосновывать свои результаты, их опровергающая способность была бы до смешного ничтожной: наиболее признанные научные теории характеризуются как раз тем, что не запрещают никаких наблюдаемых состояний.
Чтобы убедиться в этом, рассмотрим одну поучительную историю, прежде чем перейти к общим выводам.
Это история о том, как неправильно вели себя планеты. Некий физик до-эйнштейновской эпохи, пользуясь ньютоновской механикой и законом всемирного тяготения (N) при некоторых данных условиях (I), вычисляет траекторию только что открытой малой планеты Р. Но планета не желает двигаться по вычисленному пути, ее траектория отклоняется. Что делает наш физик? Может быть, он заключает, что, поскольку такое отклонение не предусмотрено теорией Ньютона, а с упрямым фактом ничего поделать нельзя, то, стало быть, теория N опровергнута? Ничуть не бывало.
Вместо этого наш физик выдвигает предположение, что должна существовать пока еще неизвестная планета Р', тяготение которой возмущает траекторию Р. Он садится за расчеты, вычисляет массу, орбиту и прочие характеристики гипотетической планеты, а затем просит астронома-наблюдателя проверить его гипотезу.
Но планета Р' слишком мала, ее не удается разглядеть даже в самые мощные из существующих телескопов. Тогда астроном-наблюдатель требует построить более мощный телескоп, без которого успешное наблюдение невозможно.[20]
Через три года новый телескоп готов. Если бы ранее не известная планета Р' была бы открыта, ученые на весь мир раструбили бы о новом триумфе ньютонианской теории. Но ничего подобного не произошло.
Что же наш физик? Отверг ли он ньютоновскую теорию вместе со своей гипотезой о причине отклонения планеты от вычисленной траектории? Отнюдь! Вместо этого он уверяет, что планета Р' скрыта от нас облаком космической пыли. Он вычисляет координаты и параметры этого облака и просит денег на постройку искусственного спутника Земли, наблюдениями с которого можно было бы проверить его вычисления. Предположим, что установленные на спутнике приборы (возможно, самые новейшие, основанные на еще мало проверенной теории) зарегистрировали бы существование гипотетического облака. Разумеется, это было бы величайшим достижением ньютоновской науки. Но облако не найдено.
Отбросил ли теперь наш ученый теорию Ньютона вместе со своими гипотезами о планете-возмутительнице и облаке, превращающем ее в планету-невидимку? Ничего подобного.
Теперь он уверяет, что существует некое магнитное поле в этом районе вселенной, из-за которого приборы спутника не могут обнаружить пылевое облако. И вот построен новый спутник с другими приборами. Если бы теперь магнитное поле было обнаружено, ньютонианцы праздновали бы головокружительную победу. И снова ― увы!
Может быть, теперь уже можно считать ньютоновскую теорию опровергнутой? Как бы не так. Тотчас выдвигается новая еще более остроумная гипотеза, объясняющая очередную неудачу, либо..
Либо вся эта история погребается в пыльных томах периодики и уже больше никем не вспоминается.[21]
Эта история ясно показывает, что даже самые респектабельные научные теории вроде ньютоновской динамики и теории гравитации могут терпеть неудачу, запрещая какие-либо наблюдаемые положения вещей.[22]
В самом деле, научные теории исключают какие-либо события в определенных (ограниченных в пространстве и времени) уголках Вселенной (“сингулярные” события) только при условии, что эти события не зависят от каких-либо неучтенных (быть может, скрытых в отдаленных и неизвестных пространственно-временных закоулках Вселенной) факторов. Но это значит, что такие теории никогда не могут противоречить отдельному “базисному” предложению; они могли бы противоречить только полной конъюнкции всех базисных предложений, описывающих данное сингулярное событие в пространственно-временных параметрах, и некоторого универсального предложения о несуществовании, то есть такого предложения, в котором утверждалось бы, что никакая неизвестная причина, где бы она ни располагалась во Вселенной, не имеет никакого отношения к данному событию. Но догматический фальсификационист вряд ли станет утверждать, что подобные универсальные предложения о несуществовании могли бы относиться к эмпирическому базису, то есть могли бы проверяться наблюдением и приобретать таким образом доказательную обоснованность.
Можно по-другому сказать, что в структуру научных теорий входит, как правило, ограничение ceteris paribus [при прочих равных условиях (лат ). ― Перев.][23]; в таких случаях теория может быть опровергнута только вместе с этим ограничением. Но если взять теорию без этого ограничения, она уже не может быть опровергнута, так как заменяя ceteris paribus, можно получить уже иную теорию и, следовательно, никакие проверки не могут считаться решающими.
А это значит, что “безжалостная” стратегия опровержения, которой следует догматический фальсификационизм, в этих случаях проваливается, даже если бы мы допустили существование абсолютно непоколебимого эмпирического базиса, как пусковой площадки для разрушительных залпов modus tollens, ведь цель, по которой велся бы огонь, оказывается совершенно неуязвимой.[24] И когда такими целями оказываются наиболее значительные, “зрелые” теории, знаменующие собой целые этапы в истории науки, они prima facie приобретают репутацию “неопровержимых”. Но более того, по критериям догматического фальсификационизма под эту категорию подпадают и все вероятностные (probabilistic) теории, ибо никакая конечная подборка фактов не может опровергнуть универсальную вероятностную теорию[25], такие теории, как и теории с ограничением ceteris paribus, не имеют эмпирического базиса. Но тогда догматический фальсификационист, в соответствии со своими правилами, должен отнести даже самые значительные научные теории к метафизике, где нет места рациональной дискуссии ― если исходить из критериев рациональности, сводящихся к доказательствам и опровержениям, ― поскольку метафизические теории не являются ни доказуемыми, ни опровержимыми. Таким образом, критерий демаркации догматического фальсификациониста оказывается в высшей степени антитеоретическим.
(Кроме того, можно было бы легко показать, что ограничение ceteris paribus является не исключением, а правилом в науке. В конце концов, наука ― не сувенирная лавка, где выставляются напоказ всяческие местные или привозные диковинки. Возьмем высказывание “Все жители Брайтона умерли от саркомы легких в период между 1950 и 1960 гг.”. Оно не содержит в себе ничего логически невозможного и даже может быть истинным. Но поскольку в нем утверждается нечто имеющее лишь микроскопическую вероятность, то оно могло бы заинтересовать какого-нибудь чудака, коллекционирующего курьезы, или иметь ценность черного юмора, но никак не научную ценность. Можно сказать, что высказывание является научным, если только оно выражает какую-либо причинную зависимость; но вряд ли можно предположить, что причиной смерти от саркомы легких является жительство в Брайтоне.
Точно так же следовало бы считать чистейшим курьезом высказывание “Все лебеди белые”, даже если бы оно было истинным, при таком его понимании, когда “лебединость” полагалась бы причиной “белизны”. Тогда наблюдение черного лебедя не могло бы опровергнуть это высказывание, поскольку оно указывало бы только на то, что помимо “лебединости” существуют и другие причины, из-за которых данный лебедь почернел. Поэтому высказывание “Все лебеди белые” ― либо курьез и легко опровержимо, либо научное высказывание с ограничением ceteris paribus, а потому ― неопровержимое. Так мы приходим к выводу, что чем упорнее теория сопротивляется эмпирическим фактам, тем больше оснований считать ее “научной”. “Неопровержимость” превращается в отличительную черту науки).[26]
Итак: классические джастификационисты допускают только доказательно обоснованные теории; нео-классические джастификационисты допускают вероятностно-обоснованные (probable) теории; догматические фальсификационисты приходят к тому, что никакие теории ни в коем случае не могут считаться допустимыми. А ведь они начинали с того, что теории допустимы, если опровержимы, то есть противоречат конечному числу наблюдений. Но если бы даже такие теории существовали, с логической точки зрения, они были бы слишком близкие к эмпирическому базису.
Например, с позиции догматического фальсификациониста, теория “Все планеты движутся по эллиптическим орбитам” может быть опровергнута пятью наблюдениями, следовательно она является научной. Теория “Все планеты движутся по круговым орбитам” может быть опровергнута четырьмя наблюдениями, поэтому догматический фальсификационист будет считать ее еще более научной. И уж самой научной будет теория “Все лебеди белые”, опровержимая одним единственным наблюдением. Но при этом ему придется отрицать научность всех вероятностно обоснованных теорий, включая теории Ньютона, Максвелла, Эйнштейна ― поскольку никакое конечное число наблюдений не может их опровергнуть.
Если принять критерий демаркации догматического фальсификационизма, а также ту идею, что “фактуальные высказывания” доказательно обосновываются фактами, то придется признать, что самые значительные, если не все, теории, когда-либо принятые в науке, являются метафизическими, что большая часть, если не все, из того, что считалось научным прогрессом, на самом деле было псевдопрогрессом, что почти все, если не все, сделанное в науке является иррациональным. Если же мы, приняв этот критерий, вместе с нашим догматическим фальсификационистом все же признаем, что научные высказывания не могут доказательно обосновываться фактами, то нам угрожает полный скептицизм ― вся наука превращается в несомненно иррациональную метафизику и должна быть отброшена. Тогда научные теории не только равно недоказуемы и невероятны, но также и равно неопровержимы. Если признать еще и то, что не только теоретические, но любые высказывания в науке погрешимы, то это значит, что приходит конец всем разновидностям догматического джастификационизма как теории научной рациональности.
б) Методологический фальсификационизм. “Эмпирический базис”
Крушение догматического фальсификационизма под напором фаллибилистских аргументов заставляет вернуться к его предпосылкам. Если все научные предложения суть не что иное как опровержимые теории, их можно подвергать критике только за их логическую непоследовательность. Тогда в каком смысле (если вообще можно найти такой смысл) наука является эмпирической? Если научные теории не могут считаться ни доказуемыми, ни вероятностно обоснованными, ни опровержимыми, то выходит, что скептики, в конечном счете, правы ― наука есть не что иное, как напыщенная спекуляция и нет никакого прогресса научного знания. Можем ли мы еще как-нибудь противостоять скептицизму? Можем ли мы спасти научный критицизм от фаллибилизма? Возможна ли фаллибилистская теория научного прогресса? Ведь если даже научная критика погрешима, то на каком основании можно было бы признать падение научной теории?
Наиболее интригующий ответ дает методологический фальсификационизм. Поскольку это разновидность конвенционализма, нам придется вначале рассмотреть, что такое конвенционализм.
Имеется важное различие между “пассивной” и “активной” теориями познания. “Пассивисты” полагают, что истинное знание ― это тот след, который оставляет Природа на совершенно инертном сознании; активность духа обнаруживается только в искажениях и отклонениях от истины. Самой влиятельной школой пассивистов является классический эмпирицизм. Приверженцы “активной” теории познания считают, что Книга Природы не может быть прочитана без духовной активности, наши ожидания или теории ― это то, с помощью чего мы истолковываем ее письмена.[27] Консервативные “активисты” полагают, что базисные ожидания врождены, благодаря им окружающий нас мир становится “нашим миром”, в котором мы отбываем пожизненное заключение. Идея о том, что мы живем и умираем, не покидая тюрьмы своих “концептуальных каркасов”, восходит к Канту; кантианцы-пессимисты полагают, что из-за этого затворничества реальный мир навсегда остается непознаваемым для нас, а кантианцы-оптимисты уверены в том, что Бог вложил в нас такой “концептуальный каркас”, который в точности соответствует этому миру.[28] “Революционные активисты” верят, что концептуальные каркасы могут развиваться и даже заменяться новыми, лучшими; мы сами строим наши “тюрьмы”, но сами же и перестраиваем их.[29]
Путь от консервативного к революционному активизму, на который ступил Уэвелл, был затем продолжен Пуанкаре, Мильо и Леруа. Уэвелл считал, что развитие теорий идет путем проб и ошибок, когда разыгрываются “прелюдии к индуктивным эпохам”. Затем, когда наступают “индуктивные эпохи”, лучшие из теорий получают доказательное обоснование ― главным образом за счет априорных соображений, называемых им “прогрессивной интуицией”. Затем наступают “последствия индуктивных эпох”; наращивание разработок вспомогательных теорий.[30] Пуанкаре, Мильо и Леруа питали недоверие к идее доказательства через “прогрессивную интуицию” и предпочитали объяснять непрерывные успехи ньютоновской механики методологическим решением ученых. Это значит, что, находясь под впечатлением длительного периода эмпирических успехов этой теории, ученые могут решить, что опровергать эту теорию вообще непозволительно. В соответствии с этим решением, ученые стараются ликвидировать явные аномалии (либо не пытаются сделать это) с помощью вспомогательных гипотез или иных “конвенционалистских уловок”.[31]
Такой консервативный конвенционализм имеет, однако, тот недостаток, что не позволяет освободиться из построенных нами же тюрем, когда первоначальный период проб и ошибок уже пройден и великие решения приняты. Проблема элиминации теорий, торжествовавших в течение длительного времени, таким образом не решается. Согласно консервативному конвенционализму, у экспериментов достает сил, чтобы ниспровергнуть молодые теории, но со старыми, прочно обосновавшимися, это уже не проходит: а это значит, что по мере того, как растет наука, сила эмпирических доводов уменьшается.[32]
Критики Пуанкаре отвергли его идею, сводящуюся к тому, что, хотя ученые сами строят свои концептуальные каркасы, приходит время, когда эти каркасы превращаются в тюрьмы, которые уже нельзя разрушить. Из этой критики выросли две соперничающие школы революционного конвенционализма: симплицизм Дюгема и методологический фальсификационизм Поппера.[33]
Как конвенционалист, Дюгем считает, что никакая физическая теория не может рухнуть от одной только тяжести “опровержений”, но все же она обрушивается от “непрерывных ремонтных работ и множества подпорок”, когда “подточенные червями колонны” больше не могут удерживать “покосившиеся своды”[34]; тогда теория утрачивает свою первоначальную простоту и должна быть заменена. Но если так, то фальсификация теории зависит от чьего-либо вкуса или, в лучшем случае, от научной моды; слишком многое решается тем, насколько сильна приверженность ее некритически мыслящих сторонников.
Поппер вознамерился найти более объективный и более точный критерий. Для него был неприемлем выхолощенный эмпирицизм, от которого не был свободен подход Дюгема, и он предложил методологию, позволяющую считать эксперимент решающим фактором даже в “зрелой” науке. Эта методология соединяет в себе и конвенционализм, и фальсификационизм, но, пишет он, “от (консервативных) конвенционалистов меня отличает убеждение в том, что по соглашению мы выбираем не универсальные, а сингулярные высказывания (пространственно-временные)”[35], а от догматических фальсификационистов ― убеждение в том, что истинностные значения таких высказываний не могут быть доказательно обоснованы фактами, но, в некоторых случаях, устанавливаются по соглашению.[36]
Консервативный конвенционалист (или, если угодно, методологический джастификационист) провозглашает неопровержимость некоторых (пространственно-временных) универсальных теорий, исключительных по своей объяснительной силе, простоте или красоте. Наш революционный конвенционалист (или “методологический фальсификационист”) провозглашает неопровержимость некоторых (пространственно – временных) сингулярных предложений, замечательных тем, что, если существует “соответствующая методика”, то всякий, кто обучится ей, приобретает способность решать вопрос о “приемлемости” данного предложения.[37] Последнее может быть названо “предложением наблюдения” или “базисным предложением”, но лишь в кавычках.[38] Действительно, отбор всех таких предложений зависит от решений, в основе которых лежит не одна только психология. Каждое такое решение сопровождается еще и другим решением, связанным с выделением множества принятых базисных предложений.
Эти два типа решений соответствуют двум посылкам догматического фальсификационизма. Но между ними есть важное различие. Прежде всего, методологический фальсификационист не является джастификационистом, у него нет иллюзий относительно “экспериментальных доказательств” и он вполне осознает и возможную ошибочность своих решений, и степень риска, на который идет.
Методологический фальсификационист отдает себе отчет в том, что в “экспериментальную технику”, которой пользуется ученый, вовлечены подверженные ошибкам теории[39], “в свете которых” интерпретируются факты. И все же, “применяя” эти теории, он рассматривает их в данном контексте не как теории, подлежащие проверке, а как непроблематичное исходное знание (background knowledge), “которое мы принимаем (условно, на риск) как бесспорное на время проверки данной теории”.[40] Он может назвать эти теории, как и предложения, истинностные значения которых определяются им в свете тех же теорий, “наблюдательными”, но это только манера речи, унаследованная от натуралистического фальсификационизма.[41] Методологический фальсификационист использует наиболее успешные теории как продолжения наших чувств, и перечень теорий, которые он готов допустить к проверке других теорий, шире, чем список тех, наблюдательных в строгом смысле, теорий, какие включил бы в него догматический фальсификационист.
Например, представим, что открыта радиозвезда с системой спутников, вращающихся вокруг нее. Проверка теории тяготения на этой планетарной системе, безусловно, представляла бы большой интерес. Допустим, что обсерватория Джодрел Бэнк получила ряд пространственно-временных координат планет, входящих в эту систему, которые несовместимы с данной теорией. Можно рассматривать эти данные как множество потенциальных фальсификаторов. Конечно, эти базисные предложения не являются наблюдениями в прямом смысле, но их можно считать “наблюдениями” в кавычках. Ведь этими предложениями описываются положения планет, не доступные ни человеческому глазу, ни оптическим инструментам. Их истинностные значения зависят от определенной “экспериментальной техники”. Последняя же основывается на применении хорошо подкрепленной радиооптической теории. Назвать такие предложения “наблюдательными” ― не более, чем манера речи; в данном контексте это означает только то, что при проверке теории тяготения методологический фальсификационист относится к радиооптике как к “исходному знанию”, некритически. Для этого вида методологического фальсификационизма характерна необходимость принятия решений, которыми проверяемая теория отграничивается от непроблематичного исходного знания.[42] (Все это очень похоже на то, как Галилей “наблюдал” спутники Юпитера. Как было верно замечено уже современниками Галилея, он опирался на оптическую теорию, которая, если и существовала, то во всяком случае была и менее подкреплена, и даже менее разработана, чем нынешняя радиооптика. С другой стороны, когда зрительные ощущения человека называют “наблюдениями”, это означает только то, что мы “полагаемся” на сомнительную психологическую теорию человеческого зрения.[43])
Это говорит о том, что конвенциональный элемент, как он понимается в данном контексте, позволяет считать теорию “наблюдательной” (в методологическом смысле).[44] Аналогично, конвенциональный элемент присутствует в решении вопроса, какое значение истинности должно быть приписано базисному предложению, принятому уже после того, как мы решили, какую теорию использовать как “наблюдательную”. Единичное наблюдение может быть случайным результатом простой ошибки. Чтобы уменьшить риск, методологический фальсификационист рекомендует принять меры безопасности. Простейшая из них состоит в том, чтобы повторять эксперименты (сколько раз ― это дело соглашения), другая мера ― “усиливать” потенциальные фальсификаторы “хорошо подкрепленными фальсифицирующими гипотезами”.[45]
Методологический фальсификационист также принимает во внимание, что фактически такого рода соглашения приобретают институциональный характер и одобряются научным сообществом; какие фальсификаторы “принимаются”, а какие нет, зависит от вердикта ученых-экспериментаторов.[46]
Именно так методологический фальсификационист устанавливает свой “эмпирический базис”. (Кавычки ставятся специально, чтобы подчеркнуть “ироническое звучание” этого термина.[47] ) Такой “базис” вряд ли соответствует критериям джастификационизма, в нем нет ничего доказательно обоснованного ― этот термин означает “сваи, забитые в болото”.[48]
Конечно, если теория приходит в столкновение с таким “эмпирическим базисом”, она может быть названа “фальсифицированной”, но “фальсификация” здесь не означает опровержения. Методологическая “фальсификация” сильно отличается от догматической фальсификации. Если теория фальсифицирована в смысле догматического фальсификациониста, это значит, что она ложна; но “фальсифицированная теория” все же может быть истинной. Если мы вслед за “фальсификацией” еще и “элиминируем” теорию, то вполне можем элиминировать истинную теорию или сохранить ложную (это как раз то, что должно вызвать праведный гнев у старомодного джастификациониста).
Но тем не менее, методологический фальсификационист советует делать именно это. Он понимает, что если мы хотим примирить фаллибилизм с рациональностью (не джастификационистской), то обязаны найти способ элиминировать некоторые теории. Если это не получится, рост науки будет ни чем иным, как ростом хаоса.
Поэтому методологический фальсификационист призывает: “Чтобы заставить метод отбора посредством элиминации работать и обеспечить выживание только самых добротных теорий, надо создать для них условия суровой борьбы за жизнь”.[49] Раз теория фальсифицирована, она должна элиминироваться, несмотря на связанный с этим риск: “мы работаем с теориями только до тех пор, пока они не падают под проверками”.[50] С методологической точки зрения, элиминация должна быть окончательной: “в общем случае интерсубъективно проверяемую фальсификацию мы считаем окончательной... Подкрепляющая оценка, совершаемая в более поздний период времени…, может заменить позитивную степень подкрепления негативной, но не наоборот”.[51] Выбраться из ложной колеи можно лишь с помощью эксперимента, который “помогает нам сойти с дороги, которая ведет в тупик”.[52]
В отличие от догматического фальсификациониста, методологический фальсификационист различает простое отбрасывание и опровержение.[53] Он ― фаллибилист, но его фаллибилизм не ослабляет его критический запал: подверженные ошибкам высказывания он превращает в “базис”, чтобы продолжать свою твердую политику. На этом основании он предлагает новый критерий демаркации: только те теории, то есть высказывания, не являющиеся “предложениями наблюдения”, которые запрещают определенные “наблюдаемые” состояния объектов и поэтому могут быть “фальсифицированы” и отброшены, являются “научными”. Другими словами, теория является “научной” (или “приемлемой”), если она имеет “эмпирический базис”. В этом критерии четко видна разница между догматическим и методологическим фальсификационизмом.[54]
Методологический критерий демаркации куда более либерален, чем догматический. Методологический фальсификационизм раскрывает перед критицизмом новые горизонты: гораздо больше теорий квалифицируются как “научные”. Мы уже видели, что “наблюдательных” (в кавычках) теорий больше, чем наблюдательных (без кавычек), и, следовательно, “базисных” (в кавычках) предложений больше, чем базисных (без кавычек).[55]
Кроме того, вероятностные теории тоже могут теперь квалифицироваться как “научные”: хотя они не фальсифицируемы, они легко превращаются в “фальсифицируемые” посредством принятия добавочного решения (третьего типа). Это решение ученый может принять, уточнив некоторые правила отбрасывания, которые могут сделать статистически интерпретированное подтверждение “несовместимым” с вероятной теорией.[56]
Но даже эти три решения недостаточны для “фальсификации” теории, которая не может объяснить что-либо “наблюдаемое” без ограничения ceteris paribus. Никакого конечного числа “наблюдений” не достаточно, чтобы “фальсифицировать” такую теорию. Однако, если это так, то можно ли разумно защищать методологию, которая претендует “интерпретировать законы природы и теории как… высказывания, которые частично разрешимы, то есть они ― по логическим основаниям ― не верифицируемы, но асимметричным образом только фальсифицируемы. . .”?[57] Как можем мы интерпретировать теории, подобные теории тяготения и динамике Ньютона, в терминах “частичной разрешимости”?[58] Как в таких случаях, не кривя душой, пытаться “избавиться от ложных теорий ― найти в теории слабые места, чтобы отвергнуть ее, если она в результате проверки оказывается фальсифицированной”?[59] Как мы можем включить их в сферу рациональной дискуссии?
Методологический фальсификационист решает эту проблему, принимая новое решение (четвертого типа): когда мы проверяем теорию вместе с ограничением ceteris paribus и находим, что эта конъюнкция опровергнута, мы должны решить, считать ли это опровержение также и опровержением специфической теории.
Например, можно принять “аномалию” перигелия Меркурия как опровержение конъюнкции из трех элементов ― теории Ньютона, известных граничных условии и ограничения ceteris paribus ― N3. Затем “сурово” проверить граничные условия[60] и, может быть, перевести их в ранг “непроблематичного исходного знания”. Из этого будет следовать, что опровергнута иная конъюнкция, уже из двух элементов ― теории Ньютона и ограничения ceteris paribus ― N2. Теперь надо принимать главное решение: снести и ограничение ceteris paribus в общий котел “непроблематического исходного знания”. Это тоже можно сделать, если ограничение ceteris paribus хорошо подкреплено.
Что означает “суровая” проверка ограничения ceteris paribus? Надо предположить, что существуют другие факторы, воздействующие на данное событие, определить эти факторы и проверить конкретные допущения о них. Если многие из этих допущений опровергнуты, ограничение ceteris paribus может считаться хорошо подкрепленным.
Но если принято решение о “приемлемости” ограничения ceteris paribus, то это влечет за собой очень рискованные последствия. Если это входит в “исходное знание”, то предложения, описывающие перигелий Меркурия, рассматриваются уже не как эмпирический базис N2, а как эмпирический базис самой теории Ньютона, и, следовательно, то, что было простой “аномалией”, становится решающим свидетельством против N1, ее фальсификацией. (Некое событие, описываемое предложением А, можно назвать “аномалией по отношению к теории Т”, если А ― потенциальный фальсификатор конъюнкции Т и ограничения ceteris paribus; но то же предложение становится потенциальным фальсификатором самой теории Т, если принято решение считать ограничение ceteris paribus частью “непроблематического исходного знания”.)
Поскольку наш суровый фальсификационист считает опровержения окончательными, он должен принять судьбоносное решение: элиминировать теорию Ньютона; дальнейшая работа в рамках этой теории объявляется нашим методологом иррациональной. Если же ученый не пойдет на столь смелое решение, он “не сможет извлечь из опыта какую-либо пользу”, оставаясь при мнении, что в его задачу “входит защита столь успешно действующей системы от критики до тех пор, пока эта система не будет окончательно опровергнута”[61]. Тогда он рискует превратиться в апологета, который всегда готов заявить, что “расхождения, которые, мол, существуют между данной теорией и экспериментальными результатами, лежат на поверхности явлений и исчезнут при дальнейшем развитии нашего познания”.[62] Но для фальсификациониста это означало бы поступать “вразрез с той критической установкой, которая… должна характеризовать ученого”[63], что недопустимо.
По излюбленному выражению методологического фальсификациониста, теория должна “сама лезть на рожон”.
Даже в хорошо определенном контексте методологический фальсификационист оказывается в очень затруднительном положении, когда должен принять решение: где же проходит граница между проблематичным и непроблематичным знанием. Затруднение особенно драматично, когда это решение касается ограничения ceteris paribus, когда одно из сотен “аномальных явлений” возводится в ранг “решающего эксперимента” и объявляется, что именно в данном случае эксперимент был “управляемым”.[64]
Таким образом, с помощью этого решения четвертого типа[65] наш методологический фальсификационист в конечном счете получает право считать любую теорию, чья судьба похожа на теорию Ньютона, “научной”.[66]
В самом деле, нет никаких причин, почему бы не сделать и следующий шаг в принятии решений. Что мешает решить, что некая теория, которую даже все эти четыре типа решений не могут превратить в фальсифицируемую, все же должна считаться опровергнутой, если она войдет в противоречие с другой теорией, столь же научной (на тех же, да к тому же предварительно уточненных основаниях) и столь же хорошо подкреплена?[67] Далее, если мы отбрасываем одну теорию из-за того, что ее потенциальные фальсификаторы кажутся истинными в свете некоторой “наблюдательной” теории, то почему бы не отбросить другую теорию из-за того, что она непосредственно входит в столкновение с тем, что может быть отнесено к непроблематическому исходному знанию?
Это уже пятый тип решения, позволяющий элиминировать даже “формально метафизические” теории, то есть утверждения с кванторами “все” и “некоторые” либо чисто экзистенциальные утверждения, поскольку они по самой своей логической форме не могут иметь (пространственно-временных) сингулярных потенциальных фальсификаторов.[68]
Подведем итоги. Методологический фальсификационизм предлагает интересное решение проблемы ― как соединить постоянный критицизм с фаллибилизмом. Он не только предлагает философское основание для фальсификации после того, как фаллибилизм выбил почву из-под ног догматического фальсификационизма, но и значительно расширяет горизонты критицизма. Представив фальсификацию в новом облике, он спасает притягательный кодекс чести догматического фальсификациониста, согласно которому научная добросовестность в том, чтобы задумать и осуществить такой эксперимент, что, если его результат противоречит теории, теория должна быть отброшена.
Методологический фальсификационизм представляет собой заметный шаг вперед по сравнению с догматическим фальсификационизмом и консервативным конвенционализмом. Он рекомендует принимать рискованные решения. Но риск в какой-то момент может перейти в безрассудство, и возникает вопрос, нельзя ли как-то его уменьшить?
Рассмотрим поближе, в чем здесь заключается риск.
В этой методологии, как ни в какой другой разновидности конвенционализма, решения играют действительно критическую роль. Однако решения могут заводить в безвыходные тупики. Методологический фальсификационист понимает это лучше других. Но он полагает, что такой ценой мы платим за возможность прогресса.
Нельзя не отдать должное отваге нашего методологического фальсификациониста. Он, видимо, чувствует себя героем, лицом к лицу столкнувшимся с двумя смертельными опасностями, хладнокровно оценившим их и избравшим меньшее зло. Одна из этих опасностей ― скептический фаллибилизм с его принципом “все проходит”, с отчаянным отрицанием всех интеллектуальных стандартов, а значит, и идей научного прогресса. Ничто не может быть установлено, ничто не может быть отвергнуто, между отдельными системами знания не может быть никакой связи. Рост наук ― возрастание хаоса, строительство Вавилонской башни. Около двух тысяч лет ученые и научно мыслящие философы предпочитали джастификационистские иллюзии, лишь бы не быть ввергнутыми в этот кошмар. Некоторые из них думали, что есть только один-единственный выбор между индуктивистским джастификационизмом и иррационализмом. Б. Рассел писал: “Я не вижу никакого выхода, кроме догматического признания индуктивного принципа или чего-то ему равного; иначе пришлось бы отбросить все или почти все, что наука или здравый смысл признают знанием”.[69] Но наш методологический фальсификационист гордо отвергает такой “эскапизм”. Он отваживается принять удар фаллибилизма, но преодолевает скептицизм, проводя смелую и рискованную политику, а не прячась за догмы. Он вполне сознает степень риска, но настаивает, что выбор только один: между методологическим фальсификационизмом и иррационализмом. Он предпочитает игру с небольшими шансами на победу, но говорит, что это все же лучше, чем просто сдаться без игры.[70]
И правда, те критики наивного фальсификационизма, которые не смогли предложить альтернативного метода критицизма, неизбежно скатывались к иррационализму. Например, Нейрат заявлял, что фальсификация и последующая элиминация гипотез могут стать “препятствием прогрессу науки”[71], но его путаная аргументация не имеет никакой цены, если единственной замеченной им альтернативой является хаос. Гемпель несомненно прав, подчеркивая, что “наука дает множество примеров, когда конфликт между хорошо подтвержденной теорий и каким-то не поддающимся объяснению результатом эксперимента прекрасно разрешается тем, что последний признается как бы не имевшим места, а не принесением в жертву теории”[72], но все же он признает, что не видит иного “фундаментального стандарта”, чем тот, какой выдвинут наивным фальсификационизмом.[73]
Нейрат и, кажется, Гемпель отвергают фальсификационизм как “псевдорационализм”[74], но что такое “настоящий рационализм”? Поппер еще в 1934 г. предупреждал, что “разрешительная” методология Нейрата (точнее было бы сказать, отсутствие методологии) превратила бы науку в не-эмпирическую и, следовательно, иррациональную:
“Нам необходимо некоторое множество правил, ограничивающих произвольность “вычеркивания” (а также и “принятия”) протокольных предложений. Нейрат не формулирует никаких правил такого типа и тем самым невольно выбрасывает за борт эмпиризм…
Любая система может быть оправданной, если кому-либо дозволяется (а по Нейрату, это право предоставляется всем) просто “вычеркнуть” мешающее ему протокольное предложение”.[75]
Поппер соглашается с Нейратом в том, что все высказывания подвержены ошибкам, но он решительно настаивает на том, что прогресс невозможен без твердой рациональной стратегии или метода, которыми следует руководствоваться, когда одни высказывания противоречат другим.[76]
Но не является ли твердая стратегия методологического фальсификационизма, рассмотренная выше, слишком твердой? Не являются ли решения тех, кто придерживается этой стратегии, слишком произвольными? Кое-кто мог бы даже сказать, что методологический фальсификационизм отличается от догматического только тем, что лицемерно уверяет в своей преданности фаллибилизму!
Критиковать теорию критики обычно трудно. Натуралистический фальсификационизм было сравнительно легко опровергнуть, так как он покоится на эмпирической психологии восприятия; можно показать, что он просто ложен. Но как фальсифицировать методологический фальсификационизм? Нет такого бедствия, какое могло бы опровергнуть не-джастификационистскую теорию рациональности. Более того, если бы даже эпистемологическая катастрофа разразилась, как могли бы мы узнать об этом? Мы лишены возможности судить о том, увеличивается или уменьшается правдоподобие наших успешных теорий.[77]
Пока еще нет общей теории критицизма даже в сфере научного знания, не говоря уже о критике теорий рациональности.[78] Следовательно, если мы хотим фальсифицировать методологический фальсификационизм, то нам придется делать это, не имея еще теории, с помощью которой такая критика могла быть обоснована.
Если мы обратимся к истории науки, пытаясь понять, как происходили самые знаменательные фальсификации, нам придется признать, что некоторые из них были явно иррациональными либо покоились на таких принципах рациональности, которые радикально отличались от тех, какие только что обсуждались нами.
Прежде всего, к вящему сожалению фальсификациониста, придется признать, что упрямые теоретики часто и не думали подчиниться экспериментальным вердиктам и действовали так, будто последних вовсе не было. Фальсификационистский “закон и порядок” не мог бы допустить таких вольностей. Следующее затруднение связано с фальсификацией теорий, взятых вместе с ограничением ceteris paribus.[79] По фальсификационистским критериям фальсификация, как она имела место в реальной истории, может выглядеть иррациональной. По этим критериям, ученые часто необъяснимо медлительны. Например, понадобилось целых восемьдесят пять лет, чтобы от признания аномальности перигелия Меркурия перейти к признанию этого же факта как опровержения ньютоновской теории, несмотря на то, что ограничение ceteris paribus было очень неплохо подкреплено. С другой стороны, ученые часто кажутся слишком опрометчивыми. Например, Галилей и его последователи, принявшие коперниковскую гелиоцентрическую небесную механику вопреки множеству свидетельств против вращения Земли; или Бор и его последователи, принявшие теорию светового излучения вопреки тому, что она противоречила хорошо подкрепленной теории Максвелла.
Не так уж трудно заметить две характерные черты и догматического, и методологического фальсификационизма, вступающие в диссонанс с действительной историей науки.
1) проверка является (или должна быть) обоюдной схваткой между теорией и экспериментом; в конечном итоге, только эти противоборствующие силы остаются один на один;
2) единственным важным для ученого результатом такого противоборства является фальсификация: “настоящие открытия ― это опровержения научных гипотез”.[80]
Однако история науки показывает нечто иное: 1') проверка ― это столкновение по крайней мере трех сторон: соперничающих теорий и эксперимента; 2') некоторые из наиболее интересных экспериментов дают скорее подтверждения, чем опровержения.
Но если это действительно так, то история науки не подтверждает нашу теорию научной рациональности. Значит, мы перед выбором. Можно вообще отказаться от попыток рационального объяснения успехов науки. Значение научного метода (или “логики исследования”) в его функции оценки научных теорий и критерия прогресса научного знания в таком случае сводится к нулю. Можно еще, конечно, пытаться объяснять переходы от одних “парадигм” к другим, положив в основание социальную психологию.[81] Это путь Поляни и Куна.[82] Альтернатива этому ― постараться, насколько возможно, уменьшить конвенциональный элемент фальсификационизма (устранить совсем его нам не удастся) и заменить наивный вариант методологического фальсификационизма, характеризуемый приведенными выше тезисами (1) и (2), новой, утонченной версией, которая должна дать более приемлемое основание фальсификации и, таким образом, спасти идею методологии, идею прогресса научного знания. Это путь Поппера, и я намерен следовать по этому пути.
в) Утонченный фальсификационизм против наивного методологического фальсификационизма. Прогрессивный и регрессивный сдвиг проблемы
Утонченный (sophisticated) фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или “критерием демаркации”), так и правилами фальсификации или элиминации. Наивный фальсификационист рассматривает любую теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как “приемлемую” или “научную”. Для утонченного фальсификациониста теория “приемлема” или “научна” только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведет к открытию новых фактов. Это условие можно разделить на два требования: новая теория должна иметь добавочное эмпирическое содержание (“приемлемость1”); и некоторая часть этого добавочного содержания должна быть верифицирована (“приемлемость2”). Первое требование должно проверяться непосредственно, путем априорного логического анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя.
Наивный фальсификационист считает, что теория фальсифицируется “подкрепленным” предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею[83]; 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена.[84]
Чтобы оценить эти определения, надо понять исходные проблемы и их следствия. Во-первых, вспомним методологическое открытие конвенционалистов, состоящее в том, что никакой экспериментальный результат не может убить теорию; любую теорию можно спасти от контрпримеров посредством некоторой вспомогательной гипотезы либо посредством соответствующей переинтерпретации ее понятий. Наивный фальсификационист решает эту проблему тем, что относит (в решающих контекстах) вспомогательную гипотезу к непроблематическому исходному знанию, выводя ее из дедуктивного механизма проверочной ситуации, насильно помещая проверяемую теорию в логическую изоляцию, где она и становится удобной мишенью под обстрелом проверяющих экспериментов. Но поскольку эта процедура не является удовлетворительным способом рациональной реконструкции истории науки, мы вправе предложить иной подход.
Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков.[85] Мы уже видели, что Дюгем приближался к формулировке таких ограничений в терминах “простоты” и “здравого смысла”. Но когда защитный пояс теоретических уловок утрачивает “простоту” до такой степени, что данная теория должна быть отброшена?[86] Например, в каком смысле теория Коперника “проще”, чем теория Птолемея?[87] Смутное дюгемовское понятие “простоты”, как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.
Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение ― утонченный вариант методологического фальсификационизма ― более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и не-научные способы удержания теории, рациональные и не-рациональные изменения теоретического знания. Согласно Попперу, удержание теории, с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, ― есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы “гипотезами ad hoc”, чисто лингвистическими выдумками, “конвенционалистскими уловками”.[88]
Но это означает, что оценка любой научной теории должна относиться не только к ней самой, но и ко всем присоединяемым к ней вспомогательным гипотезам, граничным условиям и т. д., и что особенно важно, следует рассматривать эту теорию вместе со всеми ее предшественницами так, чтобы было видно, какие изменения были внесены именно ею. Поэтому, конечно, нашей оценке подлежит не отдельная теория, а ряд или последовательность теорий.
Теперь легко понять, почему критерии “приемлемости” и “отвержения” утонченного методологического фальсификационизма сформулированы именно так, а не иначе. Но все же стоит сформулировать их более ясно, введя понятие “последовательностей теорий”.
Рассмотрим последовательности теорий ― T1, T2, Т3, …, где каждая последующая теория получена из предыдущей путем добавления к ней вспомогательных условий (или путем семантической переинтерпретации ее понятий), чтобы устранить некоторую аномалию. При этом каждая теория имеет, по крайней мере, не меньшее содержание, чем неопровергнутое содержание ее предшественницы.
Будем считать, что такая последовательность теорий является теоретически прогрессивной (или “образует теоретически прогрессивный сдвиг проблем”), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и эмпирически прогрессивным (или “образует эмпирически прогрессивный сдвиг проблем”), если какая-то часть этого добавочного эмпирического содержания является подкрепленным, то есть, если каждая новая теория ведет к действительному открытию новых фактов.[89] Наконец, назовем сдвиг проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным ― если нет.[90]
Мы “принимаем” сдвиги проблем как “научные”, если они, по меньшей мере, теоретически прогрессивны; если нет, мы отвергаем их как “псевдонаучные”. Прогресс измеряется той степенью, в какой ряд теорий ведет к открытию новых фактов. Теория из этого ряда признается “фальсифицированной”, если она замещается теорией с более высоко подкрепленным содержанием.
Это различие между прогрессивным и регрессивным сдвигами проблем проливает новый свет на оценку научных ― может быть лучше сказать, прогрессивных ― объяснений. Если для разрешения противоречия между предшествующей теорией и контрпримером мы предлагаем такую теорию, что она вместо увеличивающего содержания (т.е. научного) объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то противоречие разрешается чисто словесным, не-научным способом. Данный факт объяснен научно, если вместе с ним объясняется также и новый факт.[91]
Утонченный фальсификационизм, таким образом, сдвигает проблему с оценки теорий на оценку ряда (последовательности) теорий. Не отдельно взятую теорию, а лишь последовательность теорий можно называть научной или не-научной. Применять определение “научная” к отдельной теории ― решительная ошибка.[92]
Всегда почитаемым эмпирическим критерием удовлетворительности теорий было согласие с наблюдаемыми фактами. Нашим эмпирическим критерием, применимым к последовательности теорий, является требование производить новые факты. Идея роста науки и ее эмпирический характер соединяются в нем в одно целое.
Эта новая версия методологического фальсификационизма имеет много новых черт. Во-первых, она отрицает, что “в случае научной теории наше решение зависит от результатов экспериментов. Если они подтверждают теорию, мы принимаем ее на то время, пока не найдется более подходящая теория. Если эксперименты противоречат теории ― мы отвергаем ее”.[93] Она отрицает, что “окончательно решает судьбу теории только результат проверки, то есть соглашение о базисных высказываниях”.[94]
Вопреки наивному фальсификационизму, ни эксперимент, ни сообщение об эксперименте, ни предложение наблюдения, ни хорошо подкрепленная фальсифицирующая гипотеза низшего уровня не могут сами по себе вести к фальсификации. Не может быть никакой фальсификации прежде, чем появится лучшая теория.[95]
Но тогда характерный для наивного фальсификационизма негативизм исчезает; критика становится более трудной, но зато более позитивной, конструктивной. В то же время, если фальсификация зависит от возникновения лучших теорий, от изобретения таких теорий, которые предвосхищают новые факты, то фальсификация является не просто отношением между теорией и эмпирическим базисом, но многоплановым отношением между соперничающими теориями, исходным “эмпирическим базисом” и эмпирическим ростом, являющимся результатом этого соперничества. Тогда можно сказать, что фальсификация имеет “исторический характер”.[96]
Надо добавить, что иногда теории, вызывающие фальсификацию, предлагались уже после того, как обнаруживался “контрпример”. Это может звучать парадоксально для тех, кто находится под гипнозом наивного фальсификационизма. Действительно, эта эпистемологическая теория отношений между теорией и экспериментом резко отличается от эпистемологии наивного фальсификационизма. Не годится уже сам термин “контрпример”. Ведь никакой экспериментальный результат нельзя рассматривать как “контрпример” сам по себе. Если же нам хочется сохранить этот популярный термин, мы должны переопределить его следующим образом:
“Контрпример по отношению к T1” ― это подкрепленный пример Т2, которая или несовместима с T1 или независима от нее (с условием, что Т2 ― это теория, удовлетворительно объясняющая эмпирический успех Т1). Это показывает, что “решающий контрпример” или “критический эксперимент” могут быть признаны таковыми среди множества аномалий только задним числом в свете некоторой новой, заменяющей старую, теории.”[97]
Таким образом, решающим моментом фальсификации является следующее: дает ли новая теория новую, добавочную информацию по сравнению со своей предшественницей, и подкреплена ли какая-то часть этой добавочной информации? Джастификационисты высоко ценили “подтверждения” теории. Наивные фальсификационисты выдвигали на первый план “опровержения”. Методологические фальсификационисты полагали, что решающую роль играет подкрепленная добавочная информация. Именно к этому направлено все внимание. Тысячи тривиальных верифицирующих примеров или сотни известных аномалий ― это все уходит на задний план; на авансцену выходят немногие случаи, когда добавочное содержание получает подкрепление.[98] Это заставляет вспомнить и вновь осмыслить древнюю пословицу: Exemplum docet, exampla obscurant. (Пример поясняет, множество примеров запутывает. ― Перев.).
“Фальсификация”, как ее понимает наивный фальсификационист (подкрепленный контрпример) не достаточна для элиминации некоторой специальной теории; несмотря на сотни известных аномалий, мы не признаем ее фальсифицированной (а значит, и элиминированной), пока нет лучшей теории.[99] Больше того, “фальсификация” в этом смысле не является и необходимым условием для фальсификации, как ее понимает утонченный фальсификационизм; прогрессивный сдвиг проблем не обязательно связан с “опровержениями”. Наивные фальсификационисты уверены, что рост науки имеет линейный характер: за теориями следуют опровержения, которые элиминируют их, а за опровержениями следуют новые теории.[100] Очень может быть, что “прогресс” в последовательности теорий происходит так: опровержение n-й теории является в то же время и подкреплением п+1-й теории. Лихорадка проблем в науке возникает скорее из-за быстрого размножения (пролиферации) соперничающих теорий, а не умножения контрпримеров и аномалий.
Отсюда видно, что лозунг пролиферации теорий более важен для утонченной версии фальсификационизма, чем для наивной. По мнению наивного фальсификациониста, наука развивается посредством повторяющихся экспериментальных “опровержений” теорий: новые соперничающие теории, предлагаемые до таких “опровержений”, могут быстро разрастаться, но абсолютной необходимости быстрого размножения теорий не требуется.[101] Согласно утонченному фальсификационисту, пролиферация теорий не обязательно связана с опровержением теории или с кризисом доверия к парадигме, в смысле Т. Куна.[102] В то время как наивный фальсификационист подчеркивает “необходимость замены фальсифицированных гипотез лучшими гипотезами”[103], утонченный фальсификационист подчеркивает необходимость замены любой гипотезы лучшей гипотезой. Фальсификация не может заставить теоретика “заняться поисками лучшей теории”[104] просто потому, что фальсификация не предшествует лучшей теории.
Сдвиг проблем от наивного к утонченному фальсификационизму связан с семантическим затруднением. Для наивного фальсификациониста “опровержением” является экспериментальный результат, который в силу принятого им решения, вступает в конфликт с проверяемой теорией. Но, согласно утонченному фальсификационизму, такого решения нельзя принимать раньше, чем пресловутый “опровергающий пример” станет подтверждающим примером новой, лучшей теории. Следовательно, где бы ни встретился термин типа “опровержение”, “фальсификация”, “контрпример”, мы в каждом случае должны разбираться, в каком смысле ― наивного или утонченного фальсификационизма ― они употреблены.[105]
Утонченный методологический фальсификационизм предлагает новые критерии интеллектуальной честности. Джастификационистская честность требовала принимать только то, что доказательно обосновано, и отбрасывать все, что не имеет такого обоснования. Нео-джастификационистская честность требовала определения вероятности любой гипотезы на основании достижимых эмпирических данных. Честность наивного фальсификационизма требовала проверки на опровержимость, отбрасывания нефальсифицируемого и фальсифицированного. Наконец, честность утонченного фальсификационизма требует, чтобы на вещи смотрели с различных точек зрения, чтобы выдвигались теории, предвосхищающие новые факты, и отбрасывались теории, вытесняемые другими, более сильными.
В утонченном методологическом фальсификационизме соединились несколько различных традиций. От эмпирицистов он унаследовал стремление учиться прежде всего у опыта. От кантианцев он взял активистский подход к теории познания. У конвенционалистов он почерпнул важность решений в методологии.
Надо подчеркнуть еще одну отличительную черту утонченного методологического эмпиризма ― решающую роль, какую играет добавочное подкрепление. Для индуктивистов новая теория характеризуется тем, каково количество подтверждающих ее данных; опровергнутая теория уже никого и ничему научить не может (учиться можно только доказательно обоснованному или вероятному знанию). Догматическому фальсификационисту важнее всего знать, опровергнута ли теория, что касается подтвержденных теорий, то они не выступают для него ни как доказательно обоснованные, ни как вероятные; да и об опровергнутых теориях можно сказать только то, что они опровергнуты.[106]
Для утонченного фальсификационизма в теории важнее всего, что она позволяет предсказывать новые факты; можно сказать прямо, что для той версии попперовского эмпиризма, которую я отстаиваю, соответствующим значением обладают лишь те факты, какие способна предсказать теория. Эмпиризм (то есть научность) и теоретическая прогрессивность неразрывно связаны.[107]
Эта мысль не так уж нова. Лейбниц, например, в известном письме к Конрингу в 1678 г. писал: “Лучшей похвалой гипотезе (когда ее истинность уже доказана) является то, что с ее помощью могут быть сделаны предсказания о неизвестном ранее явлении или еще небывалом эксперименте”.[108] Точка зрения Лейбница была широко поддержана учеными. Но с тех пор, как оценка научной теории в до-попперовской методологии рассматривалась как оценка степени ее подтверждения, позиция Лейбница некоторыми логиками подвергалась критике как неприемлемая. Например, Дж. С. Милль в 1843 г. высказывал недовольство тем, что “существует мнение, что гипотеза… вправе рассчитывать на более благоприятный прием, если, объясняя все ранее известные факты, она, кроме того, позволила предусмотреть и предсказать другие факты, проверенные впоследствии на опыте”.[109] Милль целит точно: действительно, такая оценка противоречит и джастификационизму, и пробабилизму. В самом деле, почему мы должны считать, что некое событие, если оно предвосхищено теорией, имеет для нас большую познавательную ценность, чем если бы оно было известно до теоретического предсказания? До тех пор, пока доказательная обоснованность считается единственным критерием научности, критерий Лейбница будет выглядеть непригодным.[110] Подобным же образом, если рассматривать отношение между вероятностью теории и эмпирическими данными, то, как заметил Дж. Кейнс, оно не может зависеть от того, получены ли данные до теоретических предсказаний или после них.[111]
Но несмотря на столь убедительные аргументы джастификационистской критики, критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к гипотезам ad hoc, которые “хотя и верно выражают факты, для объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями”.[112]
Но только Поппер заметил, что бросающееся в глаза несоответствие между несколькими разрозненными возражениями против гипотез ad hoc, с одной стороны, и внушительным сооружением джастификационистской теории познания, с другой, устраняется именно разрушением джастификационизма, а также введеднием нового, не джастификационистского критерия оценки научных теорий, основанного на неприятии гипотез ad hoc.
Рассмотрим несколько примеров. Теория Эйнштейна не потому лучше ньютоновской, что последняя была “опровергнута”, а первая нет: по отношению к теории Эйнштейна известно множество “аномалий”. Теория Эйнштейна лучше, чем теория Ньютона “образца 1916 года”, иначе говоря, знаменует собой прогресс научного знания по сравнению с ньютоновской теорией (то есть теорией гравитации, законами динамики, известным рядом граничных условий, но также и списком известных аномалий, таких как перигелий Меркурия), потому что она объяснила все, что успешно объясняла ньютоновская теория, но при этом в определенной степени объяснила и эти аномалии; кроме того, она наложила запрет на такие явления, как прямолинейное распространение света вблизи больших масс, о чем в теории Ньютона не было ни слова, зато другие хорошо подкрепленные теории того времени такие явления допускали; и, наконец, некоторые фрагменты добавочного содержания эйнштейновской теории были реально подкреплены ранее непредвиденными фактами (например, измерительными данными, полученными при наблюдении полного солнечного затмения).
В то же время, следуя тому же критерию, надо признать, что теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была теория ad hoc, а значит, бесполезная с эвристической точки зрения.[113]
Прекрасный пример теории, удовлетворяющей только первой части попперовского критерия прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это теория Бора – Крамерса - Слэтера 1924 г. Эта теория была опровергнута во всех ее новых предсказаниях.[114]
Наконец, рассмотрим вопрос, много ли осталось конвенционалистских моментов в утонченном фальсификационизме. Конечно, меньше, чем в наивном фальсификационизме. Нам требуется гораздо меньше методологических решений. “Решение четвертого типа”, которое играло существенную роль в наивном методологическом фальсификационизме, теперь совершенно излишне. Чтобы показать это, достаточно уяснить, что в том случае, когда научная теория (совокупность “законов природы”) в сочетании с граничными условиями и вспомогательными гипотезами, но без ограничения ceteris paribus, вступает в противоречие с некоторыми фактуальными предложениями, то нам не нужно принимать решение, какую ― явную или “скрытую” ― часть этой композиции следует заменить. Мы можем пытаться заменить любую часть, и только когда мы напали на объяснение аномалии с помощью какого-то изменения теории, приведшего к увеличению содержания, или с помощью вспомогательной гипотезы, а природа позволила нам подкрепить это объяснение, тогда мы, действительно, встали на путь элиминации “опровергнутой” композиции. Таким образом, утонченная фальсификация идет медленнее, но зато более надежна, чем наивная фальсификация.
Возьмем еще один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких факторов нет: возможно, они руководствуются метафизическими принципами, вроде того, что любое объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие.
Должны ли мы похвалить первых, назвав их “критическими мыслителями”, побранить вторых “филистерами”, а третьих осудить как “апологетов”? Ни в коем случае. Нам вообще не нужны никакие выводы относительно подобных “опровержений”. Мы никогда не отвергнем какую-то теорию просто потому, что она не выполнила чьих-то указов. Если перед нами противоречие, о каком шла речь выше, то нам нет нужды решать, какие части нашей композиции проблематичны, а какие ― нет. Мы рассматриваем все эти части как проблематичные по отношению к принятому базисному предложению, которое противоречит их конъюнкции, и пытаемся заменить их все. Если удается заменить какую-то часть композиции, так, чтобы это вело к “прогрессу” (то есть, если в результате замены увеличилось подкрепленное эмпирическое содержание по сравнению с предшествующим элементом композиции), мы назовем ее “фальсифицированной”.
Нам больше не нужны и решения пятого типа, столь важные для наивного фальсификациониста. Это станет очевидно, если по-новому посмотреть на проблему оценки (формально) метафизических теорий, а также на проблему их удержания и элиминации. “Утонченное” решение ясно. Формальная теория удерживается до тех пор, пока проблематичные примеры смогут быть объяснены путем изменения вспомогательных гипотез, присоединенных к этой теории, при котором увеличивается эмпирическое содержание.[115]
Возьмем, к примеру, метафизическое картезианское суждение С: “все природные процессы являются механизмами, подобными часам, которые регулируются неким (априори) духовным началом”. Это суждение по самой своей форме неопровержимо, ибо не может войти в противоречие ни с каким сингулярным “базисным предложением”, сформулированным в пространственно-временной терминологии. Конечно, оно может противоречить некоторой опровержимой теории типа N: “гравитация ― сила, действующая на расстоянии и вычислимая по формуле fm1m2/r2”. Но N будет противоречить С только в том случае, если “действие на расстоянии” понимается буквально, да еще к тому же как окончательная истина, как нечто несводимое к какой-либо более глубокой причине. (Поппер назвал бы это “эссенциалистской” интерпретацией.)
С другой стороны, мы можем рассматривать “действие на расстоянии” как некую опосредующую причину. В таком случае “действие на расстоянии” понимается уже не буквально, а фигурально, это понятие превращается в стенографический значок, сокращенную запись того, что можно было бы назвать скрытым механизмом действия через соприкосновение. (В параллель Попперу, можно было бы назвать это “номиналистской” интерпретацией.)
В таком случае можно попытаться объяснить N с помощью С. Именно так пытались сделать сам Ньютон и некоторые французские физики XVIII века. Если вспомогательная теория, при помощи которой достигается такое объяснение (если угодно, “редукция”), обеспечивает знание новых фактов (т. е. является “независимо проверяемой”), то можно рассматривать картезианскую метафизику как хорошую, научную, эмпирическую метафизику, благодаря которой наступает прогрессивный сдвиг проблем. Прогрессивная формально метафизическая теория обеспечивает устойчивый прогрессивный сдвиг проблем в своем защитном поясе вспомогательных теорий. Но если редукция этой теории к “метафизической” основе не дает нового эмпирического содержания, не говоря уже о новых фактах, то такая редукция представляет регрессивный сдвиг проблемы и является просто языковым упражнением. Усилия картезианцев, направленные на то, чтобы подправить свою метафизику с тем, чтобы объяснить ньютоновскую гравитацию, как раз являются ярким примером такой чисто языковой редукции.[116]
Таким образом, вопреки призывам наивного фальсификационизма, мы не элиминируем формально метафизическую теорию, если она сталкивается с хорошо подкрепленной научной теорией. Но мы элиминируем ее, если она, в конечном счете, приводит к регрессивному сдвигу проблем, и при этом имеется лучшая, соперничающая с ней, метафизика для ее замены. Методология исследовательских программ с “метафизическим” ядром не отличается от методологии исследовательских программ с “опровержимым” ядром, исключая, быть может, только логические противоречия, элиминация которых представляет собой движущую силу программы.
(Следует подчеркнуть, однако, что сам выбор логической формы, в которой выступает теория, в большой степени зависит от нашего методологического решения. Например, вместо того, чтобы формулировать картезианскую метафизику как высказывание с кванторами общности и существования, можно сформулировать ее как высказывание только с квантором общности: “Все естественные процессы подобны часовому механизму”. Тогда “базисное предложение”, противоречащее этому, будет звучать так: “А есть естественный процесс, и А не подобно часовому механизму”. Вопрос в том, может ли предложение “X не подобен часовому механизму” считаться “установленным” ― в соответствии с “экспериментальной техникой” или, вернее, с интерпретативными теориями данного времени ― или нет. Следовательно, рациональный выбор логической формы теории зависит от состояния нашего знания. Например, метафизическое предложение с кванторами общности и существования, сформулированное сегодня, завтра, когда произойдут изменения уровня наблюдательных теорий, может превратиться в научное универсальное (с квантором общности) предложение. Я уже показал, что только последовательность теорий, а не отдельные теории могут квалифицироваться как научные или не-научные, сейчас я показал, что даже логическая форма теории может быть выбрана рационально только на основании критической оценки исследовательской программы, в которую входит эта теория ).
Первого, второго и третьего типа решений наивного фальсификационизма избежать нельзя, но, как мы покажем, конвенциональный элемент во втором типе решений, как и в третьем, может быть несколько уменьшен. Мы не можем уклониться от решения, какие высказывания считать “предложениями наблюдения”, а какие ― “теоретическими” предложениями. Мы не можем уклониться и от решений относительно истинности некоторых “предложений наблюдения”. Эти решения необходимы, чтобы установить, является ли сдвиг проблем эмпирически прогрессивным или регрессивным. Утонченный фальсификационист, по крайней мере, может ослабить произвольность этого решения (второго типа), допуская процедуру апелляции.
Наивные фальсификационисты не обращают внимания на возможность каких-либо апелляций. Они принимают базисное предложение, если оно поддержано хорошо подкрепленными фальсифицирующими гипотезами[117], и позволяют ему опрокидывать проверяемую теорию, даже понимая связанный с этим риск.[118] Но у нас нет оснований считать фальсифицирующую гипотезу и базисное предположение, поддерживаемое ею, менее проблематичными, чем проверяемая гипотеза. Тогда уместен вопрос, как точно можем мы сформулировать проблематичность базисного предложения? На каком основании приверженец “фальсифицируемой” теории может подать апелляцию и выиграть дело?
Кто-то мог бы сказать, что следует продолжать проверку базисного предложения (или фальсифицирующей гипотезы) “по их дедуктивно выводимым следствиям” до тех пор, пока не будет достигнуто соглашение. При этом так же дедуктивно выводятся следствия из базисного предложения при помощи проверяемой теории или какой-то иной теории, которую считают непроблематичной. Хотя эта процедура “не имеет естественного конца”, всегда можно прийти к такому положению, когда разногласия утихнут.[119]
Но когда теоретик подает апелляцию против приговора экспериментатора, на суде подвергают перекрестному допросу не само по себе базисное предложение, а скорее интерпретативную теорию, на основании которой определяется истинность этого предложения.
Типичные примером успешной апелляции является борьба сторонников Проута против неблагоприятных экспериментальных данных с 1815 по 1911 гг. В течение десятилетий теория Проута (Т) ― “все атомы состоят из атомов водорода и, таким образом, “атомные веса” всех химических элементов должны выражаться целыми числами” ― и фальсифицирующие “наблюдательные” гипотезы, вроде “опровержения” Стаса (R) ― “атомный вес хлора ― 35,5” ― противостояли друг другу. Как известно, в конце концов Т восторжествовала над R.[120]
Первая стадия любой серьезной критики научной теории заключается в том, чтобы реконструировать, улучшать ее логическую, дедуктивную стройность. Проделаем это с теорией Проута, сопоставляя ее с опровержением Стаса. Прежде всего надо понять, что в приведенной выше формулировке Т и R не противоречат друг другу. (Вообще говоря, физики редко проясняют свои теории до той степени, когда критику легко поймать их на слове.) Чтобы показать противоречие между ними, надо придать им следующую форму: Т ― “атомный вес всех чистых (однородных) химических элементов кратен атомному весу водорода”; Р ― “хлор есть чистый (однородный) химический элемент и его атомный вес равен 35,5”. Последнее утверждение имеет форму фальсифицирующей гипотезы, которая, будучи хорошо подкрепленной, позволила бы использовать базисные предложения типа В: “Хлор Х есть чистый химический элемент и его атомный вес ― 35,5”, где Х ― имя собственное “кусочка” хлора с определенными, например, пространственно-временными параметрами.
Но насколько хорошо подкреплено R? Первая часть этого предложения (R1) говорит: “Хлор Х ― чистый химический элемент”. Это приговор химика-экспериментатора, строго применившего “экспериментальную технику” того времени.
Теперь рассмотрим тонкую структуру R1. Она является конъюнкцией двух более пространных предложений T1 и T2.
T1 должно было бы звучать так: “Если некоторое количество газа было подвергнуто семнадцати процедурам химической очистки p1, р2, . ., p17, то, что осталось от этого количества после очистки есть чистый хлор”. T2 ― “X подвергался 17 процедурам p1, р2, . .,p17”. Добросовестный “экспериментатор” тщательно применил все семнадцать процедур, следовательно, T2 должно быть принято. Но вывод “то, что осталось после очистки есть чистый хлор” является “твердо установленным фактом” только благодаря T1. Это значит, что экспериментатор, проверяя Т, применяет T1. То, что он наблюдает в эксперименте, интерпретируется на основании T1. R1 есть результат этой интерпретации. Однако в монотеоретической дедуктивной модели всей ситуации проверки эта интерпретативная теория вообще не фигурирует.
А что если интерпретативная теория T1 ложна? Почему не “применить” Т, а не T1, и утверждать, что атомные веса должны быть целыми числами? Тогда это будет “твердо установленный факт” на основании Т, a T1 будет отвергнута. Тогда, может быть, пришлось бы изобретать и применять какие-то новые дополнительные процедуры очистки.
Проблема тогда не в том, когда мы должны удерживать “теорию” перед лицом “известных фактов”, а когда поступать иначе. Проблема также не в том, что делать, когда “теории” расходятся с “фактами”. Такое “расхождение” предполагается только “монотеоретической дедуктивной моделью”, является ли высказывание “фактом” или “теорией” ― в данном контексте проверочной ситуации это зависит от нашего методологического решения. “Эмпирический базис” теории ― это понятие относительное к некоторой монотеоретической дедуктивной модели. Оно годится как первое приближение, но когда речь идет об “апелляции” теоретика, нужно переходить к плюралистической модели.
В плюралистической модели расхождение имеет место не между “теорией” и “фактами”, а между двумя теориями высших уровней: между интерпретативной теорией, с помощью которой возникают факты, и объяснительной теорией, при помощи которой эти факты получают объяснение. Интерпретативная теория может быть столь же высокого уровня, что и объяснительная теория. Поэтому расхождение имеет место не между более высокой по уровню теорией и более низкой по своему логическому статусу фальсифицирующей гипотезой.
Проблема не в том, реально ли “опровержение”, а в том, как быть с противоречием между проверяемой “объяснительной теорией” и “интерпретативными” теориями (выраженными явно или неявно). Можно сказать иначе, проблема состоит в том, какую теорию считать интерпретативной, то есть обеспечивающей “твердо установленные факты”, а какую ― объяснительной, “гипотетически” объясняющей их.
В монотеоретической модели мы рассматриваем теорию более высокого уровня как объяснительную, которая должна проверяться фактами, доставляемыми извне (авторитетными экспериментаторами), а в случае расхождения между ними, отбрасывается объяснение.[121]
В плюралистической модели можно решать иначе: рассматривать теорию более высокого уровня как интерпретативную, которая судит “факты”, получаемые извне; в случае расхождения можно отбросить эти “факты” как “монстров”. В плюралистической модели несколько теорий ― более или менее дедуктивно организованных ― спаяны вместе.
Уже одного этого достаточно, чтобы убедиться в том, что сделанный ранее вывод верен ― экспериментам не так просто опрокинуть теорию, никакая теория не запрещает ничего заранее. Дело обстоит не так, что мы предлагаем теорию, а Природа может крикнуть “НЕТ”; скорее, мы предлагаем целую связку теорий, а Природа может крикнуть: “ОНИ НЕСОВМЕСТИМЫ”.[122]
Тогда проблема замены теории, опровергнутой “фактами”, уступает место новой проблеме ― как разрешить противоречия между тесно связанными теориями. Какую из несовместимых теорий следует элиминировать? Утонченный фальсификационист может легко ответить на этот вопрос: надо попытаться заменить первую, потом вторую, потом, возможно, обе и выбрать такое новое их сочетание, которое обеспечит наибольшее увеличение подкрепленного содержания и тем самым поможет прогрессивному сдвигу проблем.[123]
Таким образом, мы определили процедуру апелляции в том случае, когда теоретик подвергает сомнению приговор экспериментатора. Теоретик может потребовать от экспериментатора уточнения его “интерпретативной теории”[124] и затем может заменить ее ― к досаде экспериментатора ― лучшей теорией, на основании которой его первоначально “опровергнутая” теория может получить позитивную оценку.[125]
Но даже эта процедура апелляции может только отсрочить конвенциональное решение. Приговор апелляционного суда тоже ведь не является непогрешимым. Решив вопрос о том, замена какой теории ― “интерпретативной” или “объяснительной” ― обеспечивает новые факты, нам приходится решать другой вопрос: принять или отвергнуть базисные высказывания. А это значит, что мы только отложили ― и, возможно, улучшили ― решение, но не избежали его.[126] Трудности с эмпирическим базисом, перед которыми стоял “наивный фальсификационизм”, не преодолеваются и “утонченным” фальсификационизмом. Даже если рассматривать теорию как “фактуальную”, иначе говоря, если наше медлительное и ограниченное воображение не может предложить другую, альтернативную теорию, то нам приходится, хотя бы на время и для данного случая, принимать решение о ее истинности. И все же опыт продолжает оставаться “беспристрастным арбитром” ― в некотором существенном смысле ― научной полемики.[127] Мы не можем отделаться от проблемы “эмпирического базиса”, если хотим учиться у опыта:[128] но мы можем сделать познание менее догматичным, хотя и менее быстрым, и менее драматичным. Полагая некоторые “наблюдательные” теории проблематическими, мы можем придать методологии больше гибкости; но нам не удастся окончательно выяснить и включить в критическую дедуктивную модель все “предпосылочное знание” (может быть, “предпосылочное незнание”?). Этот процесс должен быть постепенным, и в каждый данный момент мы должны быть готовы пойти на определенные соглашения.
Против утонченного методологического фальсификационизма может быть одно возражение, ответить на которое нельзя, не сделав определенной уступки “симплицизму” Дюгема. Возражение касается так называемого “парадокса присоединения”. Согласно нашим определениям, присоединение к теории совершенно не связанной с ней гипотезы низшего уровня может создать “прогрессивный сдвиг проблем”. Избежать такого паллиативного сдвига трудно, если не настаивать на том, что “дополнительные утверждения должны быть связаны с противоречащим утверждением более тесно, чем только посредством конъюнкции”.[129] ‹что означало бы, конечно, и более тесную связь дополнительных гипотез с проверяемой теорией. ― Доб. перев.›. Конечно, это своего рода критерий простоты, гарантирующий непрерывность ряда теорий, образующего единый сдвиг проблем.
Отсюда следуют новые проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия теории вводит в логику открытия в качестве основного понятие ряда теорий. Именно ряд или последовательность теорий, а не одна изолированная теория, оценивается с точки зрения научности или ненаучности. Но элементы этого ряда связаны замечательной непрерывностью, позволяющей называть этот ряд исследовательской программой. Такая непрерывность ― понятие, заставляющее вспомнить “нормальную науку” Т. Куна ― играет жизненно важную роль в истории науки; центральные проблемы логики открытия могут удовлетворительно обсуждаться только в рамках методологии исследовательских программ.
Приложение: Поппер, фальсификационизм и “тезис Дюгема-Куайна”
Поппер начинал как догматический фальсификационист в 20-х гг., но скоро осознал несостоятельность этой позиции и воздерживался от публикаций, пока не придумал методологический фальсификационизм. Это была совершенно новая идея в философии науки, и выдвинута она была именно Поппером, который предложил ее как решение проблем, с которыми не мог совладать догматический фальсификационизм. В самом деле, центральной проблемой философии Поппера является противоречие между положениями о том, что наука является критической и в то же время подверженной ошибкам. Хотя Поппер предлагал и последовательную формулировку, и критику догматического фальсификационизма, он так и не сделал четкого разграничения между наивным и утонченным фальсификационизмом.
В одной из своих прежних статей[130] я предложил различать три периода в деятельности Поппера: Поппер0, Пonnep1 и Поппер2. Поппер0 ― догматический фальсификационист, не опубликовавший ни слова: он был выдуман и “раскритикован” сначала Айером, а за тем и другими.[131] В этой статье я надеюсь окончательно прогнать этот призрак. Поппер1 ― наивный фальсификационист, Поппер2 ― утонченный фальсификационист. Реальный Поппер развивался от догматического к наивному методологическому фальсификационизму в 20-х гг., он пришел к “правилам принятия” утонченного фальсификационизма в 50-х гг. Этот переход был отмечен тем, что к первоначальному требованию проверяемости было добавлено требование “независимой проверяемости”[132], а затем и третье требование о том, чтобы некоторые из независимых проверок приводили к подкреплениям.[133] Но реальный Поппер никогда не отказывался от своих первоначальных (наивных) правил фальсификации. Вплоть до настоящего времени он требует, чтобы были “заранее установлены критерии опровержения: следует договориться относительно того, какие наблюдаемые ситуации, если они будут действительно наблюдаться, означают, что теория опровергнута”.[134] Он и сейчас трактует “фальсификацию” как исход дуэли между теорией и наблюдением без необходимого участия другой, лучшей теории. Реальный Поппер никогда не объяснял в деталях процедуру апелляции, по результату которой могут быть устранены некоторые “принятые базисные предложения”. Таким образом, реальный Поппер ― это Поппер1 с некоторыми элементами Поппера2.
Идея демаркации между прогрессивными и регрессивными сдвигами проблем, как она обсуждалась в этой статье, основана на концепции Поппера; по сути, эта демаркация почти тождественна его известному критерию демаркации между наукой и метафизикой.[135]
Поппер первоначально имел в виду только теоретический аспект проблемных сдвигов, что нашло выражение в гл. 20 [153] и дальнейшую разработку в [157].[136] Впоследствии он добавил к этому обсуждение эмпирического аспекта ([160]).[137] Однако запрет, наложенный Поппером на “конвенционалистские уловки” в одних отношениях слишком строг, в других ― слишком слаб. Он слишком строг, поскольку, согласно Попперу, новый вариант прогрессивной программы никогда не принимает уменьшающую эмпирическое содержание уловку, специально для поглощения аномалии; в таком варианте невозможны констатации вроде следующей: “Все тела подчиняются законам Ньютона, за исключением семнадцати аномальных случаев”. Но так как необъясненных аномалий всегда сколько угодно, я допускаю такие формулировки; объяснение есть шаг вперед (т.е. является “научным”), если, по крайней мере, оно объясняет некоторые прежние аномалии, которые не получили “научного” объяснения ранее. Если аномалии считаются подлинными (хотя и не обязательно неотложными) проблемами, не так уж важно, придаем ли мы им драматический смысл “опровержений” или снижаем его до уровня “исключений”, в таком случае различие чисто лингвистическое. Такой уровень терпимости к ухищрениям ad hoc позволяет продвигаться вперед даже на противоречивых основаниях. Проблемные сдвиги могут быть прогрессивными несмотря на противоречия.[138] Однако запрет, налагаемый Поппером на уловки, уменьшающие эмпирическое содержание, также слишком слаб: с его помощью нельзя, например, разрешить “парадокс присоединения” или исключить ухищрения ad hoc. От них можно избавиться только потребовав, чтобы вспомогательные гипотезы формировались в соответствии с положительной эвристикой подлинной исследовательской программы. Это новое требование подводит нас к проблеме непрерывности в науке.
Эта проблема была поднята Поппером и его последователями. Когда я предложил свою теорию роста, основанную на идее соревнующихся исследовательских программ, я опять-таки следовал попперовской традиции, которую пытался улучшить. Сам Поппер еще в своей “Логике открытия” 1934 г. подчеркивал эвристическое значение “влиятельной метафизики”[139], за что некоторые члены Венского кружка называли его защитником вредной философии.[140] Когда его интерес к роли метафизики ожил в 50-х гг., он написал очень интересный “Метафизический эпилог” к своему послесловию “Двадцать лет спустя” к “Логике научного исследования” (в гранках с 1957 г.).[141] Но Поппер связывал упорство в борьбе за выживание теории не с методологической неопровержимостью, а скорее, с формальной неопровержимостью. Под “метафизикой” он имел в виду формально определяемые предложения с кванторами “все” или “некоторые” либо чисто экзистенциальные предложения. Ни одно базисное предложение не могло противоречить им из-за их логической формы. Например, высказывание “Для всех металлов существует растворитель” в этом смысле было бы “метафизическим”, тогда как теория Ньютона, взятая сама по себе, таковой не была бы.[142] В 50-х гг. Поппер также поднял проблему, как критиковать метафизические теории, и предложил ее решение.[143] Агасси и Уоткинс опубликовали несколько интересных статей о роли такой “метафизики” в науке, в которых связывали ее с непрерывностью научного прогресса.[144] Мой анализ отличается от них тем, что, во-первых, я иду гораздо дальше в стирании различий между “наукой” и “метафизикой”, в смысле который придан этим терминам Поппером; я даже воздерживаюсь от употребления термина “метафизический”. Я говорю только о научных исследовательских программах, твердое ядро которых выступает как неопровержимое, но не обязательно по формальным, а, возможно, и по методологическим причинам, не имеющим отношения к логической форме. Во-вторых, резко отделяя дескриптивную проблему историко-психологической роли метафизики от нормативной проблемы различения прогрессивных и регрессивных исследовательских программ, я пытаюсь продвинуть решение последней гораздо дальше, чем это сделано ими.
В заключение, я хотел бы рассмотреть “тезис Дюгема-Куайна” и его отношение к фальсификационизму.
Согласно этому тезису, при достаточном воображении любая теория (состоит ли она из отдельного высказывания либо представляет собой конъюнкцию из многих) всегда может быть спасена от “опровержения”, если произвести соответствующую подгонку, манипулируя фоновым (background) знанием, с которым связана эта теория. По словам Куайна, “любое предложение может сохранить свою истинность, если пойти на решительную переделку той системы, в которой это предложение фигурирует. И наоборот, по той же причине ни одно предложение не обладает иммунитетом от его возможной переоценки”.[145] Куайн идет дальше и дает понять, что под “системой” здесь можно подразумевать всю “целостность науки”. “С упрямством опыта можно совладать, прибегнув к какой либо из многих возможных переоценок какого-либо из фрагментов целостной системы, [не исключая возможной переоценки самого упрямого опыта]”.[146]
Этот тезис допускает двойственную интерпретацию. Слабая интерпретация выражает только ту мысль, что невозможно прямое попадание эксперимента в узко определенную теоретическую мишень, и, кроме того, возможно сколько угодно большое разнообразие путей, по которым развивается наука. Это бьет лишь по догматическому, но не по методологическому фальсификационизму, отрицается только возможность опровержения какого-либо изолированного фрагмента теоретической системы.
При сильной интерпретации тезис Дюгема-Куайна исключает какое бы то ни было правило рационального выбора из теоретических альтернатив; в этом смысле он противоречит всем видам методологического фальсификационизма. Это различие не было ясно проведено, хотя оно имеет жизненное значение для методологии. Дюгем, по-видимому, придерживался только слабой интерпретации: в теоретическом выборе он видел действие человеческой “проницательности”: правильный выбор всегда нужен для того, чтобы приблизиться к “естественному порядку вещей”.[147] Со своей стороны, Куайн, продолжая традиции американского прагматизма Джемса и Льюиса, по-видимому, придерживается позиции, близкой к сильной интерпретации.[148]
Рассмотрим подробнее слабую интерпретацию тезиса Дюгема-Куайна. Пусть некоторое “предложение наблюдения” О' выражает “упрямый опыт”, противоречащий конъюнкции теоретических (и “наблюдательных”) предложений h1, h2, , hn, J1, J2, . , Jn, где hi ― теория, a Ji ― соответствующее граничное условие. Если запустить “дедуктивный механизм”, можно сказать, что из указанной конъюнкции логически следует О; однако наблюдается О', из чего следует не-О. Допустим к тому же, что все посылки независимы и все равно необходимы для вывода О.
В таком случае можно восстановить непротиворечивость, изменяя любое из предложений, встроенных в наш “дедуктивный механизм”. Например, пусть h1 ― предложение “Всегда, когда к нити подвешивается груз, превышающий предел растяжимости этой нити, она разрывается”; h2 ― “Вес, равный пределу растяжимости данной нити = 1 ф ”, h3 ― “Вес груза, подвешенного к этой нити = 2 ф ”. Наконец, пусть О ― предложение “Стальная гиря в 2 ф подвешена на нити там-то и тогда-то, и при этом нить не разорвалась”. Возникающее противоречие можно разрешить разными способами.
Приведем несколько примеров: (1) Мы отвергаем h1; выражение “подвешивается груз” заменяем выражением “прикладывается сила”; вводим новое граничное условие: на потолке лаборатории, где производится испытание, прикреплен скрытый от непосредственного наблюдения магнит (или какой-нибудь другой источник, возможно, даже неизвестной нам силы). (2) Мы отвергаем h2; предполагается, что поскольку предел растяжимости нити зависит от ее влажности, а данная нить увлажнена, то предел ее растяжимости = 2 ф. (3) Мы отвергаем h3; подвешенная гирька в действительности весит только один фунт, но ее взвесили на испорченных весах (4). Мы отвергаем О, хотя в этом предложении зафиксирован факт, разрыва на самом деле не было, дело в том, что данный факт зафиксирован профессором, известным своими буржуазно-либеральными взглядами, а его ассистенты, исповедующие революционную идеологию, привыкли истолковывать все, что скажет этот профессор, “с точностью до наоборот” ― если факт подтверждается, они видят, что он опровергается (5). Мы отвергаем h3; данная нить ― не просто нить, а “супернить”, а “супернити” вообще не рвутся.[149]. Можно продолжать до бесконечности. Пока хватает воображения, действительно можно заменить любую из посылок, встроенных в “дедуктивный механизм”, внося изменения в различно удаленные от этого “дедуктивного механизма” части нашего знания и, таким образом, восстанавливая непротиворечивость.
Можно ли из этого вполне банального наблюдения вывести общую формулу “всякая проверка бросает вызов всей целостности нашего знания”? А почему бы и нет? Сопротивление этой “холистской догме относительно “глобального” характера всех проверок”[150] со стороны некоторых фальсификационистов вызвано просто семантическим смешением двух различных понятий “проверки” (или “вызова”) упрямого экспериментального результата, имеющего место в нашем знании.
Попперовская интерпретация “проверки” (или “вызова”) состоит в том, что данный результат О противоречит (“бросает вызов”) конечной хорошо определенной конъюнкции посылок Т: О&Т не может быть истинной. Но с этим не будет спорить ни один сторонник тезиса Дюгема-Куайна. Куайновская интерпретация “проверки” (или “вызова”) состоит в том, что замещение О&Т может быть вызвано некоторым изменением и вне О и Т. Следствие из О&Т может противоречить некоторому положению Н из какой либо удаленной части нашего знания. Однако никакой попперианец не станет этого отрицать.
Смешение этих двух понятий проверки приводит к некоторым недоразумениям и логическим промахам. Кое-кто, интуитивно ощущая, что рассуждения по правилу modus tollens, исходящие из опровержения, могут относиться к весьма неявным посылкам из целостности нашего знания, отсюда ошибочно заключают, что ограничение ceteris paribus ― это посылка, конъюнктивно соединенная с вполне очевидными посылками. Но “удар” может наноситься не рассуждением по modus tollens, а быть следствием последовательного замещения исходного “дедуктивного механизма”.[151]
Таким образом, “слабый тезис Куайна” тривиальным рассуждением удерживается. Но “сильный тезис Куайна” вызывает протест и наивного, и утонченного фальсификациониста.
Наивный фальсификационист настаивает на том, что из противоречивого множества научных высказываний можно вначале выделить (1) проверяемую теорию (она будет играть роль ореха), затем (2) принятое базисное предложение (молоток), все прочее будет считаться бесспорным фоновым знанием (наковальня). Дело будет сделано, если будет предложен метод “закалки” для молотка и наковальни, чтобы с их помощью можно было расколоть орех, совершая тем самым “негативный решающий эксперимент”. Но наивное “угадывание” в этой системе слишком произвольно, чтобы обеспечить сколько нибудь серьезную закалку (Грюнбаум, со своей стороны, прибегая к помощи теоремы Бэйеса, пытается показать, что по крайней мере “молоток” и “наковальня” обладают высокими степенями вероятности, основанными на опыте, и, следовательно, “закалены” достаточно, чтобы их использовать для колки орехов).[152]
Утонченный фальсификационист допускает, что любая часть научного знания может быть заменена, но только при условии, что это будет “прогрессивная” замена, чтобы в результате этой замены могли быть предсказаны новые факты. При такой рациональной реконструкции “негативные решающие эксперименты” не играют никакой роли. Он не видит ничего предосудительного в том, что какая-то группа блестящих исследователей сговариваются сделать все возможное, чтобы сохранить свою любимую исследовательскую программу (“концептуальный каркас”, если угодно) с ее священным твердым ядром. Пока гений и удача позволяют им развивать свою программу “прогрессивно”, пока сохраняется ее твердое ядро, они вправе делать это. Но если тот же гений видит необходимость в замене (“прогрессивной”) даже самой бесспорной и подкрепленной теории, к которой он охладел по философским, эстетическим или личностным основаниям ― доброй ему удачи! Если две команды, разрабатывающие конкурирующие исследовательские программы соревнуются между собой, скорее всего, победит та из них, которая обнаружит более творческий талант, победит ― если Бог не накажет ее полным отсутствием эмпирического успеха. Путь, по которому следует наука, прежде всего определяется творческим воображением человека, а не универсумом фактов, окружающим его. Творческое воображение, вероятно, способно найти новые подкрепляющие данные даже для самых “абсурдных” программ, если поиск ведется с достаточным рвением.[153] Этот поиск новых подтверждающих данных ― вполне естественное явление. Ученые выдвигают фантастические идеи и пускаются в выборочную охоту за новыми фактами, соответствующими их фантазиям. Это можно было бы назвать процессом, в котором “наука создает свой собственный мир” (если помнить, что слово “создает” здесь имеет особый, побуждающий к размышлениям смысл). Блестящая плеяда ученых, получая финансовую поддержку процветающего общества для проведения хорошо продуманных экспериментальных проверок, способна преуспеть в продвижении вперед даже самой фантастической программы или, напротив, низвергнуть любую, даже самую, казалось бы, прочную цитадель “общепризнанного знания”.
Здесь догматический фальсификационист в ужасе воздевает руки к небу. Пред ним возникает призрак инструментализма в духе кардинала Беллармино, выходящий из-под надгробия, под которым он был, казалось, навеки уложен достижениями ньютоновской “доказательно обоснованной науки”. На голову утонченного фальсификациониста падают обвинения в том, что он, дескать, создает прокрустовы матрицы, в которые пытается втиснуть факты. Это может даже изображаться как возрождение порочного иррационалистического альянса между грубым прагматизмом Джемса и волюнтаризмом Бергсона, некогда триумфильно побежденного Расселом и Стеббинг.[154] На самом же деле утонченный фальсификационизм соединяет в себе “инструментализм” (или “конвенционализм”) со строгим эмпирическим требованием, которого не одобрили бы ни средневековые “спасатели явлений”, вроде Беллармино, ни прагматисты, вроде Куайна, ни бергсонианцы, вроде Леруа ― это требование Лейбница-Уэвелла-Поппера, согласно которому хорошо продуманное создание матриц должно происходить гораздо быстрее, чем регистрация фактов, которые должны быть помещены в эти матрицы. Пока это требование выполняется, не имеет значения, подчеркивается ли “инструментальный” аспект рождаемых воображением исследовательских программ для выявления новых фактов и надежных предсказаний, или же подчеркивается предполагаемый рост попперовского “правдоподобия” (“verisimilitude”), т е. выясненного различия между истинным и ложным содержанием какой-либо из ряда теоретических версий”.[155] Таким образом, утонченный фальсификационизм объединяет то лучшее, что есть и в волюнтаризме, и в реалистических концепциях роста научного знания.
Утонченный фальсификационист не принимает сторону ни Галилея, ни кардинала Беллармино. Он не с Галилеем, ибо утверждает, что наши фундаментальные теории, каковы бы они были, все же могут выглядеть абсурдом и не иметь никакой достоверности для божественного ума; но он и не с Беллармино, если только кардинал не согласится, что научные теории все же могут, в конечном счете, вести к увеличению истинных и уменьшению ложных следствий и, в этом строго специальном смысле, могут увеличивать свое “правдоподобие”.[156]
Приложение 2: Фейерабенд П. "Анализ методологии Лакатоса"[157]
...Здесь можно было бы закончить мое сочинение в защиту эпистемологического анархизма, если бы не тот факт, что поиски закона и порядка в науке и философии не ослабевают и что в этой области появился новый и чрезвычайно активный лидер в лице Имре Лакатоса. Задача, которую поставил перед собой Лакатос, — увеличить число друзей Разума и успокоить сомневающихся и напуганных рационалистов — в некотором роде совсем не трудна. Для этого требуется лишь несколько хорошо построенных фраз, показывающих просвещенной аудитории опасность хаоса и удовлетворяющих ее стремление к простым правилам и догмам, которым она могла бы следовать, не затрудняя себя анализом существа дела. Даже некоторые наиболее искренние анархисты опираются на науку, разум и на индукцию. А более юное поколение, которое так шумно выражает свое презрение к авторитетам, еще не готово жить без авторитета Разума. Должен признаться, что это почти универсальное стремление к «объективному» руководству приводит меня в некоторое недоумение. Я не удивляюсь, когда специалисты, достигшие преклонного возраста, имеющие прочную репутацию (или желающие заслужить ее перед смертью) и совершенно естественно соединяющие знание с духовным окостенением, косо смотрят на попытки ослабить науку или показать, что большая наука (а не наука школ, корпораций и, несомненно, не наука Фэллоуфильда или Лондонской школы экономических наук) есть интеллектуальное приключение, которое не знает ограничений и не признает никаких правил, даже правил логики. Однако я испытываю некоторое удивление, когда вижу, с каким жаром студенты и другие непосвященные хранят верность устаревшим фразам и одряхлевшим принципам, как если бы ситуация, в которой они отвечают за каждое свое действие и являются первоначальной причиной каждой регулярности мышления, была бы для них совершенно невыносима. При таком почтительном отношении к разуму нетрудно найти внимательную аудиторию, хотя сама она и может быть совершенно лишена разума. Именно это я имею в виду, когда говорю, что задача, которую поставил перед собой Лакатос, была в некотором отношении не особенно трудной. Однако эта задача была чрезвычайно трудна в другом отношении: очень трудно преодолеть препятствия для разума, открытые современными исследованиями, и разработать форму рационализма, способную справиться с ними. Но именно это пытается сделать Лакатос. Посмотрим, как ему это удается.
Лакатос критикует существующие методологические концепции и приходит к выводу, почти совпадающему с моим. Рассматривая способы устранения теорий, он пишет: «Если взглянуть на историю науки и попытаться увидеть, каким образом происходили некоторые из наиболее известных фальсификаций, то можно прийти к выводу, что либо некоторые из них совершенно иррациональны, либо же они опираются на принципы рациональности, отличные от тех, которые мы обсуждаем»[158]. «Принципы рациональности, которые мы обсуждаем», есть принципы критического рационализма, как явствует из предшествующего раздела, однако Лакатос был готов распространить свое замечание на другие методологические концепции и процедуры, отличные от фальсификации[159]. Он является одним из весьма немногих мыслителей, которые заметили огромную пропасть, разделяющую различные образы науки и «реальное положение вещей». И он понял, что попытка реформировать науки путем приближения их к этому образу нанесла бы им большой вред и, быть может, даже разрушила бы их. С этим я, безусловно, согласен.
Я согласен также с двумя положениями, образующими существенную часть теории науки Лакатоса. Первое говорит о том, что методология должна обеспечивать «передышку»[160] тем идеям, которые мы хотим разрабатывать. Имея дело с новой теорией, мы не должны сразу использовать обычные стандарты для решения вопроса о ее жизнеспособности. Ни кричащие внутренние противоречия, ни очевидный недостаток эмпирического содержания, ни обширный конфликт с экспериментальными результатами не должны заставить нас отказаться от разработки концепции, которая по тем или иным причинам нравится нам[161]. В наших методологических оценках учитывается эволюция теории в течение длительного периода времени, а не ее состояние в некоторый отдельный момент. Это положение устраняет большую часть возражений, которые я выдвинул в предшествующих главах.
Во-вторых, Лакатос утверждает, что методологические стандарты не находятся вне критики. Их можно проверять, улучшать, заменять лучшими стандартами. Проверка не является абстрактной, а использует исторические данные: данные истории играют решающую роль в спорах между конкурирующими методологическими концепциями. Это второе положение отделяет нас с Лакатосом от тех логиков, которые рассматривают обращение к истории как «весьма неэффективный метод»[162] и считают, что методологию следует разрабатывать только на базе простых моделей. (Многие логики даже не видят здесь проблемы; они считают несомненным, что построение формальных систем и игра с ними есть единственный законный способ понимания изменений в науках[163].)
Мои расхождения с Лакатосом касаются рекомендуемых им стандартов, его оценки современной науки (в сравнении, скажем, с мифом или аристотелевской наукой), его заявлений о том, что он действует «рационально», а также отдельных исторических данных, которые он использует в своем обсуждении различных методологических концепций. Начну с первого пункта этого перечня.
Когда новая теория или идея выходит на сцену, она обычно не очень четко выражена, содержит противоречия, ее отношение к фактам неясно, в ней много неопределенностей. Теория полна недостатков. Однако ее можно развить и улучшить. Следовательно, естественной единицей методологических оценок является не отдельная теория, а последовательность теорий или исследовательская программа. И мы должны оценивать не состояние исследовательской программы в отдельный момент времени, а ее историю, причем предпочтительно в сравнении с историей конкурирующих программ.
Согласно Лакатосу, оценки имеют следующий вид: «Исследовательская программа считается прогрессирующей, если ее теоретический рост предвосхищает эмпирический, то есть если она с некоторым успехом может предсказывать новые факты... программа регрессирует, если ее теоретический рост отстает от эмпирического, то есть если она дает только запоздалые объяснения либо случайных открытий, либо фактов, предвосхищаемых и открываемых конкурирующей программой»[164]. Регрессирующая программа может вырождаться до тех пор, пока в ней не останется ничего, кроме «широковещательной переформулировки» исходной позиции, соединенной с переложением в ее собственных терминах (успехов) конкурирующих программ[165]. Оценки такого рода являются основными в той методологической концепции, которую защищает Лакатос. Описывая ситуацию, в которой находится ученый, они не подсказывают ему, как поступать.
Наблюдая некоторую исследовательскую программу в состоянии глубокого вырождения, можно почувствовать желание устранить ее и заменить более прогрессивной. Это совершенно законное побуждение. Но столь же законно действовать противоположным образом и сохранять эту программу. Любая попытка потребовать ее устранения на основе некоторого правила может быть подвергнута критике посредством аргументов, почти тождественных тем, которые в первую очередь требуют «предоставить жизненное пространство»: если неблагоразумно отвергать несовершенные теории в момент их рождения, поскольку они могут расти и улучшаться, то столь же неблагоразумно отвергать исследовательские программы, клонящиеся к упадку, поскольку они могут возродиться и достигнуть невиданного блеска (бабочка появляется в тот момент, когда гусеница достигает крайней степени вырождения). Следовательно, нельзя рационально критиковать ученого, который держится за вырождающуюся программу, и не существует рационального способа показать, что его действия неразумны.
Лакатос с этим согласен. Он подчеркивает, что «рационально придерживаться регрессирующей программы до тех пор, пока ее не обгонит конкурирующая программа, и даже после этого»[166], ибо «старая программа может выйти из стадии регресса»[167]. Верно, конечно, что риторика часто заводит Лакатоса слишком далеко, показывая, что он еще не привык к своим либеральным предложениям[168]. Однако когда вопрос ставится в явной форме, то ответ ясен: методология исследовательских программ дает стандарты, помогающие ученому оценить историческую ситуацию, в которой он принимает свои решения, но она не содержит правил, которые говорят ему, что делать[169].
Таким образом, методология исследовательских программ радикально отличается от индуктивизма, фальсификационизма и других, даже более либеральных философских систем. Индуктивизм требует устранения теорий, лишенных эмпирической поддержки. Фальсификационизм требует устранения теорий, не обладающих дополнительным эмпирическим содержанием по сравнению с их предшественницами. Все требуют устранения противоречивых теорий или теорий с низким эмпирическим содержанием. Методология исследовательских программ не содержит таких требований и, как мы видели, не может содержать их. Ее стремление «предоставить жизненное пространство» программе и аргументы, обосновывающие необходимость более либеральных стандартов, делают невозможным уточнение условий, при которых исследовательская программа должна быть устранена или при которых иррационально продолжать поддерживать ее. Любой выбор ученого рационален, потому что он совместим с данными стандартами. «Разум» больше не влияет на действия ученого. (Однако он дает терминологию для описания результатов этих действий.)
Позвольте мне повторить шаги, которые привели к этому удивительному результату. Первый шаг состоит в определении разума («теории рациональности»), принимаемого Лакатосом. Это определение содержится в его стандартах сравнительной оценки исследовательских программ. Второй шаг состоит в наблюдении[170], что стандарты, взятые сами по себе, не обладают эвристической силой. Разум, в определении Лакатоса, не прямо руководит действиями ученого. Если дан этот разум и ничего более, то «все сойдет». Отсюда следует, что между Лакатосом и мной нет «рационально» установимого различия, если в качестве меры разума принять стандарты Лакатоса. Однако несомненно большое различие существует в риторике, мы расходимся также в нашем отношении к «свободе» исследования[171], вытекающем из наших «стандартов». Теперь я более внимательно рассмотрю эти расхождения.
Отличительным признаком политического анархизма является его оппозиция установленному порядку вещей: государству, его институтам, идеологии, которая поддерживает и прославляет эти институты. Установленный порядок должен быть разрушен, с тем чтобы человеческая стихийность могла проявиться и осуществить свое право на свободное действие, свободный выбор того, что человек считает для себя лучшим. Иногда желают преодолеть не только некоторые социальные обстоятельства, но сам физический мир, который считают испорченным, нереальным, преходящим и не имеющим значения. Этот религиозный, или эсхатологический, анархизм отрицает не только социальные, но и моральные, физические и перцептивные законы и говорит о таком способе существования, который не связан с телом, его реакциями и потребностями... Обучение должно опираться на любознательность, а не на команду, «учитель» обращается к этой любознательности и не опирается на какой-либо фиксированный метод. Царствует самопроизвольность — как в мышлении (восприятии), так и в деятельности.
Одной из примечательных черт просвещенного политического анархизма является его вера в «естественный разум» человеческой расы и его уважение к науке. Это уважение редко оказывается простой оппортунистической уловкой, когда в науке видят союзника и восхваляют ее для достижения собственных целей. В большинстве случаев анархизм опирается на искреннее убеждение в том, что чистая, неизвращенная наука дает истинное понимание человека и мира и создает мощные идеологические средства борьбы против лицемерных порядков современности.
Сегодня эта наивная и почти детская вера в науку подвергается опасности за счет развития двух процессов.
Первым процессом является возникновение новых видов научных учреждений. В противоположность предшествующей эпохе наука XX в. отбросила всякие философские претензии и стала мощным бизнесом, формирующим мышление его участников. Хорошее вознаграждение, хорошие отношения с боссом и коллегами в своей «ячейке» — вот основные цели тех «человеческих муравьев», которые преуспевают в решении крохотных проблем, но не способны придать смысл всему тому, что выходит за рамки их компетенции. Гуманистические мотивы сведены к минимуму, и так обстоит дело с любой формой прогресса, которая выходит за пределы локальных улучшений. Большая часть славных достижений прошлого используется не для просвещения, а для запугивания, что можно видеть в недавних спорах по поводу теории эволюции. Пусть кто-нибудь сделает крупный шаг вперед — и профессия вынудит его примкнуть к клубу для оболванивания и подчинения людей.
Второй процесс касается предполагаемого авторитета продуктов этого постоянно изменяющегося предприятия. Когда-то научные законы считались вполне обоснованными и непререкаемыми. Ученый открывает факты и законы и постоянно увеличивает количество надежного и несомненного знания. Сегодня мы осознали, главным образом благодаря работам Милля, Маха, Больцмана, Дюгема и др., что наука не может дать подобных гарантий. Научные законы могут пересматриваться; часто они оказываются не просто локально неверными, но совершенно ложными, высказывая нечто о сущностях, которые никогда не существовали. Происходят революции, не оставляющие от прошлого камня на камне. Отталкивающая по своему виду, ненадежная в своих результатах, наука перестала быть союзником анархиста и превратилась в проблему. Должен ли он отказаться от нее? Нужно ли ему использовать ее? Как он должен поступить с ней? Вот в чем вопрос. Ответ на этот вопрос дает эпистемологический анархизм. Он гармонирует с сохраняющимися принципами анархизма, но устраняет их отвердевшие элементы.
Эпистемологический анархизм отличается и от скептицизма, и от политического (религиозного) анархизма. В то время как скептик либо считает все концепции равно хорошими или равно плохими, либо вообще воздерживается от оценок подобного рода, эпистемологический анархист способен без угрызений совести защищать самые избитые или наиболее вызывающие утверждения. В то время как политический или религиозный анархист стремится устранить определенную форму жизни, эпистемологический анархист может испытывать желание защитить ее, так как он не питает ни вечной любви, ни вечной ненависти ни к одному учреждению и ни к одной идеологии...
Его цели могут быть устойчивыми или изменяться под влиянием рассуждения, скуки, изменения опыта или желания произвести впечатление и т. п. Если дана некоторая цель, он может попытаться достичь ее с помощью организованной группы или в одиночку. При этом он может использовать разум, эмоции, насмешку, «позицию серьезной заинтересованности» и любые иные средства, изобретенные людьми для увлечения сторонников. Его любимая шутка заключается в том, чтобы приводить в смущение рационалистов, изобретая убедительные обоснования неразумных доктрин. Нет концепции, сколь бы «абсурдной» или «аморальной» она ни казалась, которую бы он отказался рассматривать или использовать, и нет метода, который бы он считал неприемлемым. Единственное, против чего он выступает открыто и безусловно, — это универсальные стандарты, универсальные законы, универсальные идеи, такие, как «Истина», «Разум», «Справедливость», «Любовь», и поведение, предписываемое ими, хотя он не отрицает, что часто полезно действовать так, как если бы такие законы (стандарты, идеи) существовали и как если бы он верил в них. Он может поддержать религиозного анархиста в его оппозиции по отношению к науке и материальному миру и способен превзойти любого Нобелевского лауреата в энергичной защите научной честности. У него нет возражений против того, чтобы картину мира, нарисованную наукой и открываемую его органами чувств, считать простой химерой, которая либо скрывает более глубокую и, быть может, духовную реальность, либо представляет собой призрачную ткань грез, за которой ничего нет...
...если дана какая-либо цель, пусть даже «научная» в самом узком смысле этого слова, антиметод анархиста имеет гораздо больше шансов на успех, чем любое жестко сформулированное множество стандартов, правил и предписаний[172]. (Особые правила могут быть оправданы и получить шансы на успех только в структуре всеобъемлющего мировоззрения.)... Аргументация способна задержать развитие науки, в то время как хитрость необходима для ее прогресса. Если к этому добавить все то, что мы узнали об организующих принципах мифов, о религиозном энтузиазме, необычных опытах, то вполне можно поверить, что существует много различных способов понимания природы и общества и много разных способов оценки результатов того или иного подхода. Поэтому мы вынуждены выбирать, а объективных условий, способных помочь нам, не существует. Таков краткий и весьма неполный набросок идеологии эпистемологического анархизма и некоторых его возможных применений.
С другой стороны, Лакатос хочет подчинить науку и, в сущности, всю духовную жизнь определенным фиксированным стандартам, стремясь сделать их «рациональными». Это означает соблюдение двух условий: 1. Избранные стандарты никогда не могут быть устранены стандартами иного рода; если познание, или наука, оказывается частью более широкого контекста, то это обстоятельство не может повлиять на ее природу; во всяком случае, наука должна сохранять свою «автономию». 2. Эти стандарты должны также обладать эвристической силой, т. е. деятельность, подчиняющаяся им, должна отличаться от духовной самовольности анархиста.
Мы уже видели, что отдельные стандарты, избранные Лакатосом, не вытекают из каких-либо абстрактных предписаний (таких, как «устраняйте теории, несовместимые с признанными базисными утверждениями») и не несут в себе общих оценок рациональности или иррациональности некоторого способа действий (таких, как «иррационально придерживаться теории, противоречащей признанным базисным утверждениям»). Такие предписания и оценки должны приводить к конкретным решениям в сложных исторических ситуациях. Если деятельность, содержащую эти стандарты, можно отличить от «хаоса» анархизма, то такие решения должны встречаться с определенной регулярностью. Сами стандарты, как мы видели, еще не могут привести к решению. Однако к нему вынуждает психологическое или социальное давление.
Таким образом, допустим, что учреждения, которые публикуют результаты работы отдельного ученого и которые дают ему духовное пристанище, где он может чувствовать себя в безопасности, своим положением и своим (духовным, финансовым, политическим) влиянием могут заставить ученого встать на консервативную позицию по отношению к стандартам. Они могут отказаться поддержать регрессирующие исследовательские программы, лишить их денежных средств, высмеять их защитников, отказаться публиковать результаты исследований и вообще стараться причинить им как можно больше неприятностей. Итог легко предсказать: ученые, которые, подобно всем другим людям, также нуждаются в эмоциональной и финансовой поддержке, особенно в наши дни, когда наука перестала быть философским приключением и превратилась в бизнес, будут корректировать свои «решения» и подчас отвергать исследовательские программы, клонящиеся к упадку.
Консервативная позиция научных учреждений не иррациональна, так как она не вступает в конфликт со стандартами. Она — результат коллективной политики, инспирированной этими стандартами. Позиция ученого как индивида, который так легко подчиняется давлению, также не будет иррациональной, так как он принимает решения опять-таки в соответствии со стандартами. Следовательно, мы приходим к закону и порядку без ущерба для либерализма нашей методологии. И даже сложная природа стандартов теперь выполняет некоторую функцию. Хотя стандарты не предписывают и не запрещают никаких отдельных действий, хотя они вполне совместимы с лозунгом анархиста «все дозволено» (который, следовательно, прав, считая их лишь украшениями), эти стандарты все-таки придают некоторое содержание действиям индивидов и учреждений, решивших занять по отношению к этим стандартам консервативную позицию. Взятые сами по себе, стандарты не способны запретить даже самое вызывающее поведение. Взятые в соединении с консерватизмом только что описанного толка, они оказывают на ученого неявное, но настойчивое влияние. Именно так Лакатос и хочет их использовать: говоря о регрессирующей программе, он предполагает, что «редакторы научных журналов станут отказываться публиковать их (сторонников регрессирующей программы) статьи... Организации, субсидирующие науку, будут отказывать им в финансировании»[173]. Такое предположение, как мы видели, не противоречит стандартам. Если в качестве меры рациональности даны стандарты, то совершенно нормально принять их и действовать в соответствии с ними. Власть стандартов устанавливается не вследствие их роли в аргументации, а вследствие создания исторической ситуации, в которой становится практически трудно придерживаться регрессирующей исследовательской программы. Теперь исследовательская программа гибнет не потому, что на базе стандартов против нее можно выдвинуть какие-то аргументы, а потому, что ее защитники не могут продолжать работать. Короче, но столь же верно: исследовательские программы погибают не вследствие натиска аргументов, а потому, что их защитники гибнут в борьбе за выживание. Может показаться, что доброжелательные коллеги, которые рассуждают о сравнительных достоинствах двух исследовательских программ, которые подробно истолковывают успехи одной и возрастающее число провалов другой, которые расписывают все приемы ad hoc, противоречия, пустословие регрессирующей программы, выдвигают очень серьезные аргументы против ее сохранения. Однако такое впечатление возникает лишь у того, кто еще не перешел от наивного фальсификационизма и т. п. к концепции Лакатоса. Тот, кто уже совершил такой переход и кто осознал следствия этой новой рациональности, всегда может ответить: «Дорогой мой, вы рассуждаете хорошо, но что касается вашей теории рациональности, то вы отстали от жизни. Вы надеетесь убедить меня своими аргументами, но я знаю, что с точки зрения моего смысла слова «рациональность» можно рационально поддерживать регрессирующую исследовательскую программу до тех пор, пока она не будет устранена соперницами, и даже после этого[174]. Конечно, у вас может возникнуть впечатление, что, принимая стандарты Лакатоса, я одновременно занимаю консервативную позицию по отношению к ним. Если бы это было так, вы были бы вправе упрекнуть меня в том, что я принял решение, но не живу в соответствии с ним. Однако я не консерватор и никогда им не был, поэтому вы можете заставить меня выйти из игры, но не можете показать, что я действую иррационально».
Подведем итог: в той мере, в какой методология исследовательских программ «рациональна», она не отличается от анархизма. В той мере, в какой она отличается от анархизма, она не «рациональна». Даже полное и безоговорочное признание этой методологии не ставит никаких проблем перед анархистом, который, конечно, не отрицает, что методологические правила могут подкрепляться и обычно подкрепляются угрозами, запугиваниями, ложью. В конце концов, именно в этом состоит одна из причин того, почему анархист мобилизует (не контраргументы, а) контрсилы для преодоления ограничений, налагаемых правилами.
Ясно также, что Лакатосу не удалось показать «рационального изменения» там, где «Кун и Фейерабенд видят иррациональный переход»[175]. Моя позиция уже была рассмотрена. Что же касается Куна, то нужно вспомнить лишь о том, что революция происходит тогда, когда новая исследовательская программа накопит достаточное число достижений, а ортодоксальная программа потерпит достаточно много неудач и когда защитники новой программы провозгласят отказ от старой концепции. С точки зрения методологии исследовательских программ их действия обусловлены не стандартами, которые они принимают, а консервативной позицией по отношению к этим стандартам. Их ортодоксальные оппоненты занимают позицию, которую можно назвать «либеральной»: они готовы терпеть вырождение, но не консервативность. Стандарты допускают обе позиции. Они ничего не говорят, как мы видели, относительно «рациональности» или «иррациональности» этих позиций. Отсюда следует, что борьба между консерваторами и либералами и конечная победа консерваторов представляют собой не «рациональный переход»[176], а простое и чистое «столкновение сил», исполненное «неприятных личных столкновений»[177]. Это область не методологии или теории рациональности, а «психологии толпы»[178].
Неспособность Лакатоса выполнить свои обещания и обнаружить деятельность разума там, где другие видят лишь столкновения и потасовки, остается скрытой благодаря двусмысленности его терминологии. С одной стороны, он говорит, что кажущаяся иррациональность многих важных научных процессов была обусловлена чрезмерно узким представлением о рациональности. Если рационально признавать только доказанные теории, а сохранять теории, вступающие в конфликт с признанными базисными утверждениями, иррационально, то вся наука иррациональна. Поэтому Лакатос разрабатывает новые стандарты. Новые стандарты, дающие новую меру рациональности, больше не запрещают того, что делает подлинная наука, и вообще ничего не запрещают. Их следует усилить, но не за счет добавления новых стандартов, т. е. ужесточения разума. Им можно придать практическую силу, сделав их стержнем консервативных учреждений. Измеряемый стандартами методологии исследовательских программ, этот консерватизм не будет ни рациональным, ни иррациональным. Однако он явно рационален согласно другим стандартам, например стандартам здравого смысла[179]. Это изобилие значений слова «рационально» максимально используется Лакатосом. В своей аргументации против наивного фальсификационизма он подчеркивает новый «рационализм» своих стандартов, которые позволяют науке выжить. В своих аргументах против Куна и анархизма он выставляет совершенно иную «рациональность» здравого смысла, не информируя об этом аудиторию. Поэтому он всегда лучше всех: у него более либеральные стандарты, но использует он их консервативно, поэтому может считаться рационалистом в обоих случаях...
Этот большой талант к использованию двусмысленностей делает Лакатоса весьма желательным союзником в борьбе против Разума. Ибо концепции, которые называют себя «рациональными» в любом смысле этого эмоционально окрашенного слова, в наши дни имеют гораздо больше шансов на признание, чем концепции, открыто отвергающие авторитет разума. Философия Лакатоса, его замаскированный анархизм являются великолепным троянским конем, которого можно использовать для того, чтобы скрыто протащить подлинный, прямолинейный, «честный» (это слово очень нравится Лакатосу) анархизм в мышление даже наиболее преданных рационалистов. А как только последние это обнаружат, они будут гораздо меньше сопротивляться признанию того, что идеология рационализма не обладает внутренними преимуществами, и поймут, что даже в науке можно попасть под влияние пропаганды и включиться в борьбу противоположных сил; они согласятся с тем, что аргументация есть не что иное, как тонкий и наиболее эффективный способ парализовать доверчивого оппонента.
До сих пор я принимал стандарты Лакатоса как несомненные. Я сравнивал их с другими стандартами, ставил вопрос об их влиянии на поведение (например, спрашивал, чем практика, руководствующаяся методологией исследовательских программ, отличается от анархистской практики) и исследовал отношение этих стандартов к теории рациональности. Теперь перейдем к вопросу о том, почему мы вообще должны рассматривать эти стандарты, почему мы должны предпочитать их другим научным стандартам, например стандартам индуктивнзма, или «ненаучным» стандартам, например стандартам религиозных учений. Лакатос отвечает на первый вопрос, но не на второй, хотя успешно создает впечатление, будто отвечает на оба вопроса. Здесь, как и прежде, он прибегает к помощи здравого смысла, и распространенное уважение к науке помогает ему преодолеть ту пропасть, которую он не может преодолеть посредством аргументов. Посмотрим, как он действует.
Я уже говорил о том, что мы с Лакатосом оцениваем методологические концепции, сравнивая их с историческими данными. Исторические данные, используемые Лакатосом, являются «базисными» оценками научной «элиты»[180], или «базисными оценочными суждениями»[181], представляющими собой оценочные суждения относительно отдельных достижений науки. Пример: «Теория относительности Эйнштейна 1919 г. превосходит небесную механику Ньютона в той форме, которую придал ей Лаплас». Такие оценочные суждения (совокупность которых образует то, что Лакатос называет «обыденной научной мудростью») являются, по его мнению, подходящей основой методологических дискуссий, поскольку они признаются подавляющим большинством ученых: «Хотя до сих пор почти не было согласия относительно универсального критерия научности теорий, в течение двух последних столетий существовало значительное единство в оценке единичных научных достижений»[182]. Следовательно, базисные оценочные суждения можно использовать для проверки теорий науки или рациональных реконструкций науки почти так же, как «базисные» утверждения используются для проверки теорий о мире. Способы проверки зависят, конечно, от принятой методологической концепции: фальсификационист будет отвергать методологические правила, несовместимые с базисными оценочными утверждениями[183], последователь Лакатоса примет методологическую исследовательскую программу, которая представляет собой «прогрессивный сдвиг в последовательности исследовательских программ рациональных реконструкций: прогресс теории научной рациональности состоит в открытии новых исторических фактов и во все более расширяющейся рациональной реконструкции истории науки, пронизанной оценочными характеристиками»[184]. Этот стандарт методологической критики оказывается, таким образом, самой лучшей методологической исследовательской программой, существующей в отдельный период времени. Таков в первом приближении способ действий Лакатоса.
В этом упрощенном изображении не учтены две важные особенности науки. Во-первых, базисные оценочные суждения не столь единообразны, как предполагается... Во-вторых, базисные оценочные суждения редко обосновываются... Существуют причины, создающие базисные оценочные суждения, «обыденной научной мудрости» которых Лакатос придает столь большое значение[185]. Добавьте к этому тот факт, что большая часть ученых принимает базисные оценочные суждения на веру, не проверяет их, а просто подчиняется авторитету своих коллег-специалистов, и вы увидите, что «обыденная научная мудрость» не вполне обыденна и, несомненно, не очень мудра.
Лакатос осознает эту трудность. Он понимает, что базисные оценочные суждения не всегда разумны[186], и согласен с тем, что «суждения ученых «иногда» могут «быть ошибочными»[187]. В таких случаях, говорит он, они должны быть уравновешены и, может быть, даже устранены «законом, установленным философом»[188]. Следовательно, «рациональная реконструкция науки», используемая Лакатосом в качестве нормы метода, не представляет собой общей совокупности всех базисных оценочных суждений и не является наилучшей исследовательской программой, объединяющей их. Она допускает «плюралистическую систему авторитетов»[189], в которой базисные оценочные суждения пользуются господствующим влиянием только до тех пор, пока они единообразны и разумны. Однако в тех случаях, когда единство исчезает или «традиция приходит в упадок»[190], на первый план выдвигаются общие философские предписания и насаждаются (восстанавливаются) разумность и единообразие.
Я подозреваю, что Лакатос серьезно недооценивает число таких случаев. Он полагает, что «в течение двух последних столетий»[191] существовало единство базисных оценочных суждений, в то время как на самом деле оно встречалось очень редко. В таком случае его «рациональные реконструкции» определены либо здравым смыслом[192], либо абстрактными стандартами и конкретным давлением методологии исследовательских программ. Кроме того, он признает лишь такое единство, которое не слишком отклоняется от его стандартов: «Когда какая-либо научная школа вырождается в псевдонауку, имеет смысл организовать дискуссию по проблемам методологии»[193]. Это означает, что суждения, с которыми Лакатос обращается столь свободно, в конечном счете не являются ни результатами исследования, ни элементами «научной практики». Они оказываются элементами идеологии, которую он хочет внушить нам под видом «обыденной» научной мудрости». Вторично мы встречаемся с очень интересным различием между словесной формой заявлений Лакатоса и их реальным содержанием. Мы видели, что методология исследовательских программ была введена с целью поддержать рационализм. Однако она не способна осудить некоторое действие как «иррациональное». Во всех случаях, когда Лакатос высказывает такие суждения (а он делает это достаточно часто), он опирается на «внешние» факторы, в том числе на собственные консервативные склонности или консерватизм, присущий здравому смыслу. Теперь мы обнаруживаем, что его «реконструкции» достаточно тесно связаны с общими методологическими концепциями, для проверки которых они предназначаются, а в периоды кризисов они просто сливаются. Несмотря на словесные различия («не будет ли... большой дерзостью попытка навязать большинству современных наук некоторую априорную философию науки?.. Я думаю, будет»[194]) и решение рассматривать вопросы конкретно («существовало значительное единство в оценке единичных научных достижений»[195]), Лакатос фактически не отличается от представителей традиционной эпистемологии. Напротив, он вооружает их новыми пропагандистскими средствами: свои принципы он связывает с тем, что на первый взгляд кажется существенным содержанием независимого здравого смысла науки, однако это содержание не является ни существенным, ни независимым. Оно давно потеряло свежесть и образовано в соответствии с теми абстрактными принципами, которые он хочет защитить.
Посмотрим на этот вопрос с иной точки зрения. «Рациональная реконструкция» в смысле Лакатоса включает в себя конкретные суждения относительно результатов, полученных в некоторой области, а также общие стандарты. Она «рациональна» в том смысле, что в ней находит отражение то, что считалось ценным достижением в данной области. Она отображает то, что можно назвать профессиональной идеологией этой области. Но даже если только эта профессиональная идеология формирует единое содержание базисных оценочных суждений, даже если она не содержит вообще никаких абстрактных ингредиентов, то и тогда нет гарантий, что соответствующая область обладает ценными результатами или что эти результаты не являются иллюзорными. Каждый знахарь действует, руководствуясь сложными правилами и сравнивая свои приемы и результаты с приемами и результатами других знахарей своего племени, у него имеется богатая и стройная профессиональная идеология, тем не менее рационалист не склонен относиться к нему серьезно. Астрологическая медицина опирается на четкие стандарты и включает в себя в высшей степени единообразные базисные оценочные суждения, однако рационалисты отвергают всю ее профессиональную идеологию как «иррациональную». Например, они просто не желают рассматривать «базисное оценочное суждение» о том, что тропический метод изготовления карт следует предпочитать звездному методу (или наоборот[196]). Вот эта возможность отвергнуть профессиональные стандарты tout court («запросто») показывает, что одна «рациональная реконструкция» не может решить проблему метода. Для того чтобы найти подлинный метод, нужно реконструировать подлинную дисциплину. Но что такое подлинная дисциплина?
Лакатос не рассматривает этого вопроса, и у него нет необходимости его рассматривать, поскольку он хочет лишь установить, что происходило в науке после XVII в., и считает несомненным, что развитие науки опиралось на стройную и единую профессиональную идеологию. (Мы видели, что это не так.) Однако Лакатос идет еще дальше. Завершив свою «реконструкцию» современной науки, он обращает ее против других областей, действуя так, как если бы было уже доказано, что современная наука превосходит магию или аристотелевскую науку и что она не содержит иллюзорных результатов. Но никаких аргументов подобного рода не существует. «Рациональные реконструкции» считают «базисную научную мудрость» несомненной; они не показывают, что эта мудрость лучше, чем «базисная мудрость» знахарей и колдунов...
Итак, я прихожу к оценке результатов Лакатоса.
Все теории (научного) познания начинаются с вопроса: что есть знание и как оно может быть получено?
Традиционный ответ дает определение знания, или знания в потенции (критерий демаркации), и перечисление шагов, посредством которых можно получить знание (посредством которых знание можно отделить от незнания). Обычно традиционный ответ рассматривается как окончательный. Во всяком случае, очень редко думают о том, как его можно изменить[197]. Встречающиеся иногда исправления вносятся тайком, без аргументированного обоснования, чаще всего они изменяют познавательную практику, не затрагивая сопровождающей ее эпистемологии[198]. В итоге связь между наукой и эпистемологией становится все более слабой и наконец исчезает совсем[199]... Никто не допускает, что могли бы существовать различные формы познания и что необходим выбор между ними.
По сравнению с этой традиционной теорией теория Лакатоса представляет собой серьезное достижение. Его стандарты и концепция познания гораздо ближе к реальной науке, чем стандарты предшествующих подходов; они могут быть исправлены, и мы понимаем, как это можно сделать. Методы такого исправления существенным образом опираются на историю и благодаря этому заполняют пробел, существующий между теорией познания и ее реальным материалом («познанием»). Теперь даже самое простое правило можно обсуждать реалистически и на основании такого обсуждения решать, следует ли его сохранить или заменить другим правилом. Такое впечатление создается благодаря той манере, в которой Лакатос подает свою методологию, так она выглядит в глазах простодушного и увлеченного читателя. Более внимательный взгляд, более «рациональное» рассмотрение открывает совершенно иную картину: Лакатос не показал, что его стандарты являются стандартами науки, он не показал, что они ведут к существенным результатам, он даже не сумел придать им никакой силы, если не считать нажима, запугивания, угроз. Он не опроверг анархизма и даже не смог убедить, что его методология является лучшей исторической исследовательской программой. Он произвольно избирает науку в качестве меры метода и знания, не исследовав предварительно достоинств других профессиональных идеологий. Для него эти идеологии просто не существуют. Пренебрегая ими, Лакатос способен дать лишь карикатурные изображения важнейших социальных и духовных переворотов. Отвлекаясь от «внешних» влияний, он искажает историю отдельных дисциплин, проводя мысль о том, что отклонения от стандартов не были необходимы для прогресса этих дисциплин. Вот «правда» об Имре Лакатосе. Однако, как я уже отметил, это не та правда, которая оказывает влияние на читателя. Как и во многих других случаях, изучающие методологию исследовательских программ подпадают под влияние ее внешнего вида, а не «рационального» содержания (слово «рациональный» употреблено здесь в том смысле, который придает ему теория рациональности, защищаемая Лакатосом). А поскольку со стороны своего внешнего вида концепция Лакатоса представляет собой громадный шаг вперед даже по сравнению с реальным содержанием предыдущих концепций, поскольку она ведет к интересным историческим и философским открытиям и поскольку она, как представляется, дает ясный и четкий ориентир в лабиринте истории, постольку мы можем поддержать ее, не отказываясь от анархизма. Можно даже согласиться с тем, что на современном этапе развития философского сознания некоторая иррациональная теория, ошибочно интерпретируемая как новое истолкование Разума, будет лучшим инструментом для освобождения мышления, нежели анархизм в чистом виде, способный парализовать почти всякий мозг. (Поэтому, закончив свое сочинение, я предпочту скорее присоединиться к Лакатосу, чем продолжать рекламировать явный анархизм.)...
И в заключение несколько слов о той практической цели, которой Лакатос хочет достигнуть с помощью своей методологии.
Лакатоса беспокоит интеллектуальная извращенность. Я разделяю его беспокойство. Безграмотные, серые книги наводняют рынок, пустая болтовня, уснащенная необычными и непонятными терминами, претендует на выражение глубоких идей, «специалисты», лишенные разума, характера и даже крохотной доли интеллектуального, художественного, эмоционального темперамента, рассказывают нам о нашем «положении» и о средствах его улучшения, причем они поучают не только нас — тех, кто способен обойтись без них, — в их руках находятся наши дети, которым они могут навязывать собственное интеллектуальное убожество. Опираясь на систему поощрений и наказаний, «учителя» обрабатывают умы молодежи до тех пор, пока молодежь не потеряет даже те крохи воображения, которыми она, может быть, обладала. Это печальное положение нелегко исправить. Я не вижу, чем могла бы помочь здесь методология Лакатоса...
Изменение перспективы сделает ясным, что существует много способов упорядочения окружающего нас мира, что ненавистные стеснения одного множества стандартов могут быть разрушены свободно избранными стандартами иного рода и что нет необходимости отвергать всякий порядок и погружаться в меланхолический поток сознания. Общество, опирающееся на множество жестких ограничительных правил, в котором бытие человека становится синонимом подчинения этим правилам, выталкивает инакомыслящих в бесчеловечную сферу всеобщего бесправия, отнимая у них разум и человеческое достоинство. Парадоксальность современного иррационализма заключается в том, что его сторонники неявно отождествляют рационализм с порядком и ясностью выражений и поэтому считают себя вынужденными защищать нечленораздельность и абсурд: многие формы «мистицизма» и «экзистенциализма» были бы невозможны без прочного ― хотя и неосознанного ― доверия к некоторым принципам столь презираемой идеологии (вспомним хотя бы «теорию», утверждающую, что поэзия есть не что иное, как цветисто выраженные эмоции).
Устраните эти принципы, допустите возможность множества различных форм жизни, и такие явления исчезнут как кошмарный сон.
Мой диагноз и предлагаемые мною меры до некоторой степени совпадают с тем, что говорит по этому поводу Лакатос. Он указывает на сверхжесткие принципы рациональности как на источник некоторых вариантов иррационализма и побуждает нас принять новые и более либеральные стандарты. Я указываю на сверхжесткие принципы рациональности, а также на общее почтение к «разуму» как на источник некоторых форм мистицизма и иррационализма и также призываю принять более либеральные стандарты. Однако в то время, как «уважение к большой науке» заставляет Лакатоса искать стандарты в пределах современной науки «последних двух столетий», я рекомендую поставить науку на ее место как интересную, но ни в коем случае не единственную форму познания, обладающую большими преимуществами, но не лишенную и многих недостатков: «Хотя в целом наука довольно неприятна, от нее можно чему-то научиться» (Г. Бен, Письмо к Г. М. Саймон от 11 октября 1949 г.). И я не верю в то, что шарлатанство можно уничтожить с помощью правил...
Наконец, позвольте мне еще раз повторить, что шовинизм науки для меня является гораздо более важной проблемой, чем проблема духовного бесплодия. Он даже может быть одной из главных причин такого бесплодия. Ученые не довольствуются своими собственными играми в рамках правил, которые они считают правилами научного метода. Они стремятся сделать эти правила универсальными, превратить их в часть всего общества и используют все средства, имеющиеся в их распоряжении, — аргументы, пропаганду, тактические уловки, запугивание, приемы лоббистов — для достижения своих целей. Китайцы осознали опасность этого шовинизма и предприняли шаги к его устранению. При этом они возродили важные элементы интеллектуального и эмоционального наследия китайского народа и улучшили практическую медицину. Было бы неплохо, если бы и другие народы поступили аналогичным образом.
Литература
1. Agassi J. How are Facts Discovered // Impulse, 1959, vol. 3,, N 10, p. 2-4.
2. Agassi J. The Confusion between Physics and Metaphysics in the Standard Histories of Sciences // Proceedings of the 10th Intern. Congress of the History of Science. 1964, vol. 1, p. 231-238.
3. Agassi J. Scientific Problems and their Roots in Metaphysics // The Critical Approach to Science and Philosophy, ed. by M. Bunge, 1964, p. 189-211.
4. Agassi J. Sensationalism // Mind, 1966, vol 75, p. 1-24.
5. Agassi J. The Novelty of Popper's Philosophy of Science // Intern. Phil. Quart., 1968, vol. 8, p. 442-463.
6. Agassi J. Popper on Learning from Experience // Studies in the Philosophy of Science, ed. by N. Rescher. 1969.
7. Ayer A. Language, Truth and Logic, 1936 (2 ed. – 1946).
8. Bartley W. Theories of Demacration between Science and Metaphysics // Problems in the Philosophy of Science, ed. by Lakatos and Musgrave. 1968. p. 40-64.
9. Becke, Sitte. Zur Theorie des p-Zerfalls // Zeit-schrift fur Physik, 1933, vol. 86, p. 105-119. schrift fur Physik, 1933, vol. 86, p. 105-119.
10. Bernal J. Science in History. 1965 (3 ed.) [русск. перев.: Бернал Дж. Наука в истории общества. M., 1956]
11. Bernstein R. A Comprehensive World: On Modern Science and its Origins. 1961.
12. Bethe, Peierls R. The “Neutrino” // Nature, 1934, vol. 133, p. 532.
13. Bohr N. On the Constitution of Atoms and Molecules // Phil. Magazine, 1913, vol. 26, p. 1-25, 476-502, 857-875 [русск. перев.: Бор Н. О строении атомов и молекул // Избр. научн. труды. Т. 1. M., 1970. с. 84-148].
14. Bohr N. Letter to Rutherford, 6.3.1913; publ. in [22], p. XXXVIII-XXXIX.
15. Bohr N. The Spectra of Helium and Hydrogen // // Nature, 1913, vol. 92, p. 231-232 [русск. перев.: Бор Н. Спектры водорода и гелия // Избр.- научн. труды, Т. 1, с. 149-151].
16. Bohr N. The Structure of the Atom. Nobel Lecture // Nature, 1921, vol. 107, pp. 104-107 [русск. перев. Бор Н. Строение атома // Бор Н. Избр. научн. труды, т. 1. M. 1970, с. 285- 292].
17. Bohr N. Letter to “Nature” // 1926, vol. 117, p. 264.
18. Bohr N. Chemistry and the Quantum Theory of Atomic Constitution // Journal of the Chem. Society, 1932, vol. 1, pp. 349-384 [русск. перев.: Бор Н. Химия и квантовая теория строения атома // Избр. научн., труды, т. II, М., 1970, с. 75-110].
19. Bohr N. Light and Lite // Nature, 1933, vol. 131, p. 421-423, 457-459 [русск. перев.: Бор Н. Свети жизнь // Бор Н. Избр. научн. труды, т. II, M., 1970, с. Ill-119].
20. Bohr N. Conservation Laws in Quantum Theory // Nature, 1936, vol. 138, pp. 25-26 [русск. перев.: Бор Н. Законы сохранения в квантовой физике // Избр. научн. труды, т. II, M., 1970, с. 202-203].
21. Bohr N. Discussion with Einstein on Epistemological Problems in Atomic Physics // Albert Einstein, Philosopher-Scientist, ed. by Schilpp. 1949, vol. 1, pp. 201-241 [русск. перев.: Бор. Н. Дискуссиии с Эйнштейном по проблемам теории познания в атомной физике // Избр. научн. труды, т. II, M., 1970, с. 399-433].
22. Bohr N. On the Constitution of Atoms and Molecules, 1963.
23. Born M. Einstein's theory of Relativity, N. Y„ 1962 (1 ed. – 1920) [русск. перев.: Борн M. Эйнштейновская теория относительности. M., 1972].
24. Born M. Max Karl Ernst Ludwig Planck // Obituary Notices of Fellows of the Royal Society, 1948, vol. 6, pp. 161-180.
25. Born M. The Statistical Interpretation of Quantum Mechanics. Nobel Lecture (1954) [русск. перев.: Борн М. Статистическая интерпретация квантовой механики // Борн М. Физика в жизни моего поколения. М., 1963, с. 301-315].
26. Braithwaite R. The Relewance of Psychology to Logic // Aristotelian Society Suppl. Volumes, 1938, vol. 17, pp. 19-41.
27. Braithwaite R. Scientific Explanation. Cambr., 1953.
28. Callendare. The Pressure of Radiation and Carnot's Principle//Nature, 1914, vol. 92, p. 553.
29. Canfield, Lehrer K. A Note on Prediction and Deduction//Philosophy of Science, 1961, vol. 28, pp. 204-208.
30. Carnap R. Cber Protokolisatze // Erkenntnis, 1932- 1933, vol. 3, pp. 215-228.
31. Carnap R. Review of Popper's “Logik der Forschung”//Erkenntnis, 1935, vol. 5, pp.. 290-294.
32. Coffa. Deductive Prediction // Philosophy of Science, 1968, vol. 35, pp. 279-283.
33. Crookes W. Presidential Address to the Chemistry Section of the British Association//Report of British Ass., 1886, pp. 558-576.
34. Crookes W. Report at the Annual general Meeting //Journ. of the Chem. Society, 1988, vol. 53, pp. 487-504.
35. Davisson С. J. The Discovery of Electron Waves. Nobel Lecture, 1937.
36. Dirac P. Does Conservation of Energy Hold in Atomic Processes?//Nature, 1936, vol. 137, pp. 298- 299.
37. Dirac P. Is there an Aether?//Nature, 1951, vol. 168, pp. 906-907.
38. Dorling. Length Contraction and Clock Synchronisation: the Empirical Equivalence of the Einsteinian and Lorentzian Theories//The British J. for the Phil. of Science, 1968, vol. 19, pp. 67-69.
39. Droyer. History of the Planetary Systems from Thales to Kepler. 1906.
40. Duhem P. La Theorie Physique, Son Objet et Sa Structure, 1905 [русск. перев.: Дюгем П. Физическая теория, ее цель и строение, СПБ, 1910].
41. Eccles L. С. The Neurophysiological Basis of Experience//The Critical Approach to Science and Philosophy, ed. by M. Bunge, 1964.
42. Ehrenfest P. Welche Zfige der Lichtquantenhypothese spielen in der Theorie der Warmestrahlung eine Wesentliche Rolle?//Annalen der Physik, 1911, vol. 36, p. 91-118 [русск. перев.: Эренфест П. Какие черты гипотезы световых квантов играют существенную роль в теории теплового излучения // Эренфест П. Относительность. Кванты. Статистика M., Наука, 1972, с. 118-145].
43 Ehrenfest P. Zuz Krise der Zichtather-Hypothese. 1913.
44. Eeinstein A. Ober die Entwicklung unserer Anschauungen liber das Wesen und die Konstitution der Strahlung // Physikalische Zeitschrifth, 1909, vol. 10, pp. 817-826 [русск. перев. Эйнштейн А. Собр. научн. трудов, т. III, M., 1966, с. 181-195].
45. Einstein A. New Experimente fiber den Einfluss der Erdbewegung auf die Lichtgeschwindigkeit relativ zuz Erde // Forschungen und Fortschritte, 1927, vol. 3, p. 36 [русск. перев.: Эйнштейн А. Новые опыты по влиянию движения Земли на скорость света относительно Земли // Собр. научн. трудов, т. II, M., 1966, с., 188-189].
46. Einstein A. Letter to Schrodinger. 31.5.1928 [русск. перев.: Э. Шредингер. Новые пути в физике. M., 1971, с. 237-238].
47. Einstein A. Gedenkworte auf Albert A. Michelson // Zeitschrift fur angewandte Chemie, 1931, vol. 44, pp. 638 [русск, перев.: Эйнштейн А. Памяти Альберта А. Майкельсона // Собр. научных трудов, т. IV, M., 1967, с. 149-150].
48. Einstein A. Autobiographical Notes // Albert Einstein. Phiolosopher-Scientist, ed. by Schilpp, 1949, vol. 1, pp. 2-95 [русск. перев.: Эйнштейн А. Автобиографические заметки // Собр. научн. трудов, т. IV, M., 1967, с. 149-150].
49. Ellis, Mott N. F. Energy Relations in the p-Ray Type of Radioactive Disintegration // Proceed, of the Royal Society of London, Ser. A., 1933, vol. 96, pp. 502-511.
50. Ellis, Wooster. The average Energy of Disintegration of Radium E // Proceedings of the Royal Society, Ser. A, 1927, vol. 117, pp. 109-123.
51. Evans E. J. The Spectra of Helium and Hudrogen// Nature, 1913, vol. 92, p. 5.
52. Fermi E. Tentative di una teoria dell emissione dei raggi “beta” // Recerci Scientifica, 1933, vol. 4 (2), pp. 491-495.
53. Fermi E. Versuch einer Theorie der p-Strallen. I. // Zeitschrift fur Physik, 1934, vol. 88, pp. 161-177 [русск. перев.: Ферми Э. К теории β-лучей//Собр. научн. трудов, т. I. 1971, с. 525-541].
54. Feyerabend P. Comments on Grunbaum's “Law and Convention in Physical Theory//Current Issue in the Philosophy of Science, 1961, ed. by Feigl and Maxwell, pp. 155-161
55. Feyerabend P. Reply to Criticism // Boston Studies in the Philosophy of Science, ed by Cohen R. and Wartofsky M., 1965, vol II, pp 223-261 [русск. перев. Фейерабенд П. Ответ на критику//Структура и развитие науки M, 1978, с 419-470].
56. Feyerabend P. On a Recent Critique of Complemen tanty//Phill of Science, 1968-1969, vol. 35, pp. 309-331, vol. 36, pp. 82-105
57. Feyerabend P. Problems of Empiricism II//The Nature and Function of Scientific Theory, ed. by Colodny, 1969
58 Feyerabend P. Against Method // Minnesota Studies for the Phil of Science, 1970, vol. 4 [русск. перев. Фейерабенд П. Избран труды по методологии науки, M, 1986, с. 125-466]
59 Fowler A. Observations of the principal and other series of lines in the spectrum of hydrogen // Monthly Notices of the Royal Astionomical Society, 1912, vol. 73, pp. 62-71
60. Fowler A. The Spectra of Helium and Hydrogen // // Nature, 1913, vol 92, p. 95
61. Fowler A. The Spectra of Helium and Hydrogen // // Nature, 1913, vol 92, p. 232
62. Fowler A. Series Lines in Spark Spectra // Proceed of the Royal Society of London (A), 1914, vol 20, pp 426-430.
63. Fresnel A. J. Lettre a Francois Arago sur l'influence du Mouvement Terrestre dans quelques Rhenomenes Optiques // Annales de Chimie el de Physique 1918, vol. 9, p. 57
64. Galileo G. Dialogo dei Massinii Sistemi, 1632 [русск. перев. Галилей Г. Диалог о двух главнейших системах мира M-Л, 1948]
65. Gamow G. Thirty Years that Shook Physics, 1966
66. Grunbaum A. The Falsifiability of the Lorentz Fitzgerald Contraction Hypothesis // Brit. Journ. for the Phil. of Science, 1959, vol. 10, pp. 48-50
67. Grunbaum A. Law and Convention in Physical Theory // Current Issues in the Philosophy of Science, 1961, pp 40-155.
68. Grunbaum A. The Duhemian Argument // Philosophy of Science, 1960, vol. 11, pp. 75-87
69. Grunbaum A. The Falsifiability of a Component of a Theoretical System // Mind, Matter and Method. Essays in Philosophy and Maxwell G., 1966, pp. 273-305
70. Grunbaum A. Can We Ascertain the Falsity of a Scientific Hypothesis' // Studium Generale, 1969, pp. 1061-1093
71. Heisenberg W. Ober Aufbau der Atomkerne // Zeit schnft fur Physik, 1932, vol. 77, pp. 1-11, vol. 78, pp. 1956-1964 [русск. перев. Гейзенберг В. О строении атомных ядер // Нейтрон Предыстория, открытие, последствия, M, 1975]
72. Heisenberg W. The Development of the Interpretation of Quantum Theory // Niels Bohr and the De velopment of Physics, 1955 [русск. перев. Гейзенберг В. Развитие интерпретации квантовой теории // Н. Бор и развитие физики, М. , 1958, с. 23-45]
73. Hempel C. Review of Popper's “Logik der Forschung” // Deutsche Literaturzeitung, 1937, pp. 309-314.
74. Hempel С. Some Theses on Empirical Certainty // The Review of Metaphysics, 1952, vol. 5, pp. 620-621
75. Henderson. The upper Limits of the Continuous fi-ray Spectra of Thorium С and C11 // Proceed of the Royal Society of London Ser A, 1934, vol. 147, pp. 572-582
76. Hesse M. Review of Grunbaum's “The Falsifiability British Journal for the Philosophy of Science, 1968, of a Component of a Theoretical System” // The British J for the Phil. of Science vol 18, pp. 333-335.
77. Hevesy G. V. Letter to Rutherford 14 10 1913 // quoted in Borh N. On the Constitution of Atoms and Molecules, p. XLII
78. Hund. Gottmgen, Copenhagen, Leipzig im Ruck blick // Werner Heisenberg und die Physik unse rer Zeit, ed by Bopp, Braunschweig, 1961
79. Jaffe G. Michelson and the Speed of Light. 1960
80. Jammer M. The Conceptual Development of Quantum Mechanics, 1966 [русск. перев. Джеммер М. Эволюция понятий квантовой механики. М., 1985]
81. Joffe A. Zur Theorie der Strahlungserscheinungen // // Annalen der Physik, 1911, vol 36, pp 534-552 [русск. оригинал: Иоффе А. Ф. К теории лучистой энергии // Избранные труды в 2-х томах, Л., т. 2, с. 12-24].
82. Juhos В. Ober die empirische Induktion // Studium Generale, 1966, vol. 19, pp. 259-272.
83. Keynes L. M. A Treatise on Probability, 1921.
84. Koyre A. The Significance of the Newtonian Synthesis // Newtonian Studies. L., 1965.
85. Koestler A. The Sleepwalkers. 1959.
86. Konopinski, Uhlebenck G. E. On the Fermi theory of p-radioactivity // Physical Revview, 1935, vol. 48, p. 7-12.
87. Kramers. Das Korrespondenzprinzip und der Scha-lenbau des Atoms // Die Naturwissenschaften, 1923, vol. 11, p. 550-559.
88. Kudar. Der wellenmechanische Charakter des fi-Zer-falls, I-II-III. // Zeitschrift fur Physik, 1929- 1930, vol. 57, p. 257-60, vol. 60, р. 168-75, 176-83.
89. Kuhn T. The Structure of Scientific Revolutions. Chicago, 1962 [русск. перев.,: Кун Т. Структура научных революции. M., 1975]
90. Kuhn T. Logic of Discovery or Phychology of Research? // Criticism and the Growth of Knowledge. Cabr., 1970, p. 1-23.
91. Lakatos I. Infinite Regress and the Foundations of Mathematics // Aristotelian Society Supplementary Volume, 1962, vol. 36, p. 155-184.
92. Lakatos I. Proofs and Refutations // The British Journal for the Philosophy of Science, 1963-64, vol. 14, p. 1-25, 120-39, 221-43, 296-342 [русск. перев.: Лакатос И. Доказательства и опровержения. М„ 1967].
93. Lakatos I. Changes in the Problem of Inductive Logic // Lakatos I. (ed.): The Problem of Inductive Logic, 1968, p. 315-417.
94. Lakatos I. Criticism and the Methodology of Scientific Research Programmes // Proceedings of the Aristotelian Society, 1968, vol. 69, p. 149-186.
95. Lakatos I. Popper zum Abgrenzungs ― und Induktionsproblem // Lenk H. (ed.): Neue Aspekte der Wissenschaftstheorie, 1971.
96. Lakatos I. History of Science and its Rational Reconstructions // Boston Studies in the Philosophy of Science, ed. by R. Cohen, R. Buck, vol. 8, 1972. pp. 174-182 [русск. перев., Лакатос И. История науки и ее рациональные реконструкции // Структура и развитие науки, М„ 1978, с. 203-269).
97. Lakatos I. Replies to Critics // Ibid., pp. 174-182 [русск. перев.: Лакатос И. Ответ на критику // // Структура и развитие науки. M., 1978, с. 322- 336].
98. Lakatos I. The Changing Logic of Scientific Discovery, 1973.
99. Lakatos I. Proofs and Refutations and Other Essays in the Philosophy of Mathematics, 1974.
100. Laplace P. S. Exposition du Systeme du Monde, 1796 [русск. перев.: Лаплас П. Изложение системы мира, СПБ., 1861].
101. Larmor L. On the Ascertained Absense of Effects of Motion through the Aether, in Relation to the Constitution of Matter, and on the Fitzgerald ― Lorentz Hypothesis // Philosophical Magazine, ser. 6, 1904, vol. 7, pp. 621-625.
102. Laudan L. Grunbaum on “The Duhemian Argument // Philosophy of Science, 1965, vol. 32, pp. 295-299.
103. Lorentz H. A. De 1'Influence du Mouvement de la Terre sur les Phenomenes Lumineux // Versl. Kon. Akad. Wetensch, Amsterdam, 1886, vol. 2, pp. 297- 358.
104. Lorentz H. A. The Relative Motion of the Earth and the Ether // Versl. Kon. Akad. Wetensch. Amsterdam, 1892, vol. 1, pp. 74-77.
105. Leibnitz G. Letter to Conring. 19.3.1678.
106. Le Roy E. Science et Philosophic // Revue de Metaphysique et de Morale, 1899, vol. 7, pp. 375- 425, 503-562, 706-731.
107. Le Roy E. Un Positivisme Nouveau // Revue de Metaphysique et de Morale, 1901, vol. 9, pp. 138- 153.
108. Lorentz H. A. Stokes' theory of Aberration // Versl. Kon. Akad. Wetensch. Amsterdam, 1892, vol. 1, pp. 97-103.
109. Lorentz H. A. Versuch einer Theorie des electri-schen und optischen Erscheinungen in bewegten Korpern, 1895.
110. Lorentz H. A. Concerning the Problem of the Dragging Along of the Ether by the Earth // Versl. Kon. Akad. Wetensch. Amsterdam, 1897, vol. 6, pp 266- 272.
111. Lorentz H. A. The Rotation of Earth and its Influence on Optical Phenomen // Nature, 1923, vol. 112, pp. 103-104.
112. Lykken. Statistical Significance in Psychological Research // Psychological Bulletin, 1968, vol. 70, pp. 151-159.
113. McCulloch L. R. The Principles of Political Economy: with a sketch of the Rise and Progress of Science. 1825.
114. MacLaurin С. Account of Sir Isaac Newton's Philosophical Discoveries, 1748.
115. Margenau H. The Nature of Phesical Reality. 1950.
116. Marignac. Commentary on Stas'Researches on the Mutual Relations of Atomic Weights. 1860 (preprinted in: Prout's Hypothesis // Alembic Club Reprints, vol. 20, pp. 48-58).
117. Maxwell I. C. Theory of Heat. 1871.
118. Medawar. The Art of the Soluble. 1967.
119. Meehl. Theory Testing in Psychology and Physics: a Methodological Paradox // Philosophy of Science, 1967, vol. 34, pp. 103-115.
120. Meitner L. Kernstruktur // Handbuch der Physik, Zweite Auflage, 1933, vol. 22/1, pp. 118-152.
121. Meitner L., Orthmann. Ober einer absolute Bestim-mung der Energie der Energie der primaren B-Strahlen von Radium E. // Zeitschrift fur Physik, 1930, vol. 60, pp. 143-155.
122. Michelson A. The relative Motion of the Earth and the Luminiferous Ether // American Journal of Science. Ser. 3. 1881, vol. 22, pp. 120-129.
123. Michelson A. On the Application of Interference Methods to Spectroscopic Measurements, I-II // Philosophical Magazine. Ser. 3 / 1891-1892, vol. 31, pp. 338-346, vol. 34, pp. 280-299.
124. Michelson A. On the Relative Motion of the Earth and the Ether // American Journal of Science, Ser. 4., 1897, vol. 3, pp. 475-478.
125. Michelson A., Gale. The Effect of the Earth's Rotation on the Velocity of Light // Asfrophysical Journal, 1925, vol. 61, pp. 137-145.
126. Michelson A., Morley E. W. On the Relative Motion of the Earth and the Luminiferous Ether // // American Journal of Science. Ser. 3 / 1881, vol. 34, pp. 333-345.
127. Milhaud. La Science Rationelle //Revue de Metaphysique et de Morale, 1896, vol. 4, pp. 280-302.
128. Mill J. St. A System of Logic, Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence, and the Methods of Scientific Investigation, 1843 [русск. перев.: Милль Дж. Ст. Система логики силлогистической и индуктивной. Изложение принципов доказательства в связи с методами научного исследования. М., 1914].
129. Miller D. С. Ether-Drift Experiments at Mount Wilson // Science, 1925, vol. 41, pp. 617-621.
130. Morley E. W., Miller D. C. Letter to Kelvin (1904) // Philosophical Magazine, Ser. 6, vol. 8, pp. 753-754.
131 Mosely G. G. Letter to “Nature” // Nature, 1914, vol. 92, p. 554.
132. Mott N. F. Wellenmechanik und Kernphysik // Handbuch der Physik, Zweite Auflage, 1933, vol. 24/1, pp. 785-841.
133. Musgrave A. On a Demarcation Dispute // Problems in the Philosophy of Science, ed. by Lakatos I., Musgrave A., 1968, pp. 78-88.
134. Musgrave A. Impersonal Knowledge. Ph. D. Thesis, University of London, 1969.
135. Musgrave A. Review of Ziman's “Public Knowledge: an Essay Concerning the Social Dimensions of Science // The Brit. Journal for the Philosophy of Science, 1969, vol. 20, pp. 92-94.
136. Musgrave A. The Objectivism of Popper's Epistemo-logy // The Philosophy of Sir Karl Popper, 1973.
137. Nagel E. The Structure of Science, 1961.
138. Nagel E. What is True and False in Science: Me-dowar and the Anatomy of Research // Encounter, 1967, vol. 29, N3, pp. 68-70.
139. Neurath O. Pseudorationalismus der Falsifikation // // Erkenntnis, 1935, vol. 5, pp. 353-365.
140. Nickolson I. W. A possible Extension of the Spectrum of Hydrogen // Monthly Notices of the Royal Astronomical Society, 1913, vol. 73, pp. 382-385.
141. Pauli W. Zur alteren und neueren Geschichte des Neutrinos // Pauli W. Aufsate und Vortrauge uber Physik und Erkenntnistheorie, 1961, pp. 156-180.
142. Pearce Williams. Relativity theory: Its Origins and Impact on Modern Hhought, 1968.
143. Peierls R. Interpretation of Shanklan's Experiment //Nature, 1936, vol. 137, p. 904.
144. Physics at the Britich Association//Nature, 1913- 1914, vol. 92, pp. 353-365.
145. Planck M. Ober eine Verbesserung der Wienschen Spektralgleichung // Verhandlungen der Deutschen Physikalischen Geselschaft, 1900, vol. 2, pp. 202- 204 [русск. перев.: Планк M. Об одном улучшении закона излучения Вина // Избр. научн. труды, М„ 1975, с. 249-250].
146. Planck M. Zur Theorie des Gesetzes der Energiever-teilung im Normalspektrum // Verhandlundgen der Deutschen Physikalischen Geselschaft, 1900, vol. 2, pp. 237-245 [русск. перев.: Планк M. К теории распределения энергии излучения нормального спектра//Избран, научн. труды, M., 1975, с. 251- 267].
147. Planck M. Zwanzig Jahre Arbeit am Physikalischen Weltbild // Physica, 1929, vol. 9, pp. 193-222 [русск. перев.: Планк M. Двадцать лет работы над физической катиной мира//Избран, научн. труды, М„ 1975, с. 568-589].
148. Planck M. Scientific Autobiography, 1950 [русск. перев.: Планк M. Научная автобиография//Избран. научн. труды, M., 1975, с. 649-663].
149. Poincare H. Les geometries non euclidiennes // Revue generale des Sciences Pures et Appliquees, 1891, vol. 2, pp. 769-774.
150. Poincare H. La Science et 1'Hypothese. 1902 [русск. перев.: Пуанкаре А. Наука и гипотеза // Пуанкаре А. О науке. M., 1983, с. 5-152].
151. Polanyi M. Personal Knowledge. Towards a post-critical Philosophy, 1958 [русск. перев.: Полани M. Личностное знание. На пути к посткритической философии. M., 1985].
152. Popkin H. R. Scepticism, Theology and the Scientific Revolution in the Seventeenth Century // Problems in the Philosophy of Science, ed. by Lakatos I., Musgrave A., 1968, pp. 1-28.
153. Popper К. Ein Kriterium des empirischen Charak-ters theoretischer Systeme // Erkenntnis, 1933, vol. 3, p. 426-427 [русск. перев.: Поппер К. Критерий эмпирического характера теоретических систем // Логика и рост научного знания. M., 1983. С. 236- 239].
154. Popper K. Logic der Forschung, 1934; [расширенное английское издание: [160].
155. Popper К. Induktionslogik und scheinlichkeit // Erkenntnis, 1935, 172.
156. Popper К. What in Dialectic?//Mind, 1940, vol.49, pp. 403-426 [русск. перев.: Поппер К. Что такое диалектика?//Диалектика и ее критики (препринт). М„ 1986].
157. Popper К. The Open Society and its Enemies, vol. I-II, 1945 [русск. перев.: Поппер К. Открытое общество и его враги, т. I-II, M., 1992].
158. Popper К. The Aim of Science/Ratio, 1957, vol. I, pp. 24-35.
159. Popper К. The Poverty of Historicism, 1957 [русск. перев.: Поппер К. Нищета историцизма//Вопросы философии, 1992, № 8, с. 49-79; № 9, с. 22-48, №10, с. 29-58].
160. Popper K. Philosophy and Physics//Atti del XII Congresso Internazionale di Filosofia, 1960, vol.2, pp. 363-374.
161. Popper K. The Logic of Scientific Discovery. 1959 [русск. перев.: Поппер К. Логика научного исследования, гл. I-VII, X//Логика и рост научного знания. M., 1983, с. 33-235].
162. Popper K. Testability and “ad-Hocness” of the Contraction Hypothesis // British Journal for the Philosophy of Science, 1959, vol. 10, p. 50.
163. Popper K. Conjectures and Refutations, 1963 [русск. перев.: Поппер К. Предположения и опровержения. Рост научного знания. Гл. 1, 3, 10//Логика и рост научного знания. M., 1983, с. 240- 378].
163а. Popper K. Quantum Mechanics without “The Observer” // Quantum Theory and Reality. Berlin. 1967.
164. Popper K. Normal Science and its Dangers//Criticism and the growth of Knowledge, 1970, pp. 51- 58.
165. Рopper К. Epistemology without a Knowing Subject // Proceed, of the Third Intern. Congress for Logic, Methodology and Philosophy of Sciense, Amsterdam, 1968, pp. 333-373 [русск. перев.: Поппер К. Объективное знание. Эволюционный подход. Гл. 3. Эпистемология без познающего субъекта // К. Поппер. Логика и рост научного знания. М., 1983, с. 439-459].
166. Popper K. On the Theory of the Objective Mind // Proceedings of the XIV International Congress of Philosophy, 1968, vol. 1, pp. 25-53.
167. Popper К. Remarks on the Problems of Demarcation and Rationality // Problems in the Philosophy of Science, ed. by Lakatos I., Musgrave A., 1968, pp. 88-102.
168. Popper К. A Realist View of Logic, Physics and History // Physics, Logic and History, ed. by Yourgrau, Breck, 1969.
169. Power. Introductory Quantum Electrodynamics. 1964.
170. Prokhovnik. The Logic of Special Relativity, 1967.
171. Prout W. On the Relation between the Specific Gravities of Bodies in their Gaseous State and the Weights of their Atoms//Annals of Philosophy, 1815, vol. 6, pp. 321-330.
172. Quine W. From a Logical Point of View. 1953.
173. Rabi. Atomic Structure//Recent Advances in Science, ed. by Murphy G., Shamos M., 1956.
174. Reichenbach H. The Rise of Scientific Philosophy. 1951.
175. Runge С. Ather und Relativitatstheorie //Die Na-turwissenschaften, 1925, vol. 13, p. 440.
176. Russell В. The philosophy of Bergson, 1914;
177. Russel В. Reply to Critics//The Philosophy of Bertrand Russell, ed. by Schilpp, 1943, pp. 681-741.
178. Russell В. History of Western Philosophy, 1946 [русск. перев.: Рассел Б. История Западной философии. M., 1959; гл. XXVII ― “Карл Маркс”//Общественная мысль: исследования и публикации. M., 1990, с. 262-269].
179. Rutherford E., Chadwick I., Ellis. Radiations from Radioactive Substances. 1930.
180. Schlick M. Ober das Fundament der Erkenntnis// Erkenntnis, 1934, vol. 4, pp. 79-99.
181. Schrodinger E. Might perhaps Energy be merely a Statistical Concept?//II Nouvo Cimento, 1958, vol.9, pp. 162-170.
182. Shankland R. An Apparent Failure of the Photon Theory of Scattering//Physical Review, 1936, vol. 49, pp 8-13.
183. Shankland R. Michelson-Morley Experiment / Ame-riican Journal of Physics, 1964, vol. 32, pp. 16-35.
184. Soddy F. The Interpretation of the Atom. 1932.
185. Sommerfeld A. Zur Quantentheorie der Spektrallinien//Annalen der Physik, 1916, vol. 51, pp. 1-94, 126-167.
186 Stebbing. Pragmatism and French Voluntarism, 1914.
187. Stegmuller W. Explanation, Prediction, Scientific Systematization and Non-Explanatory Information // Ratio, 1966, vol. 8, pp. 1-24.
188. Stokes G. On the Aberration of Light//Philosophical Magazine, 3 ser., 1845, vol. 27, pp. 9-15.
189. Stokes G. On Fresnel's Theory of the Aberration of Light // Philosophical Magazine, 3-d ser., 1846, vol. 28, pp. 76-81.
190. Synge J. Effects of Acceleration in the Michelson- Morley Experiment // the Scientific Proceedings of the Royal Dublin Society, New Series, 1952-1954, vol. 26, pp. 45-54.
191. Ter Haar. The Old Quantum Theory, 1967.
192. Thomson J. J. On the Waves associated with B-rays, and the Relation between Free Electrons and their Waves//Philosophical Magazine, 17th Ser., 1929, vol. 7, pp. 405-417.
193. Tonlmin S. The Evolutionary Development of Natural Science//American Scientists, 1967, vol. 55, pp. 456-471.
194. Treiman. The Weak Interactions // Scientific American, 1959, vol. 200, pp. 72-84.
195. Truesdell С. The Program toward Rediscovering the Rational Mechanics in the Age of Reason // Archive of the History of Exact Sciences, 1960, vol. 1, pp. 3-36.
196. Uhlenbeck G. E., Goudsmit S. Ersetzung der Hypo-these vom unmechanischen Zwang durch eine Forde-rung bezuglich des innerren Verhaltens jedes einzel-nen Electrons // Die Naturwissenschaften, 1925, vol. 13, pp. 953-954.
197. Uhlenbeck G. E., Goudsmit S. Spinning electrons and the structure of spectra//Nature, 1926, vol. 17, pp. 264-265.
198. Waerden van der B. L. Sources of Quantum Mecha-nacs, 1967.
199. Watkins J. Between Analytic and Empirical//Philosophy, 1957, vol. 32, pp. 112-131.
200. Watkins J. Influential and Confirmable Metaphysics//Mind, 1958, vol. 67, pp. 344(365.
201. Watkins J. When are Statements Empirical? // British Journal for the Philosophy of Science, 1960, vol. 10, pp. 287-308.
202. Watkins J. Hume, Carnap and Popper//The Problem of Inductive Logic, ed. by Lakatos I., 1968, pp. 271-282.
203. Whewell W. History of the Inductive Sciencies, from the Earliest to the Present Time, vol. l-III, 1837 [русск. перев.: Уэвеллъ В. История индуктивных наук от древнейшего и до настоящего времени. т. I-Ill, 1867-1868, СПБ].
204. Whewell W. Philosophy of the Inductive Sciencies, Founded upon their History, vol. I-II. 1840.
205. Whewell W. On the Transformation Hypothesis the History of Science // Cambridge Philosophical Transactions, 1851, vol. 9, pp. 139-147.
206. Whewell W. Novum Organon Renovation. Being the second part of the philosophy of the inductive sci-encies. 3-ed„ 1858.
207. Whewell W. On the Philosophy of Discovery, Chapters Historical and Critical, 1860
208. Whittaker E. From Euclid to Eddington, 1947.
209. Whittaker E. History of the Theories of Aether and Electricity, vol. II, 1953.
210. Wisdom Ch. The Refutability of “Irrefutable” Laws //The British Journal for the Philosophy of Science, 1963, vol. 13, pp. 303-306.
211. Wu. Beta Decay // Rendiconti della Scuola Internazionale di Fisica, “Enrico Fermi”, XXXII Corso, 1966.
212. Wu, Moskowski. Beta Decay, 1966.
Примечания
1
Джастификационисты не раз подчеркивали эту асимметрию между единичными фактуальными высказываниями и универсальными теориями. См., например, рассуждения Р. Попкина о Б. Паскале ([152), с 14) ‹…› Пробабилисты же полагают, что теории могут быть не менее прочно установленными, чем фактуальные высказывания. [“Пробабилисты” ― так Лакатос называет тех методологов, которые стремятся использовать аппарат вероятностной логики и математической теории вероятностей в методологических исследованиях, в частности для определения степени вероятности (или подтверждения) научных утверждений” (Никифоров А. Л. Комментарий к статье И. Лакатоса “История и ее рациональные реконструкции” // Структура и развитие науки Из Бостонских исследований по философии науки М., 1978 С. 473) ― Прим. перев.]
(обратно)2
На самом деле кое-кто из этих немногих, вслед за Миллем, отказавшись от явно неразрешимой проблемы индуктивного доказательства (выведения универсального из частных высказываний), перешли к другой проблеме, неразрешимость которой гораздо менее очевидна, ― выведения одних частных фактуальных высказываний из других.
(обратно)3
Основоположники пробабилизма были интеллектуалистами, поздние усилия Карнапа построить эмпирицистский вариант пробабилизма не увенчались успехом См. [93], р. 367, 361, прим. 2.
(обратно)4
Более подробно см. [93], р. 353 и далее.
(обратно)5
[176], р. 683. О джастификационизме Б. Рассела см.: [91], р. 167.
(обратно)6
[118], р. 144.
(обратно)7
Отсюда ясно, почему демаркация между доказуемыми фактуальными и недоказуемыми теоретическими высказываниями имеет такое важное значение для догматического фальсификациониста.
(обратно)8
“Должны быть заранее установлены критерии опровержения следует договориться относительно того, какие наблюдаемые ситуации, если они будут действительно наблюдаться, означают, что теория опровергнута” ([163], р. 38 [русск. перев. с. 247]).
(обратно)9
Цит. по [161]. К. Поппер замечает “Я полностью согласен” [русск. перев., с. 229].
(обратно)10
[27], рр. 367-368. О “невозможности корректирования” наблюдаемых фактов см. [26]. Если в приведенном выше отрывке Брейсуэйт дает убедительный ответ на вопрос о научной объективности, то в другом месте он замечает, что “за исключением далеко идущих обобщений наблюдаемых фактов полное опровержение не более возможно, чем полное доказательное обоснование”. ([27], р. 19)
(обратно)11
Об этих посылках и их критику см. [161], гл. 4 и 10 [русск. пер. с. 54-60, 75-78]. Вот почему я, вслед за Поппером, называю этот вариант фальсификационизма “натуралистическим”. “Базисные высказывания” в смысле Поппера не следует смешивать с базисными высказываниями, о которых идет речь в указанных главах. Важно отметить, что эти две посылки принимают и многие джастификационисты, вовсе не являющиеся фальсификационистами: к экспериментальным доказательствам они могут добавить “интуитивные” (вслед за Кантом) или “индуктивные” (вслед за Миллем). Наш фальсификационист допускает только экспериментальные доказательства.
(обратно)12
Эмпирический базис теории ― это множество ее потенциальных фальсификаторов, то есть множество тех предложений наблюдения, которые могут опровергнуть эту теорию.
(обратно)13
Между прочим, Галилей также показал, что, если бы луна была идеально чистой сферой, то она была бы невидимой это следовало из его оптики См. [64].
(обратно)14
На самом деле большинство психологов, отвергнувших джастификационистский сенсуализм, сделали это под влиянием философов прагматистов вроде У. Джемса, который отрицал объективность знания. И все же влияние Канта ― через О. Кюльпе и Ф. Брентано ― и Поппера ― через Э. Брунсвика и Д. Кэмпбелла ― определило водораздел в современной психологии; и если даже в психологии был повержен психологизм, то это благодаря возросшему пониманию идеи объективности, центральной в философии Канта и Поппера.
(обратно)15
См. [161], гл. 29 ([русск. перев. , с. 140]).
(обратно)16
По видимому, первым философом, подчеркнувшим это, был Фриз в 1837 г. (см. [161], гл. 29, прим. 3, русск. перев., с. 140]). Конечно, это частный случай более общего тезиса о том, что логические характеристики, такие как вероятность или непротиворечивость, относятся к высказываниям. Так, например, высказывание “природа непротиворечива” ложно (или, если угодно, бессмысленно), ибо природа не есть высказывание (или конъюнкция высказываний).
(обратно)17
Между прочим, даже это сомнительно.
(обратно)18
Как говорит Поппер, “фактически окончательного опровержения теории вообще нельзя провести”, а те, кто ожидают какого-то непогрешимого опровержения, чтобы только затем элиминировать теорию, должны ждать вечно и никогда не смогут “извлечь из опыта какую-либо пользу” [161], гл. 9, [русск. перев., с. 74]).
(обратно)19
Кант и его английский последователь Уэвелл понимали, что все научные высказывания, как априорные, так и апостериорные, в равной степени теоретичны, но они оба полагали, что такие высказывания равно доказуемы. Кантианцы ясно понимали, что научные высказывания являются теоретическими в том смысле, что они не пишутся ощущениями на tabula rasa пустого сознания, и не выводятся дедуктивно или индуктивно из таких же высказываний. Фактуальное высказывание ― только частный случай теоретического высказывания. В этом Поппер солидарен с Кантом против эмпирицистского варианта догматизма. Но Поппер сделал следующий шаг ― по его мнению, высказывания науки не только теоретичны, они все также погрешимы и предположительны.
(обратно)20
Если гипотетическая планета столь мала, что недоступна даже самым большим из возможных оптических телескопов, он мог бы испробовать какой-нибудь совершенно новый прибор (вроде радиотелескопа), который мог бы позволить “наблюдать” ее, то есть Природу о ней, даже пусть только косвенно. (Новая “наблюдательная” теория может сама и не быть четко сформулированной или удостоенной строгой проверки, но это озаботило бы его не более, чем Галилея заботили подобные ситуации.)
(обратно)21
По крайней мере до тех пор, пока некая новая исследовательская программа вытеснит ньютоновскую программу и сможет объяснить это столь упрямое явление. В таком случае это явление будет извлечено из забвения и провозглашено “решающим экспериментом”.
(обратно)22
Поппер спрашивает “Какого же рода клинические реакции могли бы в глазах психоаналитика опровергнуть не только отдельный его диагноз, но и психоанализ в целом?” ([162], р. 38, [русск. перев., с. 247]). А какое наблюдение могло бы опровергнуть в глазах ньютонианца не только какое нибудь частное объяснение, но саму теорию Ньютона?
(обратно)23
Это ограничение ceteris paribus, как правило, не должно рассматриваться как отдельная посылка.
(обратно)24
Кстати, мы могли бы убедить догматического фальсификациониста в том, что его критерий демаркации был очень наивным заблуждением. Отказавшись от него, но сохранив свои основные посылки, он должен был бы изгнать теории из науки и рассматривать рост научного знания как накопление доказательно обоснованных базисных предложений. Это действительно было бы последней фазой классического эмпиризма после того, как испарилась надежда доказывать или по крайней мере опровергать теории фактами.
(обратно)25
См. [161], разд. 8.
(обратно)26
Ниже, в III разделе будут приведены еще более убедительные примеры.
(обратно)27
Это разделение и соответствующая терминология заимствована у Поппера; см. [161], гл. 19, [русск. пер., с. 105-107]; [157], гл. 23, прим. 3 к гл. 25 [русск. пер., т. 2, с. 247, 433].
(обратно)28
Какой ни возьми вариант консервативного активизма, он не может объяснить, почему теория тяготения Ньютона должна быть неуязвимой для критики; кантианцы ограничивались объяснением прочности геометрии Евклида и механики Ньютона. Что же касается ньютоновской гравитационной теории и его оптики (или других областей науки), то они занимали неясную и временами индуктивистскую позицию.
(обратно)29
Я не отношу Гегеля к “революционным активистам” Он и его последователи рассматривали изменение концептуальных каркасов как предопределенный, неизбежный процесс, в котором индивидуальное творчество или рациональная критика не играют существенной роли. По этой “диалектике” получается, что те, кто устремляются вперед, поступают так же неверно, как и те, кто плетется позади. Умно поступает не тот, кто строит лучшую “тюрьму” или разрушает своей критикой старую, а тот, кто всегда идет в ногу с историей. Эта диалектика рассматривает изменение вне связи с критикой.
(обратно)30
См.. [204], [203], [205]
(обратно)31
См., в частности [149], [150] [русск. перев, с. 5-152], [127], [106], [107]. Быть может, одной из главных философских заслуг конвенционалистов было то, что они высветили этот факт: любая теория может быть спасена от опровержений “конвенционалистскими уловками”. (Последний термин введен Поппером. См критическое обсуждение конвенционализма Пуанкаре в [161], особенно гл. 19 и 20, [русск. перев. , с 105- 112])
(обратно)32
Пуанкаре вначале разработал свой конвенционализм по отношению к геометрии [149]. Затем Мильо [127] и Леруа обобщили идею Пуанкаре, распространив ее на все разветвления современной физики. Пуанкаре [150] с самого начала подвергает строгой критике бергсонианца Леруа, взглядам которого он противопоставляет аргументы, защищающие эмпирический (фальсифицируемый или “индуктивный”) характер всей физики, исключая геометрию и теоретическую механику. Дюгем, в свою очередь, критиковал Пуанкаре: по его мнению, и ньютоновская механика могла быть опровергнута.
(обратно)33
Loci classici (здесь: самые характерные примеры (лат.) ― Прим перев) этих концепции ― [40] и [154]. Дюгем не был последовательным революционным конвенционалистом. Во многом следуя Уэвеллу, он полагал, будто концептуальные изменения суть лишь приготовления к заключительной, хотя, быть может, неблизкой, “естественной классификации”. “Чем совершенней теория, ― писал он, ― тем в большей степени мы осознаем, что логический порядок, в который она выстраивает экспериментально установленные законы, есть отражение некоторого порядка бытия”. В частности, он отказывался признать, что механика Ньютона действительно “рухнула” и называл теорию тяготения Эйнштейна проявлением “безумной и лихорадочной погони за новыми идеями”, которая ввергла физику в настоящий хаос, где уже логика сама блуждает в потемках, а здравый смысл в ужасе бежит прочь” (Из предисловия ко II-му изданию (1914) его книги [40].)
(обратно)34
[40]. гл VI, § 10
(обратно)35
[161], гл 30, [русск. перев., с. 145].
(обратно)36
В этом разделе я обсуждаю “наивный” вариант попперовского методологического фальсификационизма. Поэтому всюду, где в этой главе стоит термин “методологический фальсификационизм”, его можно читать как “наивный методологический фальсификационизм”.
(обратно)37
[161], гл. 27, [русск. перев., с. 132].
(обратно)38
Там же, гл. 28, [русск. перев., с 136-138].
(обратно)39
[161], гл 30 [русск. пер., с. 143], [166], рр 2191-292
(обратно)40
См [163], р. 390 [русск. перев., с 360].
(обратно)41
Обратим внимание, что Поппер весьма тщательно берет термин “наблюдательный” в кавычки, см [161], гл 28 [русск. пер., с 136-137].
(обратно)42
Такое разграничение играет какую-то роль в первом и в четвертом типах решений методологического фальсификациониста
(обратно)43
Интересное обсуждение этой темы можно найти у Фейерабенда [57]
(обратно)44
Можно спросить не лучше ли было бы отказаться от терминологии натуралистического фальсификационизма и окрестить “наблюдательные” теории “пробными теориями”?
(обратно)45
См. [161], гл. 22. Многие философы как-то просмотрели важное замечание Поппера о том, что базисное предложение не может ничего опровергнуть без помощи хорошо подкрепленной фальсифицирующей гипотезы.
(обратно)46
См. [161], гл. 30; [русск. перев., с 145].
(обратно)47
См. [161], р. 387
(обратно)48
[161], гл. 30, 29, [русск. перев., с. 148]
(обратно)49
[159], р. 134; [русск. перев. № 10, с. 44]. В других работах Поппер подчеркивает, что его метод не может «гарантировать» выживание сильнейшим. Естественный отбор может ошибаться: сильнейшие могут гибнуть, а монстры — выживать.
(обратно)50
См. [155].
(обратно)51
[161], гл. 82; [русск. перев., с. 213].
(обратно)52
Там же, с. 214.
(обратно)53
В отличие от догматической фальсификации (опровержения), эта “фальсификация” представляет собой прагматическую, методологическую идею. Но что же она означает? Ответ Поппера, с которым я не согласен, заключается в следующем: методологическая “фальсификация” указывает на “необходимость замены фальсифицированных гипотез лучшими гипотезами” ([161], р. 87; [русск. перев., с. 116]). Это хорошо иллюстрирует тот процесс, который описан мной в [92], когда критическая дискуссия изменяет исходную проблему, но оставляет старую терминологию. Побочным результатом оказывается изменение значений терминов.
(обратно)54
Критерий демаркации догматического фальсификациониста: теория “научна”, если она имеет эмпирический базис.
(обратно)55
Между прочим, Поппер [161] не совсем четко фиксирует этот момент. Он пишет: “Конечно, можно интерпретировать понятие наблюдаемое событие в психологическом смысле. Однако я использую это понятие в таком смысле, который позволяет заменить его на понятие “событие, характеризующееся положением и движением макроскопических физических тел” ([161], гл. 28; [русск. перев., с. 137]). Например, мы можем признать позитрон, проходящий через камеру Вильсона в момент t0, наблюдаемым событием, хотя сам позитрон имеет отнюдь не макроскопическую природу.
(обратно)56
См. [161], гл. 68. Действительно, методологический фальсификационизм является философской основой некоторых из наиболее интересных направлений в современной статистике. Подход Неймана – Пирсона полностью основывается на методологическом фальсификационизме. См. также [27], гл. VI. (К сожалению, Брейсуэйт истолковывает попперовский критерий демаркации как водораздел между осмысленными и неосмысленными, а не между научными и не-научными высказываниями.)
(обратно)57
[153] [русск. перев., с. 237].
(обратно)58
Там же, с. 238.
(обратно)59
[159], р. 133; [русск. перев. № 10, с. 44].
(обратно)60
Обсуждение этого важного понятия попперовской методологии см. в [93], р. 397 и далее.
(обратно)61
[161], гл. 9; [русск. перев., с. 74].
(обратно)62
Там же.
(обратно)63
Там же.
(обратно)64
О проблеме «управляемого эксперимента» можно сказать только то, что это проблема такой организации экспериментальных условий, при которой сводится к минимуму риск отучиться в зависимости от такого рода решений.
(обратно)65
В некотором важном смысле этот тип решений относится к той же категории, что и первый тип: такие решения разделяют проблематическое и непроблематическое знание.
(обратно)66
Все это ясно показывает сложность решений, с помощью которых определяется «эмпирическое содержание» теории, то есть класс ее потенциальных фальсификаторов. «Эмпирическое содержание» зависит от нашего решения, какие из теорий считать «наблюдательными» и какие аномалии считать контрпримерами. Если сравнивать эмпирическое содержание различных теорий, чтобы определить, какая из них «более научная», то надо привлечь очень сложную и, следовательно, безнадежно произвольную систему решений, касающихся соответствующих множеств «относительно атомарных предложений» и «сферах применения» этих теорий. (О значении этих (весьма) специфических терминов см.: [161], русск. перев., с. 167–172.) Но такое сравнение возможно только тогда, когда одна теория вытесняет другую (см.: [161], р. 401, сноска 7). Но даже в этом случае могут встретиться трудности (которые, однако, не приводят к неустранимой «несоизмеримости»). (В конце 1960 годов, когда И. Лакатос работал над своей концепцией, дискуссии по проблеме «несоизмеримости» научных теорий, сменяющих (вытесняющих!) друг друга в ходе развития научного знания, были в самом разгаре. Коротко, тезис о «несоизмеримости», взятый на вооружение Т. Куном, П. Фейерабендом и другими философами и историками науки, сводится к следующему: переходы к альтернативным теориям совершаются не по логическим воображениям, поскольку «старая» и «новая» теории используют совершенно различные понятия и, следовательно, не могут противоречить одна другой. По мнению сторонников этого тезиса, данное обстоятельство говорит против всяких попыток «рациональной реконструкции» таких переходов, особенно когда речь идет о так называемых «научных революциях», то есть смене фундаментальных теорий. И. Лакатос, с одной стороны, соглашаясь с тем, что «рациональная реконструкция» не может осуществляться в соответствии с тем пониманием научной рациональности, какое было свойственно «джастификационистам» и логическим позитивистам, с другой стороны, довольно скептически относился к семантической аргументации в защиту этого тезиса (см.: Лакатос И. История науки и ее рациональные реконструкции // Структура и развитие науки. Из Бостонских исследований по философии науки. — М.: 1978. С. 203–269; см. также: Мамчур Е. А. Проблема соизмеримости теорий // Физическая теория (философско-методологический анализ). — М.: 1980; Порус В. Н. О философских аспектах проблемы «несоизмеримости» научных теорий // Вопросы философии, 1986, № 12). — Прим. перев.).
(обратно)67
Это было показано Дж. Уиздомом; см.: [210].
(обратно)68
Например, «для всех металлов существует некоторое вещество, переводящее их в раствор» или «существует вещество, способное превращать все металлы в золото». Обсуждение таких теорий содержится в [199] и [201].
(обратно)69
[177]. р. 683.
(обратно)70
Я уверен, что кое-кто усмотрит в методологическом фальсификационизме «экзистенциалистскую» философию науки.
(обратно)71
[139], р. 356.
(обратно)72
[74], р. 621. Агасси [4] идет вслед за Нейратом и Гемпелем; см. особенно р. 16 и далее. Скорее забавно, что Агасси полагает, будто он в этом вопросе выступает против «всей литературы по методологии науки». В самом деле, многие ученые вполне понимали трудности, связанные с «конфронтацией теории и фактов». (Ср. [49] р. 27). Некоторые философы, симпатизирующие фальсификационизму. подчеркивали, что процесс отвержения научной гипотезы более сложен, чем кажется на первый взгляд» ([27], р. 20). Но только Поппер нашел конструктивное, рациональное решение.
(обратно)73
[74], р. 622. Решительный гемпелевский «тезис эмпирической определенности» только подновляет старые аргументы Нейрата и некоторые Поппера (против Карнапа. я полагаю), но прискорбно, что он даже не упоминает своих предшественников или единомышленников.
(обратно)74
[139].
(обратно)75
[161], гл. 26; [русск. перев., с. 129].
(обратно)76
Нейрат, кажется, так и не понял этот простой аргумент Поппера (см.: [139]).
(обратно)77
Термин «правдоподобие» взят здесь в попперовском смысле: как разница между истинным и ложным содержанием теории. Оценка правдоподобия связана с известным риском; см.: [93], р. 395 и далее.
(обратно)78
Данная статья может рассматриваться как попытка разработать такую общую теорию. см.: [95], [96], [97].
(обратно)79
Фальсификация теория зависит от высокой степени подкрепления ограничения ceteris paribus. Однако так бывает не всегда. Вот почему методологический фальсификационист советует доверять «научному инстинкту» ([161], гл. 18 [русск. перев., с. 101]) или «предчувствию» ([27], р. 20).
(обратно)80
Агасси [1] называет попперовскую идею науки «sclentia ne-gativa» (см. также [5]).
(обратно)81
Здесь надо вспомнить, что скептик-кунианец стоит перед тем, что я назвал бы «дилеммой ученого-скептика»: всякий ученый скептик, пытаясь объяснить изменчивость своих верований, склонен видеть в собственной психологи некую теоретичность, нечто большее, чем просто верование, — «научное» верование. Юм, опираясь на теорию обучения, в основе которой лежит отношение «стимул-реакция», пытался изобразить науку как простую систему верований, но так и не задался вопросом, не относятся ли его теория обучения к самой себе. Говоря современным языком, можно было бы спросить, свидетельствует ли популярность философии Куна о том, что признана ее истинность? В таком случае она была бы отброшена. Может быть, она свидетельствует лишь о том, что эта философия привлекательна как новая мода? В таком случае она была бы «верифицирована». Но пришлась ли бы Куну по вкусу такая «верификация?»
(обратно)82
Фейерабенд, который сделал, наверное, больше кого-либо другого в распространении идей Поппера, теперь, кажется, примкнул к враждебному лагерю — См. его статью «Утешение для специалиста». [Частичный русск. перевод см.; Фейерабенд П. Избр. труды по методологии науки. — М.: 1986. С. 109–124]. (В заключительных разделах цитируемой Лакатосом статьи (не вошедших в опубликованный русский перевод) П. Фейерабенд сравнивает концепции Т. Куна, К. Поппера и самого И. Лакатоса. Полемика была острой, и Лакатос воспринял критику в свой адрес как измену своего бывшего союзника и был «не совсем не прав»; конечно, никакой измены не было просто потому, что воззрения Фейерабенда на природу рациональности всегда больше отличались от воинствующего рационализма Лакатоса, чем от стремления Т. Куна ограничить сферу притязаний рационалистической методологии «нормальной наукой». Корневые расхождения с И. Лакатосом, которого Фейерабенд «провокативно» называл своим «соратником-анархистом», сам, впрочем, не очень веря в анархизм Лакатоса, он осветил в статье, помещенной в сборнике очерков видных европейских и американских философов науки в память об Имре Лакатосе (Feyerabend P. On the Critique of Scientific reason // Essays in Memory of Imre Lakatos. Ed. by R. Cohen e. a. Dordrecht, 1976). Почти в то же время (1978) с критикой «аисторизма» Лакатоса выступил К. Хюбнер. (См.: Хюбнер К. Критика научного разума. — М.: 1994. С. 101–107). Почти буквальное совпадение названий работ Фейерабенда и Хюбнера говорило о поиске более широкой и адаптивной теории научной рациональности, чем попперовско-лакатосовское «умещение» рациональности внутри границ «научного разума». — Прим. перев.).
(обратно)83
Термин «предсказание» здесь употреблен в широком смысле, допускающем и «после-сказание».
(обратно)84
Более подробное обсуждение этих правел принятия и отбрасывания со ссылками на работы Поппера см. в [93], pp. 375–390.
(обратно)85
Например, Мольер смеялся над врачами («Мнимый больной»), которые на вопрос, почему опиум усыпляет, отвечали, что он обладает усыпляющей силой. Можно даже утверждать, что знаменитое ньютоновское высказывание «Гипотез не измышляю» было в действительности направлено против объяснений ad hoc — подобных его собственным объяснениям сил притяжения при помощи эфирной модели, которые должны были отвести возражения картезианцев.
(обратно)86
Между прочим, Дюгем соглашался с Бернаром, что одни только эксперименты, без учета соображений «простоты», могут решить судьбу физиологических теорий, но не физических ([40], гл. VI. § 1).
(обратно)87
Кестлер справедливо замечает, что миф о большей простоте коперниковской теории был создан Галилеем [85], р. 476); на самом деле, «введение земного движения нисколько не упростило картину, по сравнению со старыми теориями; хотя сомнительные экваиты исчезли, система продолжала изобиловать вспомогательными кругами» ([39], гл. XIII).
(обратно)88
[161]. гл. 19 и 20 [русск. перев.: с. 106.110]. Я детально рассматривал такие уловки, возникавшие в неформальной, псевдо-эмпирической математике, именуя их «монстрами» [92], [русск. перев.: с. 24].
(обратно)89
Если я уже знаю P1: «Лебедь А - белый», то Р: «Все лебеди белые» не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2: «Лебедь В - белый». Так называемые эмпирические обобщения не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.
(обратно)90
Могут спросить, уместен ли термин «сдвиг проблем», когда речь идет о последовательности теорий, а не проблем. Отчасти я остановился на нем потому, что не нашел лучшего («сдвиг теорий» звучит скверно), отчасти же потому, что теории всегда проблематичны, они никогда не решают всех проблем, которые стоят перед ними Как бы то ни было, во второй части этой статьи этот термин в соответствующем контексте будет заменен более естественным термином «исследовательская программа».
(обратно)91
В первоначальном варианте [93] я писал: «Теория без добавочного подкрепления не имеет дополнительной объясняющей силы; вот почему, согласно Попперу, она не обеспечивает рост знания, и, следовательно, не является научной» (р. 386). Под давлением моих коллег я убрал выделенную часть этого предложения, ибо они считали, что она звучит слишком эксцентрично. Теперь я сожалею об этом.
(обратно)92
То, что у Поппера понятия «теория» и «последовательность теорий» сливаются в одно, не позволило ему более успешно развить основные идеи утонченного фальсификационизма. Эта двусмысленность привела его к таким по-видимости противоречащим друг другу утверждениям, как «Марксизм [как ядро последовательности теорий или как исследовательская программа] неопровержим» и в то же время «Марксизм [как особая конъюнкция этого ядра и некоторых вспомогательных гипотез, ограничения ceteris paribus и исходных условий] был опровергнут» (см. [163]). Конечно, нет ничего ошибочного в том, что кто-то назовет отдельную, изолированную теорию «научной», если она представляет собой шаг вперед по сравнению со своей предшественницей, если при этом ясно понимать, что мы оцениваем теорию как определенный итог — и в контексте — определенного исторического развития знания».
(обратно)93
[157], v.2, р.233 [русск. перев., с. 269–270]. Более тонкое понимание проблемы проглядывает в следующих замечаниях Поппера «Мы предпочитаем решать, стоит признавать ее [теорию] или отвергать лишь после того, как исследуем те конкретные, практические выводы из нее, которые могут быть более непосредственно проверены экспериментом». (Там же, подчеркнуто мною — И. Л.); (перевод уточнен мною. — Прим. перев.].
(обратно)94
[161], гл. 30; [русск. перев., с. 145].
(обратно)95
В большинстве случаев до фальсификации некоторой гипотезы мы имеем в запасе другую гипотезу ([161], р. 87; [русск. перев, с. 116]). Но из наших рассуждений следует, что мы должны иметь другую гипотезу. Как пишет Фейерабенд, «лучшая критика проводится с помощью тех теорий, которые могут заменить устраненных ими соперниц» ([55), р. 227 [русск. перев., с. 425]). Он отмечает, что в некоторых случаях «альтернативы становятся совершенно необходимыми для опровержения тех или иных воззрений» (Там же, р 254, [русск. перев., с. 460]) Но согласно нашим рассуждениям, опровержение без альтернатив указывает только на скудость воображения, не способного к выдвижению спасающей гипотезы.
(обратно)96
см.: [93], рр. 387 и далее.
(обратно)97
В кривом зеркале наивного фальсификационизма новые теории, которые заменяют старые опровергнутые теории, по рождению своему считаются неопровергнутыми Следовательно, с точки зрения таких теорий нет соответствующего различия между аномалиями и решающими контрпримерами. Аномалия, по их мнению, это только робкий эвфемизм, за которым скрывается контрпример. Но в реальной истории новые теории рождаются уже опровергнутыми. Они наследуют многие аномалии старых теорий. Больше того, часто только новая теория драматически предсказывает тот факт, который еще лишь в будущем станет рассматриваться как решающий контрпример против ее предшественницы, в то время как «старые» аномалии могут продолжать свое существование в виде «новых» аномалий. Все это мы рассмотрим более подробно, когда введем понятие «исследовательской программы».
(обратно)98
Утонченный фальсификационизм знаменует собой новую теорию обучения.
(обратно)99
Очевидно, что теория Т' может иметь добавочное подкрепленное эмпирическое содержание по сравнению с теорией Т и в том случае, когда Т и Т' опровергнуты. Эмпирическое содержание не связано с истинностью или ложностью. Можно также сравнивать подкрепленное содержание теорий независимо от опровергнутого содержания. Так, можно считать, что элиминация теории Ньютона в пользу теории Эйнштейна вполне рациональна, хотя теория Эйнштейна, точно так же как и ньютоновская, родилась уже «опровергнутой». Надо только вспомнить, что «качественное подтверждение» — это только эвфемизм для «количественного опровержения». см.: [93], pp. 384–386.
(обратно)100
см.: [161]. гл. 85 [русск. перев. с. 224].
(обратно)101
Верно и то, что определенный вид пролиферации соперничающих теорий может играть ту или иную эвристическую роль при фальсификации. Часто бывает, что с эвристической точки зрения, фальсификация зависит от «выдвижения достаточно многочисленных (и оригинальных) теорий, от достаточного разнообразия теорий» ([166], русск. перев., с. 29). Например, мы имеем теорию, которая явным образом не опровергнута. Но может быть так, что предложена новая теория Т', несовместимая с Т, которая столь же успешно, как Т, объясняет известные факты; различия между объяснениями находятся в пределах ошибки наблюдения. В таких случаях мы вынуждены улучшать «экспериментальную технику», затем совершенствовать «эмпирический базис» таким образом, чтобы иметь возможность фальсифицировать Т' или Т» (или обе вместе). «Новая теория нужна для того, чтобы обнаружить недостатки старой» ([163], р. 246). Но роль такой пролиферации случайна; поскольку эмпирический базис подчищен, то спор идет между ним и проверяемой теорией Т; соперничающая с ней теория Т' работает лишь как катализатор.
(обратно)102
См. также [55], р. 254–255 [русск. перев., с. 461].
(обратно)103
[161], р. 87; [русск. перев. с. 116].
(обратно)104
[161], гл. 30; [русск. перев., с. 143].
(обратно)105
Возможно, было бы лучше в дальнейшем отказаться от обоих терминов сразу, так же как мы уже отказались от таких терминов как «индуктивное (или экспериментальное) доказательство». Тогда мы могли бы назвать (наивные) «опровержения» аномалиями, а (в утонченном смысле) «фальсифицированные» теории — «вытесненными». Наш «обычный» язык засорен не только «индуктивистской», но и фальсификационистской догматикой. Реформа давно назрела.
(обратно)106
Аргументы в защиту этой теории «обучения из опыта» см. в [6].
(обратно)107
Отсюда следует, что «обучение на опыте» есть нормативная идея; поэтому все теории о чисто «эмпирическом» обучении ошибочны по самой сути.
(обратно)108
см. [105]. Слова в скобках показывают, что Лейбниц ставил этот критерий все же на второе место и полагал лучшими те теории, которые доказательно обоснованы. Поэтому позиция Лейбница, как и позиция Уэвелла, слишком далека от зрелого утонченного фальсификационизма.
(обратно)109
[128], Vol. 2. р. 23 [русск. перев. с. 456].
(обратно)110
К этому сводились аргументы Дж. С. Милля. Они были направлены против Уэвелла, полагавшего, что «совпадение индукций» или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию ([206], pp. 96–96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики.
(обратно)111
[83]. р. 305.115 См. также [93], р. 394.
(обратно)112
Это критическое замечание Уэвелла по поводу вспомогательной гипотезы ad hoc, фигурирующей в ньютоновской теории света ([203]. Vol. 2, р. 317).
(обратно)113
Если воспользоваться терминологией моей работы [93], это была теория «ad hoc1» (p. 389); этот пример первоначально был подсказан мне П. Фейерабендом в качестве образца теории ad hoc, обладающей определенной ценностью.
(обратно)114
А это уже не «ad hoc1», a «ad hoc2» (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).
(обратно)115
Можно сформулировать это условие совершенно ясно в терминах методологии исследовательских программ, которая будет предложена в § 3: мы сохраняем формально метафизическую теорию в составе «твердого ядра» исследовательской программы до тех пор, пока связанная с ней эвристика обеспечивает прогрессивный сдвиг проблем в «защитном поясе» вспомогательных гипотез.
(обратно)116
Это явление было описано в превосходной статье Уэвелла [20], но он не смог объяснить его методологически. Вместо того, чтобы признать победу прогрессивной ньютоновской программы над регрессивной картезианской программой, он полагал, что это была победа доказанной истины над ложностью. Подробнее см. [98], общее обсуждение проблемы демаркации между прогрессивной и регрессивной редукцией см. [168].
(обратно)117
[161]. гл. 22 [русск. перев., с. 117].
(обратно)118
[161], р. 107.
(обратно)119
См. об этом [161], гл. 29 [русск. перев., с. 138].
(обратно)120
Агасси утверждает, что этот пример показывает, что мы можем «удерживать гипотезу перед лицом известных фактов, надеясь на то, что факты сами приладятся к теории, а не придется искать другой путь» ([4], р. 18). Но каким образом приладятся факты? При каких особых условиях теория выигрывает спор? Агасси не отвечает на этот вопрос.
(обратно)121
Понятно, что решение использовать некоторую монотеоретическую модель имеет жизненное значение для наивного фальсификациониста, позволяя ему отбросить теорию единственно на основании экспериментальных данных. Это соответствует неизбежному для него строгому различению (по крайней мере, а проверочных ситуациях) двух компонентов научного знания: проблематичного и непроблематичного. И когда он предлагает свою дедуктивную модель критицизма, то в ней именно теория рассматривается как проблематичное знание.
(обратно)122
Надо ответить на возможное возражение: “Природа не нужна для того, чтобы узнать о противоречивости ряда теорий. В отличие от ложности, противоречивость может быть установлена и без ее помощи”. На самом деле «НЕТ», произнесенное Природой, в рамках монотеоретической методологии принимает форму усиленного “потенциального фальсификатора”, то есть предложения, которое, так сказать, приписывается Природе и которое является отрицанием нашей теории. В рамках плюралистической методологии «НЕСОВМЕСТИМО» как возглас Природы обретает статус “фактуального” высказывания, сформулированного в свете одной из участвующих в игре теорий, произнесенного, по нашему мнению, Природой; будучи добавленным к предложенным теориям оно превращает их связку в противоречивую систему.
(обратно)123
Например, в ранее приведенном примере можно попытаться заменить теорию гравитации, затем — радио-оптику; мы выбираем такой путь, который дает более впечатляющий рост знания, более прогрессивный сдвиг проблем.
(обратно)124
Критицизм не предполагает вполне четкой дедуктивной структуры — он создает ее. (Кстати, это основная идея моей работы [92]).
(обратно)125
Классическим примером может служить отношение Ньютона к Флэмстиду, первому королевскому астроному. Так, Ньютон посетил Флэмстида 1 сентября 1694 года, работая в то время над своей лунной теорией. Он предложил Флэмстиду переинтерпретировать некоторые из его данных, так как они противоречили его, Ньютона, теории, причем он точно разъяснил астроному, как это сделать. Флэмстид согласился с Ньютоном и написал ему 7 октября: «С тех пор, как Вы возвратились домой, я проверял наблюдения, которые мною применялись в решении наиболее важных уравнений земной орбиты; рассматривая положения Луны в разные моменты времени, я нашел, что Вы можете вычесть из них примерно 20'' (если, как Вы уверены, Земля наклонена в ту сторону, на которой в это время находится Луна). Таким образом, Ньютон постоянно критиковал и корректировал «наблюдательные» теории Флэмстида. Например, он предлагал ему более стройную теорию рефракции в земной атмосфере. Флэмстид соглашался с этим и скорректировал свои первоначальные «данные». Можно понять постоянное унижение и постепенно нараставшую ярость этого крупного наблюдателя, чьи данные подвергались критике и улучшались человеком, который, по собственному признанию, сам не делал никаких наблюдений. Именно это чувство, как я догадываюсь, привело в конце концов к злобным личным нападкам.
(обратно)126
То же самое относится к решениям третьего типа. Если мы отбрасываем стохастическую гипотезу только, когда имеем другую, заменяющую ее в указанном смысле, то точная форма «правил отбрасывания» становится менее важной.
(обратно)127
[157]. Vol. 2, гл. 23, р. 218; [русск. перев. т. II, с. 252].
(обратно)128
Агасси, следовательно, неправ, утверждая, что «данные наблюдения могут считаться ложными, а потому проблема эмпирического базиса устранима» ([4], р 20).
(обратно)129
[56], р. 226; [русск. перев, с. 423].
(обратно)130
см.: [94].
(обратно)131
Айер, кажется, был первым, кто приписал догматический фальсификационизм Попперу. (Айеру также принадлежит «миф; по которому попперовская «определенная опровержимость» является критериев не только эмпирического характера высказываний, но и осмысленности; см.: [7]. гл. 1, р. 38.2-е изд). Даже сегодня многие философы (см.: [80] или. (138]) обрушивают свою критику на чучело Поппера0. Мидоуэр [118] назвал догматический фальсификационизм «одной из сильнейших идей» попперовской методологии. Нагель в рецензии на книгу Мидоуэра критиковал ее автора за то, что тот чересчур полагается на утверждения Поппера [138, р. 70]. Своей критикой Нагель пытается убедить Мидоуэра в том, что «фальсификация не обладает иммунитетом от человеческих ошибок» (см.: [116]. р. 64). Но и Нагель, и Мидоуэр плохо прочитали Поппера: в его «Логике открытия» дана наиболее сильная критика догматического фальсификационизма. Ошибка Мидоуэра простительна: на блестящих ученых, чьи теоретические способности страдали от тирании индуктивистской логики открытия, фальсификационизм, даже в его догматической форме, должен был произвести потрясающее впечатление освобождения. (Помимо Мидоуэра, другой Нобелевский лауреат, Экклз под влиянием Поппера изменил свое вначале скептическое отношение к смелым фальсифицируемым умозрениям; см.: [41], р. 274–275).
(обратно)132
[158].
(обратно)133
[161], р. 242 и далее; [русск. перев., с. 365].
(обратно)134
[163], р. 38; [русск. перев., с. 247).
(обратно)135
Если у читателя возникнут сомнения относительно правильности моей трактовки критерия демаркации Поппера, ему стоит перечесть соответствующие главы [161], пользуясь при этом замечаниями Масгрейв [133]. Последняя работа направлена против Бартли, который ([8]), ошибочно приписал Попперу критерий демаркации наивного фальсификационизма.
(обратно)136
В [154] Поппер главным образом выступал против уловок ad hoc, протаскиваемых исподтишка. Поппер (вернее, Поппep1) требует, чтобы замысел потенциально негативного эксперимента был представлен вместе с теорией, с тем чтобы смиренно подчиниться приговору экспериментаторов. Из этого следует, что конвенционалистские ухищрения, которые уже после такого приговора позволяют исходной теории выкрутиться задним числом и увильнуть от его исполнения, должны быть отвергнуты ео ipso (в силу этого (лат.) — Прим. перев.). Но если мы допускаем опровержение, а затем переформулируем теорию при помощи уловок ad hoc, мы можем допустить ее уже как «новую» теорию; и если она проверяема, то Поппер1 принимает ее для того, чтобы подвергнуть новой критике: «Всякий раз, когда обнаруживается, что некоторая система была спасена с помощью конвенционалистской уловки, мы должны снова проверить ее и отвергнуть, если этого потребуют обстоятельства ([161], гл. 20; русск. перев., с. 110).
(обратно)137
Подробнее см.: [91], особенно р. 388–390.
(обратно)138
Такую терпимость редко можно встретить (если вообще можно встретить) в учебниках по методам науки.
(обратно)139
См., например, [161], конец гл. 4; [русск. перев., с. 60]; см. также [167], р. 93. Вспомним, что такое значение метафизики отрицалось Контом и Дюгемом. Среди тех, кто больше других сделал для того, чтобы повернуть вспять анти-метафизическое течение в философии и истории науки, надо назвать Барта, Поппера и Койре.
(обратно)140
Карнап и Гемпель в своей рецензии на эту книгу пытались защитить Поппера от этих обвинений (см.: [31] и [73]). Гемпель писал: «Поппер слишком подчеркивает некоторые стороны своей концепции, сближающие его с некоторыми ориентированными на метафизику мыслителями. Будем надеяться, что эта исключительно ценная работа будет понята правильно и в ней не увидят новую, быть может, даже логически корректную метафизику».
(обратно)141
Отрывок из этого послесловия заслуживает того, чтобы его здесь процитировать: «Атомизм — это прекрасный пример непроверяемой метафизической теории, чье влияние на науку превосходило влияние многих проверяемых теорий. Самой последней и самой значительной до сих пор была программ Фарадея, Максвелла, Эйнштейна, де Бройля и Шредингера, рассматривавшая мир… в терминах непрерывных полей… Каждая из этих метафизических теорий функционировала в качестве программы для науки задолго до того, как. стать проверяемой теорией. Она указывала направление, в котором, следует искать удовлетворительные научно-теоретические объяснения, и создавала возможность того, что можно назвать оценкой глубины теории. В биологии, по крайней мере, в течение некоторого времени подобную роль играли теория эволюции, клеточная теория и теория бактериальной инфекции. В психологии можно назвать в качестве метафизических исследовательских программ сенсуализм, атомизм (то есть такая теория, согласно которой опыт складывается из далее не разложимых элементов, например, чувственных данных) и психоанализ. Даже чисто экзистенциальные суждения иногда наводили на мысль и оказывались плодотворными в истории науки, даже если не становились ее частью. В самом деле, мало какая теория оказала такое влияние на развитие науки, как одна из чисто метафизических теорий, согласно которой «существует вещество, способное превратить неблагородные металлы в золото (то есть «философский камень»)»; хотя эта теория была неопровержимой, никогда не подтвержденной, и сейчас в нее никто не верит».
(обратно)142
См., в частности [164], гл. 66; в издании 1959 года Поппер добавил разъясняющее примечание, чтобы подчеркнуть: в метафизических кванторных предложениях квантор существования должен интерпретироваться как «неограниченность»; но это, конечно, было уже вполне разъяснено в 15-й гл. первоначального издания; [см. русск. перев., с. 93–96]).
(обратно)143
см.: [163], р. 198–199; [см. русск. перев., с 248]; первая публикация этого фрагмента — в 1958 году.
(обратно)144
см.: [200], [199], [2], [3].
(обратно)145
[172]. гл. 11.]
(обратно)146
Там же; замечание в квадратных скобках мое.
(обратно)147
Как полагал Дюгем, сам по себе эксперимент никогда не может осудить отдельную теорию (такую как твердое ядро исследовательской программы); чтобы вынести «приговор» нужен еще и «здравый смысл», «проницательность» и действительно хороший метафизический инстинкт, помогающий отыскать путь вперед, точнее сказать, путь к «некоторому в высшей степени замечательному порядку» (см. заключительные фразы его «Приложения» ко второму изданию [40]).
(обратно)148
Куайн говорит о предложениях, располагающихся на «различных расстояниях от чувственной периферии» и, следовательно, в большей или меньшей степени подверженных изменениям. Но что такое «сенсорная периферия» и как мерить расстояние до нее — определить очень трудно. Согласно Куайну, «те соображения, по которым человек может отказаться от унаследованного им научного знания в угоду сиюминутным чувственным представлениям, в той мере, в какой они рациональны, являются прагматическими» [172]. Но прагматизм для Куайна, как и для Джемса и для Леруа, есть лишь ощущение психологического комфорта; мне кажется иррациональным называть это «рациональностью».
(обратно)149
О «защите понятий путем их сужения» и «опровержениях путем их расширения» см.: [92].
(обратно)150
[163]. гл. 10 [русск. перев., с. 362].
(обратно)151
Типичные примеры такого смешения — неумная критика, которой подвергают Поппера Кэнфилд и Лерер [29]. Штегмюллер, последовав за ними, угодил в логическую трясину ([187], р. 7). Коффа вносит ясность в этот вопрос [32]. К сожалению, в этой статье я иногда выражался неточно, что позволяет увидеть в ограничении ceteris parlbus независимую посылку проверяемой теории. На этот легко устранимый недостаток мне указал К. Хаусон.
(обратно)152
Грюнбаум вначале занимал позицию, близкую к догматическому фальсификационизму, когда исследуя весьма поучительные примеры из истории физической геометрии, приходил к выводу, что можно определить ложность некоторых научных гипотез (см.: [67] и [68]). Потом он изменил свою позицию [62] и в ответ на критику M. Хессе [76] и других авторов определил ее так: «По крайней мере, иногда мы можем определить ложность гипотезы, какие бы намерения и пели ни стояли за ней, хотя эта фальсификация не исключает возможности ее последующей реабилитации» ([70]. р. 1092).
(обратно)153
Типичным примером может служить ньютоновский принцип гравитационного взаимодействия, по которому тела на огромных расстояниях и мгновенно чувствуют влечение друг к другу. Гюйгенс называл эту идею «абсурдной», Лейбниц — «оккультной», я самые выдающиеся ученые столетия «поражались тому, как он [Ньютон] мог решиться на столь огромное число исследований и труднейших вычислений, не имевших другого основания, кроме самого этого принципа» (см.: [82], р. 117–118). Я уже говорил, что неверно было бы относить теоретический прогресс исключительно на счет достоинств теоретиков, а эмпирический — считать просто делом везения. Чем большим воображением обладает теоретик, тем с большей вероятностью его теоретическая программа достигнет хотя бы какого-либо эмпирического успеха (см.: [93]. р. 387–390)
(обратно)154
см.: [176]. [178] и [18]. Джастификационист Рассел презирает конвенционализм: «Когда возвышается воля, падает знание. В этом и состоит самое значительное изменение в характере философии нашего века. Оно было подготовлено Руссо и Кантом»… ([178]. р. 787). Поппер, конечно же, многое почерпнул и у Канта, и у Бергсона (см.: [154], гл. 2 и 4).
(обратно)155
О понятии “правдоподобия” см. ([163], гл. 10), а также следующее примечание; о понятии “надежности” (trustworthiness) см. [93], р. 390-405 и [95].
(обратно)156
«Правдоподобие» имеет два различных смысла, которые не следует смешивать. Во-первых, он, этот термин, может пониматься как «сходство с истиной» (truthtikeness); в этом смысле, я думаю, все научные теории, когда-либо созданные человеческим умом, в равной степени являются «непохожими на истину» (unverissimilar) и «оккультными». Во-вторых, он может означать квазитеоретическое размерное отличие между количеством истинных и ложных следствий теории. отличие, которое мы в точности никогда не можем определить, но о котором можем делать предположения. Поппер использует термин «правдоподобие» именно в этом специальном смысле ([163], гл. 10). Но когда он утверждает, что этот второй смысл тесно связан с первым, то это ведет к ошибкам и недоразумениям. В первоначальном «до-попперовском» смысле термин «правдоподобие» мог означать лишь интуитивно различимую «похожесть на истину», либо наивный прототип попперовского эмпирического понятия «правдоподобия». Интересные выдержки, приводимые Поппером, говорят в пользу второго значения, но не первого (см.: [163]. р. 399; [русск. перев., с. 361]). Беллармиио, вероятно, мог бы согласиться с тем, что теория Коперника имела высокую степень «правдоподобия» в попперовском специальном смысле, но не с тем, что она была «правдоподобна» в первом, интуитивном, смысле. Большинство «инструменталистов» являются «реалистами» в том смысле, что согласны с возрастанием «правдоподобия» теорий в попперовском смысле; но они же не являются «реалистами», если под реализмом понимать уверенность в том, что, например, полевая концепция Эйнштейна интуитивно ближе к Замыслу Вселенной, чем концепция ньютоновского взаимодействия тел на расстоянии. Поэтому целью науки может быть возрастание «правдоподобия» в попперовском смысле, но без обязательного возрастания классического правдоподобия. Последняя идея, как говорил сам Поппер, в отличие от первой, «опасно неопределенна и метафизична» ([163], р. 231 [русск. перев., с. 35]). Попперовское «эмпирическое правдоподобие» в некотором смысле реабилитирует идею кумулятивного роста в науке. Но движущей силой кумулятивного роста «эмпирического правдоподобия» является революционизирующий конфликт с «интуитивным правдоподобием». Когда Поппер работал над своей статьей «Истина, рациональность и рост знания», у меня было нелегкое чувство по отношению к его отождествлению этих двух понятий правдоподобия. И было так, что я спросил его: «Можем ли мы реально говорить о том, что одна теория лучше соответствует действительности, чем другая? Существуют ли степени истинности? Не опасное ли заблуждение выражаться так, как если бы истина, в смысле Тарского, располагалась где-то в некоем метрическом или хотя бы в топологическом пространстве, я поэтому имело бы смысл рассуждать о двух теориях — скажем, о предшествующей теории t1 и последующей теории t2, — что t2 вытесняет t1 или являет собой больший прогресс, чем t1, поскольку она ближе подходит к истине, чем t1?» (см.: [161], р. 232; (русск. перев., с. 350–351]). Поппер отверг мои опасения. Он чувствовал, и был прав, что предложил очень важную новую идею. Но он ошибался, полагая, что его новая специальная концепция «правдоподобия» полностью поглощает проблемы, связанные со старым интуитивным «правдоподобием». Кун говорит: «Если мы считаем, что, например, полевая теория «ближе подходит к истине», чем старая теория вещества и силы, то это означало бы, при серьезном отношении к словам, что последние основания природы больше похожи на поля, чем на вещество и силы» ([88], р. 265). Кун прав, за исключением того, что, как правило, отношение к словам не бывает «серьезным». Я надеюсь, что это примечание послужит прояснению обсуждаемой проблемы.
(обратно)157
Выдержки из книги П. Фейерабенда "Против методологического принуждения" (Фейерабенд П. Избранные труды по методологии науки. М., 1986).
(обратно)158
Lаkаtоs I. Falsification and the Methodology of Scientific Research Programmes ― In: Lakatos I. and Musgrave А. (eds.). Criticism and the Growth of Knowledge. Cambridge, 1970, с. 114 (в дальнейшем цитируется как «Фальсификация»),
(обратно)159
См. «Фальсификация», с. 104, о непротиворечивости.
(обратно)160
Lаkаtоs I. History of Science and Its Rational Reconstructions. ― Boston Studies in the PhiIosophy of Science, vol. VIII. 1965. Лакатос И. История науки и ее рациональные реконструкции. ― В: Структура и развитие науки. М., 1978, с. 245 (в дальнейшем цитируется как «История»).
(обратно)161
Примеры: отсутствие содержания — атомная теория в течение нескольких столетий; идея движения Земли у Филолая; противоречивость— программа Бора (см.: «Фальсификация», с. 138 а сл.); обширный конфликт с экспериментальными результатами — идея движения Земли, как описано в гл. 6 и сл.; теория Проута, изложенная в статье «Фальсификация», с. 138 и сл.
(обратно)162
Саrnар R. Logical Foundations of Probability. Chicago, 1950, с. 217.
(обратно)163
Р. Карнап (Там же, с. 202) проводит различие между логическими и методологическими проблемами и предупреждает нас о том, что проблемы психологии и социологии, сопровождающие применение систем индуктивной логики, «не следует рассматривать как трудности самой индуктивной логики» (там же, с. 254). Таким образом, он, по-видимому, осознает необходимость фактуальной оценки прикладной индуктивной логики. Однако эта фактуальная оценка осуществляется тем же самым абстрактным путем, который привел к построению индуктивной логики. В дополнение к «простому универсуму», без которого индуктивная логика просто не может начать работу, мы ссылаемся также на «некоторого наблюдателя X с упрощенной биографией» (там же, с. 213). Конечно, я не возражаю против самой процедуры абстракции. Однако, абстрагируясь от некоторых особенностей науки, мы должны быть уверены, что наука способна существовать без них и что деятельность — не обязательно научная, — лишенная этих особенностей (физически, исторически, психологически), возможна. Мы должны также уметь восстановить опущенные особенности по окончании абстрактных споров. (Ученые и философы науки в этом отношении действуют весьма различно. Физик, пользующийся геометрией (которая абстрагируется от веса тел) при вычислении некоторых свойств физического объекта, по окончании своих вычислений вновь принимает вес во внимание. Он не может допустить, что мир наполнен невесомыми формами. Философ же, использующий дедуктивную логику (которая не рассматривает противоречий) для установления некоторых свойств научной аргументации, по окончании своей работы никогда не возвращает противоречий в аргументацию и считает, что мир наполнен непротиворечивыми теоретическими системами.) Единственный способ установить, является ли некоторое свойство необходимым для науки, заключается в функциональном исследовании этого свойства (в смысле современной антропологии), выясняющем его роль в развитии науки. А это опять приводит нас к истории, в которой мы находим данные для такого исследования. Без них не существует никакого способа узнать, действительно ли «окольный путь, использующий абстрактную схему», является «наилучшим путем» разработки методологии (там же, с. 217), и нет никакой возможности оценить предлагаемую схему.
(обратно)164
Лакатос И. История, с. 219—220.
(обратно)165
Там же, с. 229; подробности см. в статье «Фальсификация», с. 116 и сл. ; ;
(обратно)166
Лакатос И. История, с. 228.
(обратно)167
" Лакатос И. Фальсификация, с. 164.
(обратно)168
«...Я даю... правила «устранения» исследовательских программ в целом» (История, с. 219). Обратите внимание на двусмысленность, обусловленную кавычками. Время от времени различными способами вводятся ограничения посредством отрицания «рациональности» тех или иных процедур. «Совершенно рационально играть в рискованную игру, — говорит Лакатос, — иррационально обманывать себя в отношении степени риска» (История, с. 228): можно делать все, что угодно, если иногда вспоминать (или провозглашать?) стандарты, которые, между прочим, ничего не говорят о риске или о степени риска. Разговор о риске включает в себя либо некоторое космологическое допущение (природа очень редко позволяет исследовательской программе превратиться в бабочку), либо социологическое допущение (учреждения очень редко позволяют выжить регрессирующей программе). Лакатос мимоходом признает необходимость таких дополнительных допущений: только они «могут превратить науку из простой игры в эпистемологически рациональную деятельность» (История, с. 223). Однако он не обсуждает их, а те допущения, которые ему кажутся безусловными, на самом деле весьма сомнительны, если не сказать больше. Возьмем только что упомянутое космологическое допущение. Оно чрезвычайно интересно и, несомненно, заслуживает тщательного изучения. Рискну предположить, что такое изучение обнаружит, что соответствующая этому допущению исследовательская программа находится теперь в стадии регресса. (Чтобы убедиться в этом, достаточно лишь рассмотреть аномалии — коперниканскую революцию, сохранение атомной теории, сохранение допущения о небесных влияниях на земные дела, а также переработки ad hoc этих аномалий, что нашло отражение в «эпистемологической иллюзии», описанной в гл. 15.) В то же время социологическое допущение несомненно истинно, а это означает, что в мире, в котором космологическое допущение ложно, путь к истине для нас навсегда закрыт.
(обратно)169
Лакатос И. История, с. 228.
(обратно)170
Которое неоднократно подчеркивается самим Лакатосом; см.: История, с. 204, 228, прим. 2, 36 и т. п.
(обратно)171
Следует помнить, что спор касается только методологических правил и что «свобода» означает здесь свободу по отношению к этим правилам. Сверх того, ученый еще ограничен свойствами своих инструментов, количеством наличных денег, понятливостью своих ассистентов, отношением своих коллег и партнеров — он или она ограничены бесчисленным количеством физических, физиологических, социальных, исторических принуждений. Методология исследовательских программ (и эпистемологический анархизм, который я защищаю) устраняет только методологические принуждения.
(обратно)172
Отметим, что Лакатос не видит «эпистемологической иллюзии», часто способствующей прогрессу познания: «...Успехи конкурирующих сторон должны фиксироваться и всегда делаться достоянием общественности» (История, с. 222).
(обратно)173
Лакатос И. История, с. 229.
(обратно)174
См. Лакатос И. История, с. 229.
(обратно)175
Там же, с. 257; см.: Фальсификация, с. 93.
(обратно)176
Лакатос И. История, с. 257.
(обратно)177
Там же, с. 260.
(обратно)178
Лакатос И. Фальсификация, с. 178.
(обратно)179
«В подобных случаях, — говорит Лакатос, рассматривая решение консервативно использовать стандарты, — следует опираться на здравый смысл» (История, прим. 58, с. 229). Это верно, если поступая таким образом, мы осознаем, что покидаем сферу рациональности, определенную стандартами, и переходим во «внешнюю» среду, т. е. к другим стандартам. Лакатос отнюдь не всегда поясняет этот сдвиг. Напротив, нападая на оппонентов, он полностью использует нашу склонность считать здравый смысл внутренне рациональным и употреблять слово «рационально» согласно его стандартам. Он обвиняет своих оппонентов в «иррациональности». Инстинктивно мы соглашаемся с ним, забывая о том, что его собственная методология не приводит к такой оценке и не дает для нее никаких оснований.
(обратно)180
Лакатос И. История, с. 242.
(обратно)181
Там же, с. 255.
(обратно)182
Там же, с. 241.
(обратно)183
См. это правило в «Истории», с. 242.
(обратно)184
Там же, с. 257.
(обратно)185
«Не будет ли... слишком большой дерзостью попытка навязать большинству современных наук некоторую априорную философию науки?.. Я думаю, будет (История, с. 263).
(обратно)186
Там же, прим. 80 к с. 241.
(обратно)187
Там же, с. 253.
(обратно)188
Там же.
(обратно)189
Там же.
(обратно)190
Там же, с. 264.
(обратно)191
Там же, с. 241.
(обратно)192
См. выше, прим. 23.
(обратно)193
Лакатос И. История, с. 264.
(обратно)194
Там же, с. 263.
(обратно)195
Там же, с. 241.
(обратно)196
«Наоборот», по мнению Кеплера.
(обратно)197
Это верно и для Поппера: «Он не только не пытался ответить, но даже и не ставил вопроса: «При каких условиях мы можем отказаться от нашего критерия демаркации?»» (Лакатос И. История, с. 240, подчеркнуто в оригинале). Но это не верно для Платона или Аристотеля, которые анализировали процесс познания и раскрывали его сложность; см. Wiеlаnd W. Die Aristotelische Physic, Gettingen, 1970, с. 76 и сл. (Вся суета попперианцев вокруг «оснований познания» здесь предвосхищена, и суть дела выражена в серьезных, простых аргументах и наблюдениях.) Однако для аристотелианцев позднего средневековья это справедливо.
(обратно)198
Пример приведен в моей статье: Fеуеrаbеnd Р. К. Classical Empiricism. ― In: Вutts (ed.) The Methodological Heritage of Newton. Oxford, 1970.
(обратно)199
В качестве примера см. отношение между философией Декарта и его физикой, между методологией Ньютона и его физикой, наконец, между философией Поппера и физикой Эйнштейна, как ее понимал сам Эйнштейн. Последний случай несколько затемняется тем фактом, что Поппер ссылается на Эйнштейна как на одного из своих вдохновителей и как на главный пример своего фальсификационизма. Вполне возможно, конечно, что Эйнштейн, который, по-видимому, склонялся к эпистемологическому оппортунизму (или цинизму), иногда высказывался так, что его слова можно было истолковать как поддержку фальсификационистской эпистемологии. Однако его деятельность и основная масса сочинений говорят о другом.
(обратно)
Комментарии к книге «Фаллибилизм против фальсификационизма», Имре Лакатос
Всего 0 комментариев