1. Ярлык Р является именем Р.

2. Если Р – имя Q, то ЕР – имя экспоната Q, т.е. имя выражения Q *Q*».

После этих определений утверждается, что «Е*Е* является одним из двух своих имен. Точно так же формула r Е* r Е говорит о самой себе» [Манин, 1979, с. 79]. Язык SELF представляется в семиотическом плане намного более продвинутым, чем формальный язык узкого исчисления предикатов. Он эксплицирует ряд семиотических различий, позволяющих описывать весьма тонкие логические конструкции.

Семиотический анализ приведенного текста, однако, немедленно выявляет тот факт, что символ Е в этом языке употреблен в двух совершенно различных смыслах:

1. Как семиотический оператор действующий на имя, т.е. выражение *Q*, и превращающий его в Е *Q* – имя экспоната Q в соответствии с (b)).

2. Как индивидуум, являющийся «отмеченным выражением» (его можно заключать в скобках).

Ясно, что в первом смысле Е как семиотический оператор является элементом метатекста, а во втором смысле – элементом текста.

Только эта двойственность смыслов символа Е и дает возможность получить «самоописывающееся» выражение r Е* r Е*, которое потом используется для доказательства упрощенного аналога теоремы Тарского о невыразимости истинности 20 . Заметим, что применение сформулированного выше семиотического принципа построения формальных систем исключает возможность написания в рамках идей, положенных в основу языка SELF, «самоописывающихся» выражений, которые получаются только путем введения знаковой двусмысленности.

Хорошо известно [см., например: Фрейденталь, 1969], что «парадокс лжеца» парадоксом содержательной логики не является, т.е. может быть снят анализом прагматической стороны высказывания, именно, выяснением того, является ли данное высказывание элементом текста или «метатекста».

Появляется он лишь в рамках формальных систем, не эксплицирующих прагматику высказываний. Уже в работе «Основы теоретической логики» [Гильберт, Аккерман, 1947, с. 92) совершенно справедливо отмечалось, что так называемые «семантические парадоксы», к которым принадлежит «парадокс лжеца», «не затрагивают нашего исчисления (расширенного исчисления предикатов. – Я.Д., В.С.), так как оно не в состоянии выразить их чисто логический характер».

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

Мы, таким образом, ясно видим семиотический недостаток, общий для многих систем формальной логики – отказ от полной экспликации смысловых различений вплоть до семиотических. Собственно говоря, это было бы совсем нестрашно, если бы формальные тексты рассматривались не как язык, а просто как сокращенная запись, сопровождаемая по мере надобности естественно-языковыми комментариями, как это имеет место в большинстве математических работ. Однако, такое употребление формализма, разрушило бы цель, ради которой он был построен, привело бы к отказу от «идеала» – построения формального языка, не зависящего от естественно-языковой интерпретации символики.

Фактически же, в силу того что идеальный формализм построить очень трудно, «неидеальные» формализмы использовались так, как будто они являются идеальными, т.е. естественно-языковые фрагменты доказательств опускались, становясь частью устной традиции, что делает работы по математической логике почти абсолютно герметичными для людей не принадлежащих к находящимся в неформальном общении между собой специалистам, которые именно при этом неформальном общении устанавливают единый способ понимания публикуемых ими текстов. Таким образом, вопрос о природе формальных логических систем естественно переносится из плана семиотики в план социолингвистики. К этому вопросу мы еще вернемся ниже.

Продолжим, однако, обсуждение парадоксов математической логики. Существуют весьма различные точки зрения на их роль в развитии этой науки. Одна из этих точек зрения приведена выше и отрицает позитивную роль парадоксов. Существует и прямо противоположное мнение [Hofstadter, 1979], подчеркивающее их решающую роль в развитии математической логики.

Что касается проблемы разрешения парадоксов, то они не могут, по-видимому, быть «разрешены» в рамках существующих формальных систем, а вопрос о пользе построения формальных систем, в которых подобные парадоксы не возникают, зависит от доказательных возможностей подобных систем [Френкель, Бар-Хиллел, 1966].

Рассматривая «парадокс лжеца» 21 , можно заметить, что с точки зрения содержательной логики возможны различные подходы к его пониманию и, следовательно, устранению.

1. Последовательное различение текста и метатекста в высказывании.

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