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

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

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

Таким образом, мы видим, что условие быть существенно богаче является необходимым для удовлетворительного определения истины в мета-языке. Если же мы хотим сформулировать теорию истины в мета-языке, невыполняющем этого условия, то нам придется отказаться от идеи определить истину только с помощью тех терминов, которые были указаны выше (см. раздел 8). Тогда мы должны будем включить термин истинно или какой-либо иной семантический термин в список неопределяемых терминов мета-языка и выразить фундаментальные свойства понятия истины в ряде аксиом. В такой аксиоматической процедуре нет ничего существенно неверного и для некоторых целей она может оказаться полезной [15] Однако см. к этому работу: Tarski A. (1936), р. 5. .

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

Определение истины можно очень просто получить из определения другого семантического понятия – понятия выполнимости.

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

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

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

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