Во-первых, вслед за Фреге, Расселом, Карнапом и Куайном Дэвидсон в своем анализе языка опирается на средства формальной логики, однако его отношение к формальной логике иное, чем у перечисленных философов. Если последние были сторонниками философии «идеального языка» (интерпретированного логического исчисления), отвергая естественный язык из-за его многочисленных логических дефектов (многозначности, неопределенности, референциальной пустоты, категориальных смешений и т. п.), то Дэвидсон, напротив, ратовал за анализ естественных языков. Как и Витгенштейн в «Логико-философском трактате», он полагал, что формальные языки логики нужны философам не для того, чтобы в своих исследованиях избегать недостатков естественного языка, а для того, чтобы понять, какие логические формы лежат в основе предложений обыденного языка. Это означает, что формальная логика фиксирует глубинную структуру естественного языка и, стало быть, может использоваться в качестве инструмента его анализа. Поэтому в явной оппозиции к Куайну Дэвидсон не пытается установить онтологию мира путем переструктурирования языка науки, он стремится выявить «метафизику, предполагаемую естественным языком». В духе Стросона он интересуется не «улучшением естественного языка, а его пониманием» [Davidson, 1984, p. 203].
Во-вторых, в отличие от Куайна, скептически относящегося к перспективам создания теории значения и заменившего понятие значения его «бихевиористским эрзацем» — стимул-значением, Дэвидсон выдвинул программу построения систематической формальной теории значения для естественных языков.
В-третьих, хотя, как мы видели, истина играет ключевую роль в онтологических изысканиях Куайна, поскольку предложения наблюдения, истинность которых удостоверяется напрямую, образуют, по его мнению, тот уровень или край языка, на котором происходит его столкновение с реальностью, однако связь между истиной и значением не стала для Куайна предметом теоретического осмысления. Для Дэвидсона же истина выступает не только ключом к трактовке значения, но и образует основу особого онтологического метода — так называемого метода истины в метафизике. Поэтому в своем изложении метафизической концепции Дэвидсона мы для начала обратимся к тому, как он связал между собой понятия значения и истины.
4.1. Д. Дэвидсон о связи между значением и истиной
К началу 1960-х годов среди аналитических философов стала остро ощущаться потребность в выработке нового подхода к проблеме значения. С одной стороны, исследования лингвистических философов, выдвинувших лозунг «значение есть употребление», показали, что значение представляет собой сложный по структуре феномен и на вопрос о том, что входит в значение слова, а что не входит, не так-то легко ответить. Поэтому росло осознание того, что проблему значения нельзя плодотворно исследовать, не имея систематической теории. Это было серьезным затруднением для философов обыденного языка, поскольку они либо не считали нужным и возможным построение такой теории, либо не имели четкого представления о том, как это следует делать. С другой стороны, философы, работающие в иной аналитической традиции, накопили впечатляющий арсенал логических средств для изучения и интерпретации формальных языков логики и математики. В середине 1930-х годов польский логик и философ Альфред Тарский показал, как можно построить в строго математическом виде определение истины для формализованных языков, а на его основе определить понятия логической истины и логического следования. Одно из главных применений, которое было найдено его результатам, состояло в разработке интерпретаций для различных формальных языков. Задать интерпретацию такого языка значит указать область объектов, которые соотносятся с его выражениями, при этом интерпретация предложений получается из интерпретации слов при помощи условий, составляющих определение истины Тарского. Важным направлением в этих логических исследованиях стало обогащение формальных языков символической логики, к которым применим метод Тарского, с тем, чтобы они могли выражать все больше и больше понятий, играющих центральную роль в естественных языках, например модальные понятия, временные выражения, индексикальные выражения, глаголы, выражающие пропозициональные установки и т. п. Полученные результаты внушали надежду, что в недалеком будущем можно будет достичь полного описания естественных языков с помощью подобных средств. Именно в этот момент и появился Дэвидсон со своей программой создания систематической теории значения для естественных языков.