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