Альфред ТАРСКИЙ

СЕМАНТИЧЕСКАЯ КОНЦЕПЦИЯ ИСТИНЫ И ОСНОВАНИЯ СЕМАНТИКИ ¹.

Данная статья состоит из двух частей, из которых первая носит описательный характер, а вторая является полемической.

В первой части статьи я хочу кратко и неформально изложить основные результаты моих исследований, связанных с определением истины и с более общей проблемой оснований семантики. Эти результаты были представлены в работе, опубликованной несколько лет назад ². Хотя мои исследования относятся к понятию, разрабатываемому классической философией, они до сих пор сравнительно мало известны в философских кругах. Быть может, это объясняется техническими сложностями изложения. Поэтому, я надеюсь, меня извинят за то, что я обращаюсь к этим вопросам еще раз ³.

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

Во второй части статьи я широко использую материал, любезно предоставленный мне доктором Марией Кокошиньской (Львовский университет). Я чрезвычайно благодарен профессорам Эрнсту Нагелю (Колумбийский университет) и Дэвиду Райнину (Калифорнийский университет, Беркли) за их помощь в подготовке окончательного текста статьи и разнообразные критические замечания.

I. ИЗЛОЖЕНИЕ.

1. Главная проблема ≈ удовлетворительное определение истины.

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

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

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

Обсуждение этого займет значительное место в первой части статьи.

2. Объем термина ╚истинно╩. Мы начинаем с некоторых замечаний относительно объема того понятия истины, которое мы здесь имеем в виду.

Предикат ╚истинно╩ иногда используется для указания на психологические моменты, такие как убеждения или верования, порой его относят к определенным физическим объектам ≈ языковым выражениям, в частности, к предложениям, а в некоторых случаях его приписывают определенным идеальным сущностям, называемым ╚суждения╩. Под ╚предложением╩ мы понимаем здесь то, что обычно в грамматике подразумевают под ╚повествовательным предложением╩. Что же касается термина ╚суждение╩, то его значение, как хорошо известно, является предметом длительных споров между философами и логиками и, по-видимому, никогда не будет достаточно ясным и определенным. По самым разным причинам представляется наиболее удобным применять термин "истинно╩ к предложениям и мы будем этому следовать ⁶.

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

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

3. Значение термина ╚истинно╩. Гораздо более серьезные трудности связаны с проблемой значения (интенсионала) понятия истины.

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

Мы хотели бы связать наше определение с интуициями, закрепленными в классической аристотелевской концепции истины и выраженными в хорошо известном отрывке из ╚Метафизики╩ Аристотеля:

╚Сказать, что существующее не существует или что несуществующее существует, значит высказать ложь, сказать же, что существующее существует, а несуществующее не существует, значит высказать истину╩.

Если воспользоваться современной философской терминологией, то эту концепцию можно было бы выразить известной формулой:

╚Истинность предложения состоит в его согласии с реальностью (или в соответствии ей)╩.

(Теория истины, опирающаяся на последнюю формулировку, называется ╚теорией соответствия╩).

С другой стороны, если бы теперь мы решили расширить распространенное употребление термина ╚десигнат╩ и связывать его не только с именами, но также и с предложениями, и если бы под десигнатами предложений мы договорились понимать ╚положения дел╩, то упомянутую выше формулу мы могли бы выразить следующей фразой:

╚Предложение истинно, если оно обозначает существующее положение дел╩ ⁷.

Однако все эти формулировки способны приводить к различным недоразумениям, так как ни одна из них не является достаточно точной и ясной (хотя этот упрек в гораздо меньшей степени относится к первоначальной формулировке Аристотеля). Во всяком случае ни одна из них не может считаться удовлетворительным определением истины. Это вынуждает нас искать более точного выражения наших интуиции.

4. Критерий материальной адекватности искомого определения. ⁸

Начнем с конкретного примера. Рассмотрим предложение ╚Снег бел╩. Мы задаемся вопросом: при каких условиях это предложение истинно или ложно? Представляется очевидным, что если мы опираемся на классическую концепцию истины, то должны сказать, что данное предложение истинно, если снег бел, и ложно, если снег не бел. Таким образом, если определение истины соответствует нашей концепции, то из него должна следовать эквивалентность:

╚Предложение "Снег бел" истинно тогда и только тогда, когда снег бел╩.

Обращаю внимание на то, что фраза ╚Снег бел╩ в левой части этой эквивалентности стоит в кавычках, а в правой части ≈ без кавычек. В правой части стоит само предложение, а в левой части ≈ имя этого предложения. Используя средневековую логическую терминологию, мы могли бы сказать, что в правой стороне слова ╚снег бел╩ употребляются в формальной суппозиции, а в левой стороне ≈ в материальной суппозиции. Вряд ли нужно объяснять, почему в левой части эквивалентности нам требуется имя предложения, а не само предложение. Во-первых, с точки зрения грамматики нашего языка выражение вида ╚X истинно╩ не будет осмысленным предложением, если мы в нем ╚X╩ заменим предложением или чем-то иным, также отличным от имени, ибо субъектом предложения может быть только имя существительное или выражение, выполняющее функции существительного. Во-вторых, фундаментальные соглашения относительно использования любого языка требуют, чтобы в высказывании о каком-либо объекте использовалось имя этого объекта, а не он сам. Следовательно, если мы хотим что-то сказать относительно какого-то предложения, например, что оно истинно, мы должны использовать имя этого предложения, а не само предложение ⁹.

К этому можно добавить, что заключение некоторого предложения в кавычки вовсе не является единственным способом образования его имени. Например, предполагая обычный порядок букв в нашем алфавите, мы можем в качестве имени (дескрипции) предложения ╚снег бел╩ использовать следующее выражение:

╚Предложение, состоящее из двух слов, первое из которых составлено из 17-й, 13-й, 6-й и 4-й букв, а второе ≈ из 2-й, 6-й и 11-й букв русского алфавита╩ ¹⁰.

Теперь мы можем обобщить эту процедуру. Рассмотрим произ вольное предложение, которое представим буквой ╚р╩. Образуем имя этого предложения и представим его другой буквой, скажем ╚X╩. Теперь мы спрашиваем: каково логическое отношение между двумя предложениями ≈ ╚X истинно" и ╚р╩? Ясно, что с точки зрения нашей исходной концепции истины эти предложения эквивалентны. Иными словами, справедлива следующая эквивалентность:

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

Любую такую эквивалентность (в которой ╚&p╩ представляет какое-либо предложение того языка, к которому относится слово ╚истинно╩, а ╚X╩ представляет имя этого предложения) мы будем называть ╚эквивалентностью вида T╩.

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

Следует подчеркнуть, что ни само выражение Т (которое является не предложением, а лишь схемой предложений, ни любой конкретный пример вида Т нельзя рассматривать в качестве определения истины. Мы можем сказать лишь, что каждая эквивалентность вида Т, полученная посредством замены ╚p╩ каким-либо конкретным предложением, а ╚X╩ ≈ именем этого предложения, может рассматриваться как частное определение истины, разъясняющее, в чем состоит истинность этого конкретного предложения. Общее определение истины должно быть, в некотором смысле, логической конъюнкцией всех этих частных определений.

(Последнее замечание нуждается в некоторых комментариях. Язык может позволять строить бесконечно много предложений, поэтому число частных определений истины для предложений такого языка также будет бесконечным. Таким образом, для того чтобы придать нашему замечанию точный смысл, мы должны были бы разъяснить, что имеется в виду под ╚логической конъюнкцией бесконечного множества предложений╩, однако это увело бы нас слишком далеко в технические проблемы современной логики.)

5. Истина как семантическое понятие. Для только что рассмотренной концепции истины я хотел бы предложить название ╚семантическая концепция истины╩.

Семантика есть дисциплина, которая, вообще говоря, имеет дело с определенными отношениями между выражениями языка и обьектами (или ╚положениями дел╩), к которым ╚относятся╩ эти выражения. В качестве типичных примеров семантических понятий мы можем указать понятия обозначения, выполнимости и определения, встречающиеся в следующих примерах:

выражение "отец нации" обозначает Джорджа Вашингтона;

снег выполняет пропозициональную функцию (условие) ╚х бел╩;

уравнение ╚2 • х = 1╩ определяет (точно задает) число 1/2.

В то время как слова ╚обозначает╩, ╚выполняет╩ и ╚определяет╩ выражают отношения (между определенными выражениями и объектами, на которые ╚ссылаются╩ эти выражения), слово ╚истинно╩ обладает иной логической природой: оно выражает свойство (или обозначает класс) определенных выражений, а именно предложений. Тем не менее, нетрудно заметить, что все формулировки, которые были даны выше и имели цель разъяснить значение этого слова (см. разделы 3 и 4), говорили не только о самих предложениях, но также об объектах, о которых шла речь в этих предложениях, или, быть может, о ╚положениях дел╩, описываемых ими. Кроме того, наиболее простым и естественным способом построения точного определения истины оказывается тот, который опирается на использование семантических понятий, в частности, понятие выполнимости. Именно по этим причинам понятие истины мы причисляем к понятиям семантики, а проблема определения истины оказывается тесно связанной с более общей проблемой установления оснований теоретической семантики.

Быть может, стоит сказать о том, что семантика ≈ как она понимается в этой статье (и в более ранних статьях автора) ≈ есть сдержанная и скромная дисциплина, которая вовсе не претендует на то, чтобы быть панацеей от всех бед и несчастий человечества ≈ воображаемых или реальных. Вы не найдете в семантике лекарства от зубной боли, мании величия или классовых конфликтов. Семантика также не дает средств для доказательства того, что все, за исключением говорящего и его друзей, несут чушь.

Со времен античности до наших дней понятия семантики играли важную роль в рассуждениях философов, логиков и филологов. Тем не менее, в течение долгого времени к этим понятиям относились с некоторым подозрением. С точки зрения истории, это подозрение следует считать вполне оправданным. Несмотря на то, что в повседневном языке значения семантических понятий представляются достаточно ясными и понятными, все попытки выразить эти значения общим и точным способом оказывались безуспешными. Еще хуже то, что многие рассуждения, включавшие в себя эти понятия и казавшиеся вполне корректными и опирающимися на, казалось бы, очевидные предпосылки, часто приводили к парадоксам и антиномиям. Доста точно указать здесь на антиномию лжеца, антиномию определимости (посредством конечного числа слов) Ришара и антиномию гетерологических терминов Греллинга-Нельсона ¹¹.

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

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

Существуют некоторые общие условия, при выполнении которых структура некоторого языка считается точно заданной. Так, чтобы точно описать структуру языка, мы должны однозначно охарактеризовать класс тех слов и выражений, которые должны считаться осмысленными. В частности, мы должны указать все слова, которые решили употреблять без их предварительного определения и которые называются ╚неопределяемыми (или ╚исходными╩) терминами╩. Нам нужно задать также так называемые правила определения для введения новых, или определяемых, терминов. Кроме того, нам нужно сформулировать критерии, позволяющие в классе всех возможных выражений выделять те, которые мы называем ╚предложениями╩. И, наконец, мы должны сформулировать условия, при которых можно утверждать некоторое предложение языка. В частности, нужно указать все аксиомы (или исходные предложения), т. е. те предложения, которые утверждаются без доказательства, и задать так называемые правила вывода (или правила доказательства), посредством которых из ранее принятых предложений можно дедуцировать новые предложения. Аксиомы и предложения, полученные из них посредством правил вывода, называются ╚теоремами╩ или ╚доказуемыми предложениями╩.

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

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

(С другой стороны, можно представить себе языки с точно заданной структурой, но неформализованные. В таких языках утверждение предложений, например, может зависеть не только от их формы, но и от других, внелингвистических факторов. Было бы интересно и важно действительно построить язык такого типа, который оказался бы достаточно богатым для изложения обширной области эмпирической науки. Это послужило бы оправданием надежды на то, что языки с точной структурой в конце концов заменят повседневный язык в научных рассуждениях.)

Проблема определения истины приобретает точный смысл и может быть решена строгим образом только для таких языков, структура которых точно задана. Для других языков, следовательно для всех естественных, ╚разговорных╩ языков, смысл этой проблемы является не вполне ясным, и ее решение может носить лишь приблизительный характер. Грубо говоря, эта приблизительность заключается в замене естественного языка (или интересующей нас части его) языком с точно заданной структурой, который отличается от данного языка ╚так мало, как это возможно╩.

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

Для того чтобы получить эту антиномию в ясной форме ¹², рассмотрим следующее предложение:

╚Предложение, напечатанное в этой статье на стр... , строка ..., ≈ неистинно╩.

Для краткости заменим это предложение буквой ╚s╩. В соответствии с нашим соглашением относительно адекватного употребления термина ╚истинно╩ мы утверждаем следующую эквивалентность вида Т:

(1) ╚s╩истинно тогда и только тогда, когда предложение, напечатанное в этой статье на стр... , строка... , неистинно.

С другой стороны, помня о значении символа ╚s╩, мы эмпириче ски устанавливаем следующий факт:

(2) ╚s╩ тождественно предложению, напечатанному в этой статье на стр... , строка... ╩.

Теперь, благодаря известному закону теории тождества (закон Лейбница), из (2) следует, что в эквивалентности (1) выражение ╚предложение, напечатанное в этой статье на стр..., строка...╩ мы можем заменить символом ╚s╩. Таким образом, мы получаем:

(3) ╚s╩ истинно тогда и только тогда, когда ╚s╩ неистинно.

Вот мы и пришли к очевидному противоречию.

Мне представляется, что с точки зрения научного прогресса было бы ошибочно и чрезвычайно опасно преуменьшать значение этой и других антиномий и рассматривать их как простые шутки или софизмы. Мы действительно сталкиваемся здесь с абсурдом, действительно вынуждены утверждать ложное предложение (поскольку (3), будучи эквивалентностью двух противоречащих друг другу предложений, необходимо ложно). Если мы серьезно относимся к своей работе, мы не можем смириться с этим фактом. Мы должны обнаружить его причину, т. е. должны рассмотреть предпосылки, на которые опирается антиномия, и отвергнуть по крайней мере одну из них, а затем проанализировать следствия, к которым это приводит для всей области нашего исследования.

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

8. Противоречивость семантически замкнутых языков. Анализируя предпосылки, приводящие к антиномии, мы замечаем следующее:

(I) Мы неявно допускаем, что язык, в котором построена эта антиномия, в дополнение к своим выражениям содержит также имена этих выражений и семантические термины, например, термин ╚истинно╩, относящийся к предложениям этого языка. Мы допускаем также, что все предложения, задающие адекватное употребление этого термина, могут быть сформулированы в нашем языке. Языки, обла дающие такими свойствами, мы будем называть ╚семантически замкнутыми╩.

(II) Мы предполагаем, что в этом языке действуют обычные законы логики.

(III) Мы предполагаем, что в нашем языке можно формулировать и утверждать эмпирические посылки типа утверждения (2), входящего в наше рассуждение.

Оказывается, что предположение (III) не является существенным, так как можно построить антиномию лжеца без его помощи ¹³. Но предположения (I) и (II) существенны. И поскольку каждый язык, удовлетворяющий обоим этим предположениям, является противоречивым, мы должны отбросить по крайней мере одно из них.

Было бы излишним рассматривать здесь следствия отбрасывания предположения (II), т. е. следствия изменения нашей логики (если это вообще возможно) хотя бы в наиболее элементарных и фундаментальных ее частях. Поэтому мы рассмотрим только одну возможность ≈ отказ от предположения (I). Мы принимаем решение не пользоваться языком, который семантически замкнут в указанном выше смысле.

Конечно, это ограничение неприемлемо для тех, кто по неясным для меня причинам убежден в том что существует только один ╚подлинный╩ язык (или что все ╚подлинные╩ языки взаимно переводимы). Однако это ограничение никоим образом не затрагивает потребностей или интересов науки. Языки (будь то формализованные языки или ≈ что случается гораздо чаще ≈ фрагменты повседневного языка), используемые в научных рассуждениях, не обязаны быть семантически замкнутыми. Это очевидно для лингвистических феноменов, в частности, семантические понятия никоим образом не включаются в содержание науки. Однако в следующем разделе мы увидим, каким образом можно избежать семантической замкнутости даже в тех научных рассуждениях, для которых существенно использование семантических понятий.

Встает вопрос: как с этой точки зрения обстоит дело с повседневным языком? На первый взгляд может показаться, что этот язык удовлетворяет обоим предположениям (I) и (II) и, следовательно, должен считаться противоречивым. Однако в действительности все обстоит не так просто. Наш повседневный язык несомненно не является языком с точно заданной структурой. Мы не знаем в точности, какие выражения являются предложениями, и еще меньше знаем о том, какие предложения можно утверждать. Поэтому проблема непротиворечивости относительно этого языка не имеет точного смысла. Мы можем лишь рискнуть высказать предположение: язык, структура которого была бы точно задана и который был бы максимально близок к естественному языку, по-видимому, был бы непротиворечивым.

9. Объектный язык и мета-язык. Поскольку мы согласились не пользоваться семантически замкнутыми языками, постольку при обсуждении проблемы определения истины и вообще любых проблем из области семантики мы должны использовать два разных языка. Первый из них есть язык, который ╚о чем-то говорит╩ и который является предметом всего нашего обсуждения, ибо искомое определение истины как раз и применяется к предложениям этого языка. Второй язык ≈ тот, в котором мы ╚говорим о╩ первом языке и в терминах которого мы хотим, в частности, построить определение истины для первого языка. Первый язык мы будем называть ╚объектным языком╩, а второй ≈ ╚мета-языком╩.

Следует отметить, что термины ╚объектный язык╩ и ╚мета-язык╩ являются лишь относительными. Если, например, нас заинтересует понятие истины, применимое к предложениям не нашего первоначального объектного языка, а его мета-языка, то последний автоматически становится объектным языком нашего обсуждения, и чтобы определить истину для этого языка, мы должны перейти к новому метаязыку, так сказать, к мета-языку более высокого уровня. Так мы приходим к целой иерархии языков.

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

(Т) ╚X истинно тогда и только тогда, когда р╩.

Само определение и все вытекающие из него эквивалентности должны быть сформулированы в мета-языке. В то же время, символ ╚р╩ в эквивалентности вида Т представляет произвольное предложение нашего объектного языка. Отсюда следует, что каждое предложение, встречающееся в объектном языке, должно входить также в метаязык, иными словами, мета-язык должен содержать объектный язык как свою часть. Во всяком случае, это необходимо для доказательства адекватности определения, хотя само определение иногда может формулироваться в менее богатом мета-языке, невыполняющем этого требования.

(Обсуждаемое требование можно несколько модифицировать, так как достаточно потребовать, чтобы объектный язык был переводим в мета-язык. Это приводит к определенному изменению интерпретации символа ╚р╩ в эквивалентности Т. В дальнейшем мы не будем принимать во внимание возможность этой модификации.)

Символ ╚X╩ в эквивалентности T представляет имя того предложения которое представлено символом ╚р╩. Отсюда мы можем увидеть, что мета-язык должен быть достаточно богат для того, чтобы в нем можно было построить имя для любого предложения объектного языка.

Наконец, мета-язык безусловно должен содержать термины общелогического характера, такие как выражение ╚тогда и только тогда, когда╩ ¹⁴.

Желательно, чтобы мета-язык не включал в себя каких-либо неопределяемых терминов, за исключением тех, которые явно или неявно были указаны выше: термины объектного языка; термины, относящиеся к форме выражений объектного языка и используемые для образования их имен; и термины логики. В частности, мы хотим, чтобы семантические термины (говорящие об объектном языке) вводились в мета-язык только посредством определений. Если этот постулат выполнен, определение истины или любого другого семантического понятия будет выполнять то, чего мы интуитивно ожидаем от любого определения: значение определяемого термина оно будет объяснять в таких терминах, значение которых представляется совершенно ясным и недвусмысленным. Кроме того, мы получим некоторые гарантии относительно того, что использование семантических понятий не при ведет нас к каким-либо противоречиям.

У нас нет никаких дальнейших требований к формальной структуре объектного языка и мета-языка, мы предполагаем, что они похожи на другие формализованные языки, известные к настоящему времени. В частности, мы предполагаем, что в мета-языке соблюдаются обычные формальные правила определения.

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

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

Решение оказывается иногда положительным, а иногда отрицательным. Это зависит от некоторых формальных отношений между объектным языком и его мета-языком или, говоря более конкретно, от того, является ли мета-язык в своей логической части ╚существенно богаче╩ объектного языка или нет. Нелегко сформулировать общее и точное определение понятия ╚быть существенно богаче╩. Если мы ограничиваемся языками, опирающимися на логическую теорию типов, то ╚быть существенно богаче╩ для мета-языка означает содержать переменные более высокого логического типа, чем переменные объектного языка.

Если условие ╚быть существенно богаче╩ не выполнено, то обычно можно показать, что возможна интерпретация мета-языка в объектном языке. Это означает, что любому термину мета-языка можно сопоставить вполне определенный термин объектного языка, так что утверждаемые предложения одного языка оказываются соотнесенными с утверждаемыми предложениями другого языка. В итоге рушится предположение о том, что в мета-языке можно сформулировать удовлетворительное определение истины, так как благодаря этой интерпретации оказывается возможным реконструировать антиномию лжеца.

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

Таким образом, мы видим, что условие ╚быть существенно богаче╩ является необходимым для удовлетворительного определения истины в мета-языке. Если же мы хотим сформулировать теорию истины в мета-языке, невыполняющем этого условия, то нам придется отказаться от идеи определить истину только с помощью тех терминов, которые были указаны выше (см. раздел 8). Тогда мы должны будем включить термин ╚истинно╩ или какой-либо иной семантический термин в список неопределяемых терминов мета-языка и выразить фундаментальные свойства понятия истины в ряде аксиом. В такой аксиоматической процедуре нет ничего существенно неверного и для некоторых целей она может оказаться полезной ¹⁵.

Однако вовсе не обязательно использовать эту процедуру. Условие ╚быть существенно богаче╩ для мета-языка оказывается не только необходимым, но также и достаточным для построения удовлетворительного определения истины, т. е. если мета-язык выполняет это условие, то понятие истины может быть определено в нем. Теперь мы покажем в самом общем виде, как может быть осуществлено это построение.

11. Построение (краткий очерк) определения ¹⁶ . Определение истины можно очень просто получить из определения другого семантического понятия ≈ понятия выполнимости.

Выполнимость есть отношение между произвольными объектами и определенными выражениями, называемыми ╚пропозициональными функциями╩. Это выражения типа ╚x бел╩, ╚x больше, чем у╩ и т. п. Их формальная структура аналогична структуре предложений, но они могут включать в себя так называемые свободные переменные (как ╚х╩ и ╚у╩ в выражении ╚x больше, чем у╩), которые не могут входить в предложения.

При определении понятия пропозициональной функции для формализованных языков мы обычно пользуемся ╚рекурсивным методом╩, т. е. сначала описываем пропозициональные функции простейшего вида (что, как правило, не встречает трудностей), а затем указываем операции, посредством которых из простых могут быть построены более сложные функции. Такой операцией может быть, например, образование логической дизъюнкции или конъюнкции двух данных функций, т. е. соединение их с помощью слов ╚или╩ либо ╚и╩. Предложение теперь можно определить просто как пропозициональную функцию, не содержащую свободных переменных.

Что касается понятия выполнимости, то мы могли бы попытаться определить его так: данные объекты выполняют данную функцию, если последняя становится истинным предложением, когда свободные переменные в ней мы заменяем именами этих объектов. В этом смысле, например, снег выполняет пропозициональную функцию ╚х бел╩, так как предложение ╚снег бел╩ истинно. Однако, даже оставляя в стороне другие трудности, мы не можем воспользоваться этим методом, поскольку хотим употребить понятие выполнимости для определения истины.

Для определения понятия выполнимости нам лучше вновь обратиться к рекурсивной процедуре. Сначала мы указываем, какие объекты выполняют простейшие пропозициональные функции, а затем формулируем условия, при которых данные объекты выполняют сложную функцию, предполагая при этом, что нам известно, какие объекты выполняют более простые функции, из которых построена сложная функция. Так, например, мы говорим, что данные числа выполняют логическую дизъюнкцию ╚х больше, чем у или х равно у╩, если они выполняют хотя бы одну из функций ╚x больше, чем у╩ или ╚x равно у╩. Как только получено общее определение выполнимости, мы тотчас же замечаем, что оно автоматически применимо также к тем особым пропозициональным функциям, которые не содержат свободных переменных, т. е. к предложениям. Выясняется, что для предложения возможны лишь два случая: предложение выполняется либо всеми объектами, либо ни одним из них. Отсюда мы легко получаем определение истинности и ложности: предложение истинно, если оно выполняется всеми объектами, и ложно в противном случае ¹⁷.

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

Из этого беглого наброска не видно, где и как в рассуждение включается предположение о ╚большем богатстве╩ мета-языка. Это выясняется лишь при более детальном и формальном построении ¹⁸.

12. Следствия данного определения. Определение истины, набросок которого был дан выше, приводит ко многим интересным следствиям.

В первую очередь, это определение оказывается не только формально корректным, но также и материально адекватным (в смысле раздела 4), иными словами, из него следуют все эквивалентности вида Т. В этой связи важно заметить, что условия материальной адекватности единственным образом детерминируют объем термина ╚истина╩. Поэтому любое определение истины, которое материально адекватно, будет необходимо эквивалентно построенному выше. Семантическая концепция истины не дает нам, так сказать, возможности выбирать между различными неэквивалентными определениями этого понятия.

Кроме того, из нашего определения мы можем дедуцировать различные законы общего характера. В частности, с его помощью мы можем доказать законы противоречия и исключенного третьего, столь важные для аристотелевской концепции истины, т. е. мы можем показать, что только одно из двух противоречащих друг другу предложений истинно. Эти семантические законы не следует отождествлять с родственными логическими законами противоречия и исключенного третьего. Последние принадлежат пропозициональному исчислению, т. е. наиболее элементарной части логики, и вообще не включают в себя термина ╚истинно╩.

Другие важные результаты можно получить, применяя теорию истины к формализованным языкам очень широкого класса математических дисциплин. Из этого класса исключаются лишь дисциплины элементарного характера и весьма элементарной логической структуры. Оказывается, что для дисциплин этого класса понятие истины никогда не совпадает с понятием доказуемости, так как хотя все доказуемые предложения истинны, однако существуют истинные предложения, которые недоказуемы ¹⁹. Отсюда вытекает, далее, что каждая такая дисциплина непротиворечива, но неполна. Это означает, что из любых двух противоречащих друг другу предложений доказуемо самое большее одно из них и существует пары противоречащих друг другу предложений, ни одно из которых недоказуемо ²⁰.

13. Распространение полученных результатов на другие семантические понятия. Большинство результатов, к которым мы пришли в предыдущем разделе при рассмотрении понятия истины, с соответствующими изменениями может быть распространено на другие семантические понятия, например на понятие выполнимости (включенное в предшествующие рассуждения), понятия обозначения и определения.

Каждое из этих понятий можно анализировать тем же способом, который был использован при анализе истины. Так, можно сформулировать критерии адекватного употребления этих понятий; затем можно показать, что использование каждого из этих понятий в соответствии с данными критериями в семантически замкнутом языке необходимо приводит к противоречию 21; опять-таки неизбежным оказывается различение объектного и мета-языка и в каждом случае ╚существенное богатство╩ мета-языка является необходимым и достаточным условием удовлетворительного определения рассматриваемого понятия. Таким образом, результаты, полученные при анализе одного из семантических понятий, применимы к решению общей проблемы основоположений теоретической семантики.

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

Здесь мы занимались теорией семантических понятий, относящихся к отдельному объектному языку (хотя наша аргументация не учитывала никаких специфических свойств этого языка). Однако мы могли бы рассмотреть также проблему разработки общей семантики для обширного класса объектных языков. Значительную часть наших предыдущих рассуждений можно распространить также и на эту общую проблему, однако в этой связи возникают некоторые новые трудности, которые не будут рассматриваться здесь. Я хотел бы лишь заметить, что аксиоматический метод (упомянутый в разделе 10) может оказаться наиболее пригодным для анализа именно этой проблемы ²³.

II. ПОЛЕМИЧЕСКИЕ ЗАМЕЧАНИЯ

14. Является ли семантическая концепция истины ╚правильной╩?

Полемическую часть данной статьи я хотел бы начать с некоторых общих замечаний.

Надеюсь, ничто из сказанного здесь не будет интерпретировано как претензия на то, что семантическая концепция истины является ╚правильной╩ или ╚единственно возможной╩. У меня нет ни малейшего желания принимать какое-либо участие в этих бесконечных и ожесточенных дискуссиях на тему: ╚Какова правильная концепция истины?╩. Должен сознаться, я не понимаю, о чем идет речь в этих спорах, ибо сама проблема столь неопределенна, что сколько-нибудь точное решение ее невозможно. Действительно, смысл, в котором используется фраза ╚правильная концепция╩, как мне представляется, никогда не был ясным. Складывается впечатление, что в большинстве случаев эта фраза имеет почти мистический смысл, вытекающий из веры в то, что каждое слово имеет лишь одно ╚подлинное╩ значение (вид платоновской или аристотелевской идеи) и что все конкурирующие концепции пытаются выразить это единственное значение. Однако, поскольку они противоречат друг другу, успешной может быть лишь одна попытка, следовательно, ╚правильной╩ будет лишь одна концепция.

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

Мне кажется очевидным, что единственный рациональный подход к решению таких проблем состоит в следующем: мы должны признать тот факт, что имеем дело не с одним, а с несколькими различными понятиями, которые обозначаются одним словом; мы должны попытаться сделать эти понятия как можно более ясными (посредством определения, аксиоматической процедуры или как-то иначе); во избежание дальнейшей путаницы мы должны договориться использовать для различных понятий разные слова; а затем мы можем перейти к спокойному и систематическому изучению всех этих понятий ≈ изучению, которое раскроет их основные свойства и взаимные отношения.

Если говорить о понятии истины, то в философских дискуссиях и, может быть, также в повседневном употреблении безусловно можно обнаружить некоторые зачатки истолкования этого понятия, существенно отличающиеся от классического (модернизированной формой которого является семантическая концепция). В литературе обсуждались различные концепции такого рода, например, прагматистская концепция, теория когеренции и т. п. ²⁴.

Мне кажется, ни одна из этих концепций до сих пор еще не была представлена в ясной и недвусмысленной форме. Однако положение может измениться, и настанет время, когда мы столкнемся с несовместимыми, но в равной мере ясными и точными концепциями истины. Тогда станет необходимо отказаться от многозначного употребления слова ╚истинно╩ и вместо него ввести несколько терминов, обозначающих различные понятия. Лично я не буду обижаться, если будущий мировой конгресс ╚теоретиков истины╩ большинством голосов решит сохранить слово ╚истинно╩ за одной из неклассических концепций, а для концепции, рассмотренной здесь, предложит другое слово, скажем, ╚кристинно╩. Однако я не могу представить себе, чтобы кто-то смог предложить убедительные аргументы для обоснования того, что семантическая концепция ╚ошибочна╩ и ее следует вообще отбросить.

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

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

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

В качестве типичного примера позвольте мне изложить суть одного из таких возражений (25). В формулировке определения мы были вынуждены использовать пропозициональные связки, т. е. выражения типа ╚если,.., то...╩, ╚или╩ и т. д. Они встречаются в определяющей части, а одна из них, а именно фраза ╚тогда и только тогда, когда╩ обычно используется для соединения определяемого с определяющим. Хорошо известно, однако, что значение пропозициональных связок разъясняется в логике с помощью слов ╚истинно и ╚ложно╩, например, мы говорим, что эквиваленция, т. е предложение вида ╚р тогда и только тогда, когда q╩, истинна, если оба ее члена, т. е. предложения, представленные символами ╚р╩ и ╚q╩, истинны или оба ложны. Таким образом, определение истины содержит порочный круг. Если бы это возражение было справедливым, формально корректное определение истины оказалось бы невозможным, ибо мы неспособны сформулировать ни одного сложного предложения, не используя логических связок или иных логических терминов, определяемых с их помощью. К счастью, ситуация не столь плоха.

Нет сомнения в том, что строго дедуктивной разработке логики часто предшествуют определенные утверждения, разъясняющие условия, при которых предложения вида ╚если р, то q╩ и т. п. считаются истинными или ложными. (Такие разъяснения часто даются схематично, посредством так называемых таблиц истинности.) Однако эти утверждения находятся вне системы логики и не должны рассматриватся как определения входящих в нее терминов. Они формулируются не в языке системы и представляют собой скорее специальные следствия определения истины, даваемого в мета-языке. Кроме того, эти утверждения никоим образом не влияют на дедуктивную разработку логики, ибо в процессе этой разработки мы вовсе не обсуждаем вопроса о том, истинно ли данное предложение, нас интересует лишь, доказуемо ли оно ²⁶.

С другой стороны, если мы находимся в рамках дедуктивной системы логики или любой, опирающейся на нее дисциплины, например семантики, то мы либо истолковываем пропозициональные связки как неопределяемые термины, либо определяем их посредством других пропозициональных связок, но никогда ≈ посредством семантических терминов типа ╚истинно╩ или ╚ложно╩. Например, если мы согласны рассматривать выражения ╚не╩ и ╚если..., то...╩ (может быть, еще ╚тогда и только тогда, когда╩) как неопределяемые термины, то термин ╚или╩ можем определить, сказав, что предложение формы ╚р или q╩ эквивалентно соответствующему предложению формы ╚если не-р, то q╩. Данное определение можно сформулировать, например, в следующем виде:

╚(р или q) тогда и только тогда, когда (если не-р, то q)╩.

Очевидно, что это определение не содержит семантических терминов.

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

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

Автор этого возражения ошибочно считает схему Т (из раздела 4) определением истины. Он обвиняет это предполагаемое определение в ╚недопустимой краткости, т. е. в неполноте╩, которая ╚не позволяет нам решить, выражает ли "эквивалентность" формально-логическое или же внелогическое и структурно невыразимое отношение╩. Для устранения этого ╚недостатка╩ он предлагает дополнить Т одним из следующих способов:

(Т^') Х истинно тогда и только тогда, когда р истинно, или

(Т")Х истинно тогда и только тогда, когда р имеет место (т. е. если то, о чем говорит р, имеет место).

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

Мне кажется, это новое возражение проистекает из неправильного понимания природы пропозициональных связок (и благодаря этому связано с рассмотренным выше). Его автор не понимает, что фраза ╚тогда и только тогда, когда╩ (в противоположность фразам типа ╚являются эквивалентными╩ или ╚эквивалентно╩) вообще не выражает отношения между предложениями, так как не соединяет имен предложений.

В целом все рассуждение основано на очевидном смешении предложений с их именами. Достаточно указать на то, что в отличие от Т схемы Т^' и Т" не порождают каких-либо осмысленных выражений, когда мы заменяем в них ╚р╩ некоторым предложением. Фразы ╚р истинно╩ и ╚р имеет место╩ (т. е. ╚то, о чем говорит р, имеет место╩) становятся бессмысленными, когда ╚р╩ заменяется предложением, а не именем предложения (см. раздел 4) ²⁸.

В то время как автор данного возражения считает схему T ╚недопустимо краткой╩, я, со своей стороны, склонен считать схемы T^' и Т" ╚недопустимо длинными╩. И я полагаю, что смогу строго доказать это утверждение, опираясь на следующее определение: некоторое выражение называется ╚недопустимо длинным╩, если (1) оно бессмысленно и (2) получено из осмысленного выражения посредством добавления излишних слов.

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

Мы видели, что суть этой концепции состоит в рассмотрении предложения ╚X истинно╩ как эквивалентного предложению, обозначаемому символом ╚X╩ (причем ╚X╩ представляет имя предложения объектного языка). Таким образом, когда термин ╚истинно╩ встречается в простом предложении вида ╚X истинно╩, его легко устранить, а само предложение, принадлежащее мета-языку, можно заменить эквивалентным ему предложением объектного языка. То же самое можно проделать и со сложными предложениями при том условии, что термин ╚истинно╩ встречается в них только в качестве части выражений вида ╚X истинно╩.

На этом основании некоторые люди убеждены в том, что термин ╚истинно╩ в его семантическом смысле всегда можно устранить, и по этой причине семантическая концепция истины оказывается совершенно бесплодной и бесполезной. А поскольку то же самое рассуждение можно применить к другим семантическим понятиям, отсюда делают вывод, что семантика в целом является чисто словесной игрой в лучшем случае может быть лишь безвредным увлечением.

Однако дело обстоит не так просто²⁹. Обсуждаемый здесь вид элиминации применим не всегда. Он неприменим в случае универсальных утверждений, говорящих о том, что все предложения определенного типа истинны или что все истинные предложения обладают определенным свойством. Например, в теории истины мы можем доказать следующее утверждение:

╚Все следствия истинных предложений истинны╩.

Однако здесь мы не можем освободиться от слова ╚истинно╩ предлагаемым простым способом.

И даже в случае частных предложений, имеющих форму ╚X истинно╩, такая простая элиминация не всегда возможна. В самом деле, элиминация возможна только в тех случаях, когда имя предложения, об истинности которого идет речь, встречается в такой форме, которая позволяет реконструировать само это предложение. Например, современное историческое знание не дает нам возможности устранить слово ╚истинно╩ из следующего предложения:

╚Первое предложение, написанное Платоном, истинно╩.

Конечно, поскольку у нас имеется определение истины и поскольку каждое определение позволяет заменять определяемое определяющей частью, постольку всегда теоретически возможно устранить термин ╚истинно╩ в его семантическом смысле. Однако это не было бы простым устранением, рассмотренным выше, и не означало бы замены предложения мета-языка предложением объектного языка. Если же, однако, кто-нибудь продолжает настаивать на том, что благодаря теоретической возможности устранения слова ╚истинно╩ на основе его определения понятия истины является бесплодным, т. е. он должен признать и дальнейший вывод о том, что все определяемые понятия бесплодны. Однако такой вывод был бы настолько абсурден и исторически неверен, что комментировать его нет необходимости. Я скорее склонен согласиться с теми, кто считает, что моменты величайших творческих достижений науки часто совпадают с введением новых понятий посредством определений.

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

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

Что касается моего собственного мнения, то у меня нет никаких сомнений в том, что наша формулировка соответствует интуитивному содержанию высказываний Аристотеля. Я не столь уверен в отношении более поздних формулировок классической концепции, поскольку они действительно очень неопределенны ³⁰

Вместе с тем были высказаны некоторые сомнения относительно того, выражает ли семантическая концепция понятие истины в его обыденном и повседневном употреблении. Я вполне понимаю (и уже говорил об этом), что обыденное значение слова ╚истинно╩ ≈ как и любого другого слова повседневного языка ≈ до некоторой степени неопределенно и его употребления более или менее колеблются. Следовательно, проблема приписывания этому слову фиксированного и точного значения относительно не уточнена и любое ее решение необходимо приводит к определенному отклонению от практики повседневного языка.

Несмотря на все это, я надеюсь, что семантическая концепция в значительной мере согласуется с обыденным употреблением, хотя готов допустить, что могу ошибаться относительно этого. Более существенно то, что этот вопрос, как мне представляется, можно решать научно, хотя, конечно, не посредством дедуктивной процедуры, а с помощью статистического метода опроса. В сущности, такие исследования уже были осуществлены и некоторые их результаты были изложены на конгрессах и частично опубликованы ³¹

Хотел бы подчеркнуть, что подобные исследования, на мой взгляд, должны проводиться с большой осторожностью. Если мы спросим школьника или даже взрослого образованного человека, неимеющего, однако, специальной философской подготовки, считает ли он предложение истинным, когда оно соответствует реальности или обозначает существующее положение дел, может оказаться, что он просто не поймет вопроса, следовательно, каким бы ни был его ответ, он не будет иметь для нас никакой ценности. Однако его ответ на вопрос о том, согласен ли он, что предложение ╚идет снег╩ может быть истинным, хотя снег не идет, или может быть ложным, хотя снег идет, был бы чрезвычайно важен для нашей проблемы.

Поэтому я нисколько не удивился, узнав (из дискуссии по этим проблемам) о том, что в группе опрошенных только 15% согласились, что ╚истинно╩ для них означает ╚соответствует реальности╩, в то время как 90% признали, что предложение типа ╚идет снег╩ истинно тогда и только тогда, когда идет снег. Таким образом, подавляющее большинство этих людей, по-видимому, отрицает классическую концепцию истины в ее ╚философской╩ формулировке, признавая эту концепцию, когда она формулируется в простых обыденных словах (что заставляет нас задуматься над тем, оправданно ли здесь использовать слова ╚та же самая концепция╩).

18. Отношение нашего определения к ╚философской проблеме истины╩ и к различным эпистемологическим направлениям. Я слышал замечание о том, что формальное определение истины не имеет никакого отношения к ╚философской проблеме истины╩³² . Однако никто и никогда не объяснил мне, в чем заключается эта проблема. Мне сообщили, что хотя мое определение устанавливает необходимые и достаточные условия истинности предложений, оно все-таки не выражает ╚сущности╩ этого понятия. Поскольку я никогда не мог понять, что такое ╚сущность╩ понятия, я вынужден отказаться от обсуждения этого вопроса.

В общем я не верю, что существует такая вещь, как ╚философская проблема истины╩. Я думаю, что существуют разнообразные понятные и интересные (однако, необязательно философские) проблемы, связанные с понятием истины, но вместе с тем я убежден, что их можно точно сформулировать и решать только на основе точного истолкования этого понятия.

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

Утверждают, что благодаря тому факту, что предложение типа ╚снег бел╩ считается семантически истинным, если снег на самом деле бел (подчеркнуто моим критиком), логика присоединяется к самому некритичному реализму ³³.

Если бы мне представился случай обсудить это возражение с его автором, я поднял бы два вопроса. Во-первых, я попросил бы его убрать слова ╚на самом деле╩, которые не входят в оригинальную формулировку и ведут к недоразумениям, даже если и не затрагивают содержания. Эти слова создают впечатление, будто семантическая концепция истины стремится установить условия, при которых мы с уверенностью можем утверждать любое данное предложение, в частности, предложения эмпирической науки. Однако небольшое размышление показывает, что это впечатление не более чем иллюзия, и я думаю, автор данного возражения откажется от своего приговора той иллюзии, которую он сам же и породил.

На самом деле семантическое определение истины ничего не говорит о том, при каких условиях можно утверждать предложение типа:

(1) ╚Снег бел╩.

Из него вытекает лишь одно: когда мы утверждаем или отрицаем это предложение, мы должны утверждать или отрицать соответствующее предложение типа:

(2) ╚Предложение "снег бел" истинно╩.

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

Во-вторых, я хотел бы получить какую-либо информацию относительно такой концепции истины, которая (по мнению автора возражения) не связывает логику с крайне наивным реализмом. Я предполагаю, что эта концепция должна быть совместима с семантической. Это означает, что должны существовать предложения, которые истинны в одной из этих концепций, но неистинны в другой. Допустим, например, что таким предложением является предложение (1). В семантической концепции истинность этого предложения детерминирована эквивалентностью вида T:

╚Предложение "снег бел" истинно тогда и только тогда, когда снег бел╩.

В новой концепции мы должны отвергнуть эту эквивалентность, следовательно, должны принять ее отрицание:

╚Предложение "снег бел" истинно тогда и только тогда, когда снег не бел (или, быть может, снег действительно не бел)╩.

Это звучит несколько парадоксально. Я не считаю такие следствия новой концепции абсурдным, однако слегка опасаюсь, что в будущем кто-нибудь обвинит эту концепцию в том, что она соединяет логику с ╚наиболее софистическим видом ирреализма╩. Во всяком случае, важно понять, что каждая концепция истины, несовместимая с семантической концепцией, будет приводить к следствиям подобного типа.

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

19. Предполагаемые метафизические элементы в семантике. В разное время семантическую концепцию истины упрекали в том, что она включает в себя некоторые метафизические элементы. Упреки подобного рода предъявлялись не только теории истины, но всей области теоретической семантики ³⁴.

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

Ответ на этот вопрос зависит, очевидно, от того, как понимать ╚метафизику╩. К сожалению, это понятие чрезвычайно неопределенно и многосмысленно. Когда знакомишься с дискуссиями на эту тему, порой возникает впечатление, что термин ╚метафизический╩ не имеет никакого объективного значения и используется как разновидность профессионального философского ругательства.

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

Так, некоторые люди считают показателем метафизического элемента в науке, когда в ней используются такие методы исследования которые не являются ни дедуктивными, ни эмпирическими. Однако в развитии семантики нельзя обнаружить ни малейшего следа такого симптома (если только некоторые метафизические элементы уже не включены в объектный язык, к которому относятся семантические понятия). В частности, семантика формализованных языков построена чисто дедуктивным путем.

Другие настаивают на том, что метафизический характер той или иной науки зависит, главным образом, от ее словаря и более конкретно от ее исходных терминов. Термин считается метафизическим, если он не является ни логическим, ни математическим и если он не соединен с эмпирической процедурой, позволяющей нам установить, существует ли вещь, обозначаемая данным термином, или нет. В отношении такого понимания метафизики достаточно напомнить, что мета-язык включает в себя неопределяемые термины лишь трех видов: (1) термины логики, (2) термины соответствующего объектного языка и (3) имена выражений объектного языка. Отсюда ясно, что в мета-языке нет неопределяемых метафизических терминов (опять-таки если их нет в самом объектном языке).

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

В общем, нужно сказать, что если термин ╚метафизический╩ употребляется в столь широком смысле, что покрывает некоторые понятия (или методы) логики, математики и эмпирических наук, то он будет охватывать также и понятия семантики. Действительно, как нам известно из части I, при построении семантики некоторого языка мы пользуемся всеми понятиями этого языка и применяем даже более строгий логический аппарат, нежели тот, который используется в самом языке. С другой стороны, однако, приведенные выше рассуждения я могу кратко выразить так: при известной и более или менее понятной для меня интерпретации термина ╚метафизический╩ семантика не включает в себя каких-либо метафизических элементов.

Хотел бы высказать заключительное замечание в связи с этой группой возражений. История науки дает нам много примеров таких понятий, которые осуждались как метафизические (в широком, но в любом случае обидном смысле этого слова), прежде чем их значение было сделано точным, но как только они получали строгое формальное определение, недоверие к ним исчезало. В качестве типичного примера можно указать на понятия отрицательных и воображаемых чисел в математике. Надеюсь, похожая судьба ожидает понятие истины и другие семантические понятия, поэтому, как мне представляется, те, кто не доверяет им из-за предполагаемых метафизических следствий, должны приветствовать тот факт, что теперь стало возможным точное определение этих понятий. Если же вследствие этого семантические понятия утратят философский интерес, они лишь разделят судьбу многих других понятий науки, и об этом не стоит сожалеть.

20. Применимость семантики к конкретным эмпирическим наукам. Мы подошли к последней и, быть может, наиболее важной группе возражений. Были высказаны серьезные сомнения относительно того, могут ли семантические понятия найти применение в каких-либо областях интеллектуальной деятельности. По большей части такие сомнения связаны с применимостью семантики в области эмпирической науки ≈ в конкретных науках или в общей методологии этой области, но подобный скептицизм выражается также относительно возможных применений семантики в математических науках и их методологии.

Надеюсь, что до некоторой степени можно развеять эти сомнения и что определенный оптимизм в отношении потенциальной ценности семантики для различных областей мышления не лишен оснований.

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

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

В большей или меньшей степени семантические понятия безусловно входят в психологию, социологию и практически во все гуманитарные науки. Так, психолог определяет так называемый коэффициент интеллектуальности посредством числа истинных (правильных) и ложных (ошибочных) ответов на определенные вопросы; для историка культуры большое значение имеет последовательность тех объектов, для которых человечество в своем прогрессивном развитии находило адекватные обозначения; литературоведа может интересовать вопрос о том, всегда ли данный автор использует некоторые два слова в одном и том же значении. Примеры такого рода можно умножать до бесконечности.

Наиболее естественной и многообещающей сферой применения теоретической семантики очевидно является лингвистика ≈ эмпирическое изучение естественных языков. Некоторые разделы этой науки часто называют ╚семантикой╩, добавляя порой те или иные уточнения. Это имя иногда дают той части грамматики, которая пытается классифицировать все слова языка на части речи в соответствии с тем, что означает или обозначает слово. Изучение изменения значений в историческом развитии языка иногда называют ╚исторической семантикой╩. Совокупность исследований семантических отношений в естественном языке в целом называют ╚дескриптивной семантикой╩. Отношение между теоретической и дескриптивной семантикой аналогично отношению между чистой и прикладной математикой или, может быть, между теоретической и эмпирической физикой. Роль формализованных языков в семантике приблизительно можно сравнить с ролью изолированных систем в физике.

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

21. Применимость семантики к методологии эмпирических наук.

Наряду с лингвистикой, другой важной областью возможных применений семантики является методология науки. Здесь этот термин используется в широком смысле ≈ как охватывающий теорию науки в целом. Независимо от того, истолковывается ли наука лишь как система утверждений или как совокупность определенных утверждений и человеческих действий, изучение языка науки образует существенную часть методологического анализа науки. И мне представляется очевидным, что любая попытка устранить семантические понятия (такие, как понятия истины и обозначения) из этого анализа сделает его фрагментарным и неадекватным ³⁵. Кроме того, для таких попыток в наши дни нет оснований, поскольку преодолены главные трудности, связанные с использованием семантических терминов. Семантика научного языка должна быть просто включена в методологию науки как ее часть.

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

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

Одна из основных проблем методологии эмпирических наук состоит в установлении условий, при которых эмпирическая теория или гипотеза должны считаться приемлемыми. Это понятие приемлемости должно быть релятивизировано относительно той или иной стадии развития науки (или данной совокупности знания). Иными словами, его можно рассматривать как снабженное временным коэффициентом, ибо теория, приемлемая сегодня, завтра может стать неприемлемой в результате новых научных открытий.

A priori кажется вполне вероятным, что приемлемость теории как-то зависит от истинности ее предложений, следовательно, методолог в своих (до сих пор безуспешных) попытках уточнить понятие приемлемости может ожидать некоторой помощи со стороны семантической теории истины. Поэтому мы ставим вопрос: существуют ли какие-либо постулаты, которые можно наложить на приемлемые теории и которые содержат понятие истины? В частности, мы спрашиваем, разумен ли следующий постулат:

╚Приемлемая теория не может содержать (или иметь в качестве следствий) каких-либо ложных предложений╩.

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

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

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

╚Как только нам удается показать, что некоторая эмпирическая теория содержит (или влечет) ложные предложения, ее нельзя больше считать приемлемой╩.

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

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

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

Мне кажется, что реальная причина нашего отношения заключается в ином: мы знаем (пусть лишь интуитивно), что противоречивая теория должна содержать ложные предложения, а мы не хотим считать приемлемой теорию, содержащую такие предложения.

Имеются различные методы установления того, что данная теория содержит ложные предложения. Некоторые из них опираются на чисто логические свойства обсуждаемой теории. Метод, рассмотренный только что (т. е. доказательство противоречивости), не является единственным методом этого типа, но считается наиболее простым и чаще всего используется на практике. С помощью определенных предположений относительно истины эмпирических предложений мы можем получить столь же эффективные методы, которые уже не носят чисто логического характера. Если мы решим принять общий постулат, сформулированный выше, то успех в применении любого из этих методов сделает теорию неприемлемой.

22. Применения семантики к дедуктивным наукам. Что касается применимости семантики к математическим наукам и их методологии, т. е. к мета-математике, то здесь мы находимся в гораздо более выгодном положении, чем в случае эмпирических наук. Нам уже не нужно выискивать причины, которые бы оправдали некоторые надежды на будущее (занимаясь, таким образом, какой-то пропагандой в защиту семантики), здесь мы можем указать на конкретные полученные результаты.

Продолжают выражать сомнения, может ли понятие истинного предложения ≈ в отличие от понятия доказуемого предложения ≈ иметь какое-либо значение для математических дисциплин и играть какую-либо роль в методологическом анализе математики. Мне кажется, однако, что именно понятие истинного предложения образует наиболее важный вклад семантики в мета-математику. У нас уже имеется целый ряд интересных мета-математических результатов, полученных с помощью теории истины. Эти результаты относятся ко взаимоотношениям между понятиями истинности и доказуемости; устанавливают новые свойства второго понятия (которое, как известно, является одним из фундаментальных понятий мета-математики); и проливают некоторый дополнительный свет на важнейшие проблемы непротиворечивости и полноты. Наиболее интересные из этих результатов были кратко рассмотрены в разделе 12 ³⁶.

Кроме того, с помощью методов семантики мы можем дать адекватные определения важным мета-математическим понятиям, которые до сих пор использовались лишь на интуитивном уровне, например понятию определимости или понятию модели системы аксиом. Это позволяет предпринять систематический анализ этих понятий. Исследования определимости, в частности, уже принесли некоторые интересные результаты и обещают еще больше в будущем ³⁷.

Мы рассматривали применение семантики только к метаматематике, но не к собственно математике. Однако это различие между математикой и мета-математикой не имеет большого значения. Мета-математика сама является дедуктивной дисциплиной и поэтому с определенной точки зрения образует ветвь математики. Хорошо известно, что благодаря формальному характеру дедуктивного метода результаты, полученные в одной дедуктивной дисциплине, автоматически могут быть распространены на любую другую дисциплину, в которой первая находит свою интерпретацию. Так, например, все мета-математические результаты можно интерпретировать как результаты теории чисел. И с практической точки зрения также не существует резкой границы между мета-математикой и собственно математикой, например исследование определимости можно включить в любую из этих областей.

23. Заключительные замечания. Это обсуждение мне хотелось бы завершить некоторыми общими и не вполне строгими замечаниями по поводу всей проблемы оценки научных достижений посредством их применимости. В этой связи я должен высказать некоторые сомнения.

Будучи математиком (как и логиком и даже, может быть, философом), я имел возможность присутствовать на многочисленных дискуссиях среди специалистов в области математики, где проблема приложений стоит особенно остро, и обратил внимание на следующий феномен: если математик хочет принизить значение работы одного из своих коллег, скажем Л, то наиболее эффективный способ сделать это состоит в том, чтобы спросить, где может быть применен полученный результат? Прижатый к стенке человек в конце концов отыскивает исследования другого математика В и указывает на них .как на сферу применения своих собственных результатов. Если начать мучить В аналогичным вопросом, он сошлется на другого математика С. После нескольких попыток такого рода мы обнаруживаем, что вернулись к исследованиям А, и, таким образом, цепь замыкается.

Говоря более серьезно, я не хочу отрицать, что ценность некоторой работы возрастает благодаря ее применениям в исследованиях других людей и в практике. Тем не менее, я убежден, что вредно для прогресса науки оценивать значение какого-либо исследования исключительно или главным образом в терминах его полезности или применимости. Из истории науки нам известно, что многие важные результаты и открытия ждали столетия, прежде чем нашли применение в какой-либо области. На мой взгляд, существуют также и другие важные факторы, которых нельзя не учитывать при оценке значимости научной работы. Мне кажется, существует особая сфера очень глубоких и сильных человеческих потребностей, связанных с научным исследованием, которые во многих отношениях аналогичны эстетическим и, возможно, религиозным потребностям. И я думаю, удовлетворение этих потребностей должно считаться важной задачей исследования. Поэтому я убежден в том, что вопрос о ценности любого исследования не может быть адекватно решен, если не принять во внимание того интеллектуального удовлетворения, которое испытывает тот, кто понимает результаты данного исследования и сохраняет их. Быть может, это выглядит непопулярным и устаревшим, но я не считаю, что научный результат, дающий нам лучшее понимание мира и делающий его в наших глазах более гармоничным, заслуживает меньшего уважения, чем, скажем, изобретение, которое снижает стоимость покрытия дорог или улучшает коммунальное водоснабжение.

Ясно, что высказанные замечания становятся ненужными, если слово ╚применение╩ употребляется в очень широком и расплывчатом смысле. Возможно, не менее очевидно и то, что из этих общих замечаний ничего нельзя вывести относительно тех конкретных проблем, которые были предметом обсуждения данной статьи. И я действительно не знаю, приобретут или что-то потеряют семантические исследования благодаря введению того стандарта оценки, который я предложил.

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

Aristotle (1908) Metaphysica. (Works, v. VIII.) English translation by W. D. Ross. Oxford.

Camap R. (1937). Logical Syntax of Language. London and New York

Camap R. (1942). Introduction to Semantics. Cambridge.

Godel K. (1931). Uber formal unentscheidbare Satze del- Principia Mathematica und verwandter Systeme, I. // Monatshefte fur Mathematik und Physik, v. XXXVIII, pp. 173-198.

Godel K. (1936) Uber die Laenge von Beweisen // Ergerbnisse eines mathematischen Kolloquiums, v. VII, pp. 23≈24.

Gonseth F. (1938) Le Congres Descartes. Questions de Philosophie scientifique // Revue thomiste, v. XLIV, pp. 183≈193.

Grelling K., Nelson L. (1908) Bemerkungen zu den Paradoxien von Russel und Burali-Forti // Abhandlungen der Fries'schen Schule, v. II (new series), pp. 301-334.

Hofstadter A. (1938) ╚On Semantic Problems╩ // The Journal of Philosophy, v. XXXV, pp. 225-232.

Hilbert D., Beniays P. (1934-1939) Gnrndlagen der Mathematik. 2 vols. Berlin.

Juhos B. von. (1937) The Truth of Empirical Statements // Analysis, v. IV, pp. 65-70.

Kokoszynska M. (1936a) Uber den absoluten Wahrheitsbegriff und einige andere semantische Begriffe // Erkenntnis, v. VI, pp. 143≈165.

Kokoszynska M. (1936b) Syntax, Semantik und Wissenschaftslogik // Actes du Congres International de Philosophie Scientifique, v. Ill, Paris, pp. 9-14,

Kotarbinski T. (1929) Elementy teorji poznania, logiki formalnej i metodologji nauk. (Elements of Epistemology, Formal Logic, and the Methodology of Sciences, in Polish.) Lwow, 1929.

Kotarbinski T. (1930) W sprawie pojecia prawdy. (Concerning the Concept of Truth. In Polish.) Przeglgd filozoficzny, v. XXXVII, pp. 85-91.

Lindenbaum A. Tarski A. A. (1936) Uber die Beschraenktheit der Ausdrucksmittel deduktiver Theorien // Ergebnisse eines mathematischen Kolloquiums, v. VII, pp. 15-23.

Nagel E. (1938) Review of Hofstadter (1938) // The Journal of Symbolic Logic, v. Ill, p. 90.

Nagel E. (1942) Review of Carnap (1942) // The Journal of Philosophy, v. XXXIX, pp. 468-473.

Ness A. (1938) ╚Truth╩ As Conceived by Those Who Are Not Professional Philosophers // Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo, II. Hist.-Filos. Klasse, v. IV, Oslo.

Neurath 0. (1935) Erster Internationaler Kongress fur Einheit der Wissenschaft in Paris 1935 // Erkennthis, v. V, pp. 377-406.

Russell В. (1940) An Inquiry Into Meaning and Truth. New York.

Scholz H. (1937) Review of Studia philosophica, v. I // Deutsche Liteta-turzeitung, v. LVIII, pp. 1914-1917.

Tarski A. (1931) Sur les ensembles definissables de nombres reels. I // Fundamenta mathematicae, v. XVII, pp. 210≈239.

Tarski A. (1935) Der Wahrheitsbergriff in den formalisierten Sprachen. (German translation of a book in Polish, 1933.) // Studia philosophica, v. I, pp. 261-405.

Tarski A. (1936) Grundlegung der wissenschaftlichen Semantik // Actes du Congres International de Philosophie Scientifique, v. Ill, Paris, pp. 1≈8.

Tarski A. (1937) Uber den Begriff der logischen Folgerung // Actes du Congres International de Philosophie Scientifique, v. VII, Paris, pp. 1≈11.

Tarski A. (1939) On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth // The Journal of Symbolic Logic, v. IV, pp. 105-112.

Tarski A. (1941) Introduction to Logic. New York.

WeinbergJ. (1942) Review of Studia philosophica, v. I // The Philosophical Review, v. XLVII, pp. 70-77.

(1)Tarski A. The Semantic Conception of Troth and the Foundations of Semantics // Philosophy and Phenomenologicai Reseach, 1944, v. 4, ╧ 3, pp. 341≈375. Перевод выполнен А. Л. Никифоровым. - Прим. ред.

(2)Ср.: Tarski A. (1935) (см. список литературы в конце статьи). В этой работе дано более подробное и формальное изложение предмета настоящей статьи, в частности, материала, включенного в разделы 6 и 9≈13 Она содержит также ссылки на мои более ранние публикации по проблемам семантики (сообщение на польском языке, 1930; статья: Tarski A. (1931) на французском языке; сообщение на немецком языке, 1932; и книг на польском языке, 1933). Описательная часть настоящей статьи по своему характеру близка к работе: Tarski A. (1936). Мои исследования, касающиеся понятия истины и теоретической семантики, были отрецензированы или обсуждены в работах: Hofstadter A. (1938), Juhos В. van (1937), Kokoszynska M. (1936a), (1936b), Kotarbinski Т. (1930), Scholz H (1937) Wein-bergJ. (1942) и т. д.

(3)Можно надеяться, что теперь интерес к теоретической семантике будет возрастать благодаря недавней публикации важной работы Карнапа [Carnap R. (1942)].

(4) Это относится, в частности, к публичным дискуссиям на 1-ом Международном конгрессе по единству науки (Париж, 1935) и на Конференции Международных конгрессов по единству науки (Париж, 1937); см., например: Neurath О. (1935), Gonseth F. (1938).

(5) Слова ╚notion╩ и ╚concept╩ в данной статье употребляются со всей той неопределенностью и двусмысленностью, с которыми они используются в философской литературе. Так, иногда они относятся просто к термину, иногда ≈ к тому, что подразумевается под термином, а в иных случаях ≈ к тому, что обозначается термином. Иногда неважно, какая из этих интерпретаций имеется в виду, в определенных случаях ни одна из них, может быть, не является адекватной. Хотя в принципе я придерживаюсь тенденции избегать этих слов в точном анализе, я не вижу необходимости делать это в данном неформальном изложении.

(6) Для наших настоящих целей несколько более удобно под ╚выражениями╩, ╚предложениями╩ и т. п. понимать не конкретные записи, а классы записей сходной формы (т. е. не конкретные физические вещи, а классы таких вещей).

(7) Аристотелевскую формулировку см. в: Aristotle (1908), фрагменты 7, 27. Другие две формулировки очень распространены в литературе, однако мне неизвестно, кому они принадлежат. Критическое рассмотрение различных концепций истины можно найти, например, в работах: Kotarbinski Т. (1929) (до сих пор издана только на польском языке), р. 123ff; Russell В, (1940), р. 362ff.

(8) За большую часть замечаний, содержащихся в разделах 4 и 8, я обязан покойному С. Лесьневскому, который развил их в своих неопубликованных лекциях, прочитанных в Варшавском университете (в 1919 г. и позднее). Однако Лесьневский не предвидел возможности строгой разработки теории истины и тем более определения этого понятия, поэтому, указывая на эквивалентности вида Т как на предпосылки антиномии лжеца, он не видел в них достаточных условий для адекватного употребления (или определения) понятия истины. Также и замечания в разделе 8 относительно вхождения эмпирической посылки в антиномию лжеца и возможности устранения этой посылки не связаны с ним.

(9) За более подробным разъяснением различных логических и методологических проблем, затронутых в данной статье, читатель может обратиться к работе: Tarski A. (1941).

(10) В оригинале речь идет, естественно, о буквах английского алфавита. ≈ Прим. перев.

(11) Антиномия лжеца (приписываемая Эвбулиду или Эпимениду) обсуждается здесь в разделах 7 и 8. Об антиномии определимости (восходящей к Ж. Ришару) см., например, работу: Hilbert D., Bemays P. (1934≈ 1939), v. 2, p. 263ff; об антиномии гетерологических терминов см. работу: Grelling К., Nelson L. (1908), р. 307.

(12) Дана проф. Я. Лукасевичем (Варшавский университет).

(13) Это можно сделать приблизительно следующим образом. Пусть S будет любым предложением, начинающимся со слов ╚Каждое предложение╩. Мы сопоставим S новое предложение S*, подвергая S двум следующим модификациям: заменяем в S первое слово ╚Каждое╩ словом ╚Это╩ (╚определенный артикль "The" ≈ Прим. перев.); после второго слова ╚предложение╩ мы вставляем все предложение S, заключенное в кавычки. Договоримся называть предложение S ╚(само)применимым╩ или ╚не(са-мо)применимым╩ в зависимости от того, истинно или ложно сопоставленное ему предложение S*. Теперь рассмотрим следующее предложение:

╚Каждое предложение является не (само )применимым╩.

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

(14) Термины ╚логика╩ и ╚логический╩ в данной статье употребляются в самом широком смысле, который в последние десятилетия стал почти традиционным. Логика понимается здесь как охватывающая всю теорию классов и отношений (т. е. математическую теорию множеств). Лично я по многим причинам предпочитаю употреблять термин ╚логика╩ в более узком смысле, включающим в себя только то, что иногда называют ╚элементарной логикой╩, т. е. пропозициональное исчисление и (узкое) исчисление предикатов.

(15) Однако см. к этому работу: Tarski A. (1936), р. 5.

(16) Метод построения, который мы собираемся обрисовать, с соответствующими изменениями применим ко всем формализованным языкам, известным в настоящее время. Из этого не следует, правда, что нельзя создать язык, к которому данный метод будет применим.

(17) При осуществлении этой идеи возникает определенная техническая трудность. Пропозициональная функция может содержать произвольное число свободных переменных, а логическая природа понятия выполнимости изменяется в зависимости от этого числа. Когда речь идет о функциях с одной переменной, то обсуждаемое понятие является бинарным отношением между этими функциями и единичными объектами; для функций с двумя переменными оно становится тернарным отношением между функциями и парами объектов и т. д. Таким образом, мы имеем дело, строго говоря, не с одним понятием выполнимости, а с бесконечным множеством таких понятий, и оказывается, что эти понятия не могут быть определены независимо одно от другого и все должны вводиться одновременно.

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

(18) Для того чтобы рекурсивно определить понятие выполнимости, мы должны использовать определенную форму рекурсивного определения, не разрешенную в объектном языке. Поэтому ╚существенное богатство╩ мета-языка может заключаться просто в наличии этого типа определения, С другой стороны, известен общий метод, позволяющий устранить все рекурсивные определения и заменить их обычными, явными определениями. Когда мы пытаемся применить этот метод к определению выполнимости, мы видим, что должны либо ввести в мета-язык переменные более высокого логического типа, чем переменные объектного языка, либо задать аксиоматически в мета-языке существование классов, более широких по объему, чем все те классы, существование которых может быть установлено в объектном языке. (См. работы: Tarski А. (1935), р. 393; Tar-ski A. (1939), р. 110)

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

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

(20) Таким образом, теория истины дает нам общий метод доказательства непротиворечивости для формализованных математических дисциплин. Однако нетрудно понять, что доказательство непротиворечивости, полученное этим методом, может обладать некоторой интуитивной ценностью, т. е. увеличивать нашу веру в то, что рассматриваемая дисциплина действительно непротиворечива только в том случае, если нам удалось дать определение истины в терминах мета-языка, не содержащего объектный язык в качестве своей части (см. замечание в разделе 9) Только в этом случае дедуктивные допущения мета-языка могут быть интуитивно проще и более очевидны, чем допущения объектного языка, хотя условие ╚существенного богатства╩ будет формально выполнено. (См. к этому также работу: Tarski А. (1936), р. 7).

Неполнота обширного класса формализованных дисциплин является существенным содержанием фундаментальной теоремы К. Г╦деля (см. работу: Godel К. (1931), р. 187ff). Объяснение того факта, что теория истины прямо приводит к теореме Г╦деля, является достаточно простым, При выводе результата Г╦деля из теории истины для нас существенно то, что определение истины нельзя дать в мета-языке, который столь же ╚богат╩, как объектный язык (см. сноску 19). Однако при обосновании этого используется метод рассуждения, очень тесно связанный с тем, который (в первый раз) использовал Г╦дель. Можно добавить, что в своем доказательстве Г╦дель очевидно руководствовался некоторыми интуитивными соображениями, связанными с понятием истины, хотя в явном виде это понятие в его доказательстве не встречается (см.: Godel К. (1931), р. 174).

(21) Понятия обозначения и определения приводят, соответственно, к антиномиям Греллинга-Нельсона и Ришара (см. сноску 11). Чтобы получить антиномию для понятия выполнимости, мы строим следующее выражение:

╚Пропозициональная функция Х не выполняет X╩.

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

(22) Все понятия, упоминаемые в данном разделе, могут быть определены с помощью выполнимости. Можно сказать, например, что данный термин обозначает некоторый объект, если этот объект выполняет пропозициональную функцию ╚х тождествен Т╩, в которой ╚Т╩ представляет данный термин. Аналогично пропозициональная функция определяет данный объект, если последний является единственным объектом, выполняющим эту функцию. Определение следования см. в работе: Tarski A. (1937), а определение синонимии ≈ в работе: Сатар R. (1942).

(23) Общая семантика является предметом работы: Carnap R. (1942). См. также замечания в работе: Tarski A. (1935), р. 388.

(24) См. различные цитаты в работе: Ness A. (1938), р. 13.

(25) Имена людей, высказавших возражения, не будут здесь названы, если их возражения не были опубликованы.

(26) Следует подчеркнуть, однако, что положение с предполагаемым порочным кругом не изменится" даже если мы примем другую точку зрения, представленную, например, в работе: Carnap R. (1942), т. е. спецификацию условий, при которых предложения некоторого языка считаются истинными, будем рассматривать как существенную часть описания этого языка. С другой стороны, можно заметить, что позиция, представленная в тексте, не исключает возможности использовать таблицы истинности в дедуктивном развитии логики. Однако в этом случае такие таблицы должны рассматриваться только как формальный инструмент проверки доказуемости определенных предложений, а символы ╚Т╩ и ╚F╩, которые встречаются в них и обычно считаются сокращениями слов ╚истинно╩ и ╚ложно╩, не получают какой-либо интуитивной интерпретации.

(27) См. работу: Juhos В. von (1937). Должен признаться, я не вполне понял возражения Юхоса и не знаю, как их классифицировать, поэтому должен ограничиться здесь некоторыми формальными соображениями. По-видимому, Юхосу неизвестно мое определение истины, он ссылается лишь на неформальное изложение в работе: Tarski A. (1936), в которой определение вообще не было дано. Если бы он был знаком с подлинным определением, он изменил бы свой аргумент. Но я сомневаюсь, что и в этом определении он обнаружил бы некоторые ╚дефекты╩, ибо полагает, будто ему удалось доказать, что ╚такое определение принципиально невозможно дать╩.

(28) Фразы ╚р истинно╩ и ╚р имеет место╩ (или "лучше: ╚истинно, что р╩ и ╚имеет место, что р╩) иногда используются в неформальных рассуждениях, в основном по стилистическим соображениям. Однако в этих случаях они рассматриваются как синонимы предложения, представленного посредством ╚р╩. В то же время, насколько я понимаю, эти фразы не могут употребляться Юхосом как синонимы ╚р*. В противном случае замена Г на Г или Т" не дала бы никакого ╚улучшения╩.

(29) См. обсуждение этой проблемы в работе: Kokoszynska М. (1936а), р.161ff.

(30)Большинство авторов, обсуждавших мою работу о понятии истины, придерживаются мнения, что мое определение не соответствует классическому истолкованию этого понятия; см., например, работы: Kotarbinski T. (1930), Scholz H. (1937).

(31)См.: Ness A. (1938) К сожалению, результаты той части исследования Несса, которые особенно важны для нашей проблемы, в его книге не обсуждаются, ср. с. 148, примечание 1.

(32) Хотя я несколько раз слышал это возражение, в печати я встретил его лишь однажды, причем, что достаточно курьезно, в работе, не имеющей отношения к философии: Hilbert D., Bemays P. (1939), v. 2, р. 269 (где оно не имеет характера какого-либо возражения). С другой стороны, в обсуждениях моей работы профессиональными философами я не нашел никаких замечаний на эту тему (см. сноску 2).

(33) См. работу: Gonseth F. (1938), р. 187.

(34) См. работы: Nagel Е. (1938), Nagel E. (1942), р. 471. Замечание, идущее, может быть, в том же самом направлении, можно найти в работе: Weinberg J. (1942), р. 77; см., однако, его предыдущие замечание на р. 75.

(35) Эта тенденция очевидна в ранних работах Карнапа (см., например: Carnap R. (1937), в частности, часть V) и в сочинениях других членов Венского кружка. См. об этом работы: Kokoszynska M. (1936a), Weinberg J. (1942)

(36) О других результатах, полученных с помощью теории истины, см. работы: GodelK. (1936), Tarski A. (1935), р. 401, Tarski A. (1939), p. 111.

(37) Некоторый объект, например, число или множество чисел, называется определимым (в данном формализме), если существует пропозициональная функция, определяющая его (см. сноску 22). Таким образом, хотя термин ╚определимый╩ имеет мета-математический (семантический источник, он является чисто математическим по своему объему, так как выражает свойство (обозначает класс) математических объектов. Благодаря этому понятие определимости можно переопределить в чисто математических терминах, хотя и не в рамках той формализованной дисциплины, к которой это понятие относится. Однако фундаментальная идея определения не изменяется. См. к этому, а также для дальнейших библиографических ссылок, работу: Tarski A. (1931). Различные другие результаты относительно определимости можно найти в литературе, например, в работе: Hubert D., Beniays P. (1939), v. 1, pp. 354, 369, 456П; Lindebaum A., Tarski A. (1936). Можно заметить, что термин ╚определимый╩ иногда употребляется в другом, мета-математическом (но несемантическом) смысле. Это происходит, например, в тех случаях, когда мы говорим, что некоторый термин определим в других терминах (на базе данной системы аксиом) Об определении модели системы аксиом см. работу: Tarski A. (1937).