Общая установка зарождающегося направления неопозитивизма достаточно прозрачна и обоснована. Поскольку любая наука - это прежде всего научная теория, а она, в свою очередь, представляет собой некоторую языковую систему, то проблема отличения науки от ненауки, научных высказываний от ненаучных может быть решена на лингвистическом уровне.
Соответственно в качестве эталона науки выступает та языковая система, которая относительно проста, логична и легко проверяема. Кпупнейшим представителем аналитической философии (философии лингвистического анализа) был логик и философ Л. Витгенштейн (1889 - 1951). Он был учеником Б. Рассела (1872 - 1970) - одного из основоположников аналитической философии. С точки зрения Л. Витгенштейна в качестве эталона науки выступает формальная логика, задающая общие критерии научности. При этом утверждается, что эмпирическое знание дано человеку в чувственном восприятии и познание здесь возможно с абсолютной достоверностью. Теоретическое же знание, в свою очередь, сводится к эмпирическому. Таким образом, функции науки можно свести к описанию явлений, а роль философии к анализу языка научной теории. "Цель философии - логическое прояснение мыслей. Результат философии - не некоторое количество "философских представлений", но прояснение предложений" (Витгенштейн Л. Логико-философский трактат. М., 1958. С. 50).
По мнению Л. Витгенштейна, любое высказывание, имеющее смысл, должно быть сводимым к атомарным предложениям, которые, в свою очередь, являются лишь описаниями. Понятно, что философские (метафизические) высказывания свести к атомарным и эмпирически проверяемым предложениям нельзя, поэтому они, по мнению философа, должны быть отнесены к разряду псевдовысказываний, которые, в свою очередь, с позиции научного анализа лишены всякого значения, а значит, бессмысленны.
Поскольку наука - это прежде всего научная теория, эмпирический уровень которой представляет собой систему фактических высказываний о реальном мире, то критерий научности имеет прежде всего эмпирический характер (подтверждаемость). Философия не может быть научной теорией, так как система ее высказываний не несет никакой фактической информации о мире и поэтому ее положения не могут быть подтверждены. Данный подход к демаркации философии и науки постепенно выкристаллизовывается в известный принцип верификации. Предложение считается научным, если оно верифицируемо, т. е. если его следствия не противоречат базисному знанию, которое представляет собой совокупность протокольных предложений, достоверных описаний опытных данных. Если некоторые предложения нельзя верифицировать, то они не являются научными и должны быть изъяты из научной теории.
Однако последовательное проведение данного принципа ставит под сомнение научный статус не только таких дисциплин, как, например, история или психология, но и естественных наук, которые часто базируются на утверждениях, которые не проверяются (например, понятие эфира в ньютоновской физике). Предложенная модель оказывается очень узкой, так как заставляет отказаться от общих предложений науки, то есть от ее законов, достоверность которых нельзя обосновать с помощью верификации. Поэтому полное ее проведение потенциально возможно лишь в искусственном языке, тогда как реальный научный язык, являющийся расширением естественного языка за счет внедрения в него соответствующей научной терминологии и широко использующий универсальные предложения, не позволяет провести верификацию научных законов.
Немецко-американский логик и философ Р. Карман (1891 - 1970) исследовал, прежде всего, языковые структуры науки. Он пришел к выводу о том, что в них одновременно присутствуют два типа высказываний. Это, во-первых, высказывания, составляющие каркас научной системы, то есть ее теоретическая часть. Высказывания здесь носят осмысленный характер. И во-вторых - обшие высказывания, которые составляют неосмысленный блок знания, то есть философские высказывания. Одновременно в языке науки присутствуют термины, которые несводимы к терминам наблюдения. Все это привело к тому, что неопозитивизм сам стал отказываться от жесткого проведения принципа верификации, "ослаблять" его. В частности, было предложено считать положение верифицируемым, если существует логическая возможность его проверки. На деле это означало расширение принципа верификации, так как проверке не подлежат лишь бессмысленные выражения. Затем вводится принцип физической возможности верификации и т.д.
