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

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

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

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

4. Карнап и язык науки

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

439

со стороны неоправданной критики (такой, например, как критика Бэконом учения Коперника или критика атомизма Дюгемом и Махом).

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

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

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

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

Задачу построения искусственных языков для моделирования языка науки я считаю интересной, однако я попытаюсь

440

показать, что попытка соединить ее с задачей разрушения метафизики (объявляя ее бессмысленной) неизбежно оказывается неудачной. Антиметафизическое предубеждение представляет собой философский (или метафизический) предрассудок, мешающий создателю системы хорошо выполнять свою работу.

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