Так или иначе, согласно Шлику, философ имеет дело с языком, хотя не с формальными правилами пользования словами, но с установлением их значений.
Как же конкретно может работать логический анализ языка? На первых порах Карнап полагал, что этот анализ должен носить чисто формальный характер или, иначе говоря, должен исследовать чисто формальные свойства слов, предложений и т. д. Сфера логики науки, следовательно, исчерпывалась «логическим синтаксисом языка». Его большая работа так и называлась «Логический синтаксис языка» (1934).
Эта работа содержала, главным образом, анализ ряда сугубо технических проблем построения некоторых искусственных языков. Что же касается философского смысла данной работы, то он состоял в том, чтобы реализовать этими техническими способами позитивистскую установку на исключение из употребления всех метафизических предложений, т. е. на отказ от использования языка метафизики.
Выше говорилось, что для логических позитивистов все философские проблемы сводились к языковым. Если для Спенсера природа той абсолютной силы, которая лежит в основе всех явлений мира, оставалась навсегда непознаваемой, а для Маха природа исходного субстрата Вселенной была нейтральной, т. е. ни материальной, ни идеальной, то для Карнапа и логических позитивистов предложения, касающиеся объективного бытия вещей или их материальной или идеальной природы, являются псевдопредложениями, т. е. сочетаниями слов, лишенными смысла. Согласно Карнапу, философия, в отличие от эмпирических наук, имеет дело не с объектами, но только с предложениями об объектах науки. Все «объектные вопросы» относятся к сфере частных наук, предметом философии являются только «логические вопросы». Реалистическое предложение примет такую форму: «Каждое предложение, содержащее указание на вещь, равносильно предложению, содержащему указание не на вещи, но на пространственно-временные координаты и физические функции, что очевидно истинно».
Таким образом, благодаря синтаксическому подходу к философским утверждениям, переводу их в формальный модус речи, проблемы, которые якобы содержатся в этих утверждениях, обнаруживают, по Карнапу, свой иллюзорный характер. В некоторых же случаях может оказаться, что они представляют собой лишь различные способы говорить об одном и том же. Отсюда вывод: во всех случаях необходимо указывать, к какой языковой системе относится тот или иной тезис (высказывание).
Итак, по Карнапу, всякое осмысленное предложение есть либо объектное предложение, относящееся к какой-либо специальной науке, либо синтаксическое предложение, принадлежащее к логике или математике. Что касается философии, то она представляет собой совокупность истинных предложений о языках специальных наук. В связи с этим возникают два новых вопроса:
1. Каков критерий истинности или хотя бы осмысленности объектных предложений?
2. Все ли науки говорят на одном и том же языке, а если нет, то нельзя ли сконструировать такой общий язык?
Первый вопрос ведет к теории верификации (см. на с. 243– 244), второй – к теории единства науки и физикализму.
Несомненно, логический анализ языка, в особенности языка науки, не только вполне правомерен, но и необходим, особенно в период быстрого развития науки и ломки научных понятий. Такой анализ во все времена в той или иной степени был делом философов, а в какой-то мере и специалистов в различных областях знаний. Вспомним хотя бы Сократа с его стремлением докопаться до истинного значения, скажем, понятия о справедливости. В наше время эта задача стала еще более важной в связи с созданием математической логики, использованием различных знаковых систем, компьютеров и т. д.
Но свести всю функцию философии к логическому анализу языка – значит упразднить значительную часть того ее реального содержания, которое складывалось на протяжении двух с половиной тысячелетий. Это равносильно запрету заниматься анализом содержания коренных мировоззренческих проблем. Критики неопозитивизма считают, что, с точки зрения его сторонников, главное занятие философа состоит в том, чтобы разрушить философию. Правда, эта тенденция, высказанная неопозитивистами первоначально в категорической форме, впоследствии была значительно смягчена. Тем не менее все логические позитивисты все-таки полагали, что философия имеет право на существование лишь как анализ языка, прежде всего языка науки.
Возникает вопрос – какие высказывания, т. е. какие слова и сочетания слов, имеют научный характер, а какие его не имеют. Необходимо это якобы для того, чтобы очистить науку от предложений, лишенных научного смысла.
Нет нужды доказывать, что сама по себе постановка вопроса о специфике научных высказываний является важной и нужной. Это реальная проблема, имеющая большое значение для самой науки, для логики науки и теории познания. Как отличить высказывания подлинно научные от высказываний, лишь претендующих на научный характер, но в действительности им не обладающие? В чем отличительный признак научных высказываний?
Вполне естественно стремление найти такой универсальный критерий научности, который можно было бы безошибочно применять во всех спорных случаях. И логические позитивисты хотели отыскать такой единый признак высказываний, наличие или отсутствие которого сразу же могло решить вопрос о научном статусе того или иного предложения. Их попытка закончилась неудачей, но сама она была поучительной и принесла известную пользу; в значительной мере неудача была предопределена самим их замыслом. Они были заинтересованы не только в объективном анализе природы научного знания и языка науки, но и в том, чтобы не стать на точку зрения материалистического ее истолкования.
В своем понимании строения или структуры науки логические позитивисты непосредственно опираются на труды Витгенштейна, но, по существу, их взгляды восходят еще к Юму. Фундаментальным положением для неопозитивистской трактовки научного знания является разделение всех наук на формальные и фактуальные. Формальные науки – логика и математика, фактуальные – науки о фактах, все эмпирические науки о природе и человеке. Формальные науки ничего не говорят о фактах, предложения в них не несут никакой фактической информации; эти предложения аналитичны, или тавтологичны, справедливы для любого действительного положения вещей, потому что они его не затрагивают. Таковы, например,
а + b = b + a
7 + 5 = 12
а = а
Все предложения логики, считает Карнап, «тавтологичны и бессодержательны», поэтому из них ничего нельзя заключить о том, что необходимо или что невозможно в действительности или какой она не должна быть. Истинность предложений формальных наук имеет чисто логический характер; это логическая истина, вытекающая всецело из одной только формы предложений. Данные предложения не расширяют нашего знания. Они служат лишь для его преобразования. Логические позитивисты подчеркивают, что такого рода преобразования не ведут к новому знанию. По словам Карнапа, тавтологический характер логики показывает, что всякий вывод тавтологичен; заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме, один факт никогда не может быть выведен из другого.
Исходя из такого характера логики, Витгенштейн утверждал, что в природе нет никакой причинной связи.