является достаточно точной и ясной и способна «приводить к различным недоразумениям», Тарский счел нужным найти «более точное выражение наших интуиций» [Тарский, 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-предложения):

(T’) «p» истинно в L , если и только если p .

Установив требования, которым должно отвечать общее определение «истинно-в- L», Тарский обращается к построению самого этого определения. На первый взгляд, это общее определение можно получить, применив квантор всеобщности к схеме (T’): для всякого p, «p» истинно в L , если и только если p . Однако, считая квантификацию внутри кавычек незаконной, Тарский стремится получить общее определение истины с помощью аксиоматизации, т. е. путем задания множества аксиом, достаточных для выведения Т-предложения для каждого предложения языка L . Выполнение этой задачи предполагает, что язык L (да собственно и метаязык M) имеет точно заданную структуру: четко указан словарь исходных терминов, рекурсивно перечислены простые предложения и определены операции, с помощью которых можно из простых предложений образовывать более сложные. Семантика такого языка также строится рекурсивно. Она определяет, как истинностные значения сложных предложений зависят от истинностных значений составляющих их простых предложений. Поскольку простые предложения образуются из предикатов, трактуемых как пропозициональные функции (например, «x больше превращается в предложение, когда вместо свободных переменных x и y в это выражение подставляются имена объектов), Тарский вводит понятие выполнимости, выражающее отношение между предикатами и бесконечными последовательностями (упорядоченными множествами) объектов. Так, пропозициональная функция ‘F (x 1 … x n)’ выполняется последовательностью 1… O n, O n+1 >, если и только если она выполняется первыми n членами этой последовательности, а это означает, что данная функция становится истинным предложением, когда свободные переменные в ней заменяются именами соответствующих объектов из указанной последовательности. Таким образом, для каждого предиката языка L рекурсивно задаются условия, при которых он выполняется в L, а затем на основе понятия выполнимости-в- L определяется «истинно-в-L» для простых предложений. В силу того, что простые предложения представляют собой предельные случаи пропозициональных функций, т. е. являются пропозициональными функциями без свободных переменных, истинное простое предложение можно определить как такое предложение, которое выполняется каждой последовательностью объектов.

Как мы видим, семантическая теория истины Тарского является теорией истины в ином смысле, чем традиционные теории вроде корреспондентной, когерентной и прагматистской. Начать с того, что если последние могут быть сформулированы обыденным языком, то Тарскому потребовалось построение аксиоматической формальной теории, нацеленной на выведение семантических характеристик для каждого предложения искусственного языка. Но главное различие состоит в том, что цель традиционных теорий истины — разъяснить содержание понятия истины, тогда как в теории Тарского дается строгое описание объема этого понятия. Философы по-разному оценивают этот результат. Одни указывают на то, что подобное «определение» ничего не говорит нам о сути истины [97]; другие же ставят в заслугу Тарского то, что ему удалось дать определение интенсионального понятия, используя лишь экстенсиональные концептуальные ресурсы. Дэвидсон, безусловно, принадлежит ко второй категории философов. По его собственным словам, именно теория Тарского вдохновила его на исследование значения.

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

Добавить отзыв
ВСЕ ОТЗЫВЫ О КНИГЕ В ИЗБРАННОЕ

0

Вы можете отметить интересные вам фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.

Отметить Добавить цитату