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