Как уже было отмечено, в отличие от Витгенштейна члены Венского кружка пришли к выводу, что можно анализировать и выражать в языке логическую форму языковых выражений. Осуществление такого анализа стало одной из главных задач в творчестве Карнапа. Воспринимая язык как систему знаков[45], организованную согласно определенным правилам, Карнап проводил четкую границу между естественными и формализованными языками. Если правила естественных языков являются эмпирическими обобщениями, полученными при описании действительного лингвистического употребления или поведения, и изучаются эмпирической лингвистикой, то правила формализованных языков представляют собой соглашения, явно сформулированные для конкретных целей их создателями. Вслед за Расселом и Витгенштейном Карнап полагал, что для философии интересны именно вторые языки, поскольку только с их помощью можно выявить правильную логическую форму языковых выражений. Кроме того, под влиянием А. Тарского Карнап принял строгое различение объектного языка и метаязыка: объектный язык используется для того, чтобы говорить об объектах, находящихся вне этого языка, тогда как метаязык — это язык, в котором описываются и анализируются свойства объектного языка[46]. Именно таким образом Карнап надеялся преодолеть вывод Витгенштейна о мистической невыразимости логической формы языковых выражений.
Вначале исследования Карнапа сосредоточились на «синтаксическом» аспекте языка, и им была выдвинута идея логического синтаксиса языка как чисто аналитической теории о структуре его выражений. Эта идея нашла выражение в книге Карнапа «Логический синтаксис языка» (1934), в которой форма (или структура) выражения характеризовалась через указание входящих в нее знаков и порядка их соединения без каких-либо ссылок на их значение. Цель создаваемой теории заключалась в том, чтобы продемонстрировать возможность определения основных понятий формальной дедуктивной логики (доказуемости, логической независимости и т. п.) в чисто синтаксических понятиях, но параллельно Карнап сделал несколько важных философских выводов. Во-первых, как он отметил позже в своей «Интеллектуальной автобиографии», знакомство с совершенно разными формализованными языками (языками «Principia Mathematica», модальной логики К. И. Льюиса, интуиционистской логики Л. Брауэра и А. Гейтинга и др.) подвело его к осознанию бесконечного многообразия возможных языковых форм. Карнап понял, что нельзя говорить о некой «правильной языковой форме», потому что различные формы имеют разные преимущества и в разных отношениях [Carnap, 1963а, p. 68]. Это послужило основанием для формулировки им «принципа терпимости» или «принципа конвенциональности языковых форм» [Carnap, 1937, p. 51–52], который провозглашает свободу каждого в выборе языка и, стало быть, в выборе логики. При этом языковые формы, среди которых осуществляется выбор при решении той или иной задачи, включают не только исторически возникшие естественные языки или исторически разработанные символические языки математики, но также любой новый язык, который кто-либо пожелает создать. Во-вторых, в «Логическом синтаксисе языка» Карнап попытался показать на многочисленных примерах, как философские тезисы и вопросы при надлежащем анализе оказываются говорящими не о каких-либо сущностях и объектах, а о свойствах используемого языка, которые могут быть охарактеризованы при помощи синтаксических понятий. Карнап предложил различать материальный и формальный модусы речи: предложения, сформулированные в материальном модусе, сообщают об объектах, в то время как предложения в формальном модусе говорят о словах. В философии предложения, которые выглядят как предложения об объектах, при внимательном анализе оказываются предложениями о словах, но поскольку они используются как предложения об объектах, это и приводит, по Карнапу, к возникновению псевдопроблем. Таким образом, задачи философии были сведены им к синтаксическому анализу языка.
Важным шагом в логических исследованиях Карнапа стало дополнение синтаксического анализа языка семантическим, т. е. опирающимся на понятия значения и истины. В 1920–1930-е годы главным образом усилиями логиков Львовско-Варшавской школы были заложены основы логической семантики. Так, Тарский разработал общий метод построения точных определений истины для дедуктивных языковых систем, т. е. метод формулировки правил, определяющих для каждого предложения такой системы необходимые и достаточные условия его истинности [Тарский, 1998, с. 90–129]. Эти правила формулируются в метаязыке, и каждому предложению объектного языка они ставят в соответствие задаваемые в метаязыке условия, при которых это предложение истинно[47]. Это позволяет дать строгое и точное описание отношений между предложениями языка и фактами. Взяв теорию Тарского в качестве основы, Карнап создал развернутую концепцию логической семантики в серии работ под общим названием «Исследования по семантике» («Studies in Semantics», 1942–1947)[48].
45
В одной из своих работ Карнап так характеризует язык: «Язык, как его обычно понимают, это система звуков или, скорее, привычек их производить с помощью органов речи в целях коммуникации с другими людьми, т. е. в целях влияния на их действия, решения, мысли и т. п. Помимо речевых звуков, иногда в тех же целях используют другие движения или вещи, например жесты, написанные значки, сигналы, передаваемые с помощью барабанов, флагов, труб, ракет и т. п.» [Carnap, 1942, p. 3].
46
Название и строгое обоснование необходимости различения объектного языка и метаязыка было дано А. Тарским в его статье «Понятие истины в языках дедуктивных наук» (в 1933 г. эта статья вышла на польском языке, а в 1935 г. был опубликован ее английский перевод под названием «The Concept of Truth in Formalized Languages»). Вместе с тем идею о том, что логическую структуру одного языка можно описать в другом языке, Витгенштейн обсуждал в «Логико-философском трактате», но отверг ее на том основании, что мы получили бы в результате бесконечную иерархию языков, которая не сделала бы логическую структуру выразимой.
47
Задание условий истинности предложения осуществляется по схеме: «
48
В эту серию входят «Введение в семантику» (1942), «Формализация логики» (1943) и «Значение и необходимость» (1947).