Предположения и опровержения. Рост научного знания

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

445

нечно, это еще не было бы обоснованием данного предположения.)

Удивительно, но этот тезис об одном универсальном языке еще до его появления в печати (30 декабря 1932 г.) был опровергнут одним из коллег Карнапа по Венскому кружку. Две знаменитые теоремы Геделя о неполноте свидетельствовали о том, что один унифицированный язык не был бы достаточен даже для элементарной теории чисел: мы можем построить язык, в котором выразимы все утверждения этой теории, однако этого языка недостаточно для формализации всех доказательств таких утверждений, которые могут быть доказаны (в каком-то другом языке).

Поэтому следовало бы сразу же отказаться от этого учения об одном универсальном языке единой унифицированной науки (тем более, если учесть вторую теорему Геделя, утверждающую, что непротиворечивость некоторого языка нельзя рассматривать в самом этом языке). Затем появились еще более веские свидетельства ошибочности тезиса об универсальном языке. Я имею в виду, в частности, доказательство Тарским того, что каждый универсальный язык парадоксален (впервые опубликовано в 1933 г. в Польше, а в 1935 г. в Германии). Однако несмотря на все это, учение выжило⁴³. И так называемая «Международная энциклопедия унифицированной науки», опиравшаяся на это учение (несмотря на мои возражения⁴⁴, высказанные на «Первом конгрессе по научной философии», Париж, 1935 г.), продолжала выходить. Она останется памятником этому метафизическому учению, которое горячо поддерживал Нейрат и прекрасно использовал в качестве главного оружия в своем антиметафизическом крестовом походе.

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

446

такого рода. Логика такого языка находится вне его. Почему же метафизика этого языка не может находиться вне его?

Конечно, я не предполагаю, что Карнап всего этого не знал, но допускаю, что он недооценил катастрофических последствий этого для учения об унифицированной науке в унифицированном языке.

Можно возразить, конечно, что я слишком серьезно воспринимаю учение об унифицированном языке и что здесь речь не идет о формализованной науке. (Например, Нейрат в своих более поздних публикациях говорит об «универсальном жаргоне». Ясно, что он думал не о формализованном универсальном языке.) Надеюсь, что это так. Однако такая позиция опять-таки разрушает учение о бессмысленности метафизики. Если нет строгих правил образования для универсального жаргона, то нет оснований считать, что в нем нельзя выразить метафизических утверждений. Можно лишь возвратиться к наивному натуралистическому пониманию бессмысленности, рассмотренному в разд. 3.

В этой связи можно упомянуть также о том, что открытия Геделя (и Черча) решили судьбу еще одной излюбленной идеи позитивизма (чуть ли не самой неприятной для меня⁴⁵). Я имею в виду изречение Витгенштейна: «Тайны не существует. Если вопрос вообще может быть поставлен, то на него можно и ответить»⁴⁶.

С этим учением Витгенштейна, которое Карнап в «Построении мира»⁴⁷ назвал «гордым провозглашением всемогущества рациональной науки», трудно было согласиться даже в то время, когда оно впервые появилось, если вспомнить идеи Брауэра, опубликованные задолго до того, как был написан «Трактат». После результатов Геделя (особенно после его второй теоремы о неразрешимости) и Черча положение стало еще более печальным: мы поняли, что никогда не сможем узнать вполне даже методов решения проблем. Таким образом, правильно построенный математический вопрос может оказаться бессмысленным, если принять критерий значения, согласно которому значение предложения заключается в методе его ве-

447

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

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