Подобно логическим позитивистам, Поппер противопоставляет теорию эмпирическим предложениям. К числу последних он относит единичные предложения, описывающие факты, например, "Здесь стоит стол", "10 декабря в Москве шел снег" и т.п. Совокупность всех возможных эмпирических или, как предпочитает говорить Поппер, "базисных" предложений образует некоторую эмпирическую основу науки. В эту основу входят и несовместимые между собой базисные предложения, поэтому ее не следует отождествлять с языком истинных протокольных предложений логических позитивистов. Научная теория, считает Поппер, всегда может быть выражена в виде совокупности общих утверждений типа "Все тигры полосаты", "Все рыбы дышат жабрами" и т.п. Утверждения такого рода можно выразить в эквивалентной форме: "Неверно, что существует не-полосатый тигр". Поэтому всякую теорию можно рассматривать как запрещающую существование некоторых фактов или как говорящую о ложности базисных предложений. Например, наша "теория" утверждает ложность базисных предложений типа "Там-то и там имеется не-полосатый тигр". Вот эти базисные предложения, запрещаемые теорией, Поппер называет "потенциальными фальсификаторами" теории. "Фальсификаторами" - потому, что если запрещаемый теорией факт имеет место и описывающее его базисное предложение истинно, то теория считается опровергнутой. "Потенциальными" - потому, что эти предложения могут фальсифицировать теорию, но лишь в том случае, когда будет установлена их истинность. Отсюда понятие фальсифицируемости определяется следующим образом: "теория фальсифицируема, если класс ее потенциальных фальсификаторов не пуст".
Процесс фальсификации описывается схемой умозаключения modus tollens. Из теории Т дедуцируется базисное предложение А, т.е. согласно правилам логики верно предложение "Если Т, то А". Предложение А оказывается ложным, а истинным является потенциальный фальсификатор теории не-А. Из "Если Т, то А" и "не-А" следует "не-Т", т.е. теория Т ложна и фальсифицирована.
Поппер отверг индукцию и верифицируемость в качестве критерия демаркации. Их защитники видят характерную черту науки в обоснованности и достоверности, а особенность не-науки, скажем метафизики, - в не-достоверности и ненадежности. Однако полная обоснованность и достоверность в науке недостижимы, а возможность частичного подтверждения не помогает отличить науку от не-науки: например, учение астрологов о влиянии звезд на судьбы людей подтверждается громадным эмпирическим материалом. Подтвердить можно все что угодно - это еще не свидетельствует о научности. То, что некоторое утверждение или система утверждений говорят о физическом мире, проявляется не в подтверждаемости их опытом, а в том, что опыт может их опровергнуть. Если система опровергается с помощью опыта, значит, она приходит в столкновение с реальным положением дел, но это как раз и свидетельствует о том, что она что-то говорит о мире. Исходя из этих соображений, Поппер в качестве критерия демаркации принимает фальсифицируемость, т.е. эмпирическую опровержимость: "Для эмпирической научной системы должна существовать возможность быть опровергнутой опытом".
Итогом и концентрированным выражениям фальсификационизма является схема развития научного знания, принимаемая Поппером. Как мы уже отмечали, фальсификационизм был порожден глубоким философским убеждением Поппера в том, что у нас нет никакого критерия истины и мы способны обнаружить и выделить лишь ложь. Из этого убеждения естественно следует: 1) понимание научного знания как набора догадок о мире - догадок, истинность которых установить нельзя, но можно обнаружить их ложность; 2) критерий демаркации - лишь то знание научно, которое фальсифицируемо; 3) метод науки - пробы и ошибки. Научные теории рассматриваются как необоснованные догадки, которые мы стремимся проверить - с тем, чтобы обнаружить их ошибочность. Фальсифицированная теория отбрасывается как негодная проба, не оставляющая после себя следов. Сменяющая ее теория не имеет с ней никакой связи, напротив, новая теория должна максимально отличаться от старой теории. Развития в науке нет, признается только изменение: сегодня вы вышли из дома в пальто, но на улице жарко; завтра вы выходите в рубашке, но льет дождь; послезавтра вы вооружаетесь зонтиком, однако на небе - ни облачка, п вы никак не можете привести свою одежду в соответствие с погодой. Даже если однажды вам это удастся, все равно, утверждает Поппер, вы этого нe поймете и останетесь недовольны. - такова в общих чертах фальсификационистская методология Поппера.
Фаллибилизм (от англ. fallible — подверженный ошибкам, погрешимый) — направление постпозитивизма, согласно которому любое научное знание принципиально не является окончательным, а есть лишь промежуточная интерпретация истины, подразумевающая последующую замену на лучшую интерпретацию. Принцип фаллибилизма пересекается с принципом толерантности Поппера.
Понятие «фаллибилизм» было разработано Чарльзом Сандерсом Пирсом, который утверждал, что в любой данный момент времени наше знание о реальности носит частичный и предположительный характер, есть точка в континууме недостоверности и неопределённости. Идею развивали Карл Поппер и Уиллард Ван Орман Куайн. «Нельзя ошибиться только в том, что всё наше знание ошибочно».
