Этот модус (modus tollens) Поппер и предполагает взять в качестве основания новой методологии: заменить принцип верификации логических позитивистов на принцип фальсификации, ибо постоянная критика ведет к отбрасыванию ложных представлений и приближает их к истине.
Принцип фальсификации Поппер выдвигает как критерий научности, т. к. любая теория должна обладать потенциальной возможностью входить в противоречие с эмпирическими фактами. Поэтому, фальсифицируемость здесь рассматривается на критериальном уровне, ибо одной верификации не достаточно. Если же теоретический конструкт неопровергаем, то мы, по утверждению Поппера, скорей всего, имеем дело с идеологией.
С другой стороны, чем больше имеется неудачных попыток опровержения, тем более устойчивой оказывается теория, тем более она продуктивна и сохраняет статус научной истины. В этом случае мы имеем дело с хорошо корроборированной>42 методологической системой. Поэтому фальсифицируемость есть логическое отношение между системой теоретического знания и классом потенциальных фальсификаторов.
Еще один видный представитель критического рационализма венгерский философ Имре Лакатос вводит в структуру методологии науки новое понятие «исследовательская программа». Заметим, что если Поппер и логические позитивисты используют в своих рассуждениях в качестве исходной и основной компоненты анализа понятия «теория» или «совокупность теорий», то у Лакатоса единицей методологического анализа является «исследовательская программа». В его понимании это множество теорий, принимаемых последовательно друг за другом во времени и сосуществующих вместе. Все эти теории относятся к одной программе, потому что обладают общим началом: они имеют объединяющие их фундаментальные идеи и принципы>43.
Исследовательская программа структурно состоит из трех основных элементов: ядра программы, позитивной и негативной эвристики. Ядро исследовательской программы – это ее жесткая неизменяемая часть, представляющая собой совокупности фундаментальных теоретических принципов, конкретно-научных и метафизических допущений об онтологической природе исследуемой области и общей стратегии ее изучения. Если же исследовательская программа прогрессивно объясняет больше, нежели конкурирующая, то она вытесняет последнюю, которая может быть устранена