Семантическая концепция истины и основания семантики - [5]
Было бы излишним рассматривать здесь следствия отбрасывания предположения (II), т. е. следствия изменения нашей логики (если это вообще возможно) хотя бы в наиболее элементарных и фундаментальных ее частях. Поэтому мы рассмотрим только одну возможность – отказ от предположения (I). Мы принимаем решение не пользоваться языком, который семантически замкнут в указанном выше смысле.
Конечно, это ограничение неприемлемо для тех, кто по неясным для меня причинам убежден в том что существует только один подлинный язык (или что все подлинные языки взаимно переводимы). Однако это ограничение никоим образом не затрагивает потребностей или интересов науки. Языки (будь то формализованные языки или – что случается гораздо чаще – фрагменты повседневного языка), используемые в научных рассуждениях, не обязаны быть семантически замкнутыми. Это очевидно для лингвистических феноменов, в частности, семантические понятия никоим образом не включаются в содержание науки. Однако в следующем разделе мы увидим, каким образом можно избежать семантической замкнутости даже в тех научных рассуждениях, для которых существенно использование семантических понятий.
Встает вопрос: как с этой точки зрения обстоит дело с повседневным языком? На первый взгляд может показаться, что этот язык удовлетворяет обоим предположениям (I) и (II) и, следовательно, должен считаться противоречивым. Однако в действительности все обстоит не так просто. Наш повседневный язык несомненно не является языком с точно заданной структурой. Мы не знаем в точности, какие выражения являются предложениями, и еще меньше знаем о том, какие предложения можно утверждать. Поэтому проблема непротиворечивости относительно этого языка не имеет точного смысла. Мы можем лишь рискнуть высказать предположение: язык, структура которого была бы точно задана и который был бы максимально близок к естественному языку, по-видимому, был бы непротиворечивым.
9. Объектный язык и мета-язык.
Поскольку мы согласились не пользоваться семантически замкнутыми языками, постольку при обсуждении проблемы определения истины и вообще любых проблем из области семантики мы должны использовать два разных языка. Первый из них есть язык, который о чем-то говорит и который является предметом всего нашего обсуждения, ибо искомое определение истины как раз и применяется к предложениям этого языка. Второй язык – тот, в котором мы говорим о первом языке и в терминах которого мы хотим, в частности, построить определение истины для первого языка. Первый язык мы будем называть объектным языком , а второй – мета-языком.
Следует отметить, что термины объектный язык и мета-язык являются лишь относительными. Если, например, нас заинтересует понятие истины, применимое к предложениям не нашего первоначального объектного языка, а его мета-языка, то последний автоматически становится объектным языком нашего обсуждения, и чтобы определить истину для этого языка, мы должны перейти к новому метаязыку, так сказать, к мета-языку более высокого уровня. Так мы приходим к целой иерархии языков.
Словарь мета-языка в значительной степени детерминирован точно сформулированными условиями материальной адекватности определения истины. Как мы помним, из этого определения должны следовать все эквивалентности вида Т:
(Т) X истинно тогда и только тогда, когда р.
Само определение и все вытекающие из него эквивалентности должны быть сформулированы в мета-языке. В то же время, символ р в эквивалентности вида Т представляет произвольное предложение нашего объектного языка. Отсюда следует, что каждое предложение, встречающееся в объектном языке, должно входить также в метаязык, иными словами, мета-язык должен содержать объектный язык как свою часть. Во всяком случае, это необходимо для доказательства адекватности определения, хотя само определение иногда может формулироваться в менее богатом мета-языке, невыполняющем этого требования.
(Обсуждаемое требование можно несколько модифицировать, так как достаточно потребовать, чтобы объектный язык был переводим в мета-язык. Это приводит к определенному изменению интерпретации символа р в эквивалентности Т. В дальнейшем мы не будем принимать во внимание возможность этой модификации.)
Символ X в эквивалентности T представляет имя того предложения которое представлено символом р. Отсюда мы можем увидеть, что мета-язык должен быть достаточно богат для того, чтобы в нем можно было построить имя для любого предложения объектного языка.
Наконец, мета-язык безусловно должен содержать термины общелогического характера, такие как выражение тогда и только тогда, когда [14].
Желательно, чтобы мета-язык не включал в себя каких-либо неопределяемых терминов, за исключением тех, которые явно или неявно были указаны выше: термины объектного языка; термины, относящиеся к форме выражений объектного языка и используемые для образования их имен; и термины логики. В частности, мы хотим, чтобы
