Правдоподобие и вероятность теорий -цели несовместимые

Цель науки, по Попперу, — максимально приблизиться к истине. Теория Т2 лучше или правдоподобнее Т1, когда все верные следствия из Т1 суть верные выводы из Т2, когда ложные выводы из Т1 суть верные выводы из Т2. Значит, из Т2 дедуцируемы выводы, которые нельзя извлечь из Т1. Таким образом, приняв, что истинное содержание (верные выводы) и ложное содержание (ложные выводы) из двух теорий Т1 и Т2 несовместимы, мы можем сказать, что Т2 более правдоподобна и лучше соотносится с фактами, чем Т1, если и только если:

а) истинное содержание, но не ложное содержание Т2 превосходит Т1;

б) ложное содержание, но не истинное содержание Т1 превосходит Т2.

Эта идея большего правдоподобия Т2 в сравнении с Т1 привела Поппера к выводу, что правдоподобное (значит, более информативное, экспликативное и прогностическое) может быть и менее вероятным. Другими словами, если мы предпочитаем теорию с наибольшим информативным содержанием, то должны удовлетвориться меньшей ее вероятностью. В самом деле, говоря все больше, легче ошибиться. Поэтому теории, более открытые контролю, менее вероятны.

Обозначив содержание утверждения а) как Ct (а), утверждение б) как Ct (b), а конъюнкцию а и б как Ct (ab), мы получим:

Ct (a) <Ct (ab) > Ct (b),

что противоречит закону, отвечающему расчету вероятности:

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

ПРОГРЕСС НАУКИ

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

Из этого не следует, что существует закон научного прогресса. Наука знавала и периоды стагнации, и препятствия эпистемологического, идеологического, экономического плана. Нет закона, но все же есть некий критерий, по которому одна теория Т2 заменяет другую Т1. Поппер дает шесть спецификаций:

1). Т2 содержит более точные утверждения, чем Т1.

2). Т2 объясняет больше фактов, чем Т1.

3). Т2 описывает и объясняет факты более детальным образом, чем Т1.

4). Т2 выдерживает контроль, который не выдерживает Т1.

5). Т2 выдвигает новые формы экспериментального контроля, которые не учитывала Т1, и Т2 преодолевает их.

6). Т2 объединяет разные проблемы, до того бытовавшие вне связи.

ЛОГИЧЕСКАЯ ФАЛЬСИФИКАЦИЯ И МЕТОДОЛОГИЧЕСКАЯ ФАЛЬСИФИКАЦИЯ. ПОНИМАНИЕ ФОНА И «НОВЫЕ ПРОБЛЕМЫ»

Суть фальсификационизма Поппера состоит в следующем. Если снизу принята гипотеза-фальсификант, то теория, обнаруживающая себя как противоречащая ей, логически несостоятельна в силу modus tollens (аргументация типа: если t верно, то верно будет и р, но р ложно, значит, и t ложно. В символах: ((t —> р) ^ Г р) —> Г t). Как видим, методологическая позиция Поппера достаточно запутанна. В самом деле, чтобы вывести наблюдаемые следствия из некой гипотезы, необходима вспомогательная гипотеза (из ряда тех, что наряду с контрольными гипотезами дают возможность получить наблюдаемые следствия).

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

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

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

Фальсификация ведет к обогащению проблем: не вводя гипотез ad hoc, мы спрашиваем себя, почему теория рухнула. В ответ непременно должна появиться новая версия, лучшая теория. Хотя, подчеркивает Поппер, нет никаких гарантий нашего движения к прогрессу.

Таким образом, предпочтительнее та теория, которая в свете доступных на данный момент времени средств контроля содержит больше информации, точнее объясняет реальность. Нельзя доверяться ни одной из теорий, ибо нельзя доказать их истинность. Однако можно и нужно в качестве основы действия предпочесть теорию, в большей степени открытую для контроля.

ЗНАЧИМОСТЬ И КРИТИКУЕМОСТЬ МЕТАФИЗИЧЕСКИХ ТЕОРИЙ

В отличие от принципа верификации, критерий фальсифицируемости проводит демаркационную линию между утверждениями эмпирическими и неэмпирическими. Сказать, что положение ненаучно, не значит сказать, что оно бессмысленно. «Критерий демаркации, — писал Поппер в письме редактору журнала "Erkenntnis", — призван отделить научные системы от метафизических утверждений в полной мере значимых систем».

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

В «Postscriptum» (1957) Поппер излагает свою программу метафизических исследований: «Атомизм — блестящий пример неконтролируемой метафизической теории, влияние которой на науку превосходит множество контролируемых теорий... Последняя грандиозная программа Фарадея, Максвелла, де Бройля и Эйнштейна — попытка понять мир в терминах непрерывности... Каждая из этих метафизических теорий давала научную программу, указывая направление адекватных объяснений и полагая возможной оценку глубины теории». Подобную роль выполняли в биологии теория эволюции, клеточная теория и теория бактерий как переносчиков инфекции. Атомизм в психологии проявился в посылке, что опыт состоит из сенситивных элементов.

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