12 ведущих философов современности

В ноябре 1954 года Дэвидсон представил Калифорнийскому университету в Беркли статью о методе Карнапа. В аудитории находился крупнейший польский логик Альфред Тарский, работавший в то время на философском факультете. После семинара Тарский дал Дэвидсону экземпляр своей статьи «Семантическая концепция истины и основания семантики». После этого Дэвидсон ознакомился с посягающей на основы статьей Тарского об истине «Wahrheitsbegriff». Тарский представил аксиоматическое и безусловно корректное определение смыслового предиката для формального языка, дававшее возможность для каждого предложения объектного языка (языка, для которого определен предикат истинности) стать предложением на метаязыке (теоретическом языке), которое позволяло бы узнать, при каких условиях истинно каждое из бесчисленного множества предложений объектного языка. Это было очень важное достижение, ибо, дав формальное связное определение истинности, Тарский создал очевидно непротиворечивую основу для применения концепции истинности в логике и основаниях математики и проложил путь к систематическому изучению семантики в связи с языками, применяемыми логиками и математиками.

Ретроспективные примечания Дэвидсона отчетливо показывают, как эти нити сплелись воедино в его программе изучения теории смысла:

«Я очень разволновался, поняв смысл этой статьи [«Wahrheitsbegriff»]. Мне было бы ее вообще не понять, если бы я не занимался раньше теорией принятия решений. Передо мной забрезжило вдруг нечто вроде серьезной теории, и мне думается, что другие люди, занимавшиеся философией языка, были лишены ощущения, что мы стоим на пороге появления такой теории. Тарский, который наверняка знал, какой должна быть серьезная теория, не проявлял особого интереса к философии. Я же увидел, как можно увязать две эти вещи. Мне показалось, что надо мной разверзлись небеса. Я сел и начал писать, связывая и приводя к общему знаменателю множество разных вещей» («Проблема разумности», 253).

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

В чем главная заслуга Тарского? Он дал критерий адекватности для определения истинности в формальном языке и показал, как построить определение предиката истинности, отвечающего условию адекватности. Условие адекватности он назвал Соглашением Т. Это Соглашение требует, чтобы адекватная дефиниция истинности была формально корректна и имела в качестве теорем все предложения формы (Т) или аналогичной ей.

(Т) S есть Т тогда и только тогда, когда р.

Здесь «есть Т» является определяемым предикатом истинности, «s» заменяют описанием предложения объектного языка в терминах его значимой части, а «р» заменяют предложением метаязыка, на который переводят «s». (S), например, есть случай (Т) («Т-предложение»),

(S) «La neige est blanche» есть T тогда и только тогда, когда снег — белый.

Это гарантирует, что «s» находится в расширении «есть Т» тогда и только тогда, когда оно истинно, ибо если «р» есть перевод «s», то оно истинно тогда и только тогда, когда истинно «s». Это определение можно представить в форме набора базовых и рекурсивных аксиом, обеспечивающих «условия истинности» для каждого предложения объектного языка. Базовые аксиомы применимы к простым элементарным высказываниям. Рекурсивные аксиомы применимы к высказываниям, построенным на других высказываниях — в пределе — к лексическим единицам.