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

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

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

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

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

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

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

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

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

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

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

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

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