Философия Х. Патнэма

Безусловно, нельзя не заметить определенной связи между результатом Патнэма и теоремой Левенгейма-Сколема, однако, с другой стороны, нельзя и не отметить тот факт, что в доказательстве Патнэма эта теорема вообще не используется. Американский философ языка Дж.Лакофф, который в отличие от Льюиса и Хокинга, положительно оценил теоретико-модельный аргумент, полагает, что "результат Патнэма является применением не самой теоремы Левенгейма-Сколема, а только того свойства, которое обнаруживают в природе формальных систем средства, используемые для доказательства данной теоремы" [119]. Согласно Лакоффу, это свойство выражается в том, что формальная система может иметь различные интерпретации (то есть может иметь различные системы референтов), однако значение ее истинности остается при этом неизменным. А поскольку это свойство, по мнению Лакоффа, присуще как первопорядковым, так и второпорядковым системам, то И.Хокинг не прав, обвиняя Патнэма в неспособности отличить первопорядковые языки от второпорядковых. Указанное свойство формальных систем вытекает из того обстоятельства, что в семантике, опирающейся на теоретико-модельные представления (Лакофф называет такую семантику объективистской), значение предложения отождествляется с условиями его истинности в каждом возможном мире, а значение термина отождествляется с его референтами в каждом возможном мире. По мнению Лакоффа, теоретико-модельный аргумент Патнэма показал неадекватность объективистской семантики в качестве теории значения, поскольку, согласно этому аргументу, можно изменить значения частей (терминов), сохранив при этом значение целого (предложения). А это является нарушением важного требования, предъявляемого к любой теории значения: "нельзя изменить значения частей без того, чтобы не изменилось значение целого" [120].

Как мы видим, спектр оценок теоретико-модельного аргумента Патнэма, достаточно широк, однако все эти оценки так или иначе опираются на анализ средств аргументации, используемых в доказательстве. Мы же попытаемся оценить аргумент Патнэма с точки зрения его результата.

Как мы уже отмечали, основная цель теоретико-модельного аргумента Патнэма состоит в обосновании тезиса о неопределенности референции. В этом смысле этот аргумент имеет непосредственное отношение к тезису о неопределенности перевода (и, соответственно, неопределенности референции), выдвинутому У.Куайном. Основную идею этого тезиса лучше всего иллюстрирует известный пример Куайна о переводе с языка туземцев. Допустим, лингвист, изучающий язык туземцев, указывает на пробегающего через поле кролика, а туземец в ответ говорит "gavagai". Лингвист может перевести это выражение как "кролик", или как "неотъемлемая часть кролика", или как "временной срез кролика" и т.д. Согласно Куайну, все эти варианты перевода являются равно приемлемыми, поскольку они обладают одинаковым стимул-значением. Понятие стимул-значения выражает в концепции Куайна тот факт, что условия истинности любого предложения (то есть некоторое положение дел в мире) выступают в качестве стимула для определенной вербальной диспозиции (предрасположения) носителей языка, то есть для диспозиции к согласию или несогласию с данным предложением. Возможность альтернативных и равно приемлемых схем перевода свидетельствует о неопределенности перевода. Эта неопределенность объясняется тем, что разные языки могут давать разные концептуализации мира. И если лингвист переводит "gavagai" как "кролик", то это означает, что он просто навязывает свою концептуальную схему, проистекающую из нашей склонности воспринимать мир состоящим из целостных и устойчивых образований – объектов. Неопределенность перевода одновременно означает и неопределенность референции. Каждому слову соответствует не какой-то вполне определенный референт, а целое множество (например, "кролик", "временной срез кролика", "неотъемлемая часть кролика" и т.д.), что обусловлено принадлежностью этого слова к разным концептуальным схемам.

По мнению Патнэма, предложенное им доказательство является существенным расширением и обобщением результатов Куайна. Если трактовка неопределенности референции Куайном создает впечатление, что "переинтерпретации, сохраняющие в неизменном виде значение истинности предложения, должны быть тесно связаны со стандартной интерпретацией" [121], то его доказательство, считает Патнэм, является более "сильным" результатом, допускающим возможность такой переинтерпретации, в которой "кот" будет обозначать вишни.