II. 3. Фальсифицируемость и фальсификация

Попытаемся теперь понять смысл двух важнейших понятий поппе-ровской методологии — понятий "фальсифицируемость" и "фальсифи­кация".

Подобно логическим позитивистам, Поппер противопоставляет теорию эмпирическим предложениям. К числу последних он относит единичные предложения, описывающие факты, например, "Здесь стоит стол", "5 января 1997 года в Москве шел снег" и т. п. Совокупность всех возможных (не только истинных, но и ложных) эмпирических или, как он предпочитает говорить, "базисных", предложений образуют не­которую эмпирическую основу науки. Сюда входят и несовместимые между собой базисные предложения, поэтому ее не следует отождеств­лять с языком истинных протокольных предложений логических пози­тивистов. Научная теория, считает Поппер, всегда может быть выра­жена в виде совокупности общих утверждений типа "Все тигры полоса­ты", а последние эквивалентны отрицательным экзистенциальным ут­верждениям, например, "Неверно, что существует неполосатый тигр". Поэтому всякую теорию можно рассматривать как запрещающую су­ществование некоторых фактов или, иначе говоря, как утверждающую ложность некоторых "базисных" предложений. Например, наша "тео­рия" утверждает ложность "базисных" предложений такого типа: "Там-то и там имеется неполосатый тигр". Вот эти "базисные" предло­жения, описывающие факты, запрещаемые теорией, Поппер называет "потенциальными фальсификаторами" теории. "Фальсификаторами" потому, что если запрещаемый теорией факт имеет место и описываю­щее его "базисное" предложение истинно, то теория считается опровергнутой. "Потенциальными" потому, что эти предложения могут фальсифицировать теорию, но лишь в том случае, когда установленаихистинность. Отсюда понятие фальсифицируемости определяется сле­дующим образом: "... теория фальсифицируема, если класс ее потенци­альных фальсификаторов не пуст" ⁶, иначе говоря, если она способна вступить в противоречие с фактами.

Как можно было бы устранить столкновение теории с некоторым "базисным" предложением? Если мы считаем "базисные" предложения достоверно истинными, описывающими твердо установленные факты, то ясно, что в этом случае мы без колебаний обязаны отбросить тео-

⁶ Поппер К. Р. Логика научного открытия. Указ. соч., с. 115.

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

Процесс фальсификации описывается схемой modus tollens (услов­но-категорический силлогизм). Из теории Т дедуцируется "базисное" предложение А, т. е. имеет место Т -> А. Предложение А оказывается ложным и истинным является потенциальный фальсификатор теории не -А. Из Т—> А и не -A следует не-Г, т. е. теория Г ложна и фальсифирована.

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

Когда мы говорим о выводе "базисного" предложения А из теории Т, то при этом нужно учитывать следующее. Из одной теории Т нельзя вывести ни одного "базисного" предложения. Для вывода необходимо присоединить к теории Т некоторые другие "базисные" предложения, описывающие граничные условия или условия применимости теории Т к конкретной ситуации. Обозначим их "Я". Кроме того, необходимы еще правила соответствия, связывающие термины теории с эмпириче­скими терминами; обозначим их "Z". Таким образом, "базисное" пред­ложение А выводится из конъюнкции Т • Н • Z. Если учесть это обстоя­тельство, то окажется, что ложность предложения А фальсифицирует не теорию Т, а всю конъюнкцию Т • Н • Z. Отсюда следует, что собственно теорию фальсифицировать нельзя.

Поппер предвидел этот аргумент и ответил на него. При всякой дискуссии, при всяком споре, говорит он, мы вынуждены опираться на нечто такое, что все его участники считают бесспорным. В противном случае дискуссия невозможна. Бесспорное в данный момент знание Поппер называет основой познания — той основой, которую мы в данный момент не подвергаем сомнению и соглашаемся считать истин­ной. Предмет спора лежит вне этой основы знания. В случае фальсифи­кации некоторой теории Т мы считаем бесспорными наши Н и Z, а также теории, которые могут быть использованы в процессе фальсифи­кации. Поэтому при ложности следствия А мы считаем фальсифициро­ванной именно теорию Т, так как именно она и является предметом об­суждения. Конечно, здесь есть риск и мы можем совершить ошибку, от­вергнув теорию Т. Но кто не хочет рисковать, должен бросить зани­маться наукой. В другой раз мы подвергнем проверке наши правила соответствия Z или наши граничные условия Н. Может быть, мы и их фальсифицируем. Однако в каждом конкретном случае мы можем про­верить и фальсифицировать лишь один из элементов нашего знания. Нельзя подвергнуть проверке знание в целом.

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