На вопрос, почему соль называется солью, не только не считаем нужным, но и не находим никакой возможности ответить. Единственное объяснение этого "так говорят"1.
      2.1.1 МОДЕЛИРОВАНИЕ КОНВЕНЦИИ
      Признание конвенционального характера языковых значений свойственно не исключительно какой-либо одной философской школе, но является более или менее общим местом в объяснении природы значения. В то же время основания, по которым оно может быть оспорено (и было оспорено, например, У. Куайном2) достаточно очевидны.
      Согласно Куайну, предполагаемые языковые конвенции не могут иметь форму эксплицитного соглашения. Если представить, что употребление языковых выражений (вообще говоря, естественного языка в целом) регламентируется соглашением, заключенным между членами языкового сообщества, то возникающий при этом вопрос таков: на каком языке велось бы обсуждение такого соглашения? Ведь такое допущение фактически уводит в дурную бесконечность.
      Кроме того, мы достоверно знаем о себе, что мы никогда ни с кем не договаривались об употреблении выражений естественного языка. Мы также никогда не сталкивались с достоверным описанием факта заключения такого соглашения. Предложенное описание такого события было бы воспринято нами как метафора.
      Итак, идея конвенции вызывает на уровне обыденной очевидности возражения двух родов:
      1. опытное. Ни мы, ни другие люди не заключали такого соглашения.
      2. теоретическое (модельное). Неясно, каким образом могло бы быть осуществлено заключение такого соглашения.
      С такой точки зрения, мы не располагаем такой концепцией соглашения, которая позволила бы языку быть конвенциональным; мы можем констатировать, что ситуация действительного использования знаков естественного языка имеет форму ситуации существования соглашения об их использовании, но мы не можем сказать, в силу чего она имеет такую форму. Мы можем продолжать разделять такой подход, как и сам Куайн, но мы не приблизимся тем самым к лучшему пониманию языка. Поэтому даже продолжая использовать миф о языковой конвенции, мы должны иметь в виду, что в действительности речь идет о не более чем о регулярностях, наблюдаемых в нашем использовании языка, и это все, о чем у нас есть основания говорить в этой связи.
      Тем не менее разговор о более отвлеченном понятии, чем эмпирически фиксируемая регулярность в употреблении знаков, оправдан уже в том отношении, что все члены языкового сообщества способны отличить правильное употребление от неправильного; правила, которым можно следовать, так или иначе существуют в сознании членов сообщества. Принятие этих правил, согласие им следовать может быть описано через разделение некоторого соглашения - подобно тому, как это происходит с формальными (искусственными) знаковыми системами, когда некоторое количество людей договаривается между собой о значении определенных знаков. Можно предположить, что значение знаков естественного языка также имеет форму условного значения.
      Для формальных языков такое описание было предложено, например, К. Айдукевичем в концепции "радикального конвенционализма". Айдукевич вводит такие логические понятия языка, переводимости и т.д., которые не могут быть адекватными соответствующим понятиям лингвистики: он накладывает на них настолько жесткие ограничения, что для естественных языков они оказываются неприменимыми. Тем не менее они могут, с его точки зрения, рассматриваться как упрощенные схемы, идеализированные модели лингвистических объектов3.
      Если понимать язык как систему выражений, наделенных значением, то для его однозначной характеристики необходимо и достаточно установить запас выражений, а также значения, принадлежащие выражениям в этом языке. С такой точки зрения, устанавливая значения выражений, мы тем самым устанавливаем возникающие между ними связи, на основании которых можно сформулировать некоторые правила употребления выражений, называемые правилами значения.
      Рассмотрим два примера:
      1. Если кто-либо, говорящий на русском языке, отказывается признать выражение "Треугольник имеет три угла", то мы с полным правом можем сделать вывод, что этот человек связывает со словами этого выражения не те значения, которые принадлежат им в русском языке. То же самое можно сказать, если кто-нибудь признает выражение "Иван старше Петра" и одновременно отрицает "Петр моложе Ивана", или же признает "Если А, то В" и предыдущий член этого выражения "А", но вместе с тем отрицает "В". Если мы пользуемся значениями, которые имеют слова этих выражений в русском языке, мы обязаны признавать выражения, вытекающие из первых.
      2. Если кто-либо испытывает чувство боли и вместе с тем отказывается признать выражение "болит", то он связывает с этим словом не то значение, которое принадлежит ему в русском языке.
      Отсюда можно установить следующие правила: только тот пользуется выражениями языка L в значении, которое они имеют в этом языке, кто всегда, находясь в ситуации S, готов признать выражение типа Т. Такого вида правила Айдукевич и называет правилами значения языка.
      Он выделяет три вида правил:
      1) аксиоматические правила значения, указывающие те выражения, отрицание которых, независимо от ситуации, в которой это отрицание происходит, указывает на нарушение присущих данному языку значений;
      2) дедуктивные правила значения, выделяющие пары выражений такого вида, что, признав первое выражение, нужно быть готовым признать и второе, если не нарушать значений, присущих словам данного языка;
      3) эмпирические правила значения, ставящие в соответствие опытным данным определенные выражения, которые нужно признавать, чтобы не нарушать значений слов данного языка.
      В приведенных выше примерах выражение "Треугольник имеет три угла" является аксиомой языка и подчиняется аксиоматическому правилу. Два последующих примера иллюстрируют дедуктивные правила, и, наконец, четвертый подчиняется эмпирическому правилу значения.
      Таким образом, совокупность правил значения языка при наличии определенных данных опыта выделяет класс предложений этого языка вместе с суждениями, образующими их значения. Мы не можем их отрицать, не нарушая значений слов этого языка. К ним принадлежат:
      1) предложения, являющиеся, в силу своей тавтологичности, аксиомами языка, признание которых не зависит от ситуации;
      2) предложения, признавать которые нас вынуждают эмпирические правила значения при наличии определенных опытных данных;
      3) предложения, которые можно вывести на основе дедуктивных правил из аксиом или высказываний, установленных с помощью эмпирических правил значения.
      Выделение этих типов правил позволяет Айдукевичу ввести понятия связанного и замкнутого языка.
      Связанный язык. Два выражения называются непосредственно связанными по смыслу в тех случаях, когда:
      * оба входят в состав одного и того же предложения, продиктованного аксиоматическим правилом значения, либо
      * оба входят в состав одного и того же предложения, продиктованного эмпирическим правилом значения, либо
      * оба содержатся в одной и той же паре предложений, связанных дедуктивным правилом.
      Если все выражения какого-либо языка нельзя разложить на два непустых класса так, чтобы ни одно из выражений первого класса не было непосредственно связано по смыслу с каким-либо выражением второго класса, то такой язык Айдукевич называет связанным языком. В противном случае язык будет несвязанным.
      Замкнутый язык. Язык является открытым, если существует другой язык, содержащий все выражения первого с теми же самыми значениями, но в который входят также выражения, не содержащиеся в первом языке, причем по крайней мере одно из этих выражений непосредственно связано по смыслу с каким-либо выражением, содержащимся также и в первом языке. Язык, который не является открытым, называется замкнутым. Открытый язык беднее, чем соответствующий ему замкнутый. В открытом языке можно увеличить запас выражений, не изменяя их значения, и таким образом преобразовать его в замкнутый язык. Если же замкнутый язык дополнить новыми выражениями, то он перестанет быть связанным и распадется на два самостоятельных языка.
      Система всех значений, принадлежащих выражениям замкнутого и связанного языка, составляет понятийный аппарат данного языка, а совокупность суждений, образованных из элементов этого понятийного аппарата и навязанных нам правилами значения на основе опытных данных, можно назвать картиной мира, связанной с этим понятийным аппаратом.
      Основной тезис радикального конвенционализма Айдукевич формулирует следующим образом:
      ..Все суждения, которые мы признаем и которые составляют нашу картину мира, не являются еще однозначно детерминированными опытными данными, а зависят также от выбора понятийного аппарата, с помощью которого мы отображаем данные опыта. Мы можем, однако, выбрать тот или другой понятийный аппарат, вследствие чего изменится и вся наша картина мира. Это значит, что, пока кто-либо пользуется некоторым понятийным аппаратом, данные опыта заставляют его признавать определенные суждения. Однако... он может выбрать другой понятийный аппарат, на основе которого те же самые опытные данные не вынуждают его больше признавать эти суждения...4 Вместе с изменением понятийного аппарата меняются и проблемы, которые мы решаем, опираясь на те же самые опытные данные5.
      Практически в тех же терминах излагается, например, принцип лингвистической относительности Сепира - Уорфа, который будет рассмотрен ниже. Б. Уорф также утверждал, что "сходные физические явления позволяют создать сходную картину Вселенной только при сходстве или, по крайней мере, при соотносительности языковых систем"6. Формулировки Уорфа и Айдукевича почти дословно повторяют друг друга; но если Уорф строил обоснование своего принципа чисто эмпирически, то Айдукевич попытался дать его теоретическое доказательство. Для этого ему потребовалось понятие замкнутого языка, так как если язык представляет собой открытую систему, то его всегда можно дополнить таким способом, чтобы включить в него все слова и соответствующий понятийный аппарат другого языка. Картина мира оказалась бы зависимой от понятийного аппарата, но не от структуры языка.
      Тем не менее естественный язык представляет собой открытую систему в том отношении, что он постоянно в процессе исторического развития изменяет свой лексический и грамматический состав. Поэтому, если бы даже Айдукевичу удалось обосновать корректность понятия замкнутого языка, то это понятие трудно было бы применить к естественному языку (например, воспользоваться им для подтверждения гипотезы лингвистической относительности).
      Однако причины, по которым Айдукевич вскоре после создания своей концепции отказался от нее, были связаны с достижениями логики - прежде всего с появлением теоремы Тарского об истинности. Согласно Тарскому, понятие истинности непротиворечивой формализованной системы, охватывающей рекурсивную арифметику, неопределимо в этой системе. (И, далее, семантическая замкнутость языка является причиной семантических парадоксов.) По Айдукевичу же, об истинности картины мира, созданной в рамках замкнутого и связанного языка при помощи понятийного аппарата, принадлежащего этому языку, можно говорить, лишь используя этот понятийный аппарат.
      Тем не менее, несмотря на подобную ограниченность этой попытки формализации, понятие конвенции применимо к ситуации употребления формального языка или другого искусственного кода хотя бы на уровне обыденного здравого смысла. Для каждой из таких ситуаций факт заключения соглашения является эксплицитным - например, язык эсперанто, дорожные знаки или таблица Менделеева. И именно это обстоятельство коренным образом отличает такой тип ситуаций от ситуации употребления естественного языка и затрудняет привлечение понятия конвенции для ее объяснения.
      Единственный описанный случай заключения конвенции по поводу естественного языка - это изложенная в Библии история о соглашении Бога с Адамом об употреблении родовых терминов7.
      Бог образовал из земли всех животных полевых и всех птиц небесных, и привел их к человеку, чтобы видеть, как он назовет их, и чтобы, как наречет человек всякую душу живую, так и было имя ей.
      Бытие 2:19
      Вне зависимости от того, понимать ли этот текст метафорически или иным способом, в силу своей огромной ассоциативной нагруженности он представляет чрезвычайно содержательную модель номинации. Обеспечение стабильности знака предстает здесь онтологическим принципом, отношение к которому важно для любой возможной теории языка, поскольку она берется заключать об именах (знаках языка) как о соответствиях вещей.
      Прежде всего, здесь получает обоснование инструментальное понимание языка, лежащее в основе конструктивной парадигмы. Между языком и актом создания устанавливается связь, вооружающая человека некоторым полаганием, убежденностью по поводу сути, сущности, заложенных в каждом слове языка той убежденностью, которую сегодня философы-аналитики называют "verbal belief". Наделение именами животных является актом творения - утверждением подлинного, актуального места человека в мировом процессе, символом контроля человека, поскольку номинация естественных родов конституирует некоторые идентичности способов существования различных частей мира.
      Называя вещи, Адам делал их такими, каковыми им надлежало быть и каковы они есть сейчас. Имя становилось неотъемлемой принадлежностью и важнейшей органической частью называемого. В оригинальном тексте на иврите онтологичность описываемого акта номинации еще более очевидна: употребленное здесь в значении "имя" слово hashem означает также и "Бог". Дать имя в этом смысле означает придать Божественное начало, вложить Божественное содержание, конституирующее уникальность вещи в ее целостности и позволяющее идентифицировать вещь.
      С такой точки зрения связь между вещью и ее именем не (или, по крайней мере, не только) выступает как нечто внеположное (данное) человеку, но определяется языковой деятельностью человека. Вместе с тем конкретность приведенной модели дает основания для реализующего это положение конвенционального подхода к анализу природы языка. Содержание имени здесь ставится в зависимость от того способа, которым Адам употребляет это имя. Принимая этот способ, Бог тем самым заключает с Адамом соглашение о его дальнейшем употреблении. Имя является произвольно выбранным знаком, установленным в результате общего согласия конкретного языкового сообщества. Участие члена сообщества в языковом коммуникативном акте выражает его согласие на принятие соответствующего кода.
      Приведенное описание предстает также и историей того, как Бог наделил Адама речью. Это первый случай произнесения Адамом слов; до этого он лишь слушал Бога. После того, как животные не проходят на роль "помощника, соответственного человеку", Бог создает второго человека - женщину, способную выступать в роли собеседника и поддержать языковую конвенцию. Имя ей также дает Адам, поэтому уже начиная со второго человека - первого нового члена конвенции - соглашение выступает для нового члена свершившимся фактом постольку, поскольку он может лишь принять его либо - с самыми саморазрушительными последствиями - отвергнуть8, но не изменить преднамеренно его условия. Согласие Евы, в отличие от согласия Адама, уже не выражается волеизъявлением: оно внедряется необходимостью существовать внутри данного сообщества, принятым порядком вещей, традицией и образованием.
      Поскольку необходимость принятия конвенции носит внеязыковой характер, постольку конвенция выступает внешним стабилизатором значения. Но поскольку необходимость следовать грамматическим (внутриязыковым) правилам также может быть рассмотрена как результат конвенции, постольку она предстает и внутренним стабилизатором. В связи с этим может быть задан следующий вопрос: о чем, собственно, заключено подразумеваемое соглашение? Что является предметом конвенции? Иными словами,
      что значит "условиться об употреблении языковых выражений"?
      2.1.2 КОНВЕНЦИОНАЛЬНОСТЬ В УСЛОВИЕ-ИСТИННОСТНЫХ КОНЦЕПЦИЯХ ЗНАЧЕНИЯ
      Если мы считаем, что предметом конвенции является значение языковых выражений, то тем самым подразумевается, что мы уже знаем, чтo имеем в виду, когда говорим, что данное высказывание имеет данное конкретное значение. Но ведь именно для прояснения понятия значения мы и привлекаем представление о конвенции. Для размыкания намечающегося таким образом круга привлекаются как и для определения значения в более широком рассмотрении, а не только в связи с конвенцией - внешние по отношению к языку феномены: намерения и цели говорящего, а также его убеждения, желания и т.д. Конвенция в таком случае призвана объяснять связь (или, скорее, управлять связью) между языковыми значениями, с одной стороны, и установками и действиями людей, описываемыми в нелингвистических терминах, с другой.
      Исходя из подобных соображений, Д. Дэвидсон выделяет три подхода к анализу понятия конвенции (возможны их любые комбинации):
      1. теории, утверждающие конвенциональный характер связи произносимого предложения с намерениями говорящего или с какой-либо более общей целью;
      2. теории, анализирующие конвенциональный характер каждого предложения (в том смысле, что буквальное значение каждого предложения, согласно Дэвидсону, не зависит от его скрытой цели);
      3. теории, доказывающие наличие конвенции, связывающей конкретные слова с их экстенсиональным или интенсиональным значением9.
      По мнению Дэвидсона, с помощью конвенции можно связать значения употребляемых нами слов (то есть их буквальные семантические свойства, включая истинность) с той целью, для достижения которой мы их употребляем (например, для того, чтобы высказать истину)10. Дэвидсон предпринимает подробный разбор теорий конвенции, предложенных М. Даммитом (пункт 1) и Д. Льюисом (пункт 3), применительно к понятию коммуникативного намерения и приходит к следующему выводу:
      Несмотря на то, что при помощи принципа конвенциональности мы можем описать одно из общих свойств языкового общения, этот принцип не дает объяснения, что же такое само языковое общение. ... нельзя с уверенностью утверждать наличие убеждений, желаний, намерений у существ, лишенных возможности пользоваться языком. Как убеждения, желания, намерения - это условия существования языка, так и язык является условием для их существования. Однако возможность приписания тому или иному существу убеждений и желаний есть условие для того, чтобы иметь с ним общие конвенции. ... конвенция не является условием существования языка. Поэтому я считаю, что философы, рассматривающие конвенцию как необходимый элемент языка, ставят все с ног на голову: на самом деле язык есть условие для выработки конвенций11.
      Говорить о том, что "на самом деле" вторая крайность лучше первой - и, в частности, оспаривать наличие у животных намерений и полаганий, не говоря уже о желаниях - можно, видимо, лишь в одном отношении: допуская, что конвенция позволяет нам принимать определенные утверждения за истинные в определенной ситуации. Дэвидсон следует здесь направлению анализа, предложенному, например, Даммитом:
      ...существует общая конвенция о том, что высказывание того или иного предложения (за исключением особых контекстов) понимается как намерение высказать предложение, содержащее истину12.
      Понятие коммуникативного (или, возможно, декларативного) намерения используется здесь для экстериоризации конвенционального значения, его выведения из "тумана внутреннего". Подобное стремление к большей определенности соответствует общей для современной философии языка тенденции перехода от автономного изучения семантического и прагматического аспектов значения к их совместному, целостному рассмотрению. Но в таком случае, поскольку мы признаем ту или иную связь значения выражения с условиями его истинности, постольку мы должны объяснить, каким образом истинность выражения может быть конвенциональна.
      Здесь недостаточно обоснования конвенционального характера самой истины: представления такого рода ("унаследованные нами знания имеют бледно-серый цвет - они черны от фактов и белы от конвенций"13) не мешали Куайну выдвигать упоминавшиеся выше возражения против языковой конвенции.
      Дэвидсон привлекает для объяснения Т-конвенцию Тарского, в соответствии с которой, как он считает, удовлетворительная теория истины для языка L должна полагать, что для каждого предложения s из L существует теорема формы "s истинно, если и только если р", где "s" заменяется описанием s, а "р" самим s (или переводом s на тот язык, совокупность всех тривиально истинных предложений которого единственным образом определяют объем понятия истины для его носителя, если L не является таковым). Отвлекаясь от собственно определения истинности, Т-конвенция воплощает нашу интуицию о том, как должно использоваться понятие истины применительно к языковым выражениям14.
      По мнению самого Дэвидсона, его теория находится в рамках стандартной теории истины Тарского - или, по крайней мере, очень хорошо согласуется с ней. Тот вариант подхода Тарского, который принял Дэвидсон, стал настолько популярен, что его, по мнению С. Крипке, уже стали путать с исходным подходом Тарского15.
      В самом деле, предъявленное Дэвидсоном требование выводимости Т-утверждений формально совпадает с требованием, сформулированным Тарским для понятия истины в формализованных языках16. Вместе с тем, по замечанию А. Л. Блинова, в условие-истинностных концепциях значения Т-утверждения призваны играть роль, в некотором смысле противоположную той роли, которую они играют в теории истины Тарского17. Цель, которую ставил перед собой Тарский, заключалась в том, чтобы дать "содержательно адекватное и формально корректное" определение истины для формализованных языков. В условно-истинностной теории значения предикат "истинно" рассматривается как исходное, а не определяемое в рамках теории понятие. Предполагая, что понятие истинности уже задано предварительно, Дэвидсон использует построение Тарского для формулировки требований, предъявляемых к теории значения: если дано предложение S языка L, то утверждение о его значении вида "S значит P" может быть заменено соответствующим Т-утверждением.
      Тем не менее язык, о котором идет речь у Тарского - формальный, а не естественный язык, и, соответственно, его употребление регулируется ad hoc'овой, а не тотальной (по выражению Блинова), т.е. заключенной между всеми членами языкового сообщества, конвенцией. Последняя очевидным образом отличается по форме от первой: она не была заключена явно, не ограничена во времени и т.д. Поэтому уместно задать следующий вопрос: что происходит с Т-конвенцией при использовании определения истинности "в духе Тарского" для определения значения в естественном языке?
      Если семантическая теория должна иметь форму теории, определяющей условия истинности (в соответствии с Т-конвенцией) для анализируемых предложений языка, то знание семантического понятия истины для языка L означает знание того, что означает для предложения S языка L быть истинным. Дэвидсон пишет:
      Если мы характеризуем предложения только по их форме, как это делает Тарский, то возможно, используя методы Тарского, определить истину, не используя семантических концепций18.
      Вместо точного определения истина характеризуется конечным множеством аксиом. Теория значения при этом рассматривается в качестве системы утверждений, предназначенных ответить на вопросы об отношениях друг к другу языковых выражений, тогда как теория истины выступает в качестве теории указания, т.е. системы утверждений, предназначенных ответить на вопросы об отношениях языковых выражений к миру.
      Таким образом, в соответствии с подобным подходом конвенция может быть признана управляющей значениями лишь аналитически истинных высказываний естественного языка - или, если заменить аналитико-синтетическую дистинкцию различением концептуальной схемы и наполняющего ее содержания (как это происходит, например, в концепции Сепира - Уорфа), управляющей интерпретацией высказываний. Т.е., если воспользоваться схемой, конвенция будет регулировать содержание области ADC, но не АВС.
      Концепт А
      Интерпретанта D В Референт
      С Имя
      Отсюда видно, что языковая конвенция не может служить источником референциальных значений выражений естественного языка. Тем не менее для рассмотрения конвенции в качестве фактора стабильности употребления языкового знака это положение, само по себе тривиальное, нуждается в дальнейшем (или, скорее, предварительном) прояснении. Каким образом могут быть конвенциональны основания употребления? Значения оказываются конвенциональны, по крайней мере, в некоторой своей части; как устанавливается эта часть? Откуда она берется?19 Иными словами,
      где пролегают границы языковой конвенции?
      Попытаемся проанализировать, как работает понятие конвенции для обоих видов дистинкций: аналитико-синтетической и концептуальной схемы vs. содержания мира.
      2.2 АНАЛИТИКО-СИНТЕТИЧЕСКАЯ ДИСТИНКЦИЯ
      2.2.1 КОНВЕНЦИОНАЛЬНОСТЬ КАК АНАЛИТИЧЕСКАЯ ИСТИННОСТЬ
      Аналитическая истинность представляет такой вид истинности, который устанавливается только на основе анализа логических и дескриптивных терминов предложений без привлечения эмпирических процедур и положений конкретных научных теорий. Очевидно, что невозможно, чтобы эмпирически (синтетически) истинное предложение было аналитически ложным: класс аналитически истинных предложений является собственным подклассом любого класса эмпирически и теоретически истинных предложений.
      Хотя различие между аналитическими и синтетическими высказываниями до недавнего времени было принято большинством философов-эмпиристов за эпистемологически основное и считалось аксиомой20, оно было подвергнуто сомнению Куайном как слабо обоснованная "догма эмпиризма".
      Несмотря на то, что такие примеры подстановок в логические законы, как "ни один неженатый человек не женат", можно принять, не обращаясь к конкретным фактам, тем не менее то, что содержится в этом высказывании, это, по мнению Куайна, скорее логическая истинность, а не аналитичность21. Среди аналитически истинных предложений выделяется такой класс предложений, истинность которых устанавливается исключительно на основе анализа логических терминов и/или с использованием логических средств. В этом случае процедура проверки истинности предложения еще более упрощается, так как нет необходимости анализировать дескриптивные термины предложения. Такие предложения относятся к классу логически истинных (ложных) предложений. Так, истинностная оценка предложения "идет дождь, или неверно, что идет дождь" основывается на анализе смысла союза "или", который соответствует логической связке строгой дизъюнкции. Для выделения класса логически истинных предложений в семантике используется понятие описания состояния, которое восходит к возможным мирам Лейбница, где под описанием состояния понимается класс предложений, который содержит для любого простого предложения или само это предложение, или его отрицание, но не то и другое вместе, и не содержит никаких других предложений (Р. Карнап). В этом определении содержатся две существенные характеристики классического описания состояния непротиворечивость и полнота. Используя это определение, можно сказать, что предложение является логически истинным, если оно истинно во всех описаниях состояний. В этом смысле логически истинные предложения не несут никакой информации и отличаются от других типов предложений, которые выделяют некоторые подклассы описаний состояний, где они получают семантическую оценку "истинно".
      Основную трудность при этом представляют такие считающиеся аналитическими высказывания, которые хотя и не являются логическими истинами, но могут быть превращены в них путем замены одних синонимов другими, например: "Ни один холостяк не женат". Необходимое для подстановки понятие синонимии нуждается в разъяснении не меньше, чем само понятие аналитичности. Для выяснения понятий синонимии и аналитичности бесполезно обращаться к процедуре определения, так как определение само зависит от синонимии. Взаимозаменяемость salva veritate также не дает результатов, так как в высказывании ""Холостяк" содержит меньше десяти букв", конечно, нельзя заменить термин "холостяк" термином "неженатый человек", не изменяя значения истинности. Во всяком случае, в экстенсиональном языке, в котором любые два предиката, истинные для одних и тех же объектов, взаимозаменяемы salva veritate, эта взаимозаменяемость salva veritate не является гарантией синонимии. Нет также никакой гарантии, что экстенсиональное совпадение терминов "холостяк" и "неженатый человек" основано на значении этих выражений, а не на случайном, по мнению Куайна, факте, как это имеет место для экстенсионального совпадения понятий "существо, имеющее сердце" и "существо, имеющее почки"22.
      Попытки спасти синонимию и аналитичность с помощью обращения к семантическим правилам искусственных языков рассматривают эти понятия как несводимые в их особых употреблениях и представляют, по Куайну, мало ценности с точки зрения действительного языкового поведения. Попытки же определить аналитическое высказывание в терминах верификационной теории значения как высказывание, которое подтверждается чем угодно, выглядят правдоподобно, поскольку истинность высказываний зависит, по-видимому, от различимых языковых и неязыковых компонентов. Но известно, что полное подтверждение любого индивидуального высказывания невозможно, и с такой точки зрения "бессмысленно - и является корнем многих бессмыслиц - говорить о языковом и фактическом компонентах истинности какого-либо индивидуального высказывания"23.
      Фундаментальное исследование конвенции, предпринятое Дэвидом Льюисом24, следует именно в русле проблемы аналитичности в том виде, в каком она была поставлена Куайном. Льюис пытается полностью ответить на вызов Куайна и спасти конвенцию, реабилитировав аналитичность. Для этого он четко соблюдает разграничение внешних и внутренних по отношению к языку факторов. Льюис стремится объяснить, каким образом языковая конвенция может иметь форму неязыковой - описанной, например, Юмом как "взаимное осознание взаимного интереса".
      По мнению Льюиса, существует два рода семантических теорий:
      1. Один род семантических теорий анализирует истину, аналитичность и т.д. интерпретируемого языка в отвлечении от ситуаций его употребления, характеристик его носителей и т.д. Это - род семантики, представленный Фреге, Тарским и (большей частью) Карнапом. Его недостатками являются хорошо известные затруднения с референциально непрозрачными контекстами: неспособность различать коэкстенсивные выражения с различными значениями и неспособность описывать индексикальные особенности языка. Для разрешения этих проблем Д. Льюис предлагает рассматривать экстенсиональные значения относительно возможного мира, времени произнесения, говорящего, и т.д.