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

В самом деле, предъявленное Дэвидсоном требование выводимости Т-утверждений формально совпадает с требованием, сформулированным Тарским для понятия истины в формализованных языках16. Вместе с тем, по замечанию А. Л. Блинова, в условие-истинностных концепциях значения Т-утверждения призваны играть роль, в некотором смысле противоположную той роли, которую они играют в теории истины Тарского17. Цель, которую ставил перед собой Тарский, заключалась в том, чтобы дать "содержательно адекватное и формально корректное" определение истины для формализованных языков. В условно-истинностной теории значения предикат "истинно" рассматривается как исходное, а не определяемое в рамках теории понятие. Предполагая, что понятие истинности уже задано предварительно, Дэвидсон использует построение Тарского для формулировки требований, предъявляемых к теории значения: если дано предложение S языка L, то утверждение о его значении вида "S значит P" может быть заменено соответствующим Т-утверждением.

Тем не менее язык, о котором идет речь у Тарского - формальный, а не естественный язык, и, соответственно, его употребление регулируется ad hoc'овой, а не тотальной (по выражению Блинова), т.е. заключенной между всеми членами языкового сообщества, конвенцией. Последняя очевидным образом отличается по форме от первой: она не была заключена явно, не ограничена во времени и т.д. Поэтому уместно задать следующий вопрос: что происходит с Т-конвенцией при использовании определения истинности "в духе Тарского" для определения значения в естественном языке?

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

Если мы характеризуем предложения только по их форме, как это делает Тарский, то возможно, используя методы Тарского, определить истину, не используя семантических концепций18.

Вместо точного определения истина характеризуется конечным множеством аксиом. Теория значения при этом рассматривается в качестве системы утверждений, предназначенных ответить на вопросы об отношениях друг к другу языковых выражений, тогда как теория истины выступает в качестве теории указания, т.е. системы утверждений, предназначенных ответить на вопросы об отношениях языковых выражений к миру.

Таким образом, в соответствии с подобным подходом конвенция может быть признана управляющей значениями лишь аналитически истинных высказываний естественного языка - или, если заменить аналитико-синтетическую дистинкцию различением концептуальной схемы и наполняющего ее содержания (как это происходит, например, в концепции Сепира - Уорфа), управляющей интерпретацией высказываний. Т.е., если воспользоваться схемой, конвенция будет регулировать содержание области ADC, но не АВС.

Концепт А

Интерпретанта D В Референт

С Имя

Отсюда видно, что языковая конвенция не может служить источником референциальных значений выражений естественного языка. Тем не менее для рассмотрения конвенции в качестве фактора стабильности употребления языкового знака это положение, само по себе тривиальное, нуждается в дальнейшем (или, скорее, предварительном) прояснении. Каким образом могут быть конвенциональны основания употребления? Значения оказываются конвенциональны, по крайней мере, в некоторой своей части; как устанавливается эта часть? Откуда она берется?19 Иными словами,

где пролегают границы языковой конвенции?

Попытаемся проанализировать, как работает понятие конвенции для обоих видов дистинкций: аналитико-синтетической и концептуальной схемы vs. содержания мира.

2.2 АНАЛИТИКО-СИНТЕТИЧЕСКАЯ ДИСТИНКЦИЯ

2.2.1 КОНВЕНЦИОНАЛЬНОСТЬ КАК АНАЛИТИЧЕСКАЯ ИСТИННОСТЬ

Аналитическая истинность представляет такой вид истинности, который устанавливается только на основе анализа логических и дескриптивных терминов предложений без привлечения эмпирических процедур и положений конкретных научных теорий. Очевидно, что невозможно, чтобы эмпирически (синтетически) истинное предложение было аналитически ложным: класс аналитически истинных предложений является собственным подклассом любого класса эмпирически и теоретически истинных предложений.

Хотя различие между аналитическими и синтетическими высказываниями до недавнего времени было принято большинством философов-эмпиристов за эпистемологически основное и считалось аксиомой20, оно было подвергнуто сомнению Куайном как слабо обоснованная "догма эмпиризма".