Проблема универсального языка науки в логическом позитивизме.

Можно выделить два исторических корня логического позитивизма. Так в своей программной статье «Поворот в философии» немецко-австрийский философ Мориц Шлик представил генетическую линию развития от Лейбница до Б.Рассела и Г.Фреге. Сама идея «Венского кружка» была инициирована «Principia Mathematica» Рассела и Уайтхеда. Основанием и развитием логики формальных отношений была заложена основа для будущей грандиозной эпистемологической реформы. Став вторым после аристотелевской классической логики силлогизмов инструментом познания, математическая логика послужила материалом строительства здания новой единой науки (своего рода Нового Органона Наук). Успехи, достигнутые в логике, убеждали в силе рациональных процедур мышления, заставляли верить в скорое и неизбежное слияние наук (при доминировании физики, биологии и математики). Отсюда пошло и название — «позитивизм». Задача, поставленная перед «венцами» — разработка системы критериев оценки качества теоретического вывода. Поэтому самое распространенное понимание позитивизма этого времени — это тезис единства метода.

Другое родовое понятие позитивизма — это система языка. Шлик считал, что Л. фон Витгенштейн был «первым, кто приблизился» к идеям позитивной науки в 1922 году в "Логико-философском трактате ".

Новая методология проводила активный отбор пригодного научного знания и начала с атак на метафизику. «Философия — это не наука» — утверждал М. Шлик. Требование заменить содержательность как сверхзадачу формальностью стало важным этапом освобождения научного метода от химер и мистификаций обыденного сознания, что напомнило борьбу Бэкона с идолами. В целом 30-40е годы XX века европейская наука встретила в жарких спорах при общей победе рационализма. Наука, воодушевленная успехами естествознания и объяснявшая этот прорыв совершенством метода, предприняла попытку восстановить единое знание о мире и природе. «Набрав сил, огонь познания охватывает и остальное. Эти моменты свершения и горения — самое существенное. Весь свет познания идет от них. Поисками источника этого света философ на самом деле и занят, когда он ищет последний фундамент познания».

Начальное влияние на развитие раннего логического позитивизма оказали философы науки Эрнст Мах и Людвиг Витгенштейн.

Э. Мах оказал очевидное влияние на развитие логического позитивизма, рассуждая о метафизике, единстве науки и интерпретации теоретических терминов в науке. Так же Мах выдвинул доктрины редукционизма и феноменализма.

Л. Витгенштейн ввёл несколько доктрин логического позитивизма в своей работе «Логико-философский трактат» (Tractatus logico-philosoficus). В этом трактате он подчеркнул основные положения логического позитивизма:

1. язык есть граница мышления (то есть они совпадают).

2. есть только один мир, мир фактов и событий. Они описываются различными естественными науками.

3. предложение — картина мира, так как имеет с миром одну и ту же логическую форму. «Если бы мир был нелогичным, его нельзя было бы представить в форме предложения»

4. сложные предложения состоят из элементарных, которые непосредственно соотносятся с фактами

5. высшее невыразимо (то есть этику, эстетику, религию нельзя познавать фактами)

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

Чрезвычайная узость верификационного критерия демаркации и осмысленности не могла не вызвать протеста. Этот критерий не только уничтожал философию, но отсекал и наиболее плодотворную часть самой науки. Все научные термины и предложения, относящиеся к идеализированным или просто к чувственно невоспринимаемым объектам, с точки зрения этого критерия оказывались бессмысленными. Оставшаяся часть науки лишалась своих законов. Большая часть научных законов имеет форму общих предложений, например, "Все тела при нагревании расширяются". Для верификации подобных предложений требуется бесконечно много частных предложений вида "Тело А при нагревании расширяется", "Тело В при нагревании расширяется" и т.п. Но мы не в состоянии сформулировать и проверить бесконечное количество протокольных предложений. Следовательно, законы науки неверифицируемы и должны быть объявлены бессмысленными. Однако что же будет представлять собой наука, если ее лишить законов?

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

Универсальное утверждение, по всей видимости, никогда не может быть проверено: Вы не можете утверждать, что все вороны черные, пока не поймаете всех воронов, в том числе из прошлого и из будущего? Это приведёт к большому объёму работ по индукции в сочетании с верификацией а фальсификацией.

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

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