14. Метод истины в метафизике

можем узнать о метафизике, однако обоснование этого требует иных аргументов.)

Куайн внес существенный элемент в обсуждаемую концепцию, показав, каким образом холистский подход к проблеме понимания языка помогает решать вопросы эмпирического обоснования. Если метафизические следствия выводятся из теории истины так, как я предлагаю, то подход к языку должен быть холистским. Однако сам Куайн по некоторым причинам не придавал холизму непосредственного метафизического значения. Во-первых, у Куайна теория истины не занимала центрального положения ни как ключ к онтологии языка, ни как основа для проверки логической формы. Во-вторых, подобно Фреге, он рассматривал удовлетворительно структурированный язык скорее как улучшение естественного языка, а не как часть теории языка. По-видимому, в одном важном отношении Куайн идет даже дальше, чем Фреге, ибо если Фреге полагал, что его система записи улучшает язык, то Куайн считал, что система записи улучшает науку. В итоге Куайн связывает свою метафизику со своей канонической системой записи, а не с естественным языком. В частности, он пишет: «Поиск наиболее простого и ясного универсального образца канонической записи не следует отличать от поиска фундаментальных категорий, показывающих наиболее общие черты реальности»1.

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

283

ЯЗЫК И РЕАЛЬНОСТЬ

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

Работа Тарского об определениях истины для формализованных языков вдохновляет на поиски теории истины для' естественных языков2. Его метод заключается в том, чтобы сначала задать семантические свойства элементов конечного словаря, а затем на этой основе рекурсивно охарактеризовать истину для каждого бесконечного множества предложений. Истина определяется с помощью тонкого и плодотворного понятия (выполнимости), связывающего предложения и иные выражения с объектами мира. Важная особенность подхода Тарского состоит в том, что определение предиката «истинно» считается приемлемым только в том случае, если для каждого предложения языка L из него следует теорема вида «х истинно в L тогда и только тогда, когда...», где «х» представляет описание данного предложения, а вместо точек стоит перевод предложения в язык теории.

Ясно, что эти теоремы, которые мы можем назвать Т-пред-ложениями, требуют предиката, справедливого именно для истинных предложений языка L. Из того факта, что условия истинности некоторого предложения являются переводом данного предложения (то есть с правой стороны от связки «тогда и только тогда, когда» в Т-предложении стоит перевод предложения, описание которого указано в левой стороне), можно заключить, что данная теория показывает, каким образом для каждого данного предложения можно определить понятие истины, не обращаясь к концептуальным средствам, которых нет в данном предложении.

Высказанные замечания лишь приблизительно корректны. Теория истины для естественного языка должна связать истинность предложения с обстоятельствами его произнесения, а если это сделано, то условия истинности, задаваемые Т-предложением, не будут больше переводом рассмат-

284