Тема 14. Концепция науки в критическом рационализме К.Поппера
Развитие неопозитивизма вскоре вызвало многочисленную критику его положений. Слишком жесткой была модель научного знания и формулировка критерия демаркации в логическом позитивизме. Первая альтернативная модель научного знания после неопозитивизма была предложена английским философом Карлом Поппером. Он резко критиковал индуктивные методы научного познания, полагая, что индукция – это чисто психологическая процедура, которая может быть лишь случайным поводом к появлению гипотезы, но не в состоянии лечь в основу логики научного знания. Главная задача, которую поставил перед собой Поппер, - построить модель научного знания без индукции, только на основе методов дедуктивной логики.
Поппер выдвинул идею фальсифицируемости научной теории, призванной заменить процедуры верификации при определении критерия демаркации. Если верификация в неопозитивистской модели науки – это перенос с протокольных предложений хотя бы некоторой степени истинности на теоретические высказывания, то фальсификация, наоборот, представляет из себя опровержение теоретических суждений на основе ложности вытекающих из них эмпирических высказываний. Тем самым Поппер предлагает расширить понятие эмпирического базиса научной теории до множества как истинных, так и ложных эмпирических высказываний (т.е. таких высказываний, которые интерсубъективны и могут быть подтверждены или опровергнуты в различных эмпирических методах научного познания). Не требуется, чтобы эти эмпирические высказывания уже были определены в опыте. Достаточно, чтобы они, или их отрицания, в принципе могли бы быть получены эмпирическими методами познания.
Пусть Т – некоторое прикладное исчисление предикатов с языком L. Для Т может быть определен эмпирический базис В как множество эмпирических высказываний, которые могут быть выражены на языке L. Пусть в Т теоремой является некоторая атомарная формула Р(а), которая может быть проинтерпретирована как эмпирическое высказывание Е. Это означает в семантике по Тарскому, что Р(а) истинна если и только если Е. В этом случае эмпирический базис теории Т содержит отрицание Е, т.е. суждение не-Е, которое было названо Поппером потенциальным фальсификатором теории Т. Такое название связано с тем, что, если бы в опыте было подтверждено суждение не-Е, то, по законам дедуктивной логики, по крайней мере одна из нелогических аксиом теории Т оказалась бы ложной, и вся теория Т была бы опровергнута (фальсифицирована). В реальной истории науки фальсификация теорий выражает себя, по мнению Поппера, в так называемых негативных решающих экспериментах. Такие эксперименты специально направлены на формулировку и подтверждение фальсификатора некоторой теории. В философии науки, по Попперу, ученые должны изобретать все новые теории и ставить для них решающие эксперименты, пытаясь их опровергнуть.
Согласно Попперу, теория называется фальсифицируемой тогда и только тогда, когда множество потенциальных фальсификаторов не является пустым, т.е. содержит хотя бы один элемент. На этой основе Поппер предлагает новую формулировку критерия демаркации: знание является научным в том и только том случае, если его можно представить как прикладное исчисление предикатов Т, которое является фальсифицируемой теорией.
Следует здесь отметить различие между фальсификацией и фальсифицируемостью. Фальсифицируемость предполагает только наличие потенциальных фальсификаторов у теории, в то время как каждый из них может быть еще не подтвержден в опыте. Фальсификация же требует не просто наличия потенциальных фальсификаторов, но и их подтверждения в опыте. Если такие подтвержденные в опыте фальсификаторы называть актуальными, то можно сказать и так, что фальсификация предполагает наличие актуальных, а не потенциальных, фальсификаторов у теории.
Итак, критерий демаркации, по Попперу, требует для определения научности знания не подтверждения (верификации) его в опыте, а возможности опровержения (фальсифицируемости) в решающих экспериментах. Такое знание Поппер называет также открытым (к фальсификаторам) знанием, противопоставляя его закрытому (нефальсифицируемому) знанию, в качестве которого выступает, например, философское, математическое, политическое (идеология) знание.
В сфере философской интерпретации моделей науки у неопозитивистов и Поппера есть существенные отличия.
Для неопозитивистов протокольные предложения выражают абсолютно истинное знание, совершенно адекватно отражающее объективный мир. Вероятностная семантика позволяет распространить степени истинности с протокольных предложений на теоретические высказывания науки. Для Поппера такая трактовка вероятностной семантики неприемлема. Здесь необходимо уточнить, что Поппер не приемлет скорее не вообще индукцию, но такой ее вариант, который предполагает перенос хотя бы степени истинности с посылок на заключения. Истина для Поппера – это нечто такое, что никогда не может быть окончательно опознано человеком. Можно только верить, что мы имеем дело с чем-то истинным, но доказать это нельзя. Стихия человеческого разума – это вообще некоторое третье бытие, лежащее между истиной и ложью. Это среда изменения и роста, находящаяся в постоянном движении и перестройке. Поэтому и логика науки должна оперировать какими-то заместителями истинности, которые, с одной стороны, позволят сымитировать истину, а, с другой стороны, не будут претендовать на абсолютное знание. Интересно, что последовательно и до конца проведенная такая позиция должна привести нас и к отрицанию ложности. Если нет истины, то нет и лжи. Если нельзя установить соответствие с объективной реальностью, в связи с недоступностью этой реальности для человека, то столь же верным должно быть и то утверждение, что невозможно установить несоответствие с этой реальностью, т.е. настаивать, что нечто ложно. Следовательно, в научное знание должны быть введены и некоторые заместители ложности, только имитирующие ложность в человеческом познании. На протяжении своей философской эволюции Поппер двигался от отрицания только истинности к отрицанию как истинности, так и ложности в процессе научного познания. Основой заместительности истины и лжи стала для Поппера конвенция, т.е. соглашение внутри научного сообщества по поводу тех или иных правил поведения. В целом Поппер представляет себе науку как разновидность некоторой «игры», в которой участники договариваются о соблюдении определенных правил. Почему принимаются именно такие правила, а не другие – спрашивать об этом бессмысленно. «Игра в науку» устроена так, что на каждый момент времени есть некоторая договоренность игроков по поводу того, что считать эмпирическими и теоретическими процедурами обоснования, достаточными для деления научного знания на эмпирический и теоретический уровни, для определения эмпирических высказываний и т.д. Одним из правил научной игры является также готовность игроков отбросить или пересмотреть теорию при возникновении актуальных фальсификаторов. Когда речь идет об истинности протокольных предложений, она обозначает согласие игроков признать их истинными в своей игре. Такую «игровую истинность» эмпирических высказываний, распространяемую в вероятностной семантике на теоретические положения, Поппер называет «устойчивостью». Одно из правил научной игры состоит в том, чтобы отдавать предпочтение более устойчивым теориям, прошедшим большее число проверок своих эмпирических высказываний.
Научная игра всегда может быть пересмотрена. Могут быть переформулированы правила этой игры, например, иначе заданы критерии эмпирического и теоретического уровней научного знания. В этом случае может оказаться так, что те высказывания, которые ранее относились к эмпирическому базису науки, теперь будут представлены как нижние уровни теоретического знания, для которых появится свой эмпирический базис. Следовательно, не может быть непереходимого различия между теоретическим языком и языком наблюдения. Факты – это потенциальные «микротеории». Теории – разросшиеся «макрофакты». Таким образом, научное знание всегда перестраивается, «расплавляется» критикой и переформулировкой правил игры. Лишь ненадолго некоторые фрагменты науки «кристаллизуются» конвенцией – взаимным соглашением игроков пока «не плавить» какой-то фрагмент науки. Но рано или поздно конвенция будет пересмотрена и заменена новой конвенцией, чтобы опять быть пересмотренной.
Объясняя природу науки,Поппер утверждает, что можно говорить о трех основных видах реальности:
Первый Мир – мир физических объектов
Второй Мир – мир состояний сознания
Третий Мир – мир знания, объективного содержания человеческого мышления
Третий мир закодирован в различных знаках – книгах, произведениях науки, техники и искусства. В связи с этим он может вести автономное существование. Например, даже если погибнет вся человеческая цивилизация, но останутся книги и другие носители информации, то пришельцы из других миров в принципе смогли бы восстановить зашифрованный в них социальный опыт человечества.
Третий мир и был для Поппера той формой научной онтологии, которая, с одной стороны, позволяла ввести различные заместители истины, а, с другой стороны, совместить их с игровой природой науки. Сущности третьего мира – это «неистинные истины», на которых можно строить научное познание – так, словно оно оперирует с понятием «истина», - в то же время эти сущности будут всегда бесконечно удаленными от «настоящих» истин первых двух миров.
Поппер отказывается от неопозитивистского отождествления критерия демаркации и критерия значения. Обладает смыслом, с его точки зрения, не только научное знание. Например, философия, хотя и не является фальсифицируемым знанием, но способно сыграть большую роль в формировании нового научного знания, изменить параметры фальсифицируемости при своем включении в контекст научного знания, и т.д.
Поппер много внимания уделяет проблеме роста научного знания. Он полагает, что основной метод развития науки – метод проб и ошибок. После пробного выдвижения первоначальной гипотезы, необходимо стремиться найти для нее различные контрпримеры (фальсификаторы). Рано или поздно такие контрпримеры находятся, гипотеза оказывается ошибочной и отбрасывается, заменяясь новой гипотезой. Поппер специально не формулирует принцип поиска примеров для гипотезы. Это получается как бы само собой, - в результате поиска контрпримеров, когда они на самом деле могут оказаться примерами.
Поппер отходит от идеи кумулятивности (накапливаемости) в эволюции научного знания. Поскольку в его модели науки исчезает независимость эмпирического базиса от теоретического знания, то вместе с этим исчезает и автономный эмпирический уровень науки, который в неопозитивистской модели обеспечивал преемственность и согласование разных стадий развития научного знания. Если о какой-то преемственности и можно говорить, то только о преемственности проблем в истории науки. Что же касается научных теорий, то они представляют из себя лишь некоторые разновидности частных игр в науку, правила которых могут быть переформулированы игроками с очень большой степенью свободы и прерывностью относительно предшествующих правил. Таким образом, конвенционально-игровой характер первичных оснований науки подталкивает Поппера к отрицанию кумулятивности в развитии научного знания. Модель эволюции знания у Поппера достаточно близка дарвиновской модели эволюции, в основе которой, как известно, лежат мутагенез (процесс случайного возникновения мутаций) и селектогенез (процесс отбора благоприятных мутаций и выбраковывания неблагоприятных). Роль организмов в модели эволюции Поппера играют научные гипотезы, роль среды – разного рода примеры и контрпримеры. Все гипотезы-организмы рано или поздно вымирают, заменяясь новыми гипотезами, которые также вымрут… Поскольку новые гипотезы возникают на основе проб-мутаций, то последующая гипотеза может быть в произвольном – не обязательно кумулятивном - отношении к предыдущей.
Итоговая схема эволюции знания в философии науки Поппера выглядит следующим образом:
Ti1
… ® Pi ® Ti2 ® EE ® Pi+1 ® …
Ti3
Pi – i-я проблема,
Ti1, Ti2, Ti3 – теории, выдвигаемые для решения проблемы Pi,
ЕЕ – эмпирическая проверка, в конечном итоге фальсифицирующая все теории,
Pi+1 – новая проблема, возникшая в результате фальсификации всех теорий.
Эволюция знания движется от проблемы к проблеме, все более углубляя проблемность без углубления (кумулятивности) теорий. Теоретическое знание вообще в такой модели играет некоторую преходящую и служебную роль, позволяя в конечном итоге лишь порождать более глубокие проблемы. Не удивительно, что столь парадоксальная модель «роста» знания (о росте знания здесь в строгом смысле и говорить нельзя) вызывала неоднократную критику.
Вопросы для контроля и самоподготовки:
1. Раскройте сущность принципа фальсификации как критерия научности знания.
2. В чем, согласно Попперу, состоит преимущество принцип фальсификации по сравнению с принципом верификации?
3. Почему концепция К.Поппера называется критическим реализмом?
4. Какова модель роста научного знания по Попперу?