Л. Витгенштейн, вероятно, мог бы сказать, что он понимал это сам,
когда писал: «Мои предложения поясняются тем фактом, что тот, кто
меня понял, в конце концов уясняет их бессмысленность…»
(L. Wittgenstein, op. cit., p. 181; русский перевод: Л. Витгенштейн,
там же, с. 97; см. также прим. 51 к гл. 11). В любом случае мы можем
предположить, что он был бы склонен считать принцип W+ скорее
бессмысленным, чем ложным. Я же уверен, что этот принцип является не
бессмысленным, а просто-напросто ложным. Точнее, я убежден, что в
любом формализованном языке (в таком, где могут быть сформулированы
неразрешимые высказывания Геделя), который имеет средства,
позволяющие говорить о его собственных выражениях, и в котором
имеются имена классов выражений, таких как «предложения» и
«непредложения», формализация высказывания, которое — подобно W+ —
говорит о своей собственной бессмысленности, является
самопротиворечивой, а не бессмысленной и не парадоксальной. Такая
формализация представляет собой осмысленное предложение хотя бы
потому, что говорит о том, что каждое высказывание определенного
вида не является предложением (т.е. правильно построенной
формулой). Такое высказывание будет истинным или ложным, а не
бессмысленным потому, что быть (или не быть) правильно построенным
предложением — это свойство выражений. К примеру, высказывание «Все
выражения бессмысленны» является самопротиворечивым, а не
парадоксальным высказыванием. Таким же является и выражение
«Выражение х бессмысленно», если на место «х» мы поставим имя этого
выражения. Модифицируя идею Дж. Финдлея, мы можем сказать:
Выражение, полученное из данного выражения: «Выражение, полученное
посредством замены переменной х в данном выражении именем этого
выражения, употребленным автонимно, не является высказыванием»
посредством замены переменной именем этого выражения, употребленным
автонимно, не является высказыванием.
То, что мы сейчас написали, — это самопротиворечивое
высказывание. (Если написать дважды «является ложным высказыванием»
вместо «не является высказыванием», то мы получим геделевское
высказывание в редакции Дж. Финдлея).
