В доказательстве бессмысленности метафизических положений логические позитивисты усматривают одну из своих главных заслуг. Они разработали критерии, якобы дающие возможность надежно различать бессмысленные метафизические высказывания и осмысленные научные положения. Если их «рабочим» методом был логический анализ, то критерием и одновременно принципом, разграничивающим метафизические и научные высказывания, объявлялась верификация. Суть логического анализа, который неопозитивисты рассматривали в качестве основной философской процедуры, заключался в следующем. Вся наука складывается из предложений двух типов: логико-математических (аналитических, тавтологических) и эмпирических (фактических). Так, предложение как «2 x 2= 4» тавтологично, так как сводится к предложению «4 = 4». Таково же предложение «Всё холостяки неженаты», поскольку мы можем заменить слово «холостяк» его словарным значением, получив: «Все неженатые люди – неженаты». Предложения этого типа служат как бы логическим каркасом научной теории. Их критерий – законы формальной логики. Напротив, предложения «В этой комнате 4 стула» или «Все холостяки эксцентричны» относятся к эмпирическим, поскольку они могут быть проверены подсчетом стульев в комнате или путем наблюдения за привычками холостяков. Все остальные предложения или ошибочны, будучи построены в нарушении правил синтаксиса и логики, или же (если они не сводимы ни к тавтологии, ни к некоторому акту опыта) «метафизичны», т.е. научно неосмысленны, абсурдны.

Отличие эмпирических предложений от «метафизических» логический позитивизм осуществляет на основе предложенного М. Шликом «принципа верификации», который играет в неопозитивизме решающую роль. Он оказывается одновременно критерием истинности предложения и принципом «демаркации» (разграничения) эмпирических (научных) и (метафизических) предложений. Принцип верификации – это проверка предложений с целью установления их научной осмысленности, а затем их истинности или ложности на основе сравнения с опытными данными. Согласно принципу верификации, критерием истинности суждения является его соответствие чувственному опыту субъекта. В случае, если суждение не поддается сопоставлению с опытом, оно считается и не истинным, и не ложным, но лишенным научного смысла, т.е. вненаучным, бессмысленным.

Таким образом, логический анализ и верификация – таковы отличительные особенности логического позитивизма. Может сложиться впечатление, что логический позитивизм – это довольно простое, ясное и вполне убедительное учение: если ты хочешь говорить со смыслом и претендовать на научность, то изволь пользоваться только такими предложениями, которые, с одной стороны, непротиворечивы, а с другой – могут быть проверены на опыте. Представители неопозитивизма неоднократно пытались убедить читателей в независимости принципа верификации от каких-либо философских предпосылок. Однако на деле он неотъемлем от субъективно-идеалистической позиции в философии и неизбежно ведет к солипсизму. Возражая против этого, Рассел пишет: «Гипотеза, что звездное небо существовало во все времена, и гипотеза, что оно существует только тогда, когда я его вижу, совершенно тождественны во всех тех следствиях, которые я могу проверить». Но как тогда быть, например, с таким предложением: «Существует независимо от существования субъекта реальность»? Оно ведь не поддается верификации, поскольку требует для своей проверки субъекта там, где его, по содержанию предложения, не должно быть. Как и все прочие философские предложения, оно не верифицируется, а значит не истинно и не ложно, а «лишено научного смысла». Согласно принципу верификации нельзя проверить предложение: «Я переживу свою телесную смерть». Псевдопроблемой является и вопрос о существовании бога. Неопозитивизм отрицает не истинность предложения «Бог существует», а его принадлежность к числу предложений науки.