Читать «Семантическая концепция истины и основания семантики» онлайн - страница 9

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

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

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

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

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

10. Условия позитивного решения главной проблемы.

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

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