“Фальсификация и методология научно-исследовательских программ” — труд жизни И. Лакатоса, обобщающий его философско-методологические идеи. Вместе со статьей “История науки и ее рациональные реконструкции” эта работа стала ответом “критического рационализма” на вызов, брошенный “историческим направлением” в философии и методологии науки.
1. НАУКА: РАЗУМ ИЛИ ВЕРА?
На протяжении столетий знанием считалось то, что доказательно обосновано (proven) - силой интеллекта или показаниями чувств. Мудрость и непорочность ума требовали воздержания от высказываний, не имеющих доказательного обоснования; зазор между отвлеченными рассуждениями и несомненным знанием, хотя бы только мыслимый, следовало свести к нулю. Но способны ли интеллект или чувства доказательно обосновывать знание? Скептики сомневались в этом еще две с лишним тысячи лет назад. Однако скепсис был вынужден отступить перед славой ньютоновской физики. Эйнштейн опять все перевернул вверх дном, и теперь лишь немногие философы или ученые все еще верят, что научное знание является доказательно обоснованным или, по крайней мере, может быть таковым. Столь же немногие осознают, что вместе с этой верой падает и классическая шкала интеллектуальных ценностей, ее надо чем-то заменить-ведь нельзя же довольствоваться вместе с некоторыми логическими эмпирицистами разжиженным идеалом доказательно обоснованной истины, низведенным до "вероятной истины"
[1]
, или "истиной как соглашением" (изменчивым соглашением, добавим мы), достаточной для некоторых "социологов знания"
[2]
.
Первоначальный замысел К. Поппера возник как результат продумывания следствий, вытекавших из крушения самой подкрепленной* научной теории всех времен: механики и теории тяготения И. Ньютона. К. Поппер пришел к выводу, что доблесть ума заключается не в том, чтобы быть осторожным и избегать ошибок, а в том, чтобы бескомпромиссно устранять их. Быть смелым, выдвигая гипотезы, и беспощадным, опровергая их,- вот девиз Поппера. Честь интеллекта защищается не в окопах доказательств или "верификаций", окружающих чью-либо позицию, но точным определением условий, при которых эта позиция признается непригодной для обороны. Марксисты и фрейдисты, отказываясь определять эти условия, тем самым расписываются в своей научной недобросовестности. Вера - свойственная человеку по природе и потому простительная слабость, ее нужно держать под контролем критики; но предвзятость (commitment), считает Поппер, есть тягчайшее преступление интеллекта.
Иначе рассуждает Т. Кун. Как и Поппер, он отказывается видеть в росте научного знания кумуляцию вечных истин
Взгляды Т. Куна уже подвергались критике, и я не буду здесь их обсуждать. Замечу только, что благие намерения Куна - рационально объяснить рост научного знания, отталкиваясь от ошибок джастификационизма и фальсификационизма заводят его на зыбкую почву иррационализма*.
С точки зрения Поппера, изменение научного знания рационально или, по крайней мере, может быть рационально реконструировано. Этим должна заниматься логика открытия. С точки зрения Куна, изменение научного знания - от одной "парадигмы" к другой - мистическое преображение, у которого нет и не может быть рациональных правил. Это предмет психологии (возможно, социальной психологии) открытия. Изменение научного знания подобно перемене религиозной веры.
2. ФАЛЛИБИЛИЗМ ПРОТИВ ФАЛЬСИФИКАЦИОНИЗМА
а) Догматический (натуралистический) фальсификационизм. Эмпирический базис.
Существо разногласий станет яснее, если мы восстановим проблемную ситуацию, как она возникла в философии науки после краха "джастификационизма".
"Джастификационисты" полагают, будто научное знание состоит из доказательно обоснованных высказываний. Признавая, что чисто логическая дедукция позволяет только выводить одни высказывания из других (переносить истинность), но не обосновывать (устанавливать) истинность, они по-разному решают вопрос о природе тех высказываний, истинность которых устанавливается и обосновывается внелогическим образом. Классические интеллектуалисты (в более узком смысле-"рационалисты") допускают весьма различные, но в равной мере надежные типы "внелогического" обоснования откровение, интеллектуальную интуицию, опыт. Любые научные высказывания могут быть выведены логически из подобных оснований. Классические эмпирицисты считают такими основаниями только сравнительно небольшое множество "фактуальных высказываний", выражающих "твердо установленные факты". Значения истинности таких высказываний устанавливаются опытным путем, и все они образуют эмпирический базис науки. Если требовать, чтобы в основаниях науки не было ничего, кроме узкого эмпирического базиса, то для доказательного обоснования научных теорий нужны более эффективные логические средства, чем дедуктивная логика, которой ограничиваются интеллектуалисты, например, "индуктивная логика". Все Джастификационисты, будь то интеллектуалисты или эмпирицисты, согласны в том, что единичного высказывания, выражающего твердо установленный факт, достаточно для опровержения универсальной теории
[4]
" [[[5]]]; но лишь немногие осмеливаются утверждать, что конечной конъюнкции фактуальных высказываний достаточно для "индуктивного" доказательного обоснования универсальной теории
[5]
.
Джастификационизм, считающий знанием лишь то, что доказательно обосновано, был господствующей традицией рационального мышления на протяжении столетий. Скептицизм не есть отрицание джастификационизма; скептики только полагают, что нет (или не может быть) доказательно обоснованного знания и поэтому нет знания вообще. Они видят в "знании" только разновидность веры, свойственной всем одушевленным существам. Тем самым скептицизм, остающийся джастификационистским, дискредитирует знание, открывая дверь иррационализму, мистике, суевериям.
Поэтому понятны исключительные усилия, предпринимаемые классическими рационалистами, чтобы спасти синтетические априорные принципы интеллектуализма, и классическими эмпирицистами, спасающими определенность эмпирического базиса и значимость индуктивного вывода. Они верны кодексу научной чести, требующему воздерживаться от необоснованных высказываний. Но и те, и другие терпят поражение: кантианцы-от удара, нанесенного неэвклидовой геометрией и неньютоновской физикой, эмпирицисты-от логической невозможности положить в основание знания чисто эмпирический базис (еще кантианцы заметили, что никакое научное высказывание не может быть вполне обосновано фактами и индуктивную логику (никакая логика не может увеличить содержание знания, гарантируя вместе с тем его безошибочность). Отсюда следовало, что все теории в равной степени не могут иметь доказательного обоснования.
Философы неохотно признавали это по очевидным причинам: классические джастификационисты страшились вывода, что если теоретическая наука не имеет доказательного обоснования, то она есть не что иное как софистика и иллюзия, если не бессовестное надувательство. Философское значение пробабилизма (или "неоджастификационизма") состояло в попытке избежать такого вывода.
б) Методологический фальсификационизм. "Эмпирический базис"
Крушение догматического фальсификационизма под напором фаллибилистских аргументов заставляет вернуться к его предпосылкам. Если все научные предложения суть не что иное как опровержимые теории, их можно подвергать критике только за их логическую непоследовательность. Тогда в каком смысле (если вообще можно найти такой смысл) наука является эмпирической? Если научные теории не могут считаться ни доказуемыми, ни вероятностно-обоснованными, ни опровержимыми, то выходит, что скептики, в конечном счете, правы: наука есть не что иное, как напыщенная спекуляция и нет никакого прогресса научного знания. Можем ли мы еще как-нибудь противостоять скептицизму? Можем ли мы. спасти научный критицизм от фаллибилизма*? Возможна ли фаллибилистская теория научного прогресса? Ведь если даже научная критика погрешима, то на каком основании можно было бы признать падение научной теории?
Наиболее интригующий ответ дает методологический фальсификационизм. Поскольку это разновидность конвенционализма, нам придется вначале рассмотреть, что такое конвенционализм.
Имеется важное различие между "пассивной" и "активной" теориями познания. "Пассивисты" полагают, что истинное знание - это тот след, который оставляет Природа на совершенно инертном сознании; активность духа обнаруживается только в искажениях и отклонениях от истины. Самой влиятельной школой пассивистов является классический эмпирицизм. Приверженцы "активной" теории познания считают, что Книга Природы не может быть прочитана без духовной активности, наши ожидания или теории - это то, с помощью чего мы истолковываем ее письмена.
[28]
Консервативные "активисты" полагают, что базисные ожидания врождены, благодаря им окружающий нас мир становится "нашим миром", в котором мы отбываем пожизненное заключение. Идея о том, что мы живем и умираем, не покидая тюрьмы своих "концептуальных каркасов", восходит к Канту; кантианцы-пессимисты полагают, что из-за этого затворничества реальный мир навсегда остается непознаваемым для нас, а кантианцы-оптимисты уверены в том, что Бог вложил в нас такой "концептуальный каркас", который в точности соответствует этому миру.
Путь от консервативного к революционному активизму, на который ступил Уэвелл, был затем продолжен Пуанкаре, Мильо и Леруа. Уэвелл считал, что развитие теорий идет путем проб и ошибок, когда разыгрываются "прелюдии к индуктивным эпохам". Затем, когда наступают "индуктивные эпохи", лучшие из теорий получают доказательное обоснование - главным образом за счет априорных соображений, называемых им "прогрессивной интуицией". Затем наступают "последствия индуктивных эпох"; наращивание разработок вспомогательных теорий.
Такой консервативный конвенционализм имеет, однако, тот недостаток, что не позволяет освободиться из построенных нами же тюрем, когда первоначальный период проб и ошибок уже пройден и великие решения приняты. Проблема элиминации теорий, торжествовавших в течение длительного времени, таким образом не решается. Согласно консервативному конвенционализму, у экспериментов достает сил, чтобы ниспровергнуть молодые теории, но со старыми, прочно обосновавшимися, это уже не проходит: а это значит, что по мере того, как растет наука, сила эмпирических доводов уменьшается.
в) Утонченный фальсификационизм против наивного методологического фальсификационизма. Прогрессивный и регрессивный сдвиг проблемы
Утонченный фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или "критерием демаркации"), так и правилами фальсификации или элиминации. Наивный фальсификационист рассматривает любую теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как "приемлемую" или "научную". Для утонченного фальсификациониста теория "приемлема" или "научна" только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведет к открытию новых фактов. Это условие можно разделить на два требования: новая теория должна иметь добавочное эмпирическое содержание ("приемлемость"); и некоторая часть этого добавочного содержания должна быть верифицирована ("приемлемость"). Первое требование должно проверяться непосредственно, путем априорного логического анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя.
Наивный фальсификационист считает, что теория фальсифицируется "подкрепленным" предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею;
[84]
2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена.
[85]
Чтобы оценить эти определения, надо понять исходные проблемы и их следствия. Во-первых, вспомним методологическое открытие конвенционалистов, состоящее в том, что никакой экспериментальный результат не может убить теорию: любую теорию можно спасти от контрпримеров посредством некоторой вспомогательной гипотезы либо посредством соответствующей переинтерпретации ее понятий. Наивный фальсификационист решает эту проблему тем, что относит (в решающих контекстах) вспомогательную гипотезу к непроблематическому исходному знанию, выводя ее из дедуктивного механизма проверочной ситуации, насильно помещая проверяемую теорию в логическую изоляцию, где она и становится удобной мишенью под обстрелом проверяющих экспериментов. Но поскольку эта процедура не является удовлетворительным способом рациональной реконструкции истории науки, мы вправе предложить иной подход.
Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков.
Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение утонченный вариант методологического фальсификационизма - более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и ненаучные способы удержания теории, рациональные и нерациональные изменения теоретического знания. Согласно Попперу, удержание теории с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, - есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы "гипотезами ad hoc", чисто лингвистическими выдумками, "конвенционалистскими уловками".