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