Глава 17

жее отношение у других людей или побуждающий их к действиям того или иного рода». Этот подход к этике, более полно разработанный Ч. Л. Стивенсоном в его статье «Убедительные дефиниции» («Mind», 1938) и в книге «Этика и язык» (1944), способствовал подрыву той точки зрения, что любое утверждение, имеющее форму S есть Р, содержит описание S. Так был открыт путь для свободного обсуждения разнообразных способов функционирования утверждений, хотя исходная дихотомия «дескриптивное или эмотивное» была вскоре отброшена как фиксирующая лишь несущественное различие.

Из тех представителей семантики, чья работа была близка к идеям «Значения значения», наиболее основательный и систематичный анализ предложил Ч. У. Моррис 15. Он также многим обязан Пирсу; по существу, его работа представляет собой подробный комментарий к теории знаков Пирса, и он также является философом-бихевиористом. В своей работе «Основания теории знаков» (US, 1938) он выделил в «семиотике», как общей теории знаков, три дисциплины: «синтактику», описывающую отношения знаков друг к другу, «семантику», описывающую способы обозначения, и «прагматику», описывающую отношение между знаками и их интерпретаторами. Предложенное им разделение нашло широкое признание. Самого Морриса главным образом интересовала интерпретация; в частности, он надеялся показать, что интерпретация знаков — это не «индивидуальная» ментальная деятельность, а способ наблюдаемого поведения. В итоге он был вынужден пересмотреть свою первоначальную характеристику «семиотики». Он пришел к выводу, что делал слишком сильный акцент на языке; правильный подход к теории знаков, с его точки зрения, был предложен Пирсом: в нем первичными считаются те способы поведения, при которых наше действие выступает следствием нашей «интерпретации» ситуации. Поэтому характерным образцом «поведения, использующего знаки», будет не чтение книги, а надевание плаща при виде туч. По существу, в работе Морриса «Знаки, язык и поведение» «семантика» смещается в социальную психологию.

Семантика в более строгом философском смысле обязана своим происхождением не Огдену и Ричард су, а Тарскому. Историческая справедливость требует, чтобы мы вначале рассмотрели творчество Лесьневского и Котарбиньского, которым Тарский многим обязан. Но их работы или еще не опубликованы, или опубликованы только на польском; для мира за пределами Польши польская семантика начинается с выхода в немецком переводе статьи Тарского 1933 г. по семантической концепции истины 16.

Как полагали Карнап и Нейрат, в целях изгнания демона метафизики, такие выражения, как «значение», «истина», «десигнация», должны быть определены чисто синтаксическим способом (т. е. как обозначающие свойства предложений в формальной системе). Попытка Карнапа довести до конца выполнение этой программы в «Логическом синтаксисе языка» толкнула его на отчаянные действия: например, он истолковывает предложение «во вчерашней лекции говорилось об Африке» как вводящий в заблуждение способ выразить утверждение, что «вчерашняя лекция содержала слово "Африка"»! Карнап приветствовал семантику Тарского, ибо она устраняла необходимость делать такие неестественные «переводы», хотя некоторые

Логика, семантика и методология

==311

непреклонные позитивисты были убеждены в том, что Тарский является метафизиком в обличье формалиста.

Кроме того, Тарский обещал избавление от «семантических парадоксов». По его мнению, эти парадоксы нельзя разрешить ни в одном «семантически замкнутом» языке, т. е. языке, содержащем не только предложения, но и имена предложений (например, «снег бел» является именем предложения снег бел) и такие характеристики предложений, как «истинно», «ложно», «синонимично». В любом семантически замкнутом языке можно построить предложения вида «все истинные предложения есть -X», т. е. предложения, относящиеся к самим себе; согласно Тарскому, парадоксы возникают незамедлительно и неминуемо, как только мы допускаем в языке такие самореферентные предложения. Аргументы Тарского оказались полезным инструментом в борьбе формалистов против философии «обычного языка»; по мнению формалистов, поскольку наш разговорный язык содержит такие «самореферентные» выражения, он неизбежно порождает неразрешимые парадоксы 17.

Определение истины Тарского, представляющее собой самый известный его вклад в семантику, начинается с формулировки условий «материальной адекватности» для любого такого определения; с его точки зрения, из адекватного определения истины должна следовать такая эквивалентность: «Предложение "снег бел" истинно, если и только если снег бел». В общем случае, если р — предложение, а Х — имя этого предложения, то из определения истины должны следовать все эквивалентности вида «X истинно, если и только если р». Следует отметить, что сама эта эквивалентность — хотя иногда утверждается обратное — не является определением истины; она лишь формулирует условия, которым должно удовлетворять такое определение.

Для устранения этой самореферентности выражений мы должны, продолжает Тарский, определить «истину» в метаязыке, причем достаточно богатом и содержащем все предложения объектного языка (поскольку любое из них можно подставить вместо р в классе эквивалентностей, выводимых из определения), а также содержащем имена для всех этих объектных предложений и такие общелогические выражения, как «если и только если». В этом метаязыке Тарский в конечном счете формулирует определение истины, которое, по его мнению, удовлетворяет требованию материальной адекватности и не оставляет никакой лазейки для парадоксов. Это определение мы здесь опустим из-за его технической сложности.

Многие философы сомневались в ценности подобных формальносемантических экзерсисов, но у Карнапа колебаний не было; он с энтузиазмом ухватился за новые методы, предлагаемые Тарским 18. Поэтому в последующих работах он отождествляет философию не с синтаксисом, а с «семиотикой» — здесь он пользуется терминологией Морриса; многие вопросы, как, например, вопрос о значении, ранее рассматриваемые им в синтаксических терминах, теперь стали для него чисто семантическими проблемами 19. Но это не означает, что в его работе стало меньше формализмов; напротив, его «Формализация логики» (1943) представляет собой попытку формализовать такие семантические выражения, как «истинно», «ложно», «истинностное значение», «значение переменной», которые, к

==312