Стабильность значения

1. Один род семантических теорий анализирует истину, аналитичность и т.д. интерпретируемого языка в отвлечении от ситуаций его употребления, характеристик его носителей и т.д. Это - род семантики, представленный Фреге, Тарским и (большей частью) Карнапом. Его недостатками являются хорошо известные затруднения с референциально непрозрачными контекстами: неспособность различать коэкстенсивные выражения с различными значениями и неспособность описывать индексикальные особенности языка. Для разрешения этих проблем Д. Льюис предлагает рассматривать экстенсиональные значения относительно возможного мира, времени произнесения, говорящего, и т.д.

2. Другой род семантических теорий анализирует истинность, аналитичность и т.д. относительно агента (говорящего) или множества агентов (языкового сообщества) - т.е., возможно, как функцию от условий употребления языкового выражения. Это - род семантики, представленный поздним Витгенштейном, П. Грайсом, Б. Скиннером, Куайном, Ч. У. Моррисом и (частично) Карнапом. Его недостатком является, по мнению Льюиса, "нежелание рассматривать больше чем одно языковое выражение одновременно"25.

Это различие, по Льюису, не может быть описано через различение семантики формального vs. естественного языка. Оба рода теорий могут быть применены и к тому, и к другому; оба лучше работают на упрощенных фрагментах естественных языков (используемых в качестве формальных), чем на полных естественных языках.

Описанное различение используется Льюисом для ответа на критику аналитичности, выдвинутую Куайном. Согласно Куайну, аналитичность в смысле Карнапа такова: утверждение является аналитическим в языке L, если и только если оно истинно на основании семантических правил для L (причем исключительно на этом основании); при этом язык L - по крайней мере, если это искусственный язык - соответствует некоторому множеству семантических правил, определяющих условия истины. Куайн замечает:

Но таким же путем мы могли бы более просто рассматривать искусственный язык L как соответствие (ordered pair), вторым компонентом которого является класс аналитических утверждений этого языка; тогда аналитические утверждения L станут уточняемыми просто как утверждения во втором компоненте L. ...

Обращение к гипотетическим языкам искусственно простого вида могло бы очевидно быть полезно в освещении аналитичности, если ментальные, поведенческие или культурные факторы, релевантные для аналитичности - чем бы они ни являлись - могли бы так или иначе быть обрисованы в этой упрощенной модели. Но модель, которая рассматривает аналитичность просто как нередуцируемый признак, вряд ли прольет свет на проблему объяснения аналитичности26.

Согласно Льюису, любой (а не только искусственно упрощенный, как для Карнапа) возможный язык в самом деле может быть представлен как соответствие, вторым компонентом которого является множество семантически правильных истинных предложений; но ментальные, поведенческие или культурные факторы при этом будут должны учитываться в самих правилах истинности. Собственно, это и есть то, что с ними происходит при их использовании для определения значения. Предположим, что мы вступили в общение с человеком, говорящим на непонятном для нас языке, и у нас имеется определение истинности, сформулированное в духе Тарского; можем ли мы в таком случае судить о применимости этого определения к данному языку? Если высказывание "Gwyn yw eira" является истинным на некотором возможном интерпретируемом языке в том и только в том случае, если снег бел, а некто Морган заявляет "Gwyn yw eira", то говорит ли он истину? Тот факт, что возможный рассматриваемый язык назван валлийским потому, что это - язык уэльсцев, не объясняет, чтo мы имеем в виду, когда говорим, что Морган сообщает истину на своем языке, или чтo мы имеем в виду, когда мы просто говорим, что Морган сообщает истину. Для объяснения того, чтo мы имеем в виду в этом случае, мы будем должны ввести некоторые ментальные и/или социально-бихевиоральные факторы.