Отбросил ли теперь наш ученый теорию Ньютона вместе со своими гипотезами о планете-возмутительнице и облаке, превращающем ее в планету-невидимку? Ничего подобного.
   Теперь он уверяет, что существует некое магнитное поле в этом районе вселенной, из-за которого приборы спутника не могут обнаружить пылевое облако. И вот построен новый спутник с другими приборами. Если бы теперь магнитное поле было обнаружено, ньютонианцы праздновали бы головокружительную победу. И снова - увы!
   Может быть, теперь уже можно считать
   ньютоновскую теорию опровергнутой? Как бы не так. Тотчас выдвигается новая еще более остроумная гипотеза, объясняющая очередную неудачу, либо...
   Либо вся эта история погребается в пыльных томах периодики и уже больше никем не вспоминается. (25)
   Эта история ясно показывает, что даже самые респектабельные научные теории вроде ньютоновской динамики и теории гравитации могут терпеть неудачу, запрещая какие-либо наблюдаемые положения вещей. (26)
   В самом деле, научные теории исключают какие-либо события в определенных (ограниченных в пространстве и времени) уголках Вселенной ("сингулярные" события) только при условии, что эти события не зависят от каких-либо неучтенных (быть может, скрытых в отдаленных и неизвестных пространственно-временных закоулках Вселенной) факторов. Но это значит, что такие теории никогда не могут противоречить отдельному "базисному" предложению; они могли бы противоречить только полной конъюнкции всех базисных предложений, описывающих данное сингулярное событие в пространственно-временных параметрах, и некоторого универсального предложения о несуществовании, то есть такого предложения, в котором утверждалось бы, что никакая неизвестная причина, где бы она ни располагалась во Вселенной, не имеет никакого отношения к данному событию. Но догматический фальсификационист вряд ли станет утверждать, что подобные универсальные предложения о несуществовании могли бы относиться к эмпирическому базису, то есть могли бы проверяться наблюдением и приобретать таким образом доказательную обоснованность.
   Можно по-другому сказать, что в структуру научных теорий входит, как правило, ограничение ceteris paribus [при прочих равных условиях (лат.). Перев.] (27); в таких случаях теория может быть опровергнута только вместе с этим ограничением. Но если взять теорию без этого ограничения, она уже не может быть опровергнута, так как заменяя ceteris paribus, можно получить уже иную теорию и, следовательно, никакие проверки не могут считаться решающими.
   А это значит, что "безжалостная" стратегия опровержения, которой следует догматический фальсификационизм, в этих случаях проваливается, даже если бы мы допустили существование абсолютно непоколебимого эмпирического базиса, как пусковой площадки для разрушительных залпов modus tol-lens;* ведь цель, по которой велся бы огонь, оказывается совершенно неуязвимой. (28) И когда такими целями оказываются наиболее значительные, "зрелые" теории, знаменующие собой целые этапы в истории науки, они prima facie приобретают репутацию "неопровержимых". Но более того, по критериям догматического фальсификационизма под эту категорию подпадают и все вероятностные (probabilistic) теории, ибо никакая конечная подборка фактов не может опровергнуть универсальную вероятностную теорию; (29 )такие теории, как и теории с ограничением ceteris paribus, не имеют эмпирического базиса. Но тогда догматический фальсификационист, в соответствии со своими правилами, должен отнести даже самые значительные научные теории к метафизике, где нет места рациональной дискуссии - если исходить из критериев рациональности, сводящихся к доказательствам и опровержениям, - поскольку метафизические теории не являются ни доказуемыми, ни опровержимыми. Таким образом, критерий демаркации догматического фальсификациониста оказывается в высшей степени антитеоретическим.
   (Кроме того, можно было бы легко показать, что ограничение ceteris paribus является не исключением, а правилом в науке. В конце концов, наука - не сувенирная лавка, где выставляются напоказ всяческие местные или привозные диковинки. Возьмем высказывание "Все жители Брайтона умерли от саркомы легких в период между 1950 и 1960 гг.". Оно не содержит в себе ничего логически невозможного и даже может быть истинным. Но поскольку в нем утверждается нечто имеющее лишь микроскопическую вероятность, то оно могло бы заинтересовать какого-нибудь чудака, коллекционирующего курьезы, или иметь ценность черного юмора, но никак не научную ценность. Можно сказать, что высказывание является научным, если только оно выражает какую-либо причинную зависимость; но вряд ли можно предположить, что причиной смерти от саркомы легких является жительство в Брайтоне.
   Точно так же следовало бы считать чистейшим курьезом высказывание "Все лебеди белые", даже если бы оно было истинным, при таком его понимании, когда "лебединость" полагалась бы причиной "белизны". Тогда наблюдение черного лебедя не могло бы опровергнуть это высказывание, поскольку оно указывало бы только на то, что помимо "лебединости" существуют и другие причины, из-за которых данный лебедь почернел. Поэтому высказывание "Все лебеди белые" - либо курьез и легко опровержимо, либо научное высказывание с ограничением ceteris paribus, а потому - неопровержимое . Так мы приходим к выводу, что чем упорнее теория сопротивляется эмпирическим фактам, тем больше оснований считать ее "научной". "Неопровержимость" превращается в отличительную черту науки) (s0
   )
   Итак: классические джастификационисты допускают только доказательно обоснованные теории; нео-классические джастификационисты допускают вероятностно-обоснованные (probable) теории; догматические фальсификационисты приходят к тому, что никакие теории ни в коем случае не могут считаться допустимыми. А ведь они начинали с того, что теории допустимы, если опровержимы, то есть противоречат конечному числу наблюдений. Но если бы даже такие теории существовали, с логической точки зрения, они были бы слишком близкие к эмпирическому базису.
   Например, с позиции догматического фальсификациониста, теория "Все планеты движутся по эллиптическим орбитам" может быть опровергнута пятью наблюдениями, следовательно она является научной. Теория "Все планеты движутся по круговым орбитам" может быть опровергнута четырьмя наблюдениями, поэтому догматический фальсификационист будет считать ее еще более научной. И уж самой научной будет теория "Все лебеди белые", опровержимая одним единственным наблюдением. Но при этом еще придется отрицать научность всех вероятностно обоснованных теорий, включая теории Ньютона, Максвелла, Эйнштейна - поскольку никакое конечное число наблюдений не может их опровергнуть.
   Если принять критерий демаркации догмагического фальсификационизма, а также ту идею, что "фактуальные высказывания" доказательно обосновываются фактами, те придется признать, что самые значительные если не все, теории, когда-либо принятые в науке, являются метафизическими, что большая часть, если не все, из того, что считалось научным прогрессом, на самом деле было псевдопрогрессом, что почти все, если не все сделанное в науке является иррациональным. Если же мы, приняв этот критерий, вместе с нашим догматическим фальсификационистом все же признаем, что научные высказывания не могут доказательно обосновываться фактами, то нам угрожает полный скептицизм:
   вся наука превращается в несомненно иррациональную метафизику и должна быть отброшена. Тогда научные теории не только равно недоказуемы и невероятны, но также и равно неопровержимы. Если признать еще и то что не только теоретические, но любые высказывания в науке погрешимы, то это значит, что приходит конец всем разновидностям догматического джастификационизма как теории научной рациональности.
   б) Методологический фальсификационизм. "Эмпирический базис"
   Крушение догматического фальсификационизма под напором фаллибилистских аргументов заставляет вернуться к его предпосылкам. Если все научные предложения суть не что иное как опровержимые теории, их можно подвергать критике только за их логическую непоследовательность. Тогда в каком смысле (если вообще можно найти такой смысл) наука является эмпирической? Если научные теории не могут считаться ни доказуемыми, ни вероятностно-обоснованными, ни опровержимыми, то выходит, что скептики, в конечном счете, правы: наука есть не что иное, как напыщенная спекуляция и нет никакого прогресса научного знания. Можем ли мы еще как-нибудь противостоять скептицизму? Можем ли мы. спасти научный критицизм от фаллибилизма*? Возможна ли фаллибилистская теория научного прогресса? Ведь если даже научная критика погрешима, то на каком основании можно было бы признать падение научной теории?
   Наиболее интригующий ответ дает методологический фальсификационизм. Поскольку это разновидность конвенционализма, нам придется вначале рассмотреть, что такое конвенционализм.
   Имеется важное различие между "пассивной" и "активной" теориями познания. "Пассивисты" полагают, что истинное знание - это тот след, который оставляет Природа на совершенно инертном сознании; активность духа обнаруживается только в искажениях и отклонениях от истины. Самой влиятельной школой пассивистов является классический эмпирицизм. Приверженцы "активной" теории познания считают, что Книга Природы не может быть прочитана без духовной активности, наши ожидания или теории - это то, с помощью чего мы истолковываем ее письмена. (31) Консервативные "активисты" полагают, что базисные ожидания врождены, благодаря им окружающий нас мир становится "нашим миром", в котором мы отбываем пожизненное заключение. Идея о том, что мы живем и умираем, не покидая тюрьмы своих "концептуальных каркасов", восходит к Канту; кантианцы-пессимисты полагают, что из-за этого затворничества реальный мир навсегда остается непознаваемым для нас, а кантианцы-оптимисты уверены в том, что Бог вложил в нас такой "концептуальный каркас", который в точности соответствует этому миру. (32) "Революционные активисты" верят, что концептуальные каркасы могут развиваться и даже заменяться новыми, лучшими; мы сами строим наши "тюрьмы", но сами же и перестраиваем их. (33)
   Путь от консервативного к революционному активизму, на который ступил Уэвелл, был затем продолжен Пуанкаре, Мильо и Леруа. Уэвелл считал, что развитие теорий идет путем проб и ошибок, когда разыгрываются "прелюдии к индуктивным эпохам". Затем, когда наступают "индуктивные эпохи", лучшие из теорий получают доказательное обоснование - главным образом за счет априорных соображений, называемых им "прогрессивной интуицией". Затем наступают "последствия индуктивных эпох"; наращивание разработок вспомогательных теорий. (34) Пуанкаре, Мильо и Леруа питали недоверие к идее доказательства через "прогрессивную интуицию" и предпочитали объяснять непрерывные успехи ньютоновской механики методологическим решением ученых. Это значит, что, находясь под впечатлением длительного периода эмпирических успехов этой теории, ученые могут решить, что опровергать эту теорию вообще непозволительно. В соответствии с этим решением, ученые стараются ликвидировать явные аномалии (либо не пытаются сделать это) с помощью вспомогательных гипотез или иных "конвенционалистских уловок". ( 35)
   Такой консервативный конвенционализм имеет, однако, тот недостаток, что не позволяет освободиться из построенных нами же тюрем, когда первоначальный период проб и ошибок уже пройден и великие решения приняты. Проблема элиминации теорий, торжествовавших в течение длительного времени, таким образом не решается. Согласно консервативному конвенционализму, у экспериментов достает сил, чтобы ниспровергнуть молодые теории, но со старыми, прочно обосновавшимися, это уже не проходит: а это значит, что по мере того, как растет наука, сила эмпирических доводов уменьшается. (36)
   Критики Пуанкаре отвергли его идею, сводящуюся к тому, что, хотя ученые сами строят свои концептуальные каркасы, приходит время, когда эти каркасы превращаются в тюрьмы, которые уже нельзя разрушить. Из этой критики выросли две соперничающие школы революционного конвенционализма: симплицизм Дюгема и методологический фальсификационизм Поппера. (37)
   Как конвенционалист, Дюгем считает, что никакая физическая теория не может рухнуть от одной только тяжести "опровержений", но все же она обрушивается от "непрерывных ремонтных работ и множества подпорок", когда "подточенные червями колонны" больше не могут удерживать "покосившиеся своды"; (38) тогда теория утрачивает свою первоначальную простоту и должна быть заменена. Но если так, то фальсификация теории зависит от чьего-либо вкуса или, в лучшем случае, от научной моды; слишком многое решается тем, насколько сильна приверженность ее некритически мыслящих сторонников.
   Поппер вознамерился найти более объективный и более точный критерий. Для него был неприемлем выхолощенный эмпирицизм, от которого не был свободен подход Дюгема, и он предложил методологию, позволяющую считать эксперимент решающим фактором даже в "зрелой" науке. Эта методология соединяет в себе и конвенционализм, и фальсификационизм, но, пишет он, "от (консервативных) конвенционалистов меня отличает убеждение в том, что по соглашению мы выбираем не универсальные, а сингулярные высказывания (пространственно-временные) ", (39 )а от догматических фальсификационистов - убеждение в том, что истинностные значения таких высказываний не могут быть доказательно обоснованы фактами, но, в некоторых случаях, устанавливаются по соглашению. (40)
   Консервативный конвенционалист (или, если угодно, методологический джастификационист) провозглашает неопровержимость некоторых (пространственно-временных) универсальных теорий, исключительных по своей объяснительной силе, простоте или красоте. Наш революционный конвенционалист (или "методологический фальсификационист") провозглашает неопровержимость некоторых (пространственно - временных) сингулярных предложений, замечательных тем, что, если существует "соответствующая методика", то всякий, кто обучится ей, приобретает способность решать вопрос о "приемлемости" данного предложения. (41) Последнее может быть названо "предложением наблюдения" пли "базисным предложением", но лишь в кавычках. (42) Действительно, отбор всех таких предложений зависит от решений, в основе которых лежит не одна только психология. Каждое такое решение сопровождается еще и другим решением, связанным с выделением множества принятых базисных предложений.
   Эти два типа решений соответствуют двум посылкам догматического фальсификационизма. Но между ними есть важное различие. Прежде всего, методологический фальсификационист не является джастификационистом, у него нет иллюзий относительно "экспериментальных доказательств" и он вполне осознает и возможную ошибочность своих решений, и степень риска, на который идет.
   Методологический фальсификационист отдает себе отчет в том, что в "экспериментальную технику", которой пользуется ученый, вовлечены подверженные ошибкам теории, (43) "в свете которых" интерпретируются факты. И все же, "применяя" эти теории, он рассматривает их в данном контексте не как теории, подлежащие проверке, а как непроблематичное исходное знание (background Knowledge),! "которое мы принимаем (условно, на риск) как бесспорное на время проверки данной теории". (44) Он может назвать эти теории, как и предложения, истинностные значения которых определяются им в свете тех же теорий, "наблюдательными", но это только манера речи, унаследованная от натуралистического фаль-сификационизма. (45) Методологический фальсификационист использует наиболее успешные теории как продолжения наших чувств, и перечень теорий, которые он готов допустить к проверке других теорий, шире, чем список тех, наблюдательных в строгом смысле, теорий, какие включил бы в него догматический фальсификационист.
   Например, представим, что открыта радиозвезда с системой спутников, вращающихся вокруг нее. Проверка теории тяготения на этой планетарной системе, безусловно, представляла бы большой интерес. Допустим, что обсерватория Джодрел Бэнк получила ряд пространственно-временных координат планет, входящих в эту систему, которые несовместимы с данной теорией. Можно рассматривать эти данные как множество потенциальных фальсификаторов. Конечно, эти базисньк предложения не являются наблюдениями в прямом смысле, но их можно считать "наблюдениями" в кавычках. Ведь этими предложениями описываются положения планет, не доступные ни человеческому глазу, ни оптическим инструментам. Их истинностные значения зависят от определенной "экспериментальной техники". Последняя же основывается на применении хорошо подкрепленной радиооптической теории. Назвать такие предложения "наблюдательными" - не более, чем манера речи; в данном контексте это означает только то, что при проверке теории тяготения методологический фальсификационист относится к радиооптике как к "исходному знанию", некритически. Для этого вида методологического фальсификационизма характерна необходимость принятия решений, которыми проверяемая теория отграничивается от непроблематичного исходного знания.* (6) (Все это очень похоже на то, как Галилей "наблюдал" спутники Юпитера. Как было верно замечено уже современниками Галилея, он опирался на оптическую теорию, которая, если и существовала, то во всяком случае была и менее подкреплена, и даже менее разработана, чем нынешняя радиооптика. С другой стороны, когда зрительные ощущения человека называют "наблюдениями", это означает только то, что мы "полагаемся" на сомнительную психологическую теорию человеческого зрения (47).)
   Это говорит о том, что конвенциональный элемент, как он понимается в данном контексте, позволяет считать теорию "наблюдательной" (в методологическом смысле). (48) Аналогично, конвенциональный элемент присутствует в решении вопроса, какое значение истинности должно быть приписано базисному предложению, принятому уже после того, как мы решили, какую теорию использовать как "наблюдательную". Единичное наблюдение может быть случайным результатом простой ошибки. Чтобы уменьшить риск, методологический фальсификационист рекомендует принять меры безопасности. Простейшая из них состоит в том, чтобы повторять эксперименты (сколько раз-это дело соглашения), другая мера - "усиливать" потенциальные фальсификаторы "хорошо подкрепленными фальсифицирующими гипотезами". (49)
   Методологический фальсификационист также принимает во внимание, что фактически такого рода соглашения приобретают институциональный характер и одобряются научным сообществом; какие фальсификаторы "принимаются", а какие нет, зависит от вердикта ученых-экспериментаторов. (50)
   Именно так методологический фальсификационист устанавливает свой "эмпирический базис". (Кавычки ставятся специально, чтобы подчеркнуть "ироническое звучание" этого термина (51).) Такой "базис" вряд ли соответствует критериям джастификационизма, в нем нет ничего доказательно обоснованного-этот термин означает "сваи, забитые в болото". (52)
   Конечно, если теория приходит в столкновение с таким "эмпирическим базисом", она может быть названа "фальсифицированной" но "фальсификация" здесь не означает опровержения. Методологическая "фальсификация" сильно отличается от догматической фальсификации. Если теория фальсифицирована в смысле догматического фальсификациониста, это значит, что она ложна; но "фальсифицированная теория" все же может быть истинной. Если мы вслед за "фальсификацией" еще и "элиминируем" теорию, то вполне можем элиминировать истинную теорию или сохранить ложную (это как раз то, что должно вызвать праведный гнев у старомодного джастификациониста).
   Но тем не менее, методологический фальсификационист советует делать именно это. Он понимает, что если мы хотим примирить фаллибилизм с рациональностью (не джастификационистской), то обязаны найти способ элиминировать некоторые теории. Если это не получится, рост науки будет ни чем иным, как ростом хаоса.
   Поэтому методологический фальсификационист призывает: "Чтобы заставить метод отбора посредством элиминации работать и обеспечить выживание только самых добротных теорий, надо создать для них условия суровой борьбы за жизнь". (53) Раз теория фальсифицирована, она должна элиминироваться, несмотря на связанный с этим риск: "мы работаем с теориями только до тех пор, пока они не падают под проверками". (54) С методологической точки зрения, элиминация должна быть окончательной: "в общем случае интерсубъективно проверяемую фальсификацию мы считаем окончательной... Подкрепляющая оценка, совершаемая в более поздний период времени..., может заменить позитивную степень подкрепления негативной, но не наоборот" (55). Выбраться из ложной колеи можно лишь с помощью эксперимента, который "помогает нам сойти с дороги, которая ведет в тупик". (56)
   В отличие от догматического фальсификациониста, методологический фальсификационист различает простое отбрасывание и опровержение. (57) Он-фаллибилист, но его фаллибилизм не ослабляет его критический запал:
   подверженные ошибкам высказывания он превращает в "базис", чтобы продолжать свою;
   твердую политику. На этом основании он предлагает новый критерий демаркации: только те теории, то есть высказывания, не являющиеся "предложениями наблюдения", которые запрещают определенные "наблюдаемые" состояния объектов и поэтому могут быть "фальсифицированы" и отброшены, являются "научными". Другими словами, теория является "научной" (или "приемлемой"), если она имеет "эмпирический базис". В этом критерии четко видна разница между догматическим и методологическим фальсификационизмом. (58)
   Методологический критерий демаркации куда более либерален, чем догматический. Методологический фальсификационизм раскрывает перед критицизмом новые горизонты: гораздо больше теорий квалифицируются как "научные". Мы уже видели, что "наблюдательных" (в кавычках) теорий больше, чем наблюдательных (без кавычек), и, следовательно, "базисных" (в кавычках) предложений больше, чем базисных (без кавычек). (59)
   Кроме того, вероятностные теории тоже могут теперь квалифицироваться как "научные": хотя они не фальсифицируемы, они легко превращаются в "фальсифицируемые" посредством принятия добавочного решения (третьего типа). Это решение ученый может принять, уточнив некоторые правила отбрасывания, которые могут сделать статистически интерпретированное подтверждение "несовместимым" с вероятной теорией. (60 )
   Но даже эти три решения недостаточны для "фальсификации", теории, которая не может объяснить что-либо "наблюдаемое" без ограничения ceteris paribus. Никакого конечного числа "наблюдений" не достаточно, чтобы "фальсифицировать" такую теорию. Однако, если это так, то можно ли разумно защищать методологию, которая претендует "интерпретировать законы природы и теории как... высказывания, которые частично разрешимы, то есть они - по логическим основаниям - не верифицируемы, но асимметричным образом только фальсифицируемы. . ."? (61) Как можем мы интерпретировать теории, подобные теории тяготения и динамике Ньютона, в терминах "частичной разрешимости"? (62) Как в таких случаях, не кривя душой, пытаться "избавиться от ложных теорий, - найти в теории слабые места, чтобы отвергнуть ее, если она в результате проверки оказывается фальсифицированной"? (63) Как мы можем включить их в сферу рациональной дискуссии?
   Методологический фальсификационист решает эту проблему, принимая новое решение (четвертого типа): когда мы проверяем теорию вместе с ограничением ceteris paribus и находим, что эта конъюнкция опровергнута, мы должны решить, считать ли это опровержение также и опровержением специфической теории.
   Например, можно принять "аномалию" перигелия Меркурия как опровержение конъюнкции из трех элементов: теории Ньютона, известных граничных условий и ограничения ceteris paribus - Nз. Затем "сурово" проверить граничные условия (64) и, может быть, перевести их в ранг "непроблематичного исходного знания". Из этого будет следовать, что опровергнута иная конъюнкция, уже из двух элементов - теории Ньютона и ограничение ceteris paribus - N2. Теперь надо принимать главное решение: снести и ограничение ceteris paribus в общий котел "непроблематического исходного знания". Это тоже можно сделать, если ограничение ceteris paribus хорошо подкреплено.
   Что означает "суровая" проверка ограничения ceteris paribus? Надо предположить что существуют другие факторы, воздействующие на данное событие, определить эту . факторы и проверить конкретные допущения о них. Если многие из этих допущений опровергнуты, ограничение ceteris paribus может считаться хорошо подкрепленным.
   Но если принято решение о "приемлемости" ограничения ceteris paribus, то это влечет за собой очень рискованные последствия Если это входит в "исходное знание", та предложения, описывающие перигелий Меркурия, рассматриваются уже не как эмпирический базис N2, а как эмпирический базис самой теории Ньютона, и, следовательно, то что было простой "аномалией", становится решающим свидетельством против N , eе фальсификацией. (Некое событие, описываемое мое предложением А, можно назвать "аномалией" по отношению к теории Т', если А- потенциальный фальсификатор конъюнкции Т и ограничения ceteris paribus; но то же предложение становится потенциальным фальсификатором самой теории Т, если принято решение считать ограничение ceteris paribus частью "непроблематического исходного знания".)