Во-первых, в этой теории должны исследоваться условия истинности предложений, поскольку «если мы хотим выявить наиболее общие особенности мира, то мы должны обратить внимание на то, что делает некоторое предложение языка истинным» [Дэвидсон, 1998, с. 281]. Таким образом, искомая теория должна быть теорией истины для естественного языка. Во-вторых, теория языка должна быть композициональной: она должна указывать, каким образом каждое из потенциально бесконечного числа предложений языка строится из конечного числа семантически значимых атомов с помощью конечного числа применений конечного набора правил. В-третьих, эта теория должна воплощать в себе холистский подход к языку, т. е. язык должен трактоваться как целое, свойства которого не являются простыми функциями от свойств его частей. Хотя важность лингвистического холизма подчеркнул Куайн, однако он, по мнению Дэвидсона, не придал ему метафизического значения. В-четвертых, теория должна обходиться минимальным «семантическим багажом»; например, в определении условий истинности некоторого предложения, по возможности[106]
, не должно содержаться концептуальных средств, которых нет в данном предложении. Всем этим требованиям, как нетрудно догадаться, отвечает разработанная Дэвидсоном истинностно-условная семантика. Именно она, считает Дэвидсон, позволяет раскрыть логическую структуру естественного языка и делает понятным построение онтологических выводов. Непосредственным указателем «онтологических обязательств» служит при этом квантификация: «Онтологический вопрос выходит на поверхность только там, где теория находит квантификационную структуру, а именно — там, где наилучшим объяснением определенного вида истинностных зависимостей служит систематическое соотнесение выражений с объектами» [Davidson, 1984, p. 210].В своей статье «Метод истины в метафизике» Дэвидсон разбирает различные способы применения этого метода и показывает, какие онтологические последствия имеет выбор того или иного семантического решения. Например, если принять в теории истины следующее правило: «Предложение, состоящее из единичного термина, за которым стоит одноместный предикат, истинно, если и только если объект, именуемый этим единичным термином, принадлежит к классу, заданному данным предикатом», то для предложения «Сократ мудр» из этой теории будет выводиться Т-предложение: «„Сократ мудр“ истинно, если и только если объект, именуемый „Сократ“, принадлежит к классу, задаваемому предикатом „мудр“». В этом случае формулировка условий истинности содержит два семантических понятия (именование и задание класса), не относящиеся к концептуальным средствам предложения «Сократ мудр», а стало быть, встает вопрос о том, какие сущности или объекты соответствуют предикатам. Мы можем избежать этих нежелательных последствий, считает Дэвидсон, сформулировав иначе наше T-предложение: «„Сократ мудр“ истинно, если и только если Сократ мудр» и включив в теорию истины следующие постулаты: (1) объект, именуемый «Сократ», есть Сократ; (2)
То, как следует применять метод истины в метафизике, Дэвидсон демонстрирует на примере событий как особой категории сущностей, которую, по его мнению, необходимо включить в онтологию.
Следует сказать, что Дэвидсона с самого начала его творческой деятельности интересовала проблема объяснения человеческих действий, занимаясь которой он пришел к выводу о необходимости придания им особого онтологического статуса. Таким образом, предложенное им решение стало важным вкладом и в онтологию, и в так называемую теорию действия[107]
. Это решение включало идею о том, что одно и то же действие может быть описано разными способами. Например, если вы зажигаете в комнате свет, повернув выключатель движением руки, то в каком-то смысле вы совершаете одно действие, но в другом смысле вы делаете несколько вещей, поскольку выражения «зажечь свет» и «повернуть выключатель» не совпадают по значению. Согласно Дэвидсону, в этой ситуации мы имеем только одно действие — движение человеческого тела, которое может быть описано по-разному с учетом того, что это действие вызвало несколько следствий (поворот выключателя, зажженный свет и т. п.). Но чем в онтологическом плане являются действия? Ответ Дэвидсона — событиями, и обоснование такого онтологического решения он получает в ходе анализа логической формы предложений о действиях.