Эмпирическое опровержение

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

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

Интерес к проблеме фальсификации привлек К. Поппер, противо­поставивший фальсификацию верификации, эмпирическое опровер­жение — эмпирическому подтверждению.

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

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

Принцип фальсификации и фальсификационизм. Исходным пунктом позиции Поппера является очевидная асимметрия между верифика­цией и фальсификацией.

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

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

Асимметрия подтверждения и опровержения опирается на попу­лярную схему рассуждения, которую можно назвать принципом фаль­сификации.

Принцип фальсификации является законом классической логики, сформировавшейся в конце XIX — начале XX в. его совершенно не коснулась критика в адрес логики, начавшаяся в 20-е и ставшая осо­бенно активной в 50-е гг. XX в. Этот закон принимается во всех из­вестных неклассических логических системах, претендующих на более адекватное описание отношения логического следования.

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

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

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

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

Понятие опровержения будем употреблять в его обычном смысле, который относительно устоялся в эпистемологии.

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

«Простая «фальсификация» (в попперовском смысле) не влечет от­брасывания соответствующего утверждения, — пишет Лакатос. — Простые «фальсификации» (то есть аномалии) должны быть зафикси­рованы, но вовсе не обязательно реагировать на них»³.

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

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

Можно сказать, что приложимость принципа фальсификации к разным частям исследовательской программы является разной. Она зависит также от этапа развития такой программы: пока последняя; успешно выдерживает натиск аномалий, ученый может вообще игно­рировать их и руководствоваться не аномалиями, а позитивной эврис­тикой своей программы.

Неуспех фальсификации. Помысли Поппера, обоснование научных теорий не может быть достигнуто с помощью наблюдения и экспери­мента. Теории всегда остаются необоснованными предположениями. Факты и наблюдения нужны науке не для обоснования, а лишь для проверки и опровержения теорий, для их фальсификации. Метод науки — это не наблюдение и констатация фактов для последующего их индуктивного обобщения, а метод проб и ошибок. «Нет более ра­циональной процедуры, — пишет Поппер, — чем метод проб и ошибок — предложений и опровержений: смелое выдвижение теорий; попытки наилучшим образом показать ошибочность этих теорий и временное их признание, если критика оказывается безуспешной»'. Метод проб и ошибок универсален: он применяется не только в научном, но и во всяком познании, его используют и амеба, и Эйнштейн.

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

Фальсификация как процедура включает два этапа:

• установление истинности условной связи «если А, то В», где В является эмпирически проверяемым следствием;

• установление истинности «неверно В», т.е. ложности В. Неуспех фальсификации означает неудачу в установлении ложнос­ти В. Итог этой неудачи — вероятностное суждение «Возможно, что яв­ляется истинным А, т.е. В». Таким образом, неуспех фальсифи­кации представляет собой индуктивное рассуждение, имеющее схему:

«если верно, что если А, то В, и неверно не-В, то А» («если верно, что если А, то В, и В, то А»)

Эта схема совпадает со схемой косвенной верификации. Неуспех фальсификации является, однако, ослабленной верификацией: в случае. обычной косвенной верификации предполагается, что посылка В есть истинное утверждение; при неудавшейся фальсификации эта посылка представляет собой только правдоподобное утверждение². Итак, решительная, но не достигшая успеха критика, которую вы­соко оценивает Поппер и которую он противопоставляет в качестве самостоятельного метода верификации, является на самом деле только ослабленным вариантом верификации.

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

Таким образом, Поппер двояко ослабляет индуктивистскую про­грамму:

• вместо понятия абсолютного обоснования вводит понятие срав­нительного обоснования;

• вместо понятия верификации (эмпирического обоснования) вводит более слабое понятие фальсификации.