Выше отмечалось, что основное предназначение философии, согласно логическому позитивизму, состоит в анализе языковой формы знания. Эту задачу может выполнить отнюдь не традиционная метафизика, а только новая преобразованная философия, которая в результате неопозитивистской реорганизации становится строгой, точной, т.е. специальной дисциплиной, а именно логикой науки. Ее предметом является наука, а главной функцией - обслуживание науки. Это значит, что философия не должна содержать знания о мире, бытии; задача получения такого знания переходит к специальным наукам; тогда старая метафизика вследствие этого остается без своего предмета. Позитивисты утверждают, что в предшествующие эпохи философы верили в существование метафизики природы - области более глубокой и фундаментальной, чем любая эмпирическая наука. В связи с этим задача философии состояла в интерпретации метафизических истин. Современные философы науки не верят в существование такой метафизики. Старая философия природы была заменена философией науки.
Эта новая философия не имеет дела ни с открытием фактов и законов, ни с метафизическими рассуждениями о мире. Вместо этого она обращает внимание на саму науку, исследуя понятия и методы, которые в ней используются, их возможные результаты, формы рассуждения и типы логики, которые в ней применяются. Логический позитивизм использует для анализа языка науки средства математической логики, и целью такого анализа, как уже говорилось, является построение идеального научного языка. Идеальный научный язык должен быть унифицированным, составляющим логическую основу, структуру единой науки, включающим строгие точные осмысленные понятия и высказывания. Анализ отталкивается от принятой логическими позитивистами классификации суждений, согласно которой выделяются абсурдные высказывания, нарушающие правила грамматики и логики, например: "Цезарь есть простое число", вненаучные, лишенные научного смысла, т.е. возможности быть проверенными эмпирически и чувственным наблюдением, и научные, которым можно приписать значение "истинный" или "ложный".
Основанием классификации выступает верификация, т.е. проверка на истинность высказываний путем их сопоставления с данными непосредственного чувственного наблюдения, опыта. Иными словами, процедура верификации устанавливает осмысленность предложений и, прежде всего, их научный смысл, т.е. соответствие или несоответствие данным чувственного опыта, что позволяет определить их истинность или ложность. В результате установления осмысленности высказываний появляется возможность, согласно логическому позитивизму, разграничения науки и ненаучных форм знания. При этом имеющие научный смысл предложения должны быть сведены к протокольным предложениям, которые не нуждаются в верификации, поскольку полностью соответствуют непосредственному так называемому чистому чувственному опыту и являются достоверным базисом научного знания.
Предложения, несводимые к протокольным, бессмысленны, лишены эмпирического значения и поэтому должны быть элиминированы. Однако подобным образом организованная процедура верификации была недействительна по отношению к высказываниям о будущем и прошлом. Кроме того, узость сугубо эмпирицистского критерия верификации приводила к тому, что лишенными смысла оказывались принципы, понятия, законы, идеализированные объекты, на основе которых строятся научные теории, т.е. теоретическое знание самой науки. Поэтому логические позитивисты смягчили верификационный критерий, обосновав непосредственную и косвенную верификации и тем самым ослабив в какой-то мере требование непосредственной увязки теоретического знания с данными чувственного опыта, так что правило верификации превращается в логическую возможность, в так называемую принципиальную верифицируемость.