Язык, онтология и реализм

А это есть не что иное, как «условие адекватности» или «конвенция Т» из теории Тарского. Как пишет Дэвидсон, «для получения этого вывода мы прошли довольно извилистый путь, однако сам вывод можно сформулировать просто: теория значения для языка L показывает, „каким образом значения предложений зависят от значений слов“, если в ней содержится (рекурсивное) определение истинности в языке L» [Дэвидсон, 2003, с. 53]. Таким образом, согласно Дэвидсону, условие адекватности определяет условия истинности для каждого правильно построенного предложения языка L и тем самым обеспечивает все, что должна дать нам теория значения, задача которой — показать, как приписываются значения предложениям этого языка.

Как известно, Тарский очень пессимистически оценивал возможности применения его теории к естественным языкам в силу ряда особенностей последних: во-первых, из-за их семантической замкнутости, которая ведет к парадоксам, и, во-вторых, из-за их аморфности, многозначности, неопределенности и изменчивости, не позволяющих применять к ним формальные методы анализа. Дэвидсон не разделяет этого пессимизма, хотя и признает необходимость внесения некоторых изменений в T-предложения Тарского, в частности, с тем, чтобы учесть тот факт, что истинность предложений естественного языка зависит от того, кто их произносит, в какое время и при каких обстоятельствах[101]. Поэтому он предлагает использовать релятивизированные T-предложения:

s истинно в L, будучи произнесенным x в момент времени t, если

и только если p,

где x имеет областью значений говорящих на языке L, а t — моменты времени.

В отношении семантических парадоксов, которые, по его мнению, возникают из-за слишком широкой области применения кванторов в естественных языках, Дэвидсон указывает, что, хотя это серьезная проблема и у него нет для нее подходящего решения, тем не менее этот источник концептуального беспокойства, как, впрочем, и другие особенности естественных языков, не могут быть непреодолимым препятствием, поскольку для начала можно ограничиться формулировкой теории значения требуемого вида для тех фрагментов естественных языков, в которых риск появления парадоксов и затруднений минимален и, постепенно их расширяя, охватывать все более сложные случаи. При этом, считает Дэвидсон, никакого реформирования или усовершенствования языка не потребуется. Потребуется иное — четкое выявление логической структуры разнообразных выражений и предложений естественного языка. Поскольку теория значения должна показать, как значение сложных выражений зависит от значения их составных частей и способа их соединения друг с другом[102], этого можно достичь, только проникнув глубже в структуру естественного языка и показав, как все грамматические элементы естественного языка (включая наречия, прилагательные, предлоги и т. п.) влияют на условия истинности (и, соответственно, значение) предложений, в которых они встречаются. Благодаря усилиям Фреге, Тарского и многих других логиков на этом пути были достигнуты значительные успехи, и «впервые забрезжила мечта о формальной семантике для значительной части естественного языка» [Дэвидсон, 2003, с. 61]. Сам Дэвидсон внес в реализацию этой программы немалую лепту, осуществив анализ логической формы предложений о действиях, о причинно-следственных связях, предложений с косвенной речью и др. Вместе с тем он осознает масштабность выдвинутой им программы: «необходимо признать, что остается ошеломляющий список трудностей и головоломок» [Davidson, 1984, p. 35]. Однако, как он иронично замечает, «приятно осознавать, что мы не останемся без работы» (цит. по: [Grayling, 1982, p. 227]), и, более того, успешная реализация этого проекта стала бы поворотным этапом в развитии семантики, поставив ее на прочную экстенсиональную основу.

Как мы видим, теория значения Дэвидсона (или, точнее, программа создания такой теории) отличается от других семантических теорий (денотативной, верификационной, бихевиористской и т. п.) примерно так же, как семантическая теория истины Тарского отличается от традиционных теорий истины. Если традиционно теории значения должны были разъяснить понятие значения, то Дэвидсон намечает создание «конструктивной» теории: подобная теория напрямую не объясняет, что есть значение; вместо этого она порождает для каждого действительного или потенциального предложения естественного языка теорему, которая задает его значение и показывает, как это значение зависит от значения составных частей данного предложения[103]. По сути, Дэвидсон ставит семантическую теорию Тарского как бы с ног на голову. Тарский сформулировал рекурсивную теорию истины, приняв за исходные понятие перевода, а именно перевода предложения объектного языка на метаязык, и понятие значения. Дэвидсон же попытался сформулировать теорию значения, приняв без доказательства понятие истины. Основой для такой теоретической переориентации ему послужила идея о том, что значение предложения определяется условиями, при которых оно истинно.