Итак, если вначале Дэвидсон придерживался истолкования истины как соответствия, то в последующем он отказался и от этого. Однако он не принял и противоположной — эпистемической — трактовки истины. Если сторонники корреспондентной теории, считает он, рассматривают истину как совершенно независимую от наших представлений и знаний, то их противники «очеловечивают истину», ставя ее в зависимость от нашей познавательной способности, от имеющихся у нас, как конечных рациональных существ, возможностей ее установить. Обе эти позиции, признает он, имеют под собой сильную мотивацию: одни стремятся избежать скептицизма, сокращая реальное или истинное до того, что мы можем знать, другие же пытаются отстоять объективность реальности и ее независимость от нашего познания. Тем не менее он отвергает обе альтернативы. Корреспондентная теория с ее «упором на радикально неэпистемическом соответствии требует для истины больше, чем мы можем понять», тогда как ее противница, «ограничивая истину тем, что мы можем установить, лишает ее роли быть интерсубъективным критерием» [Davidson, 1990, p. 309]. Хотелось бы отметить, что когда тот или иной философ стремится занять промежуточную позицию между двумя противоположными точками зрения, это, как правило, оборачивается тем, что он постоянно колеблется между этими точками зрения, склоняясь то к одной, то к другой. В общем это можно наблюдать и в работах Дэвидсона, однако картина его подхода к отношению между языком и реальностью будет неполной, если мы не рассмотрим его отношения к референции.
В своей статье «Реальность без референции» (1977) Дэвидсон пишет, что имеются два основных подхода к построению теории значения: более старый подход, который он называет «теорией строительных блоков», и более новый холистский подход. Теория строительных блоков начинает с объяснения семантических свойств имен собственных и простых предикатов с помощью чего-то нелингвистического, на их основе строит объяснение составных единичных терминов и составных предикатов, а затем дает характеристику выполнимости (как производного понятия) и, наконец, определяет истину. Главным затруднением для этого подхода, по мнению Дэвидсона, является невозможность определения референции в нелингвистических терминах: «Если имя „Килиманджаро“ отсылает к Килиманджаро, то, несомненно, имеется отношение между теми, кто говорит по-английски (или на суахили), данным словом и горой. Но невозможно себе представить, чтобы кто-то был способен объяснить это отношение, не объяснив прежде роли этого слова в предложениях» [Davidson, 1984, p. 220]. Отсюда Дэвидсон делает вывод, что этот подход «безнадежен».
Второй — холистский — подход осуществляет построение теории значения в обратном порядке: семантические свойства слов извлекаются из семантических свойств предложений, а те, в свою очередь, извлекаются из той роли, которую они выполняют, помогая людям достигать своих целей и осуществлять свои намерения. Преимущество этого подхода, полагает Дэвидсон, состоит в том, что он позволяет «связать язык с поведением, описанным в нелингвистических терминах» [Davidson, 1984, p. 221], а благодаря этому теория значения становится эмпирически проверяемой. Однако платой за это преимущество является невозможность полного описания семантических свойств частей предложений, а стало быть, и невозможность объяснения истины в рамках теории. Дэвидсон не считает эту плату чрезмерной, поскольку, по его мнению, референция и выполнимость, будучи чисто теоретическими понятиями, не играют «существенной роли в объяснении отношения между языком и реальностью» [Davidson, 1984, p. 225]. В рамках теории эти понятия важны, так как объясняют, как определяются условия истинности предложений, но они не имеют непосредственного эмпирического содержания: содержание им придается косвенно в Т-предложениях. Дэвидсон проводит аналогию с физическими теориями, которые объясняют макроскопические явления, постулируя ненаблюдаемые теоретические сущности. Представляющие их теоретические термины выполняют важную функцию внутри теории, но не имеют непосредственной эмпирической интерпретации, поскольку проверка теорий осуществляется «на макроскопическом уровне». Так и к понятиям референции и выполнимости следует относиться исключительно «как к теоретическим конструктам, функция которых исчерпывается заданием условий истинности для предложений». В таком же духе, согласно Дэвидсону, следует трактовать и логическую форму, приписываемую предложениям, и весь аппарат терминов, предикатов, связок и кванторов, поскольку «ничто из этого не допускает прямого сопоставления с данными» [Davidson, 1984, p. 223].