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

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

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

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

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

Дэвидсон выходит из затруднения, излагая T-предложение таким образом:

«Эта книга была украдена» истинно (в том естественном языке, которому принадлежит это предложение) как (потенциально) произнесенное индивидом p в момент времени t, если и только если книга, демонстрируемая p в t, украдена до t.

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

Здесь возникают три вопроса.

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

Каким образом мы можем знать, является ли некоторое используемое в теории T-предложение самостоятельно истинным?

И наконец, даже если мы знаем, что наше T-предложение истинно, каким образом мы можем знать, что оно дает нам значение выражения, о котором оно заключает?

Дэвидсон утверждает, что он не выдвигает теорию того, как мы обычно изучаем или интерпретируем наш собственный или другой естественный язык. Его теория не содержит никакой отсылки к психологии или даже к эпистемологии: для него вопрос состоит в том, какая теория могла бы сообщить нам, что когда некий Курт (носитель, соответственно, немецкого языка) «при правильных условиях» произносит слова «Es regnet», то он сказал, что идет дождь, и каким образом мы могли бы знать эту теорию398.

Однако когда эти требования выполнены, т.е. когда мы все это знаем, тогда мы должны быть способны интерпретировать утверждение Курта в некотором таком смысле, в котором сам он не может его интерпретировать: мы будем знать, например, что по-русски его слова означают «Идет дождь». Наша интерпретация обнаружила бы такие признаки значения этого предложения, которых Курт не знает. Это возражение особенно ясно в случае с предложениями полагания, влекущими за собой известные семантические проблемы: если Курт говорит «Ich glaube das es regnet», то наша интерпретация с помощью Т-предложения может нарушить истинность анализируемого предложения.

Второй вопрос – каким образом мы можем знать, что наше T-предложение истинно – возникает из того обстоятельства, что когда теория истины используется как теория значения, то мы больше не можем, как Тарский, просто постулировать, что предложение языка теории должно быть «адекватным переводом» анализируемого предложения: ведь если мы принимаем, что "является адекватным переводом s" эквивалентно "имеет то же самое значение, что и s", то одинаковость значения – это именно то, для объяснения чего мы пытаемся использовать теорию истины. Предположим, что наше анализируемое предложение – «La neige est blanche», а предложение языка теории – «Снег бел»; тогда получаем: «La neige est blanche» истинно по-французски, если и только если снег бел. Какие основания у нас могут быть для такого заключения? Исходная позиция Дэвидсона – это позиция исследователя, создающего теорию значения для своего собственного языка – одного, и притом уже известного, языка, а не для иностранного языка, не для многих языков. Однако, отвечая на критику, он должен был дать объяснение того, как, рассматривая предложения иностранного языка, мы можем знать, что Т-предложения, которые подтверждают теорию, сами являются истинными, и каким образом нам может быть известно, что это именно Т-предложения. Дэвидсон отвечает (в духе Куайна, но не используя его эпистемологию), что суть вопроса в том, при каких условиях Курт произносит «Es regnet». Если он говорит это, когда идет дождь, то для нас очевидно следующее:

что Курт принадлежит к немецкому языковому сообществу,

что Курт считает истинным, что «Es regnet» в субботу в полдень

и что около Курта в полдень идет дождь.

В совокупности это составляет свидетельство очевидности (evidence) для T-предложения