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