Аналитическая философия

Концепция Тарского, по мнению Дэвидсона, позволяет ответить на этот вопрос, поскольку для этого теория значения должна только включать в себя рекурсивное определение истины-для-L, которое определяет предложение как истинное тогда и только тогда, когда оно выполняется всеми объектами. Это выполнение, или выполнимость (satisfaction) предложения объектами есть характеристика предиката предложения («…бел»), который еще Фреге определил как функцию, и это определение было принято, в частности, Тарским. Объекты, которые выполняют предложение (делают его истинным), составляют объем термина (предиката предложения). Пропозициональная логика показывает, как истинностное значение выражения "p или q" может быть получено из истинностных значений "p" и "q"; Тарский показал, как истинностное значение открытых предложений, содержащих свободные переменные, зависит от их выполнения упорядоченными последовательностями – например, открытое предложение формы "x – отец y", выполняется такой упорядоченной последовательностью как < Герцог Эдинбургский, Принц Чарльз >. По мнению Дэвидсона, таким образом можно связать значения употребляемых нами слов (то есть их буквальные семантические свойства, включая истинность) с той целью, для достижения которой мы их употребляем (например, для того, чтобы высказать истину). Так концепция Тарского – теория истины для квантифицированных предложений – позволяет ответить на вопрос, как значение предложения зависит от значений его частей.

Дэвидсон стремится дать такую же строгую экстенсиональную теорию, как и Тарский. Аксиомы определения истины Тарского содержат только такие выражения как «класс», «последовательность», «предложение», «структурное описание». Для того, чтобы развивать подобную строгую теорию значения, мы должны сначала, по Дэвидсону, обнаружить некоторое свойство "T", характеризующее те предложения, которые "означают что p" (на специфическом языке L) и затем обнаружить некоторые не-интенсиональные отношения между предложениями с таким свойством и непосредственно самим p. Мы можем сделать это, заменяя «если и только если» на «означает» и «истинный» на "T". Таким образом мы приходим к предложениям истины Тарского – «Снег бел» является истинным предложением (в данном случае русского языка), если и только если снег бел.

Основные технические положения условие-истинностной семантики Дэвидсона заключаются в следующем. Согласно Тарскому, удовлетворительная теория истины для языка L должна полагать, что для каждого предложения s из L существует теорема формы "s истинно, если и только если р", где "s" заменяется описанием s, а "р" – самим s (или, предположим, переводом s на тот язык, совокупность всех тривиально истинных предложений которого единственным образом определяют объем понятия истины для его носителя, если L не является таковым)394. Отвлекаясь от собственно определения истинности, такая теория (Т-конвенция) воплощает нашу интуицию о том, как должно использоваться понятие истины применительно к языковым выражениям. Тогда требование к семантической теории языка L состоит в следующем: без обращения к каким-либо дальнейшим семантическим понятиям теория накладывает на предикат "является Т" ограничения, достаточные для получения из схемы Т всех предложений, в которых s замещено структурным описанием предложения, а р – самим предложением. Список T-предложений составляет полное описание значений объектного языка395. Отсюда мы можем воспользоваться формальными ресурсами теории Тарского, включая методы доказательства T-предложений.

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

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

это привело бы к семантическим парадоксам;

естественные языки содержат нередуцируемые индексальные выражения, не указывающие те объекты, которые выполняли бы их. Иными словами, в его теории есть место для выражений «Книга украдена» или «Все книги украдены», но не для «Эта книга была украдена», поскольку у нас не будет никакого способа оценки истинности последнего предложения, если мы не присутствовали при его произнесении и, следовательно, не знаем, о какой именно книге идет речь и на какое именно время указывает слово «была».