Читать онлайн «Язык, онтология и реализм». Страница 37

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

Во-вторых, в отличие от Куайна, скептически относящегося к перспективам создания теории значения и заменившего понятие значения его «бихевиористским эрзацем» — стимул-значением, Дэвидсон выдвинул программу построения систематической формальной теории значения для естественных языков.

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

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

Для формулировки своей программы Дэвидсон использовал прием Тарского, который оказался плодотворным в исследовании формальных языков, и тем самым американский философ «способствовал установлению важного контакта между двумя философскими субкультурами в аналитической философии. Одна субкультура включала лингвистических философов, считавших вопросы значения центральными в философии, но не располагавших теоретическими средствами для разработки систематического подхода к значению. Вторая субкультура состояла из формалистов, которые усиленно использовали искусственные языки для моделирования разнообразных аспектов естественных языков, но которые, за небольшим исключением, не были обеспокоены тем, чтобы связать свои формальные исследования с более широким спектром философских проблем. Во многом влияние Дэвидсона объясняется тем, что он заставил эти группы уделить друг другу больше внимания» [Soames, 2003b, p. 295].

Прежде чем излагать теорию значения Дэвидсона, следует кратко рассмотреть, в чем состоял подход Тарского к определению предиката «истинно» для формализованных языков. Свое определение, по словам Тарского, он стремился связать с «интуициями, закрепленными в классической аристотелевской концепции истины», которую он формулирует следующим образом: «Истинность предложения состоит в его согласии с реальностью (или в соответствии ей)», но поскольку эта формулировка не является достаточно точной и ясной и способна «приводить к различным недоразумениям», Тарский счел нужным найти «более точное выражение наших интуиций» [Тарский, 1998, с. 92–93]. Он характеризует свою теорию как семантическую, а семантику трактует как раздел логики, занимающийся отношениями между лингвистическими выражениями и объектами или положениями дел, на которые эти выражения «ссылаются» или которые они выражают. Свою цель он видит в том, чтобы дать систематическое описание того, как определяется объем термина «истинно» в конкретном языке с точно заданной структурой (скажем, L). С его точки зрения, подобное систематическое описание и является искомым определением предиката «истинно», которое вместе с тем должно удовлетворять следующим двум условиям: оно должно быть «материально адекватным» и «формально корректным». При формулировке критерия материальной адекватности Тарский начинает с того, что условия истинности для отдельного предложения языка L можно задать следующим образом:

«Снег бел» истинно, если и только если снег бел.

В правой части этой эквивалентности стоит само предложение, а в левой части — имя этого предложения, образованное благодаря заключению предложения в кавычки. Использование имени предложения объясняется тем, что «если мы хотим что-то сказать относительно какого-то предложения, например, что оно истинно, мы должны использовать имя этого предложения, а не само предложение» [Тарский, 1998, с. 94]; кроме того, благодаря использованию имени предложенное «частичное» определение термина «истинно» применительно к предложению «Снег бел» не содержит в себе круга. Аналогичные определения можно дать любому другому предложению языка L, и, если бы число таких предложений было конечно, мы могли бы иметь полное определение термина «истинно» в виде конъюнкции всех частичных определений. Однако число предложений потенциально бесконечно, поэтому вместо полного определения мы можем сформулировать схему, которой должно удовлетворять каждое частичное определение, а именно:

(T) s истинно, если и только если p,

где p можно заменить любым предложением языка L, а s — именем этого предложения. Эта T-схема обеспечивает желаемый критерий материальной адекватности полного определения, известный как «конвенция T»: определение «истинно» является материально адекватным, если из него следуют все эквивалентности вида (T) для предложений языка L.

Требование формальной корректности необходимо для того, чтобы избежать семантических парадоксов (вроде парадокса лжеца), возникновение которых, по мнению Тарского, обусловлено «семантической замкнутостью» обыденного языка: в нем содержатся не только выражения для внеязыковых объектов, но и имена его собственных выражений и семантические термины вроде «истинно», в результате чего становится возможным построение самореференциальных или самоприменимых предложений. Для получения семантически незамкнутых языков нужно, считает Тарский, четко различать «объектный язык», для которого семантическая теория определяет термин «истинно», и «метаязык» самой теории, который используется для описания объектного языка. Таким образом, в понимании Тарского истина — это металингвистическое свойство предложений незамкнутых языков, т. е. термин «истинно», определенный для языка L (точнее, термин «истинно-в-L»), принадлежит к метаязыку M, который должен быть богаче языка L. Если же метаязык M содержит объектный язык L в качестве своей части, в этом случае мы имеем Т-предложения со снятием кавычек (или «дисквотационные» T-предложения):