Подобно логическим позитивистам Поппер противопоставляет теорию эмпирическим предложениям. К числу последних он относит единичные предложения, описывающие факты, например: "Здесь стоит стол", "10 февраля 1998 года в Москве шел снег" и т.п. Совокупность всех возможных эмпирических, или, как предпочитает говорить Поппер, базисных, предложений образует некоторую эмпирическую основу науки, в которую входят и не совместимые между собой базисные предложения. Научная теория, считает Поппер, всегда может быть выражена в виде совокупности общих утверждений типа: "Все тигры полосаты", "Все рыбы дышат жабрами" и т.п. Утверждения подобного рода можно выразить в эквивалентной форме: "Неверно, что существует неполосатый тигр". Поэтому всякую теорию можно рассматривать как запрещающую существование некоторых фактов или как говорящую о ложности некоторых базисных предложений. Например, наша "теория" утверждает ложность базисных предложений типа: "Там-то и там-то имеется неполосатый тигр". Вот эти базисные предложения, запрещаемые теорией, Поппер и называет потенциальными фальсификаторами теории. Фальсификаторами - потому, что если запрещаемый теорией факт имеет место и описывающее его базисное предложение истинно, то теория считается опровергнутой. Потенциальными - потому, что эти предложения могут фальсифицировать теорию, но лишь в том случае, когда будет установлена их истинность. Отсюда понятие фальсифщируемости определяется следующим образом: "теория фальсифицируема, если класс ее потенциальных фальсификаторов не пуст" [1].
1 Поппер К. Р. Логика научного исследования // Поппер К. Р. Логика и рост научного знания. М., 1983. С. 115.
Фальсифицированная теория должна быть отброшена. Поппер решительно настаивает на этом. Она обнаружила свою ложность, поэтому мы не можем сохранять ее в своем знании. Всякие попытки в этом направлении могут привести лишь к задержке в развитии познания, к догматизму в науке и потере ею своего эмпирического содержания.
"Проблему нахождения критерия, который дал бы нам в руки средства для выявления различия между эмпирическими науками, с одной стороны, и математикой, логикой и "метафизическими" системами - с другой, я называю, говорил Поппер, - проблемой демаркации" [1].
При этом Поппер отверг индукцию и верифицируемость в качестве критерия демаркации. Их защитники видят характерную черту науки в обоснованности и достоверности, а особенность ненауки, скажем метафизики, - в недостоверности и ненадежности. Однако полная обоснованность и достоверность в науке недостижимы, а возможность частичного подтверждения не помогает отличить науку от ненауки: например, учение астрологов о влиянии звезд на судьбы людей подтверждается громадным эмпирическим материалом. Подтвердить можно все, что угодно, - это еще не свидетельствует о научности. То, что некоторое утверждение или система утверждений говорят о физическом мире, проявляется не в подтверждаемости их опытом, а в том, что опыт может их опровергнуть. Если система опровергается с помощью опыта, значит, она приходит в столкновение с действительным положением дел, но это как раз и свидетельствует о том, что она что-то говорит о мире. Исходя из этих соображений, Поппер в качестве критерия демаркации принимает фальсифицируемость, то есть эмпирическую опровержимость теории: "Эмпирическая система должна допускать опровержение путем опыта" [2].
Поппер соглашается с тем, что ученые стремятся получить истинное описание мира и дать истинные объяснения наблюдаемым фактам. Однако, по его мнению, эта цель актуально недостижима, и мы способны лишь приближаться к истине. Научные теории представляют собой лишь догадки о мире, необоснованные предположения, в истинности которых мы никогда не можем быть уверены: "С развиваемой нами здесь точки зрения все законы и теории остаются принципиально временными, предположительными или гипотетическими даже в том случае, когда мы чувствуем себя неспособными сомневаться в них" [3]. Эти предположения невозможно верифицировать, их можно лишь подвергнуть проверкам, которые рано или поздно выявят ложность этих предположений.