Открытое общество и его враги

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

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

То, что мы сейчас написали, — это самопротиворечивое высказывание. (Если написать дважды «является ложным высказыванием» вместо «не является высказыванием», то мы получим геделевское высказывание в редакции Дж. Финдлея).