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

Такие же аргументы могут быть выдвинуты против научных утверждений вида «сила равна произведению массы на ускорение».

Подобные рассуждения привели к переформулировке критериев эпистемической осмысленности утверждений. Требование их верифицируемости было заменено на требование фальсифицируемости. Итак, чтобы утверждение было эпистемически осмысленным (= научным), оно должно быть принципиально фальсифицируемым.

Эта переформулировка заняла центральное место в концепции Карла Поппера (Karl Popper, 1902– 1994). Важно подчеркнуть, что мы говорим о принципиальной фальсифицируемости утверждений. Вопрос об их действительной фальсификации зависит в любой данный момент времени от существующих технологических возможностей. Так, для фальсификации утверждения о температуре на обратной стороне Луны или в ее центре требуются определенные технические средства. В отличие от прошлого сегодня мы можем фальсифицировать утверждения о температуре на обратной стороне Луны. Но и сейчас мы не в состоянии (насколько нам известно) фальсифицировать утверждения о температуре в ее центре. Однако, в принципе, располагая в будущем более совершенными техническими средствами, мы сможем сделать это. Поэтому утверждение «температура в центре Луны равна х градусам по Цельсию» является познавательно осмысленным, так как оно принципиально фальсифицируемо.

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

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

Работа Поппера Логика научного открытия (Logik der Forschung, 1934 русский перевод этой работы за исключением 8 и 9 глав см. К.Поппер. Логика и рост научного знания. Избранные работы, — М, 1983 — В.К.) является классикой философии науки. Она находится в тесной, но критической связи с логическим эмпирицизмом и следует восходящей к Локку эмпирической установке. Согласно этой установке, для обеспечения роста знания требуются ясные формулировки и наилучшие из возможных эмпирические проверки наших утверждений [»Все сказанное можно суммировать в следующем утверждении: критерием научного статуса теории является ее фальсифицируемость, опровержимость, или проверяемость». КМоппер. Предположения и опровержения. Рост научного знания. Перевод Л.Блинникова, В.Брюшинкина, Э.Наппельбаума и А.Никифорова. — В кн. К.Поппер. Логика и рост научного знания. — М., 1983. — С. 245.]. Для обозначения своей теории Поппер использовал термин критический рационализм.

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

В таком случае, как можно обосновать общие утверждения, подобные гипотезам и законам? Ответ Поппера таков: с помощью дедуктивного метода проверки, согласно которому после выдвижения гипотезы прежде всего проверяются эмпирически ее следствия. При этом вопрос о том, как мы формулируем универсальные утверждения, гипотезы, должен быть отделен от вопроса об их обосновании или проверке. Вопрос о том, как мы приходим к выдвижению гипотез, — это, психологический вопрос, который может быть исследован эмпирическим путем. Вопрос же о том, как мы обосновываем имеющуюся гипотезу, — это логический или методологический вопрос, на который нельзя ответить с помощью эмпирического исследования, поскольку оно уже предполагает свою обоснованность. Итак, мы приходим к фундаментальному различию между фактическими проблемами, решение которых относится к компетенции эмпирических наук, и проблемами обоснования или общезначимости (problems of justification or validity), которые должны быть разъяснены с помощью логики исследования.

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

Итак, между тем, что следует из эмпирически подтвержденной гипотезы, и тем, что следует из эмпирически не подтвержденной гипотезы, существует асимметричное отношение. Если одно из следствий гипотезы оказывается подтвержденным, то мы не знаем, является ли она истинной. Если же одно такое следствие оказывается не подтвержденным, то мы знаем, что гипотеза является ложной.

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

Когда гипотеза выдерживает такое испытание, мы можем временно рассматривать ее в качестве подтвержденной. Но этот результат всегда открыт для дальнейшей фальсификации.

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

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

Поппер также занимался различием науки и метафизики (см. историю дискуссий по поводу этого различия от Локка через Юма к Канту). Оно усматривалось им опять-таки в различии между эмпирически фальсифицируемым и нефальсифицируемым. В той мере, в какой теория не фальсифицируема, она не является научной. Вместе с тем Поппер не утверждает, что это различие является различием между эпистемически осмысленным и эпистемически бессмысленным. В этом моменте он не разделяет позитивистскую точку зрения.

Но каков логический статус его критерия демаркации? Откуда нам известна его истинность? Поппер отвечает, что этот критерий является в конечном счете конвенциональным предположением, которое мы