Верифікація висловлювання (Перевірка його істинності) полягає в отриманні кінцевого числа висловлювань, фіксують дані спостережень (безлічі так званих протокольних пропозицій), з яких логічно випливає дане висловлювання.
Отже, зведення всіх осмислених положень досвідчених наук до класу синтетичних висловлювань містить в собі два припущення:
- існує якийсь базисний рівень знання, безліч так званих протокольних пропозицій;
- відносини між науковими поняттями вичерпуються зв'язками формально-логічного характеру.
Ці два припущення разом з верифікаційним критерієм розкривають зміст поняття "синтетичне вислів "і в той же час дають загальне уявлення про неопозитивистская розумінні природи наукового знання.
Зведення неопозітівістамі всіх положень науки до класу синтетичних суджень - це певна конкретизація закону Конта - закону підпорядкування уяви спостереження. Але якщо у Конта сенс цієї формули досить невизначений, то у неопозітівістов вона означає, що позитивним знанням про світ є знання, виражене в висловлюваннях, зміст яких зводиться до змісту протоколів спостереження.
Звідси випливає, що колишня філософія, "метафізика", оголошується неопозітівістамі нісенітницею.
Філософія, по неопозітівізму, є не теорія, а діяльність. Зміст цієї діяльності знайшло відображення в те, як став називатися неопозитивізм з 40-х років 20 століття - філософія аналізу.
Предметом цієї філософії є діяльність з аналізу понять і положень конкретних наук з метою прояснення їх сенсу. Завдання філософа - за допомогою певної логічного техніки здійснити перехід від висловлювань конкретних наук до пропозицій, які можуть бути зіставлені з чуттєвими даними.
Отже, філософія по неопозітівізму - тільки аналітична діяльність з відшукання сенсу понять і пропозицій конкретних наук.
Формальна логіка, за неопозітівізму, є методом позитивної філософії.
При цьому, на думку логічних позитивістів, позитивна філософія повинна аналізувати тільки результати пізнання - поняття і пропозиції конкретних наук. На їх думку, процес пізнання підлягає розгляду тільки в психології, а з'єднання воєдино аспектів знання і пізнання не має сенсу.
Представники логічного позитивізму внесли певний внесок у розробку логічного апарату (Логічна семантика, імовірнісна логіка), який хоча і розглядався ними як засіб філософського аналізу.
Логіко-позитивістська доктрина аналізу наукового знання чим далі, тим більше виявляла своє невідповідність реальної науковій практиці, філософським осмисленням якої вона себе уявляла. У підсумку серед аналітичних філософів загальновизнаним стало думка про те, що ця концепція, що претендувала на точність, строгість і доказовість тверджень, на перетворення філософії в вид спеціалізованої діяльності, сама є лише варіантом "метафізики", причому варіантом явно неспроможним. З констатації цього факту виходять ті напрями, які прийшли на зміну логічному позитивізм...