Напротив, формальные науки, логика и математика, не несут никакой информации о мире, но дают возможность преобразовывать имеющееся знание о нем. Предложения этих наук аналитичны, или тавтологичны; они истинны при любом фактическом положении вещей, так как их истинность всецело определяется принятыми правилами языка и потому априорна. Таковы, например, предложения «(Здесь, сейчас) дождь идет или не идет» (A V A) или 7 + 5 = 12. Из признания аналитического (тавтологического) характера предложений формальных наук следует, что в процессе логического рассуждения имеющееся знание изменяется лишь по форме, но не по содержанию. Как говорит Карнап, «тавтологический характер логики показывает, что всякий вывод тавтологичен. Заключение всегда говорит то же самое, что и посылки (или меньше), но в другой языковой форме. Один факт никогда не может быть выведен из другого».
Неопозитивистская концепция фактуального и формального знания представляет собой абсолютизацию того относительного различия между аналитическим и синтетическим компонентами, которое может быть проведено внутри и по отношению к какой-либо системе уже сложившегося, готового знания, но становится неправомерным, если его пытаться распространить на процесс научного познания и возвести в принципиальную видовую противоположность наук, ибо никакой абсолютной грани, отделяющей аналитические суждения от синтетических, не существует, как не существует и абсолютно априорного знания. Хотя изложенная концепция подверглась критике со стороны некоторых видных буржуазных логиков и философов науки (Куайн, Гемпель, Пап), указывавших, в частности, на отсутствие сколько. нибудь надежного критерия аналитичности, большинство неопозитивистов упорно держатся за эту фундаментальную для их учения доктрину или, вернее, догму. Из этой догмы следует, что помимо аналитических (тавтологических) предложений логики и математики осмысленными будут только суждения эмпирических наук, т. е. либо высказывания непосредственно о фактах, либо логические следствия из таких высказываний. Предложения, представляющие собой логические следствия, имеют смысл, если они соответствуют правилам логики и могут быть сведены к эмпирическим предложениям, или высказываниям о фактах.
Высказывания о фактах всегда имеют научный смысл, если они действительно не говорят ни о чем другом, кроме фактов. Однако иногда лишь кажется, что предложение высказывает что-либо о фактах, на самом деле оно о них не говорит. Поэтому для того, чтобы выяснить, имеет ли предложение смысл или нет, необходим специальный метод. Такой метод и был предложен неопозитивистами в форме принципа верификации. Суть его состоит в том, что нужно сравнить предложение с фактами, указать конкретные эмпирические условия, при которых оно будет истинно или же ложно. «Предложение имеет смысл лишь тогда… — писал М. Шлик, — когда я могу указать, при каких обстоятельствах оно было бы истинным и при каких ложным». Если же мы не можем указать, каким образом следует проверить, истинно ли данное предложение, то мы не можем и понять его и произносим слова, лишенные смысла. Метод проверки (верификации) играет чрезвычайно важную роль: он не только выясняет, истинно предложение или ложно, но и устанавливает, в чем состоит его смысл. Ибо, как говорит Карнап, «предложение высказывает только то, что в нем может быть проверено». Иначе говоря, «значение предложения заключается в методе его проверки». Таким образом, согласно логическим позитивистам, осмысленность суждения (предложения) определяется не его содержанием, но чисто формальным критерием: возможностью точно указать эмпирические условия его истинности.
Применяя принцип верификации, можно, например, легко установить, что предложение «на улице идет дождь» вполне осмысленно, ибо можно указать метод его проверки: — выглянуть в окно. Предложения же, носящие «метафизический» характер, например: «Существует всемогущий бог» или «Ничто ничтожествует» (Хайдеггер), бессмысленны и представляют собой псевдопредложения, так как никакой метод их эмпирической проверки не может быть указан. Не только «метафизические» понятия и суждения, но и этические и эстетические суждения неопозитивисты объявили бессмысленными. Подобного рода суждения, по их мнению, не содержат высказываний о фактах, а выражают лишь настроение говорящего, оценку им того или, иного поступка, почему и являются псевдопредложениями.
Неопозитивисты уверяют, что принцип верификации отвечает требованиям строгой научности и направлен против бездоказательной спекулятивной метафизики. Поскольку в идеалистической философии накопилось огромное множество искусственных, часто малопонятных терминов и выражений, борьбу неопозитивистов за ясность и четкость языка науки, за точное определение философских понятий можно было бы приветствовать, если бы за ней не скрывалась борьба против материализма.
Подобно позитивистам XIX в. неопозитивисты, говоря о преодолении и изгнании «метафизики», имеют в виду прежде всего признание материалистами объективного существования материального мира и его отражения в сознании человека. Они утверждают, что их философия не есть ни материализм, ни идеализм, что у них своя, «третья линия» в философии. Но в действительности их философия направлена против материализма. Объективную реальность внешнего мира они прямо не отрицают, но всякий «метафизический» вопрос о существовании объективного мира, об объективной природе воспринимаемых в опыте явлений считают псевдовопросом. Этой цели — борьбе против признания объективной реальности — и служит принцип верификации. В самом деле, чтобы верифицировать предложение, нужно указать факты, которые делают его истинным (или ложным). Но что такое факт для неопозитивиста? Это заведомо не объективная реальность, так как все высказывания о ней запрещаются как бессмысленные. Так, например, утверждение о том, что роза, аромат которой я вдыхаю, материальна и существует объективно, равно как и утверждение о том, что она существует лишь в воспринимающем сознании, с точки зрения неопозитивистов, одинаково лишены смысла. Буду ли я считать розу материальной или идеальной, это не повлияет на тот факт, что я чувствую ее запах, и она от этого не станет пахнуть хуже или лучше. И только этот факт, заявляют неопозитивисты, может быть предметом осмысленного высказывания. Отсюда видно, что под фактами неопозитивисты понимают ощущения, переживания — словом, состояния сознания. Значит, в процессе верификации можно сравнить предложение только с «чувственными со-держаниями», с «данным» ощущений или переживаний. Все научные понятия, согласно Карнапу, «могут быть сведены к коренным понятиям, которые связаны с „данным“, с непосредственным содержанием переживаний…». Но «чувственные содержания» не существуют вне опыта субъекта; принцип верификации, таким образом, неизбежно ведет к солипсизму.
Принцип верификации доставил неопозитивистам немало хлопот. Прежде всего, поскольку сам этот принцип нельзя отнести ни к аналитическим, ни к синтетическим суждениям, ему не находится места в неопозитивистской схеме научного знания и его следует признать бессмысленным. Оказалось, далее, что ни одно утверждение о прошлых или будущих событиях не поддается верификации в том смысле, в каком ее принимали логические позитивисты, и что ни один научный закон или общее суждение типа «все люди смертны» не могут быть верифицированы, ибо верификация всегда относится к данному «чувственному содержанию» или к конечному числу фактов. Стремясь спасти свою доктрину, логические позитивисты пошли сперва на ослабление принципа верификации, заменив актуальную верификацию верифицируемостью, т. е. принципиальной возможностью проверки, а затем подтверждаемостью, т. е. возможностью хотя бы частичного эмпирического подтверждения. Но при этом выявились новые трудности, связанные с крайней неопределенностью понятия частичной подтверждаемости и с обнаружившейся возможностью найти частичное подтверждение даже для таких утверждений, которые считались бессмысленными.