Аналогичной неудачей закончилась попытка логических позитивистов сформулировать адекватный критерий демаркации. В философии науки XX в. проблемой демаркации
называют проблему проведения разграничительной линии между наукой и другими формами духовной деятельности — философией, религией, искусством и т.п. Отличается ли наука от философии и мифа, а если отличается, то чем? Эта проблема весьма сильно занимала логических позитивистов, и они затратили большие усилия на ее решение. Однако логико-гносеологические предпосылки их концепции не позволили найти удовлетворительного решения проблемы демаркации. Они пытались провести резкую границу между наукой и ненаукой, но выяснилось, что эта граница весьма условна и исторически изменчива.Опираясь на понимание научного знания как описания чувственно данного и руководствуясь аналогией с экстенсиональной логикой, в которой истинность молекулярных предложений устанавливается обращением к значениям истинности атомарных предложений, логические позитивисты в качестве критерия демаркации избрали верифицируемость
: предложение научно только в том случае, если оно верифицируемо, т.е. сводимо к протокольным предложениям, и его истинность устанавливается наблюдением; если же предложение неверифицируемо — оно лежит вне науки. Протокольные предложения не нуждаются в верификации, так как представляют чистый чувственный опыт и служат эмпирической основой для верификации всех других предложений. Все остальные предложения языка науки должны быть верифицированы для того, чтобы доказать свою научность. Процесс верификации выявляет чувственное содержание научных предложений, если некоторое предложение нельзя верифицировать, то это означает, что оно не обладает чувственным содержанием и его следует изгнать из науки. Более того, логические позитивисты объявили верифицируемость не только критерием демаркации, но и критерием осмысленности: только верифицируемые предложения имеют смысл, неверифицируемые предложения бессмысленны. В частности, предложения философии неверифицируемы, следовательно, они не только лежат вне науки, но просто бессмысленны.Чрезвычайная узость верификационного критерия демаркации и осмысленности не могла не вызвать протеста. Этот критерий не только уничтожал философию, но отсекал и наиболее плодотворную часть самой науки. Все научные термины и предложения, относящиеся к идеализированным или просто к чувственно невоспринимаемым объектам, с точки зрения этого критерия оказывались бессмысленными. Оставшаяся часть науки лишалась своих законов. Большая часть научных законов имеет форму общих предложений, например, “Все тела при нагревании расширяются”. Для верификации подобных предложений требуется бесконечно много частных предложений вида “Тело А при нагревании расширяется”, “Тело В при нагревании расширяется” и т.п. Но мы не в состоянии сформулировать и проверить бесконечное количество протокольных предложений. Следовательно, законы науки неверифицируемы и должны быть объявлены бессмысленными. Однако что же будет представлять собой наука, если ее лишить законов?
Попытка найти критерий научности, который позволил бы нам сказать, что — наука, а что — псевдонаучная болтовня или ненаучная спекуляция, политическая демагогия или очередной миф, — такая попытка безусловно имеет смысл. Однако история верификационного критерия логических позитивистов показала, что стремление найти некоторый абсолютный критерий, провести абсолютную границу не может привести к успеху.
Первоначальная модель науки и научного прогресса в логическом позитивизме была настолько искусственна и примитивна, настолько далека от реальной науки и ее истории, что это бросалось в глаза даже самим ее создателям. Они предприняли отчаянные попытки усовершенствовать эту модель с тем, чтобы приблизить ее к реальной науке. При этом им пришлось постепенно отказаться от своих первоначальных логико-гносеологических установок. Однако несмотря на все изменения и усовершенствования, модель науки логического позитивизма постоянно сохраняла некоторые особенности, обусловленные первоначальной наивной схемой. Это прежде всего выделение в научном знании некоторой твердой эмпирической основы; резкая дихотомия эмпирического — теоретического и их противопоставление; отрицательное отношение к философии и всему тому, что выходит за пределы эмпирического знания; абсолютизация логических методов анализа и построения научного знания; ориентация в истолковании природы научного знания на математические дисциплины и т.д.