Основной вариант неопозитивизма - логический позитивизм сформировался в так называемом "Венском кружке" логиков, философов, математиков и социологов, который возник в 1923г. в Венском университете под руководством М. Шлика (1882-1936). В кружок входили Р. Карнап (1891-1970), О. Нейрат (1882-1945), Л. Витгенштейн (1889-1951) и др.

В другие страны логический позитивизм пришел уже в виде сложившегося течения. Его развивали Айэр, К. Поппер (Англия), А. Тарский, Айдукевич (Польша) и другие. Неопозитивисты восприняли негативное отношение классического позитивизма к философии.

По мнению, например, Карнапа предложение философии не выражают никакого конкретного содержания. Философия вообще выступает как неадекватная замена искусства.

Место прежнего огромного количества разнообразных философских учений прошлых веков, ничего не давших, кроме заблуждения, по мнению Карнапа, должна занять "Логика науки"[1]. Она преследует две основные цели:

1) элиминировать из науки все не имеющие познавательного смысла рассуждения и псевдопроблемы;

2) обеспечить в результате анализа построение логических моделей осмысленного рассуждения.

В качестве идеального средства решения этих задач принимается разработанный в ХХ в. аппарат математической логики. Тем самым философия лишается своей традиционной проблематики и превращается в своего рода метатеоретической инструмент исследования структуры науки.

Логический позитивизм как и философия логического анализа много внимания уделяет вопросам построения формализованных языков.

Но главную свою цель он видит в исследовании значения языковых знаков, форм выражения понятий в этих языках, синтаксических правил этих языков.

В качестве критерия осмысленности предложений формализованных языков логический позитивизм выдвинул принцип верификации - сопоставление предложений с чувственным опытом. Отсюда и другое название логического позитивизма: логический эмпиризм.

Научно осмысленная может быть такая теория, которая подтверждается эмпирическими фактами. Осмысленной может быть и теория, которая опровергается фактами.

Она считается ложной. Понятие "факта", таким образом, является в логическом позитивизме центральным. Анализу этого понятия посвящена огромная литература.

Но, не смотря на все нюансы в его трактовке, все логические позитивисты сходятся в том, что научный факт - это предложение какого - то языка, описывающие данные какого-то опыта.

Но совокупность атомарных, лишенных связей предложений не составляет еще теории. В истинной теории предложения должны быть связаны между собою.

Отправляясь от этой идеи, логический позитивизм разрабатывает логическую семантику, которая формализует отношение между знаками и обозначаемыми предметами безотносительно к природе последних, а также математическую логику, которая формализует процедуру установления истинности предложений с формальными условиями выводимости в каком-то языке.

Истинность предложений теории и самой теории отождествляется с совместимостью ее предложений. Тем самым логический позитивизм возрождает в иной форме аристотелевско-лейбницевский критерий истины: достаточным основанием истинности формальной теории является ее непротиворечивость.

Таким образом, процесс познания отождествляется логическим позитивизмом с последовательностью операций по фиксации чувственных данных посредством знаков, установлению соотношений внутри последних, приведению этих соотношений в какую-то систему, дедуктивному выведению из этой системы ("логической конструкции") предсказаний о будущем опыте (фактов) и, наконец, изменению этой системы в случае обнаружения в ней внутренних противоречий или несоответствия выведенных в них предложений опыту.

Надо сказать, что такое понимание познавательного процесса сыграло положительную роль в развитии методологии дедуктивных наук, разработки математического аппарата кибернетики, исследовании оснований математики и физики. Но как оказалось оно не снимало всех проблем научного познания.

Прежде всего из теоремы Геделя о неполноте арифметики следовал вывод об ограниченности метода формализации (по Геделю, не существует никакой системы аксиом, опираясь на которую можно было бы формальным путем, т.е. оперируя только знаками и правилами выводов из знаков, построить арифметику одну из самых простых математических дисциплин).

Еще более сложные проблемы возникли вокруг принципа верификации. В ходе поиска причин его всеобщего действия обнаружилось, что он не очевиден и сам требует доказательства, т.е. сам подлежит верификации.

Верификация принципа верификации в свою очередь подлежит верификации и т.д. до бесконечности. Все попытки решения этих трудностей хотя и не увенчались успехом, принесли огромную пользу для науки, ибо стимулировали логические исследования, исследования в области семантики, вероятностной логики и др. отраслей знания.