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