Фундаментальное исследование конвенции, предпринятое Дэвидом Льюисом24, следует именно в русле проблемы аналитичности в том виде, в каком она была поставлена Куайном. Льюис пытается полностью ответить на вызов Куайна и спасти конвенцию, реабилитировав аналитичность. Для этого он четко соблюдает разграничение внешних и внутренних по отношению к языку факторов. Льюис стремится объяснить, каким образом языковая конвенция может иметь форму неязыковой - описанной, например, Юмом как "взаимное осознание взаимного интереса".
По мнению Льюиса, существует два рода семантических теорий:
1. Один род семантических теорий анализирует истину, аналитичность и т.д. интерпретируемого языка в отвлечении от ситуаций его употребления, характеристик его носителей и т.д. Это - род семантики, представленный Фреге, Тарским и (большей частью) Карнапом. Его недостатками являются хорошо известные затруднения с референциально непрозрачными контекстами: неспособность различать коэкстенсивные выражения с различными значениями и неспособность описывать индексикальные особенности языка. Для разрешения этих проблем Д. Льюис предлагает рассматривать экстенсиональные значения относительно возможного мира, времени произнесения, говорящего, и т.д.
2. Другой род семантических теорий анализирует истинность, аналитичность и т.д. относительно агента (говорящего) или множества агентов (языкового сообщества) - т.е., возможно, как функцию от условий употребления языкового выражения. Это - род семантики, представленный поздним Витгенштейном, П. Грайсом, Б. Скиннером, Куайном, Ч. У. Моррисом и (частично) Карнапом. Его недостатком является, по мнению Льюиса, "нежелание рассматривать больше чем одно языковое выражение одновременно"25.
Это различие, по Льюису, не может быть описано через различение семантики формального vs. естественного языка. Оба рода теорий могут быть применены и к тому, и к другому; оба лучше работают на упрощенных фрагментах естественных языков (используемых в качестве формальных), чем на полных естественных языках.
Описанное различение используется Льюисом для ответа на критику аналитичности, выдвинутую Куайном. Согласно Куайну, аналитичность в смысле Карнапа такова: утверждение является аналитическим в языке L, если и только если оно истинно на основании семантических правил для L (причем исключительно на этом основании); при этом язык L - по крайней мере, если это искусственный язык - соответствует некоторому множеству семантических правил, определяющих условия истины. Куайн замечает:
Но таким же путем мы могли бы более просто рассматривать искусственный язык L как соответствие (ordered pair), вторым компонентом которого является класс аналитических утверждений этого языка; тогда аналитические утверждения L станут уточняемыми просто как утверждения во втором компоненте L. ...
Обращение к гипотетическим языкам искусственно простого вида могло бы очевидно быть полезно в освещении аналитичности, если ментальные, поведенческие или культурные факторы, релевантные для аналитичности - чем бы они ни являлись - могли бы так или иначе быть обрисованы в этой упрощенной модели. Но модель, которая рассматривает аналитичность просто как нередуцируемый признак, вряд ли прольет свет на проблему объяснения аналитичности26.
Согласно Льюису, любой (а не только искусственно упрощенный, как для Карнапа) возможный язык в самом деле может быть представлен как соответствие, вторым компонентом которого является множество семантически правильных истинных предложений; но ментальные, поведенческие или культурные факторы при этом будут должны учитываться в самих правилах истинности. Собственно, это и есть то, что с ними происходит при их использовании для определения значения. Предположим, что мы вступили в общение с человеком, говорящим на непонятном для нас языке, и у нас имеется определение истинности, сформулированное в духе Тарского; можем ли мы в таком случае судить о применимости этого определения к данному языку? Если высказывание "Gwyn yw eira" является истинным на некотором возможном интерпретируемом языке в том и только в том случае, если снег бел, а некто Морган заявляет "Gwyn yw eira", то говорит ли он истину? Тот факт, что возможный рассматриваемый язык назван валлийским потому, что это - язык уэльсцев, не объясняет, чтo мы имеем в виду, когда говорим, что Морган сообщает истину на своем языке, или чтo мы имеем в виду, когда мы просто говорим, что Морган сообщает истину. Для объяснения того, чтo мы имеем в виду в этом случае, мы будем должны ввести некоторые ментальные и/или социально-бихевиоральные факторы.
Льюис формализует ситуацию, учитывающую эти факторы, с помощью семантики возможных миров. Технический аппарат семантики возможных миров привлекается в подобных случаях для обеспечения квантификации референциально непрозрачных контекстов, где понятие "возможный мир" представляет собой способ описания ситуаций или событий в реальности, альтернативных некоторому описанию "действительного мира". Используя фиксированную систему понятий (слов с фиксированным значением), мы описываем альтернативные универсумы. Считая, что некоторые предложения должны быть истинными просто из-за включаемых в них понятий и значений, а другие истинны благодаря тому, что происходит в мире, мы должны будем признать, что при описании возможных миров мы используем только предложения второго типа. Каждый из возможных миров содержит некоторое количество индивидов с определенными свойствами и определенными отношениями между ними; тогда квантификация таких выражений возможна лишь в том случае, если некоторый термин "а" выбирает из области индивидов действительных и возможных миров один и тот же индивид а. Для этой цели должна существовать процедура, которая позволяла бы осуществлять указание или "распознавание" индивида в возможных мирах. Согласно Льюису, носитель языка определяет аналитические предложения своего языка, определяя, который из возможных языков является его языком.
Конвенции здесь не создают и не отменяют фактические утверждения о том, что является возможным (или сами фактические возможности): конвенция членов языкового сообщества может выражаться лишь в выборе одного языкового выражения скорее, чем другого, для высказывания истины на основании фактов относительно возможных миров. Можно сказать, что "женатых холостяков" или "круглых квадратов" не существует в силу конвенции, но это будет означать, что в соответствии с соглашением не может существовать языковое выражение "женатый холостяк" или "круглый квадрат", а не что невозможно быть одновременно женатым и холостым или круглым и квадратным в соответствии c соглашением. Последняя невозможность не может быть конвенциональна.
Таким образом, аналитичность определяется Льюисом (вслед за Карнапом, связывавшим аналитичность, в духе лейбницевской традиции, с методом описания состояния) как истинность во всех возможных мирах. Аналитическая истинность высказывания для агента А зависит как от фактов в возможных мирах, так и от языка L, который А использует. L зависит от конвенции, которую разделяет А. И эта конвенция - не что иное, как регулярность в поведении, поддерживаемая заинтересованностью участников языкового общения во взаимной координации своих действий и их ожиданием, что другие будут выполнять свою часть соглашения, т.е. поступать так же27.
Вместе с тем привлечение технического аппарата возможных миров несколько усиливает модальность ситуации: в каком отношении вообще можно говорить о конвенциональности там, где истинность выражения устанавливается с необходимостью?