(от лат. falsus — ложный), или эмпирическое опровержение, — процедура установления ложности гипотезы или теории путем эмпирической проверки. Принято считать, что процесс Ф. описывается логической схемой modus tollens, или принципом Ф.: «если верно, что А имплицирует В, и неверно, что В, то неверно, что А». Устанавливается, что проверяемое утверждение (или теория) А имплицирует некоторое эмпирическое утверждение В; сопоставление последнего (путем наблюдения или эксперимента) с реальной ситуацией показывает, что оно ложно, т.е. истинно не-5; из этих посылок логически следует, что А также ложно. Например: «если все птицы летают, то страус летает; но страус не летает; значит, неверно, что все птицы летают». Принцип Ф. принимается, однако, не во всех теориях логического следования. В парафальсифицирующей логике данный принцип отсутствует, понятие Ф. ослабляется, так что операция Ф. становится, как и операция верификации (эмпирического подтверждения), не дедуктивной, а индуктивной процедурой. Особый интерес к проблеме Ф. привлек К. Поппер, противопоставивший ее верификации. Его позиция, получившая наименование фал ьсифи кац ио -н и з м а, складывалась в полемике с неопозитивистами, считавшими, что наука развивается путем осторожного обобщения результатов наблюдений и что сами обобщения обоснованы тем лучше, чем больше имеется подтверждающих их факторов. Характерную черту науки неопозитивисты видели в ее обоснованности и достоверности, а отличительную черту ненауки (например, алхимии или метафизики) — в ненадежности и недостоверности. Индукция и верифици-руемость оказывались, т.о., критериями отграничения науки от ненауки (см.: Демаркации проблема). По мысли Поппера, подтверждение теории еще не говорит о ее научности. Подтвердить опытом можно все что угодно, в частности, астрология подтверждается многими эмпирическими свидетельствами. Испытание теории или гипотезы должно заключаться не в отыскании подтверждающих ее данных, а в настойчивых попытках опровергнуть ее. «Интерсубъективно проверяемую Ф.» Поппер считает окончательной, если она хорошо обоснована: «именно в этом проявляется асимметрия между верификацией и Ф. теории». Согласно критерию фальсифицируемости, «т.е. по крайней мере асимметричной, или односторонней, разрешимости», высказывания или системы высказываний имеют эмпирическое содержание «только в том случае, если они обладают способностью прийти в столкновение с опытом, или более точно — если их можно систематически проверять, т.е. подвергать... проверкам, результатом которых может быть их опровержение». Логическая асимметрия между верификаций и Ф. оказывается у Поппера не только основой его концепции «эмпирического значения», но и ключом к проблемам индукции и демаркации. Решение проблемы индукции сводится к идее, что индукция попросту не существует. То, что принимается за нее, есть лишь движение в «индуктивном направлении» от следствий (или единичных высказываний) к аксиомам с помощью относящегося к дедуктивной логике принципа Ф. Отграничение рациональной науки от «различных форм предрассудков» также оказывается простым: наука, и только она, критично и систематически использует принцип Ф. для жесткой и бескомпромиссной проверки создаваемых теорий. Критика фальсификационизма Поппера, опирающегося на асимметрию подтверждения и опровержения, показала, что приложимость принципа Ф. к разным частям исследовательской программы является разной: Ф. вообще не приложима к «жесткому ядру» такой программы, а только к ее периферии (И. Лака-тос). Ф. зависит также от этапа развития программы: пока последняя выдерживает натиск аномалий, ученый может вообще игнорировать их и руководствоваться не аномалиями, а позитивной эвристикой своей программы: «Ученые сплошь и рядом игнорируют данные, несовместимые с принятой системой научного знания, в надежде, что в конечном счете эти данные окажутся ошибочными или не относящимися к делу (М. Полани). Понятие Ф. предполагает, как это отмечает сам Поппер, существование (негативных) решающих экспериментов. Лакатос подчеркивает, что «решающий эксперимент» — это лишь почетный титул, который может быть пожалован определенной аномалии, но только спустя долгое время после того, как одна программа будет вытеснена другой. Анализ фальсификационизма показал, что эмпирическое опровержение не совпадает с логической Ф., определяемой принципом Ф. Опровержение представляет собой сложную процедуру, зависящую от многих факторов, одним из которых, но далеко не всегда решающим, является Ф. следствий опровергаемой теории. Резкое противопоставление Поппером верификации и Ф., индуктивного метода и дедуктивной модели научной критики не является оправданным. Критика научной теории, не достигшая своей цели, неудавшаяся попытка Ф. представляет собой на самом деле только ослабленный вариант косвенной эмпирической верификации. Последняя является индуктивным рассуждением, протекающим по схеме: «если верно, что если А, то В, и верно В, то, вероятно, верно А». Ф. на основе принципа Ф. включает два этапа: установление истинности условной связи «если А, то В», где В является эмпирически проверяемым следствием; установление истинности «неверно В (не-В)», т.е. ложности В. Неуспех Ф. означает неудачу в установлении ложности В. Итог этой неудачи — вероятностное суждение «Возможно, что является истинным не-не-В, т.е. В». Неуспех Ф. представляет собой, т.о., индуктивное рассуждение, имеющее схему «если верно, что если А, то В, и неверно не-В, то А». Последняя совпадает со схемой косвенной верификации: «если верно, что если А, то В, и В, то А». Неуспех Ф. является, однако, ослабленной верификацией: в случае обычной косвенной верификации предполагается, что посылка В есть истинное утверждение; при неудавшейся Ф. эта посылка является только правдоподобным утверждением. Т.о., решительная, но не достигшая успеха критика, которую Поппер противопоставляет в качестве самостоятельного метода верификации, является только ослабленным вариантом верификации. О Лакатос И. История науки и ее рациональные реконструкции // Структура и развитие науки. М., 1978; Поппер К. Логика и рост научного знания. М., 1980; Он же. Критический подход: решение проблемы индукции// Современная философия науки. М., 1996; Полани М. Личностное знание. М., 1985; Иван А.А. Основы теории аргументации. М., 1997; Никифоров А.Л. Философия науки: история и методология. М., 1998; Popper К. Objective Knowledge. An Evolutionary Approach. Oxford, 1973; Philosophy of Karl Popper//La Salle, 1974. Vоl. 1. A.A. Ивин