.
Итак, философское исследование науки логические позитивисты свели к анализу ее языка средствами формальной (математической) логики. В основе наиболее простой логической системы – пропозиционального исчисления – лежат простые ("атомарные") предложения: a,b,c… Из атомарных предложений с помощью логических связок (″и″, ″или″, ″если, то″ и др.) образуются сложные, "молекулярные" предложения. К наиболее употребительным логическим связкам относятся: отрицание ("неверно, что", символически: "~"); конъюнкция ("и", символически: "&"); дизъюнкция ("или", символически: "v"); импликация ("если… то…", символически:″→″). Неопозитивисты считаются основателями трехзначной логики – все научные утверждения они разделили на три вида: истинные, ложные и бессмысленные. Последние не подлежат проверке на истинность и вообще не должны относиться к науке. Для выявления и отбрасывания таких бессмысленных псевдопредложений, по их мнению, и требуется провести логический анализ научного языка. Именно такой анализ они объявили главной задачей философии.
Неопозитивисты рассматривали науку как систему утверждений, в основе которой лежат так называемые «протокольные предложения», описывающие чувственные восприятия субъекта (т. н. феноменалистический язык). Истинность этих предложений абсолютна достоверна и несомненна. Совокупность истинных «протокольных предложений» образует эмпирический базис науки. Для логического позитивизма характерно резкое разграничение эмпирического и теоретического уровней научного знания и редукция теоретического знания к эмпирическому. Любое научное предложение, по их мнению, можно свести к «протокольным предложениям», подобно тому, как любое «молекулярное» предложение математической логики может быть разложено на составляющие его «атомарные» предложения. Достоверность «протокольных предложений» передается всем другим (сложным) научным предложениям. Таким способом логические позитивисты мыслили процедуру удостоверения истинности научных знаний, которая получила название принципа верификации (от лат. verificare – доказывать истину). Согласно этому принципу, истинность всякого научного утверждения должна быть в конечном счете установлена путем его сопоставления с чувственными данными (опытом), т.е. эмпирическим путем.
Все, что не находило такую проверку, объявлялось ими псевдопроблемами и псевдоутверждениями и выбрасывалось «за борт» науки как хлам. К числу таких псевдоутверждений они отнесли прежде всего традиционные философские положения, объявленные ими метафизическими на основании невозможности их эмпирической проверки. Свою задачу неопозитивисты видели в том, чтобы устранить из научного языка «псевдонаучные» утверждения и способствовать созданию «унифицированной науки», пользующейся совершенным языком. И если первоначально образцом научного языка они считали феноменалистический язык, то позже – «физикалистский» (язык физики, в котором они видели образец точности). Так возникла модель научного знания, которую логические позитивисты считали тем стандартом, на который должны ориентироваться все науки.