ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда.

Активные и пассивные значения.

Возможно, что прочитавшие внимательно эту главу найдут самым важным в ней следующий факт: система pr, по всей видимости, заставляет нас признать, что поначалу абстрактные символы неизбежно приобретают некое значение, по крайней мере, если мы находим какой-либо изоморфизм. Однако между значением в формальных системах и значением в языке есть важное различие. Различие это заключается в том, что, выучив значение какого-либо слова, мы составляем затем новые предложения, основанные на этом значении. В определенном смысле значение становится активным, так как оно порождает новые правила создания предложений. Это означает, что наше владение языком не является законченным продуктом, правил производства предложений становится все больше по мере того, как мы выучиваем новые значения. С другой стороны, в формальных системах теоремы предопределены правилами вывода. Мы можем выбирать «значения», основанные на изоморфизме (если таковой удается найти) между теоремами и истинными утверждениями. Однако это еще не разрешает нам по своему усмотрению прибавлять новые теоремы к уже имеющимся в системе. Именно об этом предупреждало нас в первой главе правило формальности.

В системе MIU, разумеется, у нас не возникает искушения выйти за пределы четырех правил, так как мы не собираемся искать в ней никаких интерпретаций. Однако здесь, в нашей новой системе, мы можем соблазниться новоприобретенным «значением» каждого символа и решить, что строчка.

--P--p--p--r--------

Является теоремой. По крайней мере, у нас может появиться такое желание; однако это не меняет того факта, что эта строчка — не теорема. Было бы грубой ошибкой думать, что она «должна» быть теоремой, только лишь потому, что 2 плюс 2 плюс 2 плюс 2 равняется 8. Более того, было бы неверно приписывать этой строчке вообще какое бы то ни было значение, поскольку она не является правильно построенной, в то время как наша интерпретация полностью выводится из наблюдения над правильно построенными строчками.

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