Как мы видим, семантическая теория истины Тарского является теорией истины в ином смысле, чем традиционные теории вроде корреспондентной, когерентной и прагматистской. Начать с того, что если последние могут быть сформулированы обыденным языком, то Тарскому потребовалось построение аксиоматической формальной теории, нацеленной на выведение семантических характеристик для каждого предложения искусственного языка. Но главное различие состоит в том, что цель традиционных теорий истины – разъяснить содержание понятия истины, тогда как в теории Тарского дается строгое описание объема этого понятия. Философы по-разному оценивают этот результат. Одни указывают на то, что подобное «определение» ничего не говорит нам о сути истины [97] ; другие же ставят в заслугу Тарского то, что ему удалось дать определение интенсионального понятия, используя лишь экстенсиональные концептуальные ресурсы. Дэвидсон, безусловно, принадлежит ко второй категории философов. По его собственным словам, именно теория Тарского вдохновила его на исследование значения.
В представлении Дэвидсона цель теории значения – показать, как приписываются значения языковым выражениям. Вместе с тем в этой теории должны найти отражение некоторые важные идеи, касающиеся значения, которые Дэвидсон почерпнул у Фреге и раннего Витгенштейна. Во-первых, теория значения должна удовлетворять требованию «композициональности», согласно которому значение сложных языковых выражений определяется исключительно значением их составных частей и способом их соединения. Для обоснования необходимости соблюдения этого требования Дэвидсон выдвигает довод, который называют аргументом обучаемости. Если говорить кратко, этот аргумент состоит в том, что без признания композициональности естественного языка невозможно понять, как при конечном наборе слов и правил мы способны составлять и понимать потенциально бесконечное количество несинонимичных предложений. Мы приходим в мир, не владея языком, однако за очень ограниченный период времени полностью овладеваем языком. Учитывая, что мы не можем мгновенно обрести способность постигать «значения предложений безотносительно к каким бы то ни было правилам», что каждое новое выражение или правило требует некоторого конечного отрезка времени для его усвоения и что, в конце концов, мы являемся смертными существами, необходимо принять, что «поддающийся изучению язык имеет конечное число семантических примитивов» [Дэвидсон, 2003, с. 34] и мы в состоянии понимать все остальные выражения только потому, что их значение обусловливается значением содержащихся в них этих семантических примитивов и правилами, указывающими, как значение сложных выражений определяется на основе значений простых выражений и способов их соединения. Согласно Дэвидсону, композициональность объясняет не только, как мы обучаемся языку, но и чему именно мы обучаемся. Кроме того, благодаря композициональности естественного языка его теория значения допускает конечную аксиоматизацию, т. е. она может (и должна, считает Дэвидсон) быть представлена как система, содержащая конечный набор аксиом, из которых для каждого из потенциально бесконечного числа предложений естественного языка выводится теорема, задающая его значение.
Во-вторых, теория значения должна быть холистской, т. е. она должна признавать семантическое первенство предложений над словами, т. е., иначе говоря, зависимость значения слов от значения предложений, в которых они встречаются. На первый взгляд, этот холизм несовместим с композициональностью языка: если значение предложения есть функция от значений его составных частей, последние должны иметь семантическое первенство, однако у Дэвидсона холизм – лишь обратная сторона композициональности. Поскольку единицей коммуникации, по его мнению, выступает не отдельное слово, а предложение в целом, значение слова определяется тем систематическим вкладом, который оно вносит в содержащие его предложения и извлекается из значения этих предложений в соответствии с той ролью, которую оно в них играет. Мы знаем значение слова, только если понимаем предложения, в которых оно встречается. Вместе с тем, считает Дэвидсон, нельзя понимать отдельное предложение, не понимая других предложений, в которых встречаются его составные части, но эти другие предложения включают новые составные части, которые, в свою очередь, могут быть поняты, только если мы обратимся к тем предложениям, которые их содержат и т. д. В результате любое слово и любое предложение может быть понято, только если поняты все слова и все предложения. Как пишет Дэвидсон, «если значение предложений зависит от их структуры и мы понимаем значение каждого элемента этой структуры только как абстракцию, полученную из всей совокупности предложений, в которых этот элемент фигурирует, то мы можем задать значение любого предложения (или слова), только задав значение каждого предложения (или слова) в языке. Фреге говорил, что только в контексте предложения слово имеет значение; в том же духе он мог бы добавить, что предложение (и, соответственно, слово) имеют значение только в контексте всего языка» [Davidson, 1984, p. 22]. Из сказанного следует, что первая и основная цель теории значения – это показать, как задается значение предложений.
В-третьих, в вопросе о значении предложения Дэвидсон обращается к идее, согласно которой значение предложения можно задать, сформулировав условия, при которых оно является истинным. Корни этой идеи можно найти у Фреге [Frege, 1884, § 32], считавшего, что мысль или смысл, выражаемый предложением, определяется условиями, при которых предложение-имя обозначает Истину, однако более приемлемую формулировку этой идеи, не предполагающую трактовку предложений как имен истинностных значений, дал Витгенштейн в «Логико-философском трактате»: «…знать значение предложения – значит знать, что имеет место, когда оно истинно» (4.024) [98] . Но главным апологетом и выразителем этой идеи стал Дэвидсон, положивший ее в основу своей теории значения, которая получила поэтому название истинностно-условной семантики (truth conditional semantics). По существу, эта идея означает, что для понимания предложения нам не нужно знать, является ли оно истинным или ложным, но нам нужно знать, что имеет место в мире, когда это предложение истинно. Важно отметить, что для Дэвидсона тезис о том, что «задание условий истинности есть способ задания значения предложения» [Дэвидсон, 2003, с. 54], не является простым допущением в теории; он пытается его обосновать, продемонстрировав неприемлемость иных традиционных трактовок значения предложений.
Итак, по замыслу Дэвидсона, теория значения должна содержать конечный набор аксиом, из которого для любого предложения s языка L выводилась бы теорема, задающая его значение. Наибольший интерес для Дэвидсона представляет вопрос о том, какую форму должны иметь теоремы в теории значения, отвечающей сформулированным им требованиям. Он начинает с рассмотрения предположения, что эти теоремы должны иметь форму:
(1) s означает m,
где s — предложение из языка L, а m — его значение. По мнению Дэвидсона, в этой форме предложения соотносятся с их значениями как с особыми абстрактными сущностями. Подобно Куайну, Дэвидсон отвергает идею, согласно которой значением выражения является связываемая с ним сущность, но делает это по несколько иным причинам; как он отмечает, его «возражения против значений (как сущностей – Л.М.) … состоят не в том, что они абстрактны или что условия их идентификации неопределенны, а в том, что их использование ни в чем не проявляется» [Davidson, 1984, p. 21]. Ситуация принципиально не улучшится, считает Дэвидсон, если мы изменим форму задающей значение теоремы следующим образом:
(2) s означает, что p ,
где s заменяется именем предложения из L, а p — предложением метаязыка, определяющим его значение. Хотя в этом случае выражение «означает, что» является сентенциальным оператором, а не функцией, соотносящей имена с сущностями, оно создает интенсиональный контекст и сопряжено поэтому с крайне сложными проблемами [99] . Тем самым Дэвидсон отвергает семантические теории, в которых для характеристики значения (понимаемого, скажем, как употребление) допускается использование интенсиональных понятий. Единственный выход он видит в том, чтобы отказаться в теории значения от такого «обильного рациона» [100] . Для этого он предлагает заменить в рассматриваемой схеме интенсиональное выражение «означает, что» экстенсиональной истинностно-функциональной связкой эквиваленции, выражаемой словами «если и только если». Выбор этой связки объясняется тем, что в теории значения должна устанавливаться эквивалентность по значению между s и p. Чтобы эта замена была корректной, нужно превратить имя «s» в предложение, а для этого Дэвидсон вводит предикат T и тем самым получает следующую форму задающей значение теоремы: