Imre (Avrum) Lipsitz - Имре Лакатос Фальсификация и методология научно-исследовательских программ Фаллибизм против фальсификационизма а) Догматический (натуралистический) фальсификационизм. Эмпирический базис Существо разногласий станет яснее, если мы восстановим проблемную ситуацию, как она возникла в философии Науки после краха "Джастификационизма". "Джастификационисты" полагают, будто научное Знание состоит из доказательно обоснованных Высказываний. Признавая, что чисто логическая дедукция позволяет только выводить одни Высказывания из других (переносить истинность), но не обосновывать (устанавливать) истинность, они по-разному решают вопрос о Природе тех Высказываний, истинность которых устанавливается и обосновывается внелогическим образом. Классические интеллектуалисты (в более узком смысле - "Рационалисты") допускают весьма различные, но в равной мере надежные типы "внелогического" обоснования - откровение, интеллектуальную интуицию, Опыт. Любые научные Высказывания могут быть выведены логически из подобных оснований.   Классические Эмпирицисты считают такими основаниями только сравнительно небольшое множество "фактуальных Высказываний", выражающих "твердо установленные Факты". Значения истинности таких Высказываний устанавливаются опытным путем, и все они образуют эмпирический базис Науки. Если требовать, чтобы в основаниях Науки не было ничего, кроме узкого эмпирического базиса, то для доказательного обоснования научных Теорий нужны более эффективные логические средства, чем дедуктивная логика, которой ограничиваются интеллектуалисты, например, "индуктивная логика".   Все Джастификационисты, будь то интеллектуалисты или Эмпирицисты, согласны в том, что единичного Высказывания, выражающего твердо установленный Факт, достаточно для Опровержения универсальной Теории (4)" (5); но лишь немногие осмеливаются утверждать, что конечной Конъюнкции фактуальных Высказываний достаточно для "индуктивного" доказательного обоснования универсальной Теории (6). Джастификационизм, считающий Знанием лишь то, что доказательно обосновано, был господствующей традицией рационального мышления на протяжении столетий. Скептицизм не есть Отрицание Джастификационизма; Скептики только полагают, что нет (или не может быть) доказательно обоснованного Знания и поэтому нет Знания вообще. Они видят в "Знании" только разновидность Веры, свойственной всем одушевленным существам. Тем самым Скептицизм, остающийся джастификационистским, дискредитирует Знание, открывая дверь Иррационализму, мистике, суевериям. Поэтому понятны исключительные усилия, предпринимаемые классическими Рационалистами, чтобы спасти синтетические априорные Принципы интеллектуализма, и классическими Эмпирицистами, спасающими определенность эмпирического базиса и значимость индуктивного вывода. Они верны кодексу научной чести, требующему воздерживаться от необоснованных Высказываний.   Но и те, и другие терпят поражение: кантианцы - от удара, нанесенного неэвклидовой геометрией и неньютоновской физикой, Эмпирицисты от логической невозможности положить в основание Знания чисто эмпирический базис (ещё кантианцы заметили, что никакое научное Высказывание не может быть вполне обосновано Фактами и индуктивную логику (никакая логика не может увеличить содержание Знания, гарантируя вместе с тем его безошибочность). Отсюда следовало, что все Теории в равной степени не могут иметь доказательного обоснования. Философы неохотно признавали это по очевидным причинам: классические Джастификационисты страшились вывода, что если теоретическая Наука не имеет доказательного обоснования, то она есть не что иное как софистика и иллюзия, если не бессовестное надувательство. Философское значение пробабилизма (или "неоджастификационизма") состояло в попытке избежать такого вывода. Пробабилизм возник благодаря усилиям группы кембриджских философов, полагавших, что хотя научные Теории равно необоснованны, они все же обладают разными степенями Вероятности (в том смысле, какой придан этому Термину исчислением Вероятностей) по отношению к имеющемуся эмпирическому подтверждению. (7)   С этой точки зрения, кодекс научной чести не так суров, как кажется: он требует только высокой Вероятности научных Теорий или хотя бы того, чтобы в каждом конкретном случае были указаны эмпирические подтверждения данной Теории и определена Вероятность этой Теории по отношению к этим подтверждениям. Конечно, замена доказательной обоснованности Вероятностью была серьезным отступничеством джастификационистского мышления. Но и оно оказалось недостаточным. Вскоре было показано, главным образом благодаря настойчивым усилиям Поппера, что при весьма общих условиях все Теории имеют нулевую Вероятность, независимо от количества подтверждений; все Теории не только равно необоснованны, но и равно невероятны. (8) Многие философы все ещё полагают, будто бы, потерпев неудачу в попытках найти хотя бы пробабилистское Решение Проблемы индукции, мы тем самым вынуждены "отвергнуть все то, что Наукой и здравым смыслом рассматривалось как Знание". (9) На этом фоне особенно видна незаурядная роль фальсификационизма, решившегося на радикальное изменение способов оценки научных Теорий и, шире, канонов интеллектуальной честности. фальсификационизм тоже стал, так сказать, новым и значительным отступничеством Рационализма. Но это было отступлением от утопических Идеалов последнего, оно обнажило путаность и лицемерность многочисленных попыток отстоять эти утопические Идеалы и, следовательно, сыграло прогрессивную роль. Остановимся вначале на наиболее характерном виде фальсификационизма: догматическом (или "натуралистическом") фальсификационизме. Согласно этой Концепции, все без исключения научные Теории опровержимы, однако существует некий неопровержимый эмпирический базис. Это - строгий Эмпирицизм, но без индуктивизма; неопровержимость эмпирического базиса не переносится на Теории. Поэтому догматический фальсификационизм можно считать более слабым вариантом Джастификационизма. Очень важно подчеркнуть, что само по себе признание (подкрепленного) контрпримера решающим свидетельством против данной Теории ещё не определяет методолога как догматического фальсификациониста. С этим согласится любой кантианец или индуктивист. Но и тот, и другой, почтительно склоняя голову перед отрицательным результатом решающего Эксперимента, в то же время озабочены прежде всего тем, как получше укрепить пока ещё не опровергнутую Теорию, отсидеться в её окопах под критическим обстрелом со стороны другой Теории. Например, кантианцы верили в то, что евклидова геометрия и механика Ньютона неприступны; индуктивисты верили, что Вероятность этих Теорий равна 1. Но догматический фальсификационист прежде всего верит эмпирическому контр-свидетельству, считая его единственным арбитром, выносящим приговор Теории. Поэтому догматического фальсификациониста отличает то, что для него все Теории в равной степени гипотетичны. Наука не может доказательно обосновать ни одной Теории. Но, не будучи способной доказательно обосновывать, Наука может опровергать: "с полной логической определенностью отрекаться от того, что обнаружило свою Ложность" (10), а это означает, что допускается существование фундаментального эмпирического базиса - множества фактуальных Высказываний, каждое из которых может служить Опровержением какой-либо Теории.   Фальсификационисты предлагают новый, - надо сказать, довольно умеренный, - кодекс научной чести: они склонны считать "научными" не только те Высказывания, которые доказательно обоснованы Фактами, но и те, которые всего лишь опровержимы, то есть противоречат некоторым фактуальным Высказываниям, другими словами, "научные" Высказывания должны иметь непустое множество потенциальных фальсификаторов". Таким образом, научная честность требует постоянно стремиться к такому Эксперименту, чтобы, в случае Противоречия между его результатом и проверяемой Теорией, последняя была отброшена. (12) фальсификационист требует, чтобы опровергнутое Высказывание безоговорочно отвергалось без всяких уверток. С нефальсифицируемыми Высказываниями, если это не тавтологии, догматический фальсификационист расправляется без проволочек: зачисляет их в "метафизические" и лишает их права гражданства в Науке. Догматические фальсификационисты четко различают теоретика и экспериментатора: теоретик предполагает, экспериментатор - во имя Природы - располагает. Как сказал Вейль: "Раз и навсегда я хочу выразить безграничное восхищение работой экспериментатора, который старается вырвать интерпретируемые Факты у неподатливой Природы и который хорошо знает как предъявить нашим Теориям решительное "нет" или тихое "да". (13) Очень ясно выразился Брейсуэйт о догматическом фальсификационизме. Он так формулирует вопрос, касающийся Объективности научного Знания: "В какой степени признанная научными экспертами дедуктивная Система может считаться свободным творением человеческого ума, и до какой-объективным отображением Фактов Природы?". И отвечает: "Способ выдвижения научной Гипотезы и то, как ею пользуются для выражения общих Суждений - это человеческое изобретение; у Природы мы получаем только наблюдаемые Факты, которыми опровергаются или не опровергаются научные Гипотезы... Наука полагается на Природу в том, являются ли какие-то Высказывания, относящиеся к низшему уровню научных умозаключений, ложными.   Такая проверка совершается при помощи дедуктивной Системы научных Гипотез, в построении каковой мы обладаем достаточно большой свободой. Человек предлагает Систему Гипотез; Природа располагает их Истинностью или Ложностью. Сначала человек придумывает научную Систему, а затем проверяет, согласуется ли она с наблюдаемым Фактом". (14) По логике догматического фальсификационизма, рост Науки - это раз за разом повторяющееся опрокидывание Теорий, наталкивающихся на твердо установленные Факты. Например, согласно этой Концепции, вихревая Теория тяготения Декарта была опровергнута - и отброшена - тем Фактом, что планеты движутся по эллиптическим орбитам, а не по Картезианским кругам; Теория Ньютона успешно объяснила известные в её время Факты, как те, что объяснялись Теорией Декарта, так и те, что служили Опровержением последней.   Точно так же, если следовать рассуждениям фальсификационистов, Теория Ньютона, в свою очередь, была опровергнута - доказана её Ложность - Фактом аномальности перигелия Меркурия, а Теория Эйнштейна справилась с Объяснением и этого Факта.   Все это означает следующее: Наука занимается тем, что выдвигает смелые предположения, которые никогда не бывают ни доказательно обоснованны, ни даже признаны вероятными, зато некоторые из них впоследствии устраняются твердо установленными, решительными Опровержениями, а на их место приходят ещё более смелые, новые и покамест неопровергнутые - по крайней мере, на первых порах - Гипотезы. Однако догматический фальсификационизм уязвим. Он зиждется на двух ложных посылках и на слишком узком Критерии Демаркации между научным и ненаучным Знанием. Первая посылка - это утверждение о существовании естественной, вытекающей из свойств человеческой психики, разграничительной линии между теоретическими или умозрительными Высказываниями, с одной стороны, и фактуальными (базисными) предложениями Наблюдения, с другой. (Вслед за Поппером, я назову это натуралистической Концепцией Наблюдения). Вторая посылка - утверждение о том, что Высказывание, которое в соответствии с психологическим Критерием фактуальности может быть отнесено к эмпирическому базису (к предложениям Наблюдения), считается истинным; о нем говорят, что оно доказательно обосновано Фактами. (Я назову это учением о доказательном обосновании путем Наблюдения (Эксперимента). (15) Эти две посылки предохраняют от смертельной для догматического фальсификационизма возможности Опровержения эмпирического базиса, Ложность которого могла бы переноситься дедуктивными процедурами на проверяемую Теорию. К этим посылкам добавляется Критерий Демаркации: "научными" считаются только те Теории, которые исключают некоторые доступные Наблюдению состояния дел в исследуемой предметной области и потому могут быть опровергнуты Фактами. Иначе говоря, Теория "научна", если у неё есть эмпирический базис. (16) Однако обе посылки ложны. Психология опровергает первую, логика - вторую, и, наконец, методологические рассуждения говорят против Критерия Демаркации.   Рассмотрим все это поочередно 1) Даже беглый обзор нескольких характерных примеров показывает несостоятельность первой посылки. Галилей утверждал, что он мог "Наблюдать" горы на Луне и пятна на Солнце, и что эти "Наблюдения" опровергли прославленную в веках Теорию, согласно которой небесные тела должны быть непорочно чистыми сферами. Но его "Наблюдения" не соответствуют Критериям, по которым "наблюдаемым" считается только то, что видят невооруженным глазом. Возможности галилеевских Наблюдений зависели от возможностей его телескопа, а следовательно, и от оптической Теории, на основании которой этот телескоп был изготовлен, что вызывало сомнения у многих современников Галилея. Аристотелевской Теории противостояли не галилеевские Наблюдения, чистые, без теоретической примеси, а "Наблюдения", проведенные Галилеем на основе принятой им оптической Теории. Именно эти "Наблюдения" и противоречили "Наблюдениям" Аристотеля, основанным на Теории небесных тел Стагирита. (17). Здесь перед нами prima facie примерно равные в своей непоследовательности Теории. Кое-кто из Эмпирицистов мог бы согласиться с этим и признать, что "Наблюдения" Галилея не были настоящими Наблюдениями; но все же они верят в то, что можно провести "естественную Демаркацию" между предложениями, продиктованными пассивному и не имеющему собственного содержания уму чувствами-только так, якобы, образуется настоящее "непосредственное Знание", и теми предложениями, которые сформированы теоретически-нагруженными, "нечистыми" ощущениями.   Дело в том, что все разновидности джастификационистских Теорий познания, считающие источником (единственным или данным) Знания чувства, оказываются в тесной зависимости от Психологии Наблюдения. Именно Психология определяет, что такое "правильное", "нормальное", "здоровое", "неискаженное", "точное" или "научно значимое" состояние чувств - или даже состояние души как таковой, - при котором возможно истинное Наблюдение.   Например, Аристотель и стоики под правильным Сознанием понимали Сознание человека, здорового с медицинской точки зрения. Современные мыслители признают, что правильное Сознание есть нечто большее, чем просто "здоровый дух". У Декарта - это Сознание, закаленное в горниле скептического сомнения, выжигающего все, кроме cogito, чтобы затем возродить из него ego, способное с помощью Бога познавать Истину.   Для всех школ современного Джастификационизма характерна особая психотерапия, посредством которой они намерены приуготовлять Сознание к восприятию блаженства доказанной Истины через мистическое соприкосновение. Так, для классических Эмпирицистов правильное Сознание есть tabula rasa, лишенная всякого первичного содержания, свободная от любых теоретических предрассудков.   Но ошеломляющий для классического Эмпиризма вывод, следующий из работ Канта и Поппера, а также психологов, испытавших влияние этих мыслителей, заключается в том, что подобная эмпирицистская психотерапия не может быть успешной; Причина в том, что нет и не может быть ощущений, не нагруженных ожиданиями, и следовательно, нет никакой естественной (то есть психологической) Демаркации между предложениями Наблюдения и теоретическими предложениями. (18)   2) Но даже если бы такая естественная Демаркация существовала, вторая посылка догматического фальсификационизма была бы ниспровергнута логикой.   Дело в том, что значения истинности предложений "Наблюдения" не могут быть однозначно определены: никакое фактуальное предложение не может быть доказательно обосновано Экспериментом. Можно только выводить одни предложения из других, но нельзя их вывести из Фактов; попытаться доказывать предложения, ссылаясь на показания чувств, все равно, что доказывать свою правоту, "стуча кулаком по столу". (19) Это элементарная логическая Истина, но даже сегодня она усвоена совсем немногими. (20) Если фактуальные предложения недоказуемы, то они могут быть ошибочными. Но если они могут быть ошибочными, то конфликт между Теориями и фактуальными предложениями не обязательно означает "Фальсификацию", это может быть просто несогласованность. Быть может, Воображение играет более важную роль при формулировании Теорий, чем "фактуальных предложений", (21) но ошибочными могут быть и те, и другие. Следовательно, мы не можем не только доказательно обосновывать Теории, но и опровергнуть их. (22) Никакой Демаркации между рыхлыми, недоказуемыми "Теориями" и жесткими, доказательно обоснованными предложениями "эмпирического базиса" не существует: все научные предложения являются теоретическими и, увы, погрешимыми. (23) 3) Наконец, если бы даже существовала естественная Демаркация между предложениями Наблюдения и Теориями, а истинностное значение первых могло бы быть однозначно установлено, догматический фальсификационизм все же был бы бессилен устранить наиболее значимые Теории, обычно называемые научными. Ведь если даже Эксперименты могли бы доказательно обосновывать свои результаты, их опровергающая способность была бы до смешного ничтожной: наиболее признанные научные Теории характеризуются как раз тем, что не запрещают никаких наблюдаемых состояний. Чтобы убедиться в этом, рассмотрим одну поучительную историю, прежде чем перейти к общим выводам. Это история о том, как неправильно вели себя планеты. Некий физик до-эйнштейновской эпохи, пользуясь ньютоновской механикой и Законом всемирного тяготения (N) при некоторых данных условиях (I), вычисляет траекторию только что открытой малой планеты Р. Но планета не желает двигаться по вычисленному пути, её траектория отклоняется. Что делает наш физик? Может быть, он заключает, что, поскольку такое отклонение не предусмотрено Теорией Ньютона, а с упрямым Фактом ничего поделать нельзя, то, стало быть, Теория N опровергнута? Ничуть не бывало. Вместо этого наш физик выдвигает предположение, что должна существовать пока ещё неизвестная планета Р', тяготение которой возмущает траекторию Р. Он садится за расчеты, вычисляет массу, орбиту и прочие характеристики гипотетической планеты, а затем просит астронома-наблюдателя проверить его Гипотезу. Но планета Р' слишком мала, её не удается разглядеть даже в самые мощные из существующих телескопов. Тогда астроном-наблюдатель требует построить более мощный телескоп, без которого успешное Наблюдение невозможно. (24) Через три года новый телескоп готов. Если бы ранее неизвестная планета Р' была бы открыта, ученые на весь мир раструбили бы о новом триумфе ньютонианской Теории. Но ничего подобного не произошло. Что же наш физик? Отверг ли он ньютоновскую Теорию вместе со своей Гипотезой о причине отклонения планеты от вычисленной траектории? Отнюдь! Вместо этого он уверяет, что планета Р' скрыта от нас облаком космической пыли. Он вычисляет координаты и параметры этого облака и просит денег на постройку искусственного спутника Земли, Наблюдениями с которого можно было бы проверить его вычисления. Предположим, что установленные на спутнике приборы (возможно, самые новейшие, основанные на ещё мало проверенной Теории) зарегистрировали бы существование гипотетического облака. Разумеется, это было бы величайшим достижением ньютоновской Науки. Но облако не найдено. Отбросил ли теперь наш ученый Теорию Ньютона вместе со своими Гипотезами о планете-возмутительнице и облаке, превращающем её в планету-невидимку? Ничего подобного. Теперь он уверяет, что существует некое магнитное поле в этом районе вселенной, из-за которого приборы спутника не могут обнаружить пылевое облако. И вот построен новый спутник с другими приборами. Если бы теперь магнитное поле было обнаружено, ньютонианцы праздновали бы головокружительную Победу. И снова - увы! Может быть, теперь уже можно считать ньютоновскую Теорию опровергнутой? Как бы не так. Тотчас выдвигается новая ещё более остроумная Гипотеза, объясняющая очередную неудачу, либо... Либо вся эта история погребается в пыльных томах периодики и уже больше никем не вспоминается. (25) Эта история ясно показывает, что даже самые респектабельные научные Теории вроде ньютоновской динамики и Теории гравитации могут терпеть неудачу, запрещая какие-либо наблюдаемые положения вещей. (26) В самом деле, научные Теории исключают какие-либо события в определенных (ограниченных в пространстве и времени) уголках Вселенной ("сингулярные" события) только при условии, что эти события не зависят от каких-либо неучтенных (быть может, скрытых в отдаленных и неизвестных пространственно-временных закоулках Вселенной) Факторов. Но это значит, что такие Теории никогда не могут противоречить отдельному "базисному" предложению; они могли бы противоречить только полной Конъюнкции всех базисных предложений, описывающих данное сингулярное событие в пространственно-временных параметрах, и некоторого универсального предложения о несуществовании, то есть такого предложения, в котором утверждалось бы, что никакая неизвестная причина, где бы она ни располагалась во Вселенной, не имеет никакого отношения к данному событию.   Но догматический фальсификационист вряд ли станет утверждать, что подобные универсальные предложения о несуществовании могли бы относиться к эмпирическому базису, то есть могли бы проверяться Наблюдением и приобретать таким образом доказательную обоснованность. Можно по-другому сказать, что в структуру научных Теорий входит, как правило, ограничение ceteris paribus; в таких случаях Теория может быть опровергнута только вместе с этим ограничением. Но если взять Теорию без этого ограничения, она уже не может быть опровергнута, так как заменяя ceteris paribus, можно получить уже иную Теорию и, следовательно, никакие проверки не могут считаться решающими. А это значит, что "безжалостная" стратегия Опровержения, которой следует догматический фальсификационизм, в этих случаях проваливается, даже если бы мы допустили существование абсолютно непоколебимого эмпирического базиса, как пусковой площадки для разрушительных залпов modus tollens; ведь цель, по которой велся бы огонь, оказывается совершенно неуязвимой. (28)   И когда такими целями оказываются наиболее значительные, "зрелые" Теории, знаменующие собой целые этапы в Истории Науки, они prima facie приобретают репутацию "неопровержимых". Но более того, по Критериям догматического фальсификационизма под эту категорию подпадают и все вероятностные (probabilistic) Теории, ибо никакая конечная подборка Фактов не может опровергнуть универсальную вероятностную Теорию; (29)такие Теории, как и Теории с ограничением ceteris paribus, не имеют эмпирического базиса.   Но тогда догматический фальсификационист, в соответствии со своими правилами, должен отнести даже самые значительные научные Теории к Метафизике, где нет места рациональной Дискуссии - если исходить из Критериев Рациональности, сводящихся к Доказательствам и Опровержениям, - поскольку метафизические Теории не являются ни доказуемыми, ни опровержимыми. Таким образом, Критерий Демаркации догматического фальсификациониста оказывается в высшей степени антитеоретическим. Кроме того, можно было бы легко показать, что ограничение ceteris paribus является не исключением, а правилом в Науке. В конце концов, Наука - не сувенирная лавка, где выставляются напоказ всяческие местные или привозные диковинки.   Возьмем Высказывание "Все жители Брайтона умерли от саркомы легких в период между 1950 и 1960 гг".. Оно не содержит в себе ничего логически невозможного и даже может быть истинным. Но поскольку в нем утверждается нечто имеющее лишь микроскопическую Вероятность, то оно могло бы заинтересовать какого-нибудь чудака, коллекционирующего курьезы, или иметь ценность черного юмора, но никак не научную ценность. Можно сказать, что Высказывание является научным, если только оно выражает какую-либо причинную зависимость; но вряд ли можно предположить, что причиной смерти от саркомы легких является жительство в Брайтоне. Точно так же следовало бы считать чистейшим курьезом Высказывание "Все лебеди белые", даже если бы оно было истинным, при таком его понимании, когда "лебединость" полагалась бы причиной "белизны". Тогда Наблюдение черного лебедя не могло бы опровергнуть это Высказывание, поскольку оно указывало бы только на то, что помимо "лебединости" существуют и другие причины, из-за которых данный лебедь почернел. Поэтому Высказывание "Все лебеди белые" - либо курьез и легко опровержимо, либо научное Высказывание с ограничением ceteris paribus, а потому - неопровержимое.   Так мы приходим к выводу, что чем упорнее Теория сопротивляется эмпирическим Фактам, тем больше оснований считать её "научной". "Неопровержимость" превращается в отличительную черту Науки) Итак: классические Джастификационисты допускают только доказательно обоснованные Теории; нео-классические Джастификационисты допускают вероятностно-обоснованные (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 - № 3. Затем "сурово" проверить граничные условия (64) и, может быть, перевести их в ранг "непроблематичного исходного Знания". Из этого будет следовать, что опровергнута иная Конъюнкция, уже из двух элементов - Теории Ньютона и ограничение ceteris paribus - № 2.   Теперь надо принимать главное Решение: снести и ограничение ceteris paribus в общий котел "непроблематического исходного Знания". Это тоже можно сделать, если ограничение ceteris paribus хорошо подкреплено. Что означает "суровая" проверка ограничения ceteris paribus? Надо предположить что существуют другие Факторы, воздействующие на данное событие, определить эту . Факторы и проверить конкретные допущения о них. Если многие из этих допущений опровергнуты, ограничение ceteris paribus может считаться хорошо подкрепленным. Но если принято Решение о "приемлемости" ограничения ceteris paribus, то это влечет за собой очень рискованные последствия. Если это входит в исходное Знание, та предложения, описывающие перигелий Меркурия, рассматриваются уже не как эмпирический базис № 2, а как эмпирический базис самой Теории Ньютона, и, следовательно, то что было простой "Аномалией", становится решающим свидетельством против № 2, eе Фальсификацией. (Некое событие, описываемое мое предложением А, можно назвать "Аномалией" по отношению к Теории Т', если А - потенциальный фальсификатор Конъюнкции Т и ограничения ceteris paribus; но то же предложение становится потенциальным фальсификатором самой Теории Т, если принято Решение считать ограничение ceteris paribus частью "непроблематического исходного Знания"). Поскольку наш суровый фальсификационист считает Опровержения окончательными, он должен принять судьбоносное Решение: Элиминировать Теорию Ньютона; дальнейшая работа в рамках этой Теории объявляется нашим методологом иррациональной. Если же ученый не пойдет на столь смелое Решение, он "не сможет извлечь из Опыта какую-либо пользу", оставаясь при мнении, что в его задачу "входит защита столь успешно действующей Системы от Критики до тех пор, пока эта Система не будет окончательно опровергнута" (66).   Тогда он рискует превратиться в апологета, который всегда готов заявить, что "расхождения, которые, мол, существуют между данной Теорией и экспериментальными результатами, лежат на поверхности явлений и исчезнут при дальнейшем развитии нашего познания". (66) Но для фальсификациониста это означало бы поступать "вразрез с той критической установкой, которая... должна характеризовать ученого", (67) что недопустимо. По излюбленному выражению методологического фальсификациониста, Теория должна "сама лезть на рожон". Даже в хорошо определенном контексте методологический фальсификационист оказывается в очень затруднительном положении, когда должен принять Решение: где же проходит граница между проблематичным и непроблематичным Знанием. Затруднение особенно драматично, когда это Решение касается ограничения ceteris paribus, когда одно из сотен "аномальных явлений" возводится в ранг "решающего Эксперимента" и объявляется, что именно в данном случае Эксперимент был "управляемым". (68) Таким образом, с помощью этого Решения четвертого типа (69) наш методологический фальсификационист в конечном счете получает право считать любую Теорию, чья судьба похожа на Теорию Ньютона, "научной". (70) В самом деле, нет никаких причин, почему бы не сделать и следующий шаг в принятии Решений. Что мешает решить, что некая Теория, которую даже все эти четыре типа Решений не могут превратить в фальсифицируемую, все же должна считаться опровергнутой, если она войдет в Противоречие с другой Теорией, столь же научной (на тех же, да к тому же предварительно уточненных основаниях) и столь же хорошо подкреплена? (71)   Далее, если мы отбрасываем одну Теорию из-за того, что её потенциальные фальсификаторы кажутся истинными в свете некоторой "наблюдательной" Теории, то почему бы не отбросить другую Теорию из-за того, что она непосредственно входит в столкновение с тем, что может быть отнесено к непроблематическому исходному Знанию? Это уже пятый тип Решения, позволяющий Элиминировать даже "формально метафизические" Теории, то есть утверждения с кванторами "все" и "некоторые" либо чисто экзистенциальные утверждения*, поскольку они по самой своей логической форме не могут иметь (пространственно-временных) сингулярных потенциальных фальсификаторов. (72) Подведем итоги. Методологический фальсификационизм предлагает интересное Решение Проблемы - как соединить постоянный Критицизм с фаллибилизмом. Он не только предлагает философское основание для Фальсификации после того, как фаллибилизм выбил почву из-под ног догматического фальсификационизма, но и значительно расширяет горизонты Критицизма. Представив Фальсификацию в новом облике, он спасает притягательный кодекс чести догматического фальсификациониста, согласно которому научная добросовестность в том, чтобы задумать и осуществить такой Эксперимент, что, если его результат противоречит Теории, Теория должна быть отброшена. Методологический фальсификационизм представляет собой заметный шаг вперед по сравнению с догматическим фальсификационизмом и консервативным Конвенционализмом. Он рекомендует принимать рискованные Решения. Но Риск в какой-то момент может перейти в безрассудство, и возникает вопрос, нельзя ли как-то его уменьшить? Рассмотрим поближе, в чем здесь заключается Риск В этой Методологии, как ни в какой другой разновидности Конвенционализма, Решения играют действительно критическую роль. Однако Решения могут заводить в безвыходные тупики. Методологический фальсификационист понимает это лучше других. Но он полагает, что такой ценой мы платим за возможность Прогресса. Нельзя не отдать должное отваге нашего методологического фальсификациониста. Он, видимо, чувствует себя героем, лицом к лицу столкнувшимся с двумя смертельными опасностями, хладнокровно оценившим их и избравшим меньшее зло. Одна из этих опасностей - скептический фаллибилизм с его Принципом "все проходит", с отчаянным Отрицанием всех интеллектуальных стандартов, а значит, и Идей научного Прогресса. Ничто не может быть установлено, ничто не может быть отвергнуто, между отдельными Системами Знания не может быть никакой связи.   Рост Наук - возврастание Хаоса, строительство Вавилонской башни. Около двух тысяч лет ученые и научно мыслящие философы предпочитали джастификационистские иллюзии, лишь бы не быть ввергнутыми в этот кошмар. Некоторые из них думали, что есть только один-единственный выбор между индуктивистским Джастификационизмом и Иррационализмом.   В. Рассел писал: "Я не вижу никакого выхода, кроме догматического признания индуктивного Принципа или чего-то ему равного; иначе пришлось бы отбросить все или почти все, что Наука или здравый смысл признают Знанием". (73)   Но наш методологический фальсификационист гордо отвергает такой "Эскапизм". Он отваживается принять удар фаллибилизма, но преодолевает Скептицизм, проводя смелую и рискованную политику, а не прячась за догмы. Он вполне сознает степень Риска, но настаивает, что выбор только один: между методологическим фальсификационизмом и Иррационализмом. Он предпочитает игру с небольшими шансами на Победу, но говорит, что это все же лучше, чем просто сдаться без игры. (74) И Правда, те Критики наивного фальсификационизма, которые не смогли предложить альтернативного Метода Критицизма, неизбежно скатывались к Иррационализму. Например, Нейрат заявлял, что Фальсификация и последующая Элиминация Гипотез могут стать "препятствием Прогрессу Науки", (75) но его путаная аргументация не имеет никакой цены, если единственной замеченной им Альтернативой является Хаос. Гемпель несомненно прав, подчеркивая, что "Наука дает множество примеров, когда конфликт между хорошо подтвержденной Теорий и каким-то не поддающимся Объяснению результатом Эксперимента прекрасно разрешается тем, что последний признается как бы не имевшим места, а не принесением в жертву Теории", (76) но все же он признает, что не видит иного "фундаментального стандарта", чем тот, какой выдвинут наивным фальсификационизмом. (77) Нейрат и, кажется, Гемпель отвергают фальсификационизм как "псевдорационализм", (78) но что такое "настоящий Рационализм"? Поппер ещё в 1934 г. предупреждал, что "разрешительная" Методология Нейрата (точнее было бы сказать, отсутствие Методологии) превратила бы Науку в не-эмпирическую и, следовательно, иррациональную: "Нам необходимо некоторое множество правил, ограничивающих произвольность "вычеркивания" (а также и "принятия") протокольных предложений. Нейрат не формулирует никаких правил такого типа и тем самым невольно выбрасывает за борт Эмпиризм... Любая Система может быть оправданной, если кому-либо дозволяется (а по Нейрату, это право предоставляется всем) просто "вычеркнуть" мешающее ему протокольное предложение". (79) Поппер соглашается с Нейратом в том, что все Высказывания подвержены ошибкам, но он решительно настаивает на том, что Прогресс невозможен без твердой рациональной стратегии или Метода, которыми следует руководствоваться, когда одни Высказывания противоречат другим. (80) Но не является ли твердая стратегия методологического фальсификационизма, рассмотренная выше, слишком твердой? Не являются ли Решения тех, кто придерживается этой стратегии, слишком произвольными? Кое-кто мог бы даже сказать, что методологический фальсификационизм отличается от догматического только тем, что лицемерно уверяет в своей преданности фаллибилизму! Критиковать Теорию Критики обычно трудно. Натуралистический фальсификационизм было сравнительно легко опровергнуть, так как он покоится на эмпирической Психологии восприятия; можно показать, что он просто ложен. Но как Фальсифицировать методологический фальсификационизм? Нет такого бедствия, какое могло бы опровергнуть неджастификационистскую Теорию Рациональности. Более того, если бы даже эпистемологическая катастрофа разразилась, как могли бы мы узнать об этом? Мы лишены возможности судить о том, увеличивается или уменьшается Правдоподобие наших успешных Теорий. (81) Пока ещё нет общей Теории Критицизма даже в сфере научного Знания, не говоря уже о Критике Теорий Рациональности. (82) Следовательно, если мы хотим Фальсифицировать методологический фальсификационизм, то нам придется делать это, не имея ещё Теории, с помощью которой такая Критика могла быть обоснована. Если мы обратимся к Истории Науки, пытаясь понять, как происходили самые знаменательные Фальсификации, нам придется признать, что некоторые из них были явно иррациональными либо покоились на таких Принципах Рациональности, которые радикально отличались от тех, какие только что обсуждались нами. Прежде всего, к вящему сожалению фальсификациониста, придется признать, что упрямые теоретики часто и не думали подчиниться экспериментальным вердиктам и действовали так, будто последних вовсе не было. Фальсификационистский "Закон и порядок" не мог бы допустить таких вольностей.   Следующее затруднение связано с Фальсификацией Теорий, взятых вместе с ограничением ceteris paribus. (83) По фальсификационистским Критериям Фальсификация, как она имела место в реальной истории, может выглядеть иррациональной. По этим Критериям, ученые часто необъяснимо медлительны.   Например, понадобилось целых восемьдесят пять лет, чтобы от признания аномальности перигелия Меркурия перейти к признанию этого же Факта как Опровержения ньютоновской Теории, несмотря на то, что ограничение ceteris paribus было очень неплохо подкреплено. С другой стороны, ученые часто кажутся слишком опрометчивыми. Например, Галилей и его последователи, принявшие коперниковскую гелиоцентрическую небесную механику вопреки множеству свидетельств против вращения Земли ; или Бор и его последователи, принявшие Теорию светового излучения вопреки тому, что она противоречила хорошо подкрепленной Теории Максвелла. Не так уж трудно заметить две характерные черты и догматического, и методологического фальсификационизма, вступающие в диссонанс с действительной Историей Науки. 1) проверка является (или должна быть) обоюдной схваткой между Теорией и Экспериментом; в конечном итоге, только эти противоборствующие силы остаются один на один; 2) единственным важным для ученого результатом такого противоборства является Фальсификация: "настоящие открытия - это Опровержения научных Гипотез". Однако История Науки показывает нечто иное:   1) проверка-это столкновение по крайней мере трех сторон: соперничающих Теорий и Эксперимента; 2) некоторые из наиболее интересных Экспериментов дают скорее подтверждения, чем Опровержения. Но если это действительно так, то История Науки не подтверждает нашу Теорию научной Рациональности. Значит, мы перед выбором. Можно вообще отказаться от попыток рационального Объяснения успехов Науки. Значение научного Метода (или "логики исследования") в его функции оценки научных Теорий и Критерия Прогресса научного Знания в таком случае сводится к нулю. Можно ещё, конечно, пытаться объяснять переходы от одних "Парадигм" к другим, положив в основание социальную Психологию. (85) Это путь Полани и Куна. (86) Альтернатива этому - постараться, насколько возможно, уменьшить конвенциональный элемент фальсификационизма (устранить совсем его нам не удастся) и заменить наивный вариант методологического фальсификационизма, характеризуемый приведенными выше тезисами (1) и (2), новой, утонченной версией, которая должна дать более приемлемое основание Фальсификации и, таким образом, спасти Идею Методологии, Идею Прогресса научного Знания. Это путь Поппера, и я намерен следовать по этому пути. в) Утонченный фальсификационизм против наивного методологического фальсификационизма. Прогрессивный и регрессивный Сдвиг Проблемы Утонченный фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или "Критерием Демаркации"), так и правилами Фальсификации или Элиминации. Наивный фальсификационист рассматривает любую Теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как "приемлемую" или "научную". Для утонченного фальсификациониста Теория "приемлема" или "научна" только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведёт к открытию новых Фактов. Это условие можно разделить на два требования: новая Теория должна иметь добавочное эмпирическое содержание ("приемлемость"); и некоторая часть этого добавочного содержания должна быть верифицирована ("приемлемость"). Первое требование должно проверяться непосредственно, путем априорного логического Анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя. Наивный фальсификационист считает, что Теория фальсифицируется "подкрепленным" предложением Наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает Теорию Т Фальсифицированной, если и только если предложена другая Теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает Факты новые, невероятные с точки зрения Т или даже запрещаемые ею; (87) 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки Наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена. (88) Чтобы оценить эти определения, надо понять исходные Проблемы и их следствия. Во-первых, вспомним методологическое открытие Конвенционалистов, состоящее в том, что никакой экспериментальный результат не может убить Теорию: любую Теорию можно спасти от контрпримеров посредством некоторой вспомогательной Гипотезы либо посредством соответствующей переинтерпретации её понятий. Наивный фальсификационист решает эту Проблему тем, что относит (в решающих контекстах) вспомогательную Гипотезу к непроблематическому исходному Знанию, выводя её из дедуктивного механизма проверочной ситуации, насильно помещая проверяемую Теорию в логическую изоляцию, где она и становится удобной мишенью под обстрелом проверяющих Экспериментов. Но поскольку эта процедура не является удовлетворительным способом рациональной реконструкции Истории Науки, мы вправе предложить иной подход. Почему мы должны стремиться к Фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические Уловки, которыми пытаются спасать Теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против Объяснений ad hoc, против пустых и уклончивых Решений, лингвистических трюков. (89) Мы уже видели, что Дюгем приближался к формулировке таких ограничений в Терминах "простоты" и "здравого смысла".   Но когда защитный пояс теоретических Уловок утрачивает "простоту" до такой степени, что данная Теория должна быть отброшена? (90) Например, в каком смысле Теория Коперника "проще", чем Теория Птолемея? (91) Смутное дюгемовское понятие "простоты", как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости Решения методолога или ученого от чьего-либо вкуса. Можно ли улучшить подход Дюгема? Это сделал Поппер. Его Решение - утонченный вариант методологического фальсификационизма - более объективно и более строго. Поппер согласен с Конвенционалистами в том, что Теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных Гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и ненаучные способы удержания Теории, рациональные и нерациональные изменения теоретического Знания.   Согласно Попперу, удержание Теории с помощью вспомогательных Гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать Прогрессом научного Знания; но удержания Теории с помощью вспомогательных Гипотез, которые не удовлетворяют таким требованиям, - есть вырождение Науки. Он называет такие недопустимые вспомогательные Гипотезы "Гипотезами ad hoc", чисто лингвистическими выдумками, "конвенционалистскими Уловками". (92) Но это означает, что оценка любой научной Теории должна относиться не только к ней самой, но и ко всем присоединяемым к ней вспомогательным Гипотезам, граничным условиям и т.д., и что особенно важно, следует рассматривать эту Теорию вместе со всеми её предшественницами так, чтобы было видно, какие изменения были внесены именно ею. Поэтому, конечно, нашей оценке подлежит не отдельная Теория, а ряд или последовательность Теорий. Теперь легко понять, почему Критерии "приемлемости" и "отвержения" утонченного методологического фальсификационизма сформулированы именно так, а не иначе. Но все же стоит сформулировать их более ясно, введя понятие "последовательностей Теорий". Рассмотрим последовательности Теорий - T1, T2, Тз, ..., где каждая последующая Теория получена из предыдущей путем добавления к ней вспомогательных условий (или путем семантической переинтерпретации её понятий), чтобы устранить некоторую Аномалию. При этом каждая Теория имеет, по крайней мере, не меньшее содержание, чем неопровергнутое содержание её предшественницы. Будем считать, что такая последовательность Теорий является теоретически прогрессивной (или "образует теоретически прогрессивный Сдвиг Проблем"), если каждая новая Теория имеет какое-то добавочное эмпирическое содержание по сравнению с её предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые Факты. Будем считать, что теоретически прогрессивный ряд Теорий является также и эмпирически прогрессивным (или "образует эмпирически прогрессивный Сдвиг Проблем"), если какая-то часть этого добавочного эмпирического содержания является подкрепленной, то есть, если каждая новая Теория ведёт к действительному открытию новых Фактов. (93)   Наконец, назовем Сдвиг Проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным - если нет. (94) Мы "принимаем" Сдвиги Проблем как "научные", если они, по меньшей мере, теоретически прогрессивные если нет, мы отвергаем их как "псевдонаучные". Прогресс измеряется той степенью, в какой ряд Теорий ведёт к открытию новых Фактов. Теория из этого ряда признается "Фальсифицированной", если она замещается Теорией с более высоко подкрепленным содержанием. Это различие между прогрессивным и регрессивным Сдвигами Проблем проливает новый свет на оценку научных - может быть лучше сказать, прогрессивных - Объяснений. Если для разрешения Противоречия между предшествующей Теорией и контрпримером мы предлагаем такую Теорию, что она вместо увеличивающего содержания (т.е. научного) Объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то Противоречие разрешается чисто словесным, ненаучным способом. Данный Факт объяснен научно, если вместе с ним объясняется также и новый Факт. (95) Утонченный фальсификационизм, таким образом, сдвигает Проблему с оценки Теорий на оценку ряда (последовательности) Теории. Не отдельно взятую Теорию, а лишь последовательность Теорий можно называть научной или ненаучной. Применять определение "научная" к отдельной Теории - решительная ошибка. (96) Всегда почитаемым эмпирическим Критерием удовлетворительности Теорий было согласие с наблюдаемыми Фактами. Нашим эмпирическим Критерием, применимым к последовательности Теорий, является требование производить новые Факты. Идея роста Науки и её эмпирический характер соединяются в нем в одно целое. Эта новая версия методологического фальсификационизма имеет много новых черт. Во-первых, она отрицает, что "в случае научной Теории наше Решение зависит от результатов Экспериментов. Если они подтверждают Теорию, мы принимаем её на то время, пока не найдется более подходящая Теория. Если Эксперименты противоречат Теории - мы отвергаем её". (97) Она отрицает, что "окончательно решает судьбу Теории только результат проверки, то есть соглашение о базисных Высказываниях. (98) Вопреки наивному фальсификационизму, ни Эксперимент, ни сообщение об Эксперименте. ни предложение Наблюдения, ни хорошо подкрепленная фальсифицирующая Гипотеза низшего уровня не могут сами по себе вести к Фальсификации. Не может быть никакой Фальсификации прежде, чем появится лучшая Теория". Но тогда характерный для наивного фальсификационизма негативизм исчезает; Критика становится более трудной, но зато более позитивной, конструктивной. В то же время, если Фальсификация зависит от возникновения лучших Теорий, от изобретения таких Теорий, которые предвосхищают новые Факты, то Фальсификация является не просто отношением между Теорией и эмпирическим базисом, но многоплановым отношением между соперничающими Теориями, исходным "эмпирическим базисом" и эмпирическим ростом, являющимся результатом этого соперничества. Тогда можно сказать, что Фальсификация имеет исторический характер". (100) Надо добавить, что иногда Теории, вызывающие Фальсификацию, предлагались уже после того, как обнаруживался "контрпример". Это может звучать парадоксально для тех, кто находится под гипнозом наивного фальсификационизма. Действительно, эта эпистемологическая Теория отношений между Теорией и Экспериментом резко отличается от Эпистемологии наивного фальсификационизма. Не годится уже сам Термин "контрпример". Ведь никакой экспериментальный результат нельзя рассматривать как "контрпример" сам по себе.   Если же нам хочется сохранить этот популярный Термин, мы должны переопределить его следующим образом: "Контрпример по отношению к T1" - это подкрепленный пример Т2, которая или несовместима с T1 или независима от неё (с условием, что Т2 - это Теория, удовлетворительно объясняющая эмпирический успех T1). Это показывает, что "решающий контрпример" или "критический Эксперимент" могут быть признаны таковыми среди множества Аномалий только задним числом в свете некоторой новой, заменяющей старую, Теории. (101) Таким образом, решающим моментом Фальсификации является следующее: дает ли новая Теория новую, добавочную информацию по сравнению со своей предшественницей, и покреплена ли какая-то часть этой добавочной информации? Джастификационисты высоко ценили "подтверждения" Теории. Наивные фальсификационисты выдвигали на первый план "Опровержения". Методологические фальсификационисты полагали, что решающую роль играет подкрепленная добавочная информация. Именно к этому направлено все внимание. Тысячи тривиальных верифицирующих примеров или сотни известных Аномалий - это все уходит на задний план; на авансцену выходят немногие случаи, когда добавочное содержание получает подкрепление. (102) Это заставляет вспомнить и вновь осмыслить древнюю пословицу: Exemplum docet, exampla obscurant. "Фальсификация", как её понимает наивный фальсификационист (подкрепленный контрпример) не достаточна для Элиминации некоторой специальной Теории; несмотря на сотни известных Аномалий, мы не признаем её Фальсифицированной (а значит, и элиминированной), пока нет лучшей Теории. (103)   Больше того, "Фальсификация" в этом смысле не является и необходимым условием для Фальсификации, как её понимает утонченный фальсификационизм; прогрессивный Сдвиг Проблем не обязательно связан с "Опровержениями". Наивные фальсификационисты уверены, что рост Науки имеет линейный характер: за Теориями следуют Опровержения, которые элиминируют их, а за Опровержениями следуют новые Теории. (104) Очень может быть, что "Прогресс" в последовательности Теорий происходит так: Опровержение n-й Теории является в то же время и подкреплением n+1-й Теории. Лихорадка Проблем в Науке возникает скорее из-за быстрого размножения (Пролиферации) соперничающих Теорий, а не умножения контрпримеров и Аномалий. Отсюда видно, что лозунг Пролиферации Теорий более важен для утонченной версии фальсификационизма, чем для наивной. По мнению наивного фальсификациониста, Наука развивается посредством повторяющихся экспериментальных "опровержений" Теорий: новые соперничающие Теории, предлагаемые до таких "опровержений", могут быстро разрастаться, но абсолютной необходимости быстрого размножения Теорий не требуется. (105) Согласно утонченному фальсификационисту, Пролиферация Теорий не обязательно связана с Опровержением Теории или с кризисом доверия к Парадигме, в смысле Т. Куна. (106) В то время как наивный фальсификационист подчеркивает "необходимость замены фальсифицированных Гипотез лучшими Гипотезами",(107) утонченный фальсификационист подчеркивает необходимость замены любой Гипотезы лучшей Гипотезой.   Фальсификация не может заставить теоретика "заняться поисками лучшей Теории" (108) просто потому, что Фальсификация не предшествует лучшей Теории. Сдвиг Проблем от наивного к утонченному фальсификационизму связан с семантическим затруднением. Для наивного фальсификациониста "Опровержением" является экспериментальный результат, который в силу принятого им Решения, вступает в конфликт с проверяемой Теорией. Но, согласно утонченному фальсификационизму, такого Решения нельзя принимать раньше, чем пресловутый "опровергающий пример" станет подтверждающим примером новой, лучшей Теории. Следовательно, где бы ни встретился Термин типа "Опровержение", "Фальсификация", "контрпример", мы в каждом случае должны разбираться, в каком смысле - наивного или утонченного фальсификационизма - они употреблены. (109) Утонченный методологический фальсификационизм предлагает новые Критерии интеллектуальной честности. Джастификационистская честность требовала принимать только то, что доказательно обосновано, и отбрасывать все, что не имеет такого обоснования. Неоджастификационистская честность требовала определения Вероятности любой Гипотезы на основании достижимых эмпирических данных. Честность наивного фальсификационизма требовала проверки на опровержимость, отбрасывания нефальсифицируемого и фальсифицированного.   Наконец, честность утонченного фальсификационизма требует, чтобы на вещи смотрели с различных точек зрения, чтобы выдвигались Теории, предвосхищающие новые Факты, и отбрасывались Теории, вытесняемые другими, более сильными. В утонченном методологическом фальсификационизме соединились несколько различных традиций. От Эмпирицистов он унаследовал стремление учиться прежде всего у Опыта. От кантианцев он взял активистский подход к Теории познания. У Конвенционалистов он почерпнул важность Решений в Методологии. Надо подчеркнуть ещё одну отличительную черту утонченного методологического Эмпиризма - решающую роль, какую играет добавочное подкрепление. Для индуктивистов новая Теория характеризуется тем, каково количество подтверждающих её данных; опровергнутая Теория уже никого и ничему научить не может (учиться можно только доказательно обоснованному или вероятному Знанию).   Догматическому фальсификационисту важнее всего знать, опровергнута ли Теория, что касается подтвержденных Теорий, то они не выступают для него ни как доказательно обоснованные, ни как вероятные; да и об опровергнутых Теориях можно сказать только то, что они опровергнуты. (110) Для утонченного фальсификационизма в Теории важнее всего, что она позволяет предсказывать новые Факты; можно сказать прямо, что для той версии попперовского Эмпиризма, которую я отстаиваю, соответствующим значением обладают лишь те Факты, какие способна предсказать Теория.   Эмпиризм (то есть научность) и теоретическая прогрессивность неразрывно связаны. Эта мысль не так уж нова. Лейбниц, например, в известном письме к Конрингу в 1678 г. писал: "Лучшей похвалой Гипотезе (когда её истинность уже доказана) является то, что с её помощью могут быть сделаны Предсказания о неизвестном ранее явлении или ещё небывалом Эксперименте. (112)   Точка зрения Лейбница была широко поддержана учеными. Но с тех пор, как оценка научной Теории в допопперовской Методологии рассматривалась как оценка степени её подтверждения, Позиция Лейбница некоторыми логиками подвергалась Критике как неприемлемая.   Например, Дж. С. Милль в 1843г. высказывал недовольство тем, что "существует мнение, что Гипотеза... вправе рассчитывать на более благоприятный приём, если, объясняя все ранее известные Факты, она, кроме того, позволила предусмотреть и предсказать другие Факты, проверенные впоследствии на Опыте". (113)   Милль целит точно: действительно, такая оценка противоречит и Джастификационизму, и пробабилизму. В самом деле, почему мы должны считать, что некое событие, если оно предвосхищено Теорией, имеет для нас большую познавательную ценность, чем если бы оно было известно до теоретического Предсказания? До тех пор, пока доказательная обоснованность считается единственным Критерием научности, Критерий Лейбница будет выглядеть непригодным. (114)   Подобным же образом, если рассматривать отношение между Вероятностью Теории и эмпирическими данными, то, как заметил Дж. Кейнс, оно не может зависеть от того, получены ли данные до теоретических Предсказаний или после них. (115) Но несмотря на столь убедительные Аргументы джастификационистской Критики, Критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к Гипотезам ad hoc, которые "хотя и верно выражают Факты, для Объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями". (116) Но только Поппер заметил, что бросающееся в глаза несоответствие между несколькими разрозненными возражениями против Гипотез ad hoc, с одной стороны, и внушительным сооружением джастификационистской Теории познания, с другой, устраняется именно разрушением Джастификационизма, а также введеднием нового, не джастификационистского Критерия оценки научных Теорий, основанного на неприятии Гипотез ad hoc. Рассмотрим несколько примеров. Теория Эйнштейна не потому лучше ньютоновской, что последняя была "опровергнута", а первая нет: по отношению к Теории Эйнштейна известно множество "Аномалий". Теория Эйнштейна лучше, чем Теория Ньютона "образца 1916 года", иначе говоря, знаменует собой Прогресс научного Знания по сравнению с ньютоновской Теорией (то есть Теорией гравитации, Законами динамики, известным рядом граничных условий, но также и списком известных Аномалий, таких как перигелий Меркурия), потому что она объяснила все, что успешно объясняла ньютоновская Теория, но при этом в определенной степени объяснила и эти Аномалии; кроме того, она наложила запрет на такие явления, как прямолинейное распространение света вблизи больших масс, о чем в Теории Ньютона не было ни слова, зато другие хорошо подкрепленные Теории того времени такие явления допускали; и, наконец, некоторые фрагменты добавочного содержания эйнштейновской Теории были реально подкреплены ранее непредвиденными Фактами (например, измерительными данными, полученными при Наблюдении полного солнечного затмения). В то же время, следуя тому же Критерию, надо признать, что Теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими Теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была Теория ad hoc, а значит, бесполезная с эвристической точки зрения. (117) Прекрасный пример Теории, удовлетворяющей только первой части попперовского Критерия Прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это Теория Theory Бора-Крамерса-Слэтера 1924 г. Эта Теория была опровергнута во всех её новых Предсказаниях". (118) Наконец, рассмотрим вопрос, много ли осталось конвенционалистских моментов в утонченном фальсификационизме. Конечно, меньше, чем в наивном фальсификационизме. Нам требуется гораздо меньше методологических Решений. "Решение четвертого типа", которое играло существенную роль в наивном методологическом фальсификационизме, теперь совершенно излишне.   Чтобы показать это, достаточно уяснить, что в тем случае, когда научная Теория (совокупность "Законов Природы") в сочетании с граничными условиями и вспомогательными Гипотезами, но без ограничения ceteris paribus, вступает в Противоречие с некоторыми фактуальными предложениями, то нам не нужно принимать Решение, какую- явную или "скрытую" - часть этой композиции следует заменить. Мы можем пытаться заменить любую часть, и только когда мы напали на Объяснение Аномалии с помощью какого-то изменения Теории, приведшего к увеличению содержания, или с помощью вспомогательной Гипотезы, а Природа позволила нам подкрепить это Объяснение, тогда мы, действительно, встали на путь Элиминации "опровергнутой" композиции.   Таким образом, утонченная Фальсификация идет медленнее, но зато более надежна, чем наивная Фальсификация. Возьмем ещё один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и Теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и Теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных Факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких Факторов нет: возможно, они руководствуются метафизическими Принципами, вроде того, что любое Объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие. Должны ли мы похвалить первых, назвав их "критическими мыслителями", побранить вторых "филистерами", а третьих осудить как "апологетов"? Ни в коем случае. Нам вообще не нужны никакие выводы относительно подобных "опровержений". Мы никогда не отвергнем какую-то Теорию просто потому, что она не выполнила чьих-то указов. Если перед нами Противоречие, о каком шла речь выше, то нам нет нужды решать, какие части нашей композиции проблематичны, а какие - нет. Мы рассматриваем все эти части как проблематичные по отношению к принятому базисному предложению, которое противоречит их Конъюнкции, и пытаемся заменить их все. Если удается заменить какую-то часть композиции, так, чтобы это вело к "Прогрессу" (то есть, если в результате замены увеличилось подкрепленное эмпирическое содержание по сравнению с предшествующим элементом композиции), мы назовем её "Фальсифицированной". Нам больше не нужны и Решения пятого типа, столь важные для наивного фальсификациониста. Это станет очевидно, если по-новому посмотреть на Проблему оценки (формально) метафизических Теорий, а также на Проблему их удержания и Элиминации. "Утонченное" Решение ясно. Формальная Теория удерживается до тех пор, пока проблематичные примеры смогут быть объяснены путем изменения вспомогательных Гипотез, присоединенных к этой Теории, при котором увеличивается эмпирическое содержание. (119) Возьмем, к примеру, метафизическое Картезианское Суждение С: "все природные процессы являются механизмами, подобными часам, которые регулируются неким (априори) духовным началом". Это Суждение по самой своей форме неопровержимо, ибо не может войти в Противоречие ни с каким сингулярным "базисным предложением", сформулированным в пространственно-временной Терминологии. Конечно, оно может противоречить некоторой опровержимой Теории типа N: "гравитация - сила, действующая на расстоянии и вычислимая по формуле fm1m2/r (2)". Но N будет противоречить С только в том случае, если "действие на расстоянии" понимается буквально, да ещё к тому же как окончательная Истина, как нечто несводимое к какой-либо более глубокой причине. (Поппер назвал бы это "эссенциалистской" Интерпретацией). С другой стороны, мы можем рассматривать "действие на расстоянии" как некую опосредующую причину. В таком случае "действие на расстоянии" понимается уже не буквально, а фигурально, это понятие превращается в стенографический значок, сокращенную запись того, что можно было бы назвать скрытым механизмом действия через соприкосновение. (В параллель Попперу, можно было бы назвать это "номиналистской" Интерпретацией). В таком случае можно попытаться объяснить N с помощью С. Именно так пытались сделать сам Ньютон и некоторые французские физики XVIII века. Если вспомогательная Теория, при помощи которой достигается такое Объяснение (если угодно, "Редукция"), обеспечивает Знание новых Фактов (т.е. является "независимо проверяемой"), то можно рассматривать Картезианскую Метафизику как хорошую, научную, эмпирическую Метафизику, благодаря которой наступает прогрессивный Сдвиг Проблем.   Прогрессивная формально метафизическая Теория обеспечивает устойчивый прогрессивный Сдвиг Проблем в своем защитном поясе вспомогательных Теорий. Но если Редукция этой Теории к "метафизической" основе не дает нового эмпирического содержания, не говоря уже о новых Фактах, то такая Редукция представляет регрессивный Сдвиг Проблемы и является просто языковым упражнением. Усилия Картезианцев, направленные на то, чтобы подправить свою Метафизику с тем, чтобы объяснить ньютоновскую гравитацию, как раз являются ярким примером такой чисто языковой Редукции. (120) Таким образом, вопреки призывам наивного фальсификационизма, мы не Элиминируем формально метафизическую Теорию, если она сталкивается с хорошо подкрепленной научной Теорией. Но мы Элиминируем её, если она, в конечном счете, приводит к регрессивному Сдвигу Проблем, и при этом имеется лучшая, соперничающая с ней, Метафизика для её замены. Методология исследовательских Программ с "метафизическим" ядром не отличается от Методологии исследовательских Программ с "опровержимым" ядром, исключая, быть может, только логические Противоречия, Элиминация которых представляет собой движущую силу Программы. (Следует подчеркнуть, однако, что сам выбор логической формы, в которой выступает Теория, в большой степени зависит от нашего методологического Решения. Например, вместо того, чтобы формулировать Картезианскую Метафизику как Высказывание с кванторами общности и существования, можно сформулировать её как Высказывание только с квантором общности: "Все естественные процессы подобны часовому механизму". Тогда "базисное предложение", противоречащее этому, будет звучать так: "А есть естественный процесс, и А не подобно часовому механизму". Вопрос в том, может ли предложение "X не подобен часовому механизму" считаться "установленным" - в соответствии с "экспериментальной техникой" или, вернее, с интерпретативными Теориями данного времени - или нет. Следовательно, рациональный выбор логической формы Теории зависит от состояния нашего Знания. Например, метафизическое предложение с кванторами общности и существования, сформулированное сегодня, завтра, когда произойдут изменения уровня наблюдательных Теорий, может превратиться в научное универсальное (с квантором общности) предложение. Я уже показал, что только последовательность Теорий, а не отдельные Теории могут квалифицироваться как научные или ненаучные; сейчас я показал, что даже логическая форма Теории может быть выбрана Рационально только на основании критической оценки исследовательской Программы, в которую входит эта Теория). Первого, второго и третьего типа Решений наивного фальсификационизма избежать нельзя, но, как мы покажем, конвенциональный элемент во втором типе Решений, как и в третьем, может быть несколько уменьшен. Мы не можем уклониться от Решения, какие Высказывания считать "предложениями Наблюдения", а какие - "теоретическими" предложениями. Мы не можем уклониться и от Решений относительно истинности некоторых "предложений Наблюдения". Эти Решения необходимы, чтобы установить, является ли Сдвиг Проблем эмпирически прогрессивным или регрессивным. Утонченный фальсификационист, по крайней мере, может ослабить произвольность этого Решения (второго типа), допуская процедуру апелляции. Наивные фальсификационисты не обращают внимания на возможность каких-либо апелляций. Они принимают базисное предложение, если оно поддержано хорошо подкрепленными фальсифицирующими Гипотезами, (121) и позволяют ему опрокидывать проверяемую Теорию, даже понимая связанный с этим Риск. (122) Но у нас нет оснований считать фальсифицирующую Гипотезу и базисное предположение, поддерживаемое ею, менее проблематичными, чем проверяемая Гипотеза. Тогда уместен вопрос, как точно можем мы сформулировать проблематичность базисного предложения? На каком основании приверженец "фальсифицируемой" Теории может подать апелляцию и выиграть дело? Кто-то мог бы сказать, что следует продолжать проверку базисного предложения (или фальсифицирующей Гипотезы) "по их дедуктивно выводимым следствиям" до тех пор, пока не будет достигнуто соглашение. При этом так же дедуктивно выводятся следствия из базисного предложения при помощи проверяемой Теории или какой-то иной Теории, которую считают непроблематичной. Хотя эта процедура "не имеет естественного конца", всегда можно придти к такому положению, когда разногласия утихнут. (123) Но когда теоретик подает апелляцию против приговора экспериментатора, на суде подвергают перекрестному допросу не само по себе базисное предложение, а скорее интерпретативную Теорию, на основании которой определяется истинность этого предложения. Типичным примером успешной апелляции является борьба стороников Проута против неблагоприятных экспериментальных данных с 1815 по 1911 гг. В течение десятилетий Теория Проута (Т) - "все атомы состоят из атомов водорода и, таким образом, "атомные веса" всех химических элементов должны выражаться целыми числами" - и фальсифицирующие "наблюдательные" Гипотезы, вроде "Опровержения" Стаса (R) - "атомный вес хлора ==35.5" - противостояли друг другу. Как известно, в конце концов Т восторжествовала над R. (124) Первая стадия любой серьезной Критики научной Теории заключается в том, чтобы реконструировать, улучшать её логическую, дедуктивную стройность. Проделаем это с Теорией Проута, сопоставляя её с Опровержением Стаса. Прежде всего надо понять, что в приведенной выше формулировке Т и R не противоречат друг другу. (Ваще говоря, физики редко проясняют свои Теории до той степени, когда Критику легко поймать их на слове). Чтобы показать Противоречие между ними, надо придать им следующую форму. Т="атомный вес всех чистых (однородных) химических элементов кратен атомному весу водорода"; Р== "хлор есть чистый (однородный) химический элемент и его атомный вес равен 35,5". Последнее утверждение имеет форму фальсифицирующей Гипотезы, которая, будучи хорошо подкрепленной, позволила бы использовать базисные предложения типа В: "Хлор Х есть чистый химический элемент и его атомный вес - 35,5", где Х-имя собственное "кусочка" хлора с определенными, например, пространственно-временными параметрами. Но насколько хорошо подкреплено R? Первая часть этого предложения (R1) говорит: "Хлор Х - чистый химический элемент". Это приговор химика-экспериментатора, строго применившего "экспериментальную технику" того времени. Теперь рассмотрим тонкую структуру R1. Она является Конъюнкцией двух более пространных предложений T1 и T2. T1 должно было бы звучать так: "Если некоторое количество газа было подвергнуто семнадцати процедурам химической очистки p1, p2, ..., p17, то, что осталось от этого количества после очистки есть чистый хлор". Т2 - "X подвергался 17 процедурам p1, р2, ..., p17;".   Добросовестный "экспериментатор" тщательно применил все семнадцать процедур, следовательно, Т1 должно быть принято. Но вывод "то, что осталось после очистки есть чистый хлор" является "твердо установленным Фактом" только благодаря T1. Это значит, что экспериментатор, проверяя Т, применяет Т'. То, что он наблюдает в Эксперименте, интерпретируется на основании T1. R1 есть результат этой Интерпретации. Однако в монотеоретической дедуктивной Модели всей ситуации проверки эта интерпретативная Теория вообще не фигурирует. А что если интерпретативная Теория T1 ложна? Почему не "применить" Т, а не T1, и утверждать, что атомные веса должны быть целыми числами? Тогда это будет "твердо установленный Факт" на основании Т, a T1 будет отвергнута. Тогда, может быть, пришлось бы изобретать и применять какие-то новые дополнительные процедуры очистки. Проблема тогда не в том, когда мы должны удерживать "Теорию" перед лицом "известных Фактов", а когда поступать иначе. Проблема также не в том, что делать, когда "Теории" расходятся с "Фактами". Такое "расхождение" предполагается только "монотеоретической дедуктивной Моделью". Является ли Высказывание "Фактом" или "Теорией" - в данном контексте проверочной ситуации это зависит от нашего методологического Решения. "Эмпирический базис" Теории - это понятие относительное к некоторой монотеоретической дедуктивной Модели. Оно годится как первое приближение, но когда речь идет об "апелляции" теоретика, нужно переходить к плюралистической Модели. В плюралистической Модели расхождение имеет место не между "Теорией" и "Фактами", а между двумя Теориями высших уровней: между интерпретативной Теорией, с помощью которой возникают Факты, и объяснительной Теорией, при помощи которой эти Факты получают Объяснение. Интерпретативная Теория может быть столь же высокого уровня, что и объяснительная Теория. Поэтому расхождение имеет место не между более высокой по уровню Теорией и более низкой по своему логическому статусу фальсифицирующей Гипотезой. Проблема не в том, реально ли "Опровержение", а в том, как быть с Противоречием между проверяемой "объяснительной Теорией" и "интерпретативными" Теориями (выраженными явно или неявно). Можно сказать иначе: Проблема состоит в том, какую Теорию считать интерпретативной, то есть обеспечивающей "твердо установленные Факты", а какую - объяснительной, "гипотетически" объясняющей их. В монотеоретической Модели мы рассматриваем Теорию более высокого уровня как объяснительную, которая должна проверяться Фактами, доставляемыми извне (авторитетными экспериментаторами), а в случае расхождения между ними, отбрасывается Объяснение. (125) В плюралистической Модели можно решать иначе: рассматривать Теорию более высокого уровня как интерпретативную, которая судит "Факты", получаемые извне: в случае расхождения можно отбросить эти "Факты" как "монстров". В плюралистической Модели несколько Теорий - более или менее дедуктивно организованных - спаяны вместе. Уже одного этого достаточно, чтобы убедиться в том, что сделанный ранее вывод верен: Экспериментам не так просто опрокинуть Теорию, никакая Теория не запрещает ничего заранее. Дело обстоит не так, что мы предлагаем Теорию, а Природа может крикнуть "Нет"; скорее, мы предлагаем целую связку Теорий, а Природа может крикнуть: "Они несовместимы". (126) Тогда Проблема замены Теории, опровергнутой "Фактами", уступает место новой Проблеме - как разрешить Противоречия между тесно связанными Теориями. Какую из несовместимых Теорий следует Элиминировать? Утонченный фальсификационист может легко ответить на этот вопрос: надо попытаться заменить первую, потом вторую, потом, возможно, обе и выбрать такое новое их сочетание, которое обеспечит наибольшее увеличение подкрепленного содержания и тем самым поможет прогрессивному Сдвигу Проблем. (127) Таким образом, мы определили процедуру апелляции в том случае, когда теоретик подвергает сомнению приговор экспериментатора. Теоретик может потребовать от экспериментатора уточнения его "интерпретативной Теории" (128) и затем может заменить её - к досаде экспериментатора - лучшей Теорией, на основании которой его первоначально "опровергнутая" Теория может получить позитивную оценку. (129) Но даже эта процедура апелляции может только отсрочить конвенциональное Решение. Приговор апелляционного суда тоже ведь не является непогрешимым. Решив вопрос о том, замена какой Теории - "интерпретативной" или "объяснительной" - обеспечивает новые Факты, нам приходится решать другой вопрос: принять или отвергнуть базисные Высказывания. А это значит, что мы только отложили - и, возможно, улучшили - Решение, но не избежали его. (130) Трудности с эмпирическим базисом, перед которыми стоял "наивный фальсификационизм", не преодолеваются и "утонченным" фальсификационизмом.   Даже если рассматривать Теорию как "фактуальную", иначе говоря, если наше медлительное и ограниченное Воображение не может предложить другую, альтернативную Теорию, то нам приходится, хотя бы на время и для данного случая, принимать Решение о её истинности. И все же Опыт продолжает оставаться "беспристрастным арбитром" - в некотором существенном смысле-научной полемики. (131)Мы не можем отделаться от Проблемы "эмпирического базиса", если хотим учиться у Опыта: (132) но мы можем сделать познание менее догматичным, хотя и менее быстрым, и менее драматичным.   Полагая некоторые "наблюдательные" Теории проблематическими, мы можем придать Методологии больше гибкости; но нам не удастся окончательно выяснить и включить в критическую дедуктивную Модель все "предпосылочное Знание" (может быть, "предпосылочное незнание"?). Этот процесс должен быть постепенным, и в каждый данный момент мы должны быть готовы пойти на определенные соглашения. Против утонченного методологического фальсификационизма может быть одно возражение, ответить на которое нельзя, не сделав определенной уступки "симплицизму" Дюгема. Возражение касается так называемого "парадокса присоединения". Согласно нашим определениям, присоединение к Теории совершенно не связанной с ней Гипотезы низшего уровня может создать "прогрессивный Сдвиг Проблем".   Избежать такого паллиативного Сдвига трудно, если не настаивать на том, что "дополнительные утверждения должны быть связаны с противоречащим утверждением более тесно, чем только посредством Конъюнкции", (33) (что означало бы, конечно, и более тесную связь дополнительных Гипотез с проверяемой Теорией. - Доб. перев.). Конечно, это своего рода Критерий простоты, гарантирующий Непрерывность ряда Теорий, образующего единый Сдвиг Проблем. Отсюда следуют новые Проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия Теории вводит в логику открытия в качестве основного понятие ряда Теорий. Именно ряд или последовательность Теорий, а не одна изолированная Теория, оценивается с точки зрения научности или ненаучности.   Но элементы этого ряда связаны замечательной Непрерывностью, позволяющей называть этот ряд исследовательской Программой. Такая Непрерывность - понятие, заставляющее вспомнить "нормальную Науку" Т. Куна- играет жизненно важную роль в Истории Науки; центральные Проблемы логики открытия могут удовлетворительно обсуждаться только в рамках Методологии исследовательских Программ. Содержание   www.pseudology.org