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

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

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

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

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

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