В работе «С логической точки зрения» (1953) Куайн провел различие между «теорией
референции», оперирующей такими экстенсиональными понятиями, как «обозначает»,
«выполняет», «истинно», и «теорией значения», включающей в себя такие интенсиональные
понятия, как «синонимичный», «аналитический», «означает». Теория референции, утверждал
Куайн, значительно лучше оснащена в интеллектуальном отношении, нежели теория
значения. Дэвидсон вначале намеревался разработать теорию, которая выполняла бы все то,
что мы требуем от теории значения, т.е. позволяла бы нам интерпретировать предложения,
но которая «прекрасно помещалась бы в рамках теории референции». (Позже в работе
«Реальность без референции» (1970) он будет отрицать возможность того, что было бы
правильно назвать теорией референции; понятие референции, скажет он, нужно нам лишь в
качестве «постулата» семантической теории, но проверяемая теория начинается на уровне
описания истинных предложений и функционирования слов в предложениях, так же как,
утверждает он, проверки теорий в физике микромира осуществляются на уровне физических
объектов. Тем не менее теория значения использует понятие «референция», но не так, как
она использует понятие «значение».)
6
Пропозициональная логика, полагал он, продемонстрировала нам, как истинностное
значение «р или q» определяется истинностными значениями p и <7; Тарский показал, как
истинностное значение «открытых» предложений, содержащих свободные переменные,
такие как х, определяется тем, что эти переменные выполняются упорядоченными
последовательностями; например,
78 Джон Пассмор. Современные философы
если взять простейший случай, «открытые» предложения вида <ос есть отец у» выполняются
такой упорядоченной последовательностью, как <Герцог Эдингбургский, принц Чарльз>, и
таким образом Тарскому удалось определить истинность квалифицированных предложений.
Сам же Дэвидсон показал, как истинность утверждений о действиях определяется
истинностью утверждений о событиях. Это было началом, но, по его мнению, хорошим
началом, сколько бы проблем ни оставалось еще решить.
Семантика Дэвидсона намечалась как аскетичная в онтологическом отношении теория.
«Думаю, теории значения достигнут успеха, — пишет он в ответе Фостеру, — когда мы
перестанем некритически использовать в них понятия конвенции, лингвистической роли,
лингвистической практики или языковых игр». И Монтегю, и Льюис, и Крипке предлагают
нам, с точки зрения Дэвидсона, слишком обильную диету; они же в ответ оспаривают
способность Дэвидсона справиться с признаваемыми им проблемами, например с проблемой
контрфактических высказываний, используя диету, которая, по их мнению, не обеспечивает
удовлетворительного питания.
Тарский разделял пристрастие Дэвидсона к экстенсиональному. Аксиомы его «определения
истины» — или, в терминологии Дэвидсона, «теории истины», — содержат только такие
выражения, как «класс», «последовательность», «предложение», «структурное описание»
7
.
Для разработки столь же аскетичной теории значения нам нужно, считает Дэвидсон, сначала
найти некоторое свойство Т, характерное для тех предложений, которые «означают, что р» (в
конкретном языке L), а затем выявить некоторое неинтенсиональное отношение между
предложениями, обладающими таким свойством, и самим/;. Мы сможем это сделать, говорит
он, заменив «означает» на «если и только если», а Т— на «истинно». В результате мы
получим предложения истинности (Г-предложения) Тарского: «Снег бел» истинно (в
русском языке), если и только если снег бел. Теперь мы можем опереться на формальные
ресурсы теории Тарского, на его методы доказательства Г-предложений. Если дана такая
теория и если признать ее тем, что она есть, т.е. теорией истины, то, как пишет Дэвидсон в