Возможно, кому-то вопрос о том, как ставилась и решалась проблема соотношения реальности и языка в рамках логического позитивизма, покажется, по меньшей мере, надуманным, ибо ни одно философское направление в XX в. не выразило такого принципиального неприятия метафизики, как логический позитивизм. Однако, на наш взгляд, рассмотрение вклада логических позитивистов в решение этой метафизической проблемы представляет немалый интерес. В пользу этого можно привести два соображения. Во-первых, в философии нередко случается так, что уход от решения какой-либо проблемы на деле неявно предполагает определенное ее решение. В свое время английский неогегельянец Френсис Брэдли остроумно заметил, что человек, утверждающий невозможность метафизики, является собратом-метафизиком, просто придерживающимся иной теории. Так и логические позитивисты, объявившие вопрос о связи между языком и реальностью «бессмысленной псевдопроблемой», по сути, предложили определенное решение этого вопроса, заняв тем самым некоторую метафизическую позицию. Наиболее четко и ясно это решение представлено в теории языковых каркасов Рудольфа Карнапа (1891–1970). Во-вторых, логические позитивисты отводили ключевую роль исследованию языка. Для них философия имела право на существование только как логический анализ языка. Им удалось получить ряд важных результатов в области изучения языка, которые заставили изменить взгляд и на то, как язык соотносится с реальностью. Поэтому логический позитивизм составляет важный этап в развитии рассматриваемой нами темы в рамках аналитической философии. Во многом это является заслугой Карнапа, позиция которого и будет изложена в этом параграфе.

Как уже было отмечено, в отличие от Витгенштейна члены Венского кружка пришли к выводу, что можно анализировать и выражать в языке логическую форму языковых выражений. Осуществление такого анализа стало одной из главных задач в творчестве Карнапа. Воспринимая язык как систему знаков[45], организованную согласно определенным правилам, Карнап проводил четкую границу между естественными и формализованными языками. Если правила естественных языков являются эмпирическими обобщениями, полученными при описании действительного лингвистического употребления или поведения, и изучаются эмпирической лингвистикой, то правила формализованных языков представляют собой соглашения, явно сформулированные для конкретных целей их создателями. Вслед за Расселом и Витгенштейном Карнап полагал, что для философии интересны именно вторые языки, поскольку только с их помощью можно выявить правильную логическую форму языковых выражений. Кроме того, под влиянием А. Тарского Карнап принял строгое различение объектного языка и метаязыка: объектный язык используется для того, чтобы говорить об объектах, находящихся вне этого языка, тогда как метаязык – это язык, в котором описываются и анализируются свойства объектного языка[46]. Именно таким образом Карнап надеялся преодолеть вывод Витгенштейна о мистической невыразимости логической формы языковых выражений.

Вначале исследования Карнапа сосредоточились на «синтаксическом» аспекте языка, и им была выдвинута идея логического синтаксиса языка как чисто аналитической теории о структуре его выражений. Эта идея нашла выражение в книге Карнапа «Логический синтаксис языка» (1934), в которой форма (или структура) выражения характеризовалась через указание входящих в нее знаков и порядка их соединения без каких-либо ссылок на их значение. Цель создаваемой теории заключалась в том, чтобы продемонстрировать возможность определения основных понятий формальной дедуктивной логики (доказуемости, логической независимости и т. п.) в чисто синтаксических понятиях, но параллельно Карнап сделал несколько важных философских выводов. Во-первых, как он отметил позже в своей «Интеллектуальной автобиографии», знакомство с совершенно разными формализованными языками (языками «Principia Mathematica», модальной логики К.И. Льюиса, интуиционистской логики Л. Брауэра и А. Гейтинга и др.) подвело его к осознанию бесконечного многообразия возможных языковых форм. Карнап понял, что нельзя говорить о некой «правильной языковой форме», потому что различные формы имеют разные преимущества и в разных отношениях [Carnap, 1963