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

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

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

Эти вопросы рассматриваются в условие-истинностной (truth-conditional) семантике, основанной на известной попытке Дэвидсона создать теорию значения на основе теории истины. Эта попытка призвана скоординировать центральные понятия логической и лингвистической семантики.

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

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