Язык, онтология и реализм. Л. Б. Макеева

xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:fb="http://www.gribuser.ru/xml/fictionbook/2.0" xmlns:fo="http://www.w3.org/1999/XSL/Format" xlink:href="#n_45" type="note">[45], организованную согласно определенным правилам, Карнап проводил четкую границу между естественными и формализованными языками. Если правила естественных языков являются эмпирическими обобщениями, полученными при описании действительного лингвистического употребления или поведения, и изучаются эмпирической лингвистикой, то правила формализованных языков представляют собой соглашения, явно сформулированные для конкретных целей их создателями. Вслед за Расселом и Витгенштейном Карнап полагал, что для философии интересны именно вторые языки, поскольку только с их помощью можно выявить правильную логическую форму языковых выражений. Кроме того, под влиянием А. Тарского Карнап принял строгое различение объектного языка и метаязыка: объектный язык используется для того, чтобы говорить об объектах, находящихся вне этого языка, тогда как метаязык – это язык, в котором описываются и анализируются свойства объектного языка[46]. Именно таким образом Карнап надеялся преодолеть вывод Витгенштейна о мистической невыразимости логической формы языковых выражений.

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