Альфред Тарский - Семантическая концепция истины и основания семантики

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

Предложение, состоящее из двух слов, первое из которых составлено из 17-й, 13-й, 6-й и 4-й букв, а второе ― из 2-й, 6-й и 11-й букв русского алфавита.^[10]

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

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

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

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

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

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

5. Истина как семантическое понятие.

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

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

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

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

уравнение 2 ∙ x = 1 определяет (точно задает) число 1/2.

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

Быть может, стоит сказать о том, что семантика ― как она понимается в этой статье (и в более ранних --">