Карл Поппер и проблема демаркации

Одна из проблем, существенно определивших развитие философии науки в начале нашего века, получила название проблемы демаркации (этот термин был введен Карлом Поппером). Речь идет об определении границ между наукой и ненаукой. Сам Поппер характеризует свои интересы в этой области следующим образом: «В то время меня интересовал не вопрос о том, «когда теория истинна?», и не вопрос, «когда теория приемлема?» Я поставил перед собой другую проблему. Я хотел провести различие между наукой и псевдонаукой, прекрасно зная, что наука часто ошибается и что псевдонаука может случайно натолкнуться на истину».

Наиболее распространенный ответ на этот вопрос состоял в том, что наука отличается от псевдонауки или от «метафизики» своей опорой на факты, своим эмпирическим методом. Концепция, которая в это время активно развивалась в рамках так называемого «Венского кружка» и шла от одного из крупнейших философов начала века Л. Витгенштейна, утверждала, что к науке принадлежат только те предложения, которые выводятся из истинных предложений наблюдения или, что то же самое, могут быть верифицированы с помощью этих предложений. Отсюда следовало, что любая теория, претендующая на то, чтобы быть научной, должна быть выводима из опыта.

Поппер с полным основанием не принимает этого тезиса. Наблюдение, с его точки зрения, уже предполагает некоторую теоретическую установку, некоторую исходную гипотезу. Нельзя просто наблюдать, не имея для этого никаких предпосылок. Наблюдение всегда избирательно и целенаправленно: мы исходим из определенной задачи и наблюдаем только то, что нужно для решения этой задачи. Бессмысленность «чистых» наблюдений Поппер иллюстрирует следующим образом. Представьте себе человека, который всю свою жизнь посвятил науке, описывая каждую вещь, попадавшуюся ему на глаза. Все это «бесценное сокровище» наблюдений он завещает Королевскому обществу. Абсурдность ситуации не нуждается в комментариях.

К сказанному можно добавить, что любая развитая теория формулируется не для реальных, а для идеальных объектов. В механике, например, это – материальные точки, абсолютно твердые тела, идеальные жидкости и т.д. Знаменитая теория размещения хозяйственной деятельности человека, построенная Тюненом, исходит из представления об изолированном государстве с одним единственным городом на аблолютно однородной равнине. Изотропную плоскую поверхность предполагает и теория центральных мест Кристаллера. Иными словами, теория строится на базе предпосылок, прямо противоречащих опыту. Как же в таком случае она может вытекать из опыта?

Что же предлагает сам Поппер? Его идея очень проста и красива, хотя, как мы увидим чуть ниже, тоже наталкивается на существенные трудности. Суть идеи сводится к следующему: «Критерием научного статуса теории является ее фальсифицируемость, опровержимость, или проверяемость». Подтвердить фактами можно любую теорию, если мы специально ищем таких подтверждений, но хорошая теория должна прежде всего давать основания для ее опровержения. Любая хорошая теория, считает Поппер, является некоторым запрещением, т.е. запрещает определенные события. Чем больше теория запрещает, тем она лучше, ибо тем больше она рискует быть опровергнутой.

Не трудно видеть, что вся концепция Поппера имеет ярко выраженный нормативный характер. Речь идет о том, как должен работать ученый, чтобы оставаться в рамках науки, каким требованиям должны удовлетворять те теории, которые он строит.

А что такое наука и чем определяются ее границы, кроме критерия самого Поппера, – этот вопрос в данном контексте просто не возникает. «Государство – это Я», – заявил в свое время небезызвестный французский король. «Наука – это Я», – фактически утверждает Поппер и задает границы научности.

Но наука живет своей собственной жизнью, и очень скоро обнаруживается, что критерий Поппера не работает. Это может показаться парадоксальным: мы сами делаем науку, мы, казалось бы, хозяева положения, а критерии научности, нами же установленные, не срабатывают. Может быть, дело в том, что эти критерии не все признают, что они не общеприняты? А если их признать и сделать всеобщим достоянием, тогда что-то изменится? Парадокс в том, что почти ничего. Наука есть нечто большее, чем сумма согласованных человеческих действий.

Но вернемся к критерию К. Поппера. История показывает, что теории живут, развиваются и даже процветают, невзирая на противоречия с экспериментальными данными. Приведем конкретный пример. В 1788 году великий Лагранж писал об уравнениях Эйлера: «Мы обязаны Эйлеру первыми общими формулами для движения жидкостей, записанными в простой и ясной символике частных производных. Благодаря этому открытию вся механика жидкостей свелась к вопросу анализа, и будь эти уравнения интегрируемыми, можно было бы в любом случае полностью определить движение жидкости под воздействием любых сил». Надежды Лагранжа не оправдались: в ряде случаев уравнения Эйлера были проинтегрированы, но результаты расчетов резко расходились с наблюдениями. Привело ли это к отказу от уравнений Эйлера? Ни в коем случае.

Вот что пишет по этому поводу известный американский математик и гидродинамик Г. Биркгоф: «В гидродинамике такие несомненные противоречия между экспериментальными данными и заключениями, основанными на правдоподобных рассуждениях, называются парадоксами. Эти парадоксы были предметом многих острот. Так недавно было сказано, что в девятнадцатом веке «гидродинамики разделялись на инженеров-гидравликов, которые наблюдали то, что нельзя было объяснить, и математиков, которые объясняли то, что нельзя было наблюдать». Как мы видим, гидродинамика не только существует, но даже способна шутить. «Теперь обычно заявляют, – продолжает Биркгоф, – что подобные парадоксы возникают из-за отличия реальных жидкостей, имеющих малую, но конечную вязкость, от идеальных жидкостей, имеющих нулевую вязкость.» Итак, все дело опять в идеальных объектах, без которых и нельзя, вероятно, построить теорию.

Концепция исследовательских программ И. Лакатоса

Очевидные недостатки фальсификационизма Поппера пытался преодолеть И. Лакатос в своей концепции исследовательских программ. При достаточной находчивости, полагает он, можно на протяжении длительного времени защищать любую теорию, даже если эта теория ложна. «Природа может крикнуть: «Нет!», но человеческая изобретательность всегда способна крикнуть еще громче». Поэтому следует отказаться от попперовской модели, в которой за выдвижением некоторой гипотезы следует ее опровержение. Ни один эксперимент не является решающим и достаточным для опровержения теории.

В чем же суть концепции Лакатоса? «Картина научной игры, – пишет он, – которую предлагает методология исследовательских программ, весьма отлична от подобной картины методологического фальсификационизма. Исходным пунктом здесь является не установление фальсифицируемой гипотезы, а выдвижение исследовательской программы». Под последней понимается теория, способная защищать себя в ситуациях столкновения с противоречащими ей эмпирическими данными. В исследовательской программе Лакатос выделяет ее ядро, т.е. основные принципы или законы, и «защитные пояса», которыми ядро окружает себя в случаях эмпирических затруднений.

Приведем конкретный пример. Допустим, что опираясь на законы Ньютона (в данном случае они образуют ядро исследовательской программы), мы рассчитали орбиты планет Солнечной системы и обнаружили, что это противоречит астрономическим наблюдениям. Неужели мы отбросим законы Ньютона? Разумеется, нет. Мы выдвинем какое-либо дополнительное предположение, для того чтобы объяснить обнаруженные расхождения. Как известно, именно это и имело место в реальной истории: в 1845 году Леверье, занимаясь неправильностями в движении Урана, выдвигает гипотезу о существовании еще одной планеты Солнечной системы, которая и была открыта И. Галле в сентябре 1846 года. Гипотеза Леверье и выступает в данном случае как защитный пояс. Но допустим, что гипотеза не получила бы подтверждения, и новую планету не удалось обнаружить. Неужели мы в этом случае отбросили бы законы Ньютона? Без всякого сомнения, нет. Была бы построена какая-то новая гипотеза.

Как долго это может продолжаться? Лакатос полагает, что теория никогда не фальсифицируется, а только замещается другой, лучшей теорией. Суть в том, что исследовательская программа может быть либо прогрессирующей, либо регрессирующей. Она прогрессирует, если ее теоретический рост предвосхищает рост эмпирический, т.е. если она с успехом предсказывает новые факты. Она регрессирует, если новые факты появляются неожиданно, а программа только дает им запоздалые объяснения. В этом случае теоретический рост отстает от эмпирического роста. Если одна исследовательская программа прогрессивно объясняет больше, чем другая, с ней конкурирующая, то первая вытесняет вторую.

Лакатос признает, что в конкретной ситуации «очень трудно решить. в какой именно момент определенная исследовательская программа безнадежно регрессировала или одна из двух конкурирующих программ получила решающее преимущество перед другой». Это в значительной степени лишает его концепцию нормативного характера. Лакатос, однако, все же пытается сформулировать некоторый набор правил в форме «кодекса научной честности». Главную роль там играют скромность и сдержанность. «Всегда следует помнить о том, что, даже если ваш оппонент сильно отстал, он еще может догнать вас. Никакие преимущества одной из сторон нельзя рассматривать как абсолютно решающие. Не существует никакой гарантии триумфа той или иной программы. Не существует также и никакой гарантии ее крушения».

Если это и предписания, то довольно странные. По сути, они звучат так: сохраняй сдержанность, ибо на все воля Божья. Иными словами, в концепции Лакатоса из-за деятельности ученого уже явно выступает некий глобальный надличностный процесс. Он еще не исследуется, его природа не выявлена, но он присутствует, ибо, если мы сами не способны осуществить рациональный выбор, то как же этот «выбор» все же осуществляется в истории науки?