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

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

Встает вопрос: как с этой точки зрения обстоит дело с повседневным языком? На первый взгляд может показаться, что этот язык удовлетворяет обоим предположениям (I) и (II) и, следовательно, должен считаться противоречивым. Однако в действительности все обстоит не так просто. Наш повседневный язык несомненно не является языком с точно заданной структурой. Мы не знаем в точности, какие выражения являются предложениями, и еще меньше знаем о том, какие предложения можно утверждать. Поэтому проблема непротиворечивости относительно этого языка не имеет точного смысла. Мы можем лишь рискнуть высказать предположение: язык, структура которого была бы точно задана и который был бы максимально близок к естественному языку, по-видимому, был бы противоречивым.

9. Объектный язык и мета-язык.

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

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

Словарь мета-языка в значительной степени детерминирован точно сформулированными условиями материальной адекватности определения истины. Как мы помним, из этого определения должны следовать все эквивалентности вида (Т):

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

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