Первая теория бессмысленности Карнапа

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

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

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

Поэтому я хочу остановиться на нем несколько более подробно.

Под натуралистической теорией бессмысленности я понимаю учение о том, что каждое лингвистическое выражение,

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

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

(а) все встречающиеся в нем слова обладают значением и

(б) все встречающиеся в нем слова соединены правильно.

Согласно условию (а) натуралистической теории (восходящей к Гоббсу и Беркли), последовательность слов будет бессмысленной, если бессмысленно одно из входящих в нее слов. В своем «Трактате» Витгенштейн формулирует это так (6.53, курсив мой. — К.П.)\ «Правильный метод философии, собственно, состоял бы в следующем:...всякий раз, когда кто-то захотел бы высказать нечто метафизическое, доказывать ему, что он не наделил значением определенные знаки своих предложений»*. По мнению Гоббса и Беркли, единственный способ придать значение некоторому слову заключается в том, чтобы связать (ассоциировать) это слово с каким-то чувственным восприятием или феноменом. Сам Витгенштейн не высказал этого в явном виде, это сделал Карнап. В своем «Построении мира» он попытался показать, что все понятия науки можно определить на основе («моего собственного») чувственного опыта. Такое определение понятия он назвал его «организацией» [«constitution»], а получившуюся систему понятий — «организационной системой». И он утверждал при этом, что метафизические понятия не могут быть организованы.

* Русский перевод, с. 72. — Примеч. пер.

Условие (б) восходит к Бертрану Расселу, который полагал¹⁴, что для устранения некоторых парадоксов следует признать определенные «комбинации символов», имеющие вид предложений, «абсолютно бессмысленными, а не просто ложными». Рассел не предлагал — для того чтобы избежать парадоксов — рассматривать эти комбинации как противоречащие каким-то (отчасти конвенциональным) правилам построения предложений. Ему казалось, скорее, будто он открыл тот факт, что эти по видимости осмысленные формулы ничего не выражают и по сути своей или по природе являются бессмысленными псевдопредложениями. Например, формула типа «а есть элемент а» или «а не есть элемент а» выглядит как предложение (поскольку имеет субъект и предикат). Однако она не является подлинным суждением (или предложением), поскольку формула вида «х есть элемент у» может быть суждением только в том случае, если х принадлежит к более низкому типу, чем у. Очевидно, это условие не выполняется, когда один и тот же символ «а» подставляется на место «х» и «у».

Это показывает, что пренебрежение типом слов (или обозначаемых ими сущностей) способно сделать бессмысленным выражение, которое похоже на предложение. И, согласно «Трактату» Витгенштейна и «Построению мира» Карнапа, именно это пренебрежение является главным источником метафизической бессмыслицы, т.е. отождествление псевдопредложений с подлинными предложениями. В «Построении мира» оно было названо «смешением сфер»¹⁵, это смешение того вида, которое ныне часто называют «категориальной ошибкой»¹⁶. В «Построении мира», например, «мой собственный» опыт {«das Eigenpsychische»), физические тела и опыт других людей {«das Fremdpsychische») принадлежат к разным сферам, типам или категориям и их смешение ведет к псевдопредложениям и псевдопроблемам. (Различие между физическими и психологическими сущностями Карнап описывает как различие между «двумя типами порядка»¹¹, существующими в рамках одного вида фундаментальных сущностей, что приводит его к решению

проблемы телесного — психического в духе «нейтрального монизма».)

Представленный очерк «наивной» или «натуралистической» теории¹⁸ осмысленности и бессмысленности языковых выражений охватывает лишь одну сторону этой теории, Имеется еще одна сторона: так называемый «верификационный критерий», который можно сформулировать в виде условия (в):

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

Иными словами, оно осмысленно только тогда, когда связано с какими-то предложениями наблюдения таким образом, что его истинность вытекает из истинности этих предложений наблюдения. «Несомненно, — пишет Карнап¹⁹, — что некая последовательность слов обладает значением только в том случае, если задана его выводимость из протокольных предложений [предложений наблюдения]...», т.е. если «известен способ его верификации»²⁰.

Карнап утверждает, что условия (а) и (б) вместе эквивалентны условию (в)²¹.

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

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

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

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

Теперь рассмотрим условие (а) — (номиналистическое) учение о том, что значением обладают только эмпирически определимые слова или знаки.

Здесь ситуация еще хуже, хотя и весьма интересна.

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

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

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

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

В этом можно убедиться на примере. Предложение «Фидо есть собака» истинно, потому что Фидо был одним из предметов, перечисленных нами при определении слова «собака». А вот предложение «Чанки есть собака» может быть ложным просто потому, что Чанки не был включен в список, определяющий слово «собака». Аналогичным образом, если значение слова «белый» я задаю списком, включающим: (1) лист бумаги, на котором я сейчас пишу, (2) мой носовой платок, (3) облако, плывущее надо мной, и (4) нашего снеговика, то предложение «У меня белые волосы» будет ложным независимо от того, какого цвета у меня волосы.

Ясно, что в таком языке нельзя формулировать гипотезы, и он не может быть языком науки. И наоборот, каждый язык, адекватный целям науки, должен включать в себя слова, значения которых заданы не перечислением. Или, можно сказать, каждый научный язык должен использовать подлинные универсалии, т.е. слова с неопределенным объемом, хотя, быть может, с четким интенсиональным «Значением». (Об интенсиональном анализе значения см. превосходную книгу Карнапа «Значение и необходимость».)

Такая же критика справедлива и для более сложных языков, в частности, для тех, в которых понятия вводятся посредством метода экстенсиональной абстракции (впервые использованного Фреге и Расселом). При этом предполагается, что класс фундаментальных элементов, лежащий в основе применения этого метода, и фундаментальные отношения между ними заданы экстенсионально, списком. Это было сделано в «Построении мира» Карнапа: он считал, что его исходное отношение «Er» («переживание воспоминания») может быть задано списком пар²⁶.

Все понятия, входящие в его «конститутивную систему», считаются экстенсионально определимыми через это исходное отношение «Er», т.е. посредством списка пар, придающих значение этому отношению. Поэтому все утверждения этого языка истинны или ложны просто благодаря (экстенсиональному) значению его слов: все они являются либо аналитически истинными, либо противоречивыми²⁷ благодаря отсутствию подлинно универсальных²⁸ слов.

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

Уже давно стало ясно, что это учение ошибочно. По-видимому, мы можем вместе с Расселом построить язык (содержащий теорию типов), в котором подобные выражения не будут правильно построенными формулами. Но мы также можем вместе с Цермело и его последователями (Френкелем, Беманом, фон Нейманом, Бернайсом, Лесневским, Куайном, Ак-керманом) построить язык, в котором эти выражения будут считаться правильно построенными и, следовательно, осмысленными. В некоторых языках они будут даже истинными утверждениями (для определенных значений а).

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

Для доказательства подлинной бессмысленности какого-то выражения мы должны сделать гораздо больше. Нужно доказать не только то, что предложение, написанное или высказанное каким-то писателем или оратором, бессмысленно во

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Для иллюстрации этого «слишком много и слишком мало» я могу процитировать отрывок из работы Карнапа «Психология в физическом языке»²⁹: «Благодаря усилиям Маха, Пуанкаре и Эйнштейна физика практически освободилась от метафизики; попытки сделать психологию наукой, свободной от метафизики, еще только начинаются». Выражение «свободная от метафизики» для Карнапа здесь означает «редуцируемая к протокольным предложениям». Но даже простейшие физические утверждения о действии потенциометра (пример Карнапа³⁰) не допускают такой редукции. И я не вижу никаких причин, препятствующих вводить ментальные состояния в наши объяснительные психологические теории, ведь даже в физике (старой или новой) мы объясняем свойства проводника с током посредством гипотезы «электрической жидкости» или «электронного газа».

Дело в том, что все физические теории говорят гораздо больше того, что можно проверить. Далеко не всегда легко решить, принадлежит ли это «больше» к физике, или его следует устранить из теории как «метафизический элемент». Ссылка Карнапа на Маха, Пуанкаре и Эйнштейна неудачна, поскольку Мах, например, стремился к окончательному устранению атомизма, который он (вместе со многими другими позитивистами) считал метафизическим элементом в физике. (Он устранял слишком много.) Пуанкаре пытался интерпре-

тировать физические теории как неявные определения, а это едва ли нравится Карнапу; а Эйнштейн вообще долгое время верил в метафизику, спокойно оперируя понятием «физическая реальность», хотя ему, как и всем нам, была противна претенциозная метафизическая болтовня³⁰³. Большая часть понятий, с которыми работают физики, например, силы, поля, даже электроны и другие элементарные частицы, представляют собой то, что Беркли (например) называл «оккультными качествами». Карнап показывает³¹, что допущение ментальных состояний в наших психологических объяснениях в точности аналогично допущению сил — оккультных качеств — для объяснения «прочности» деревянного бруса. Он полагает, что «при этом мы совершаем ошибку гипостазирования»³², в которой физики, по его мнению, не виноваты, а психологи совершают ее часто³³. Однако прочность бруса нельзя объяснить только одной его структурой (как предполагает Карнап³⁴), для этого нужно добавить еще законы, в которых широко используются «скрытые силы», рассматриваемые Карнапом (вместе с Беркли) как оккультные.

Прежде чем завершить обсуждение пункта (а), я хотел бы заметить, что, с моей точки зрения, этот физикализм слишком физикаличен в одних отношениях и недостаточно физикали-чен — в других. Я действительно считаю, что когда мы хотим подвергнуть проверке наблюдением какое-то научное утверждение, то эта проверка должна быть в некотором смысле физи-калистинной. Это означает, что наши наиболее абстрактные теории, как психологические, так и физические, мы проверяем, выводя из них утверждения о поведении³⁵ физических тел.

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

Поэтому, согласно моей позиции, для таких базисных проверок не нужно выбирать отчеты (которые трудно проверить

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

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

Воззрения Карнапа и Нейрата в этом отношении были гораздо менее «физикалистскими». В то время они еще поддерживали одну из разновидностей первоначального «методологического солипсизма» Карнапа. Они полагали, что предложения, которые образуют «эмпирический базис» (в моей терминологии) всех проверок и которые они называли «протокольными предложениями», должны быть отчетами о «наших собственных» чувственных впечатлениях, хотя и выражаемых в физикалистском языке, т.е. в виде отчетов о наших собственных телах. В формулировке Нейрата такие протокольные предложения должны были иметь весьма странный вид. Он писал³⁷: «Полное протокольное предложение может, например, выглядеть так: "Протокол Отто в 3.17: [Мысль Отто в 3.16: (В этой комнате в 3.15 находился стол, наблюдаемый Отто)]"». Видно, что здесь предпринята попытка сохранить прежний исходный пункт — собственные субъективные переживания, т.е. «методологический солипсизм».

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

между позициями моей и Нейрата было фундаментальным: обращаемся ли мы в наших проверках к простым, наблюдаемым, физическим фактам или к «нашим чувственным восприятиям» (методологический солипсизм). Поэтому в своем, в иных отношениях прекрасном, изложении моей позиции он утверждает, что субъект S в своих проверках «практически часто останавливается», когда доходит до «предложений наблюдения протоколирующего субъекта 5», т.е. до предложений о его собственных чувственных впечатлениях. Я же считал, что он останавливается только тогда, когда приходит к предложению о легко и интерсубъективно наблюдаемом поведении физического тела (которое в этот момент не вызывает сомнений)⁴⁰.

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

(б) Язык унифицированной науки. С физикализмом была тесно связана та идея, что физикалистский язык является универсальным языком, в котором можно высказать все, что имеет смысл. «Физикалистский язык является универсальным», писал Карнап⁴¹. «Если язык физики благодаря его универсальности мы принимаем в качестве... языка науки, то все науки превращаются в физику. Метафизика исключается как бессмысленная*¹. Различные конкретные науки становятся частями унифицированной науки».

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

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

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

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

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

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

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

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

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

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

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

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

(в) «Логический синтаксис языка» Карнапа является одной из немногих философских книг, которые имеют действительно первостепенное значение. По-видимому, некоторые из ее аргументов идей остались в прошлом, благодаря главным образом открытиям Тарского, о чем сам Карнап сказал в своем знаменитом последнем абзаце работы «Введение в семантику». По-видимому, эту книгу нелегко читать (по-английски даже труднее, чем по-немецки). Однако я глубоко убежден, что если когда-нибудь будет написана история рационалистической философии первой половины XX века, то эта книга займет в ней почетное место. Я не могу даже пытаться доказывать это здесь. Однако об одном моменте я должен хотя бы упомянуть. Именно благодаря этой книге философский мир, находящийся к западу от Польши, впервые познакомился с методом анализа языков в «метаязыке» и построением «объектных языков» — с методом, значение которого для логики и оснований математики нельзя переоценить. И так же впервые в этой книге было высказано утверждение о том, что этот метод имеет величайшее значение для философии науки. Лично о себе я могу сказать, что эта книга (которая появилась за несколько месяцев до выхода в свет моей «Логики научного открытия» и которую я читал в то время, когда моя книга находилась в печати) знаменовала начало революции в моем философском мышлении, хотя я не понимал ее вполне (ду-

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

Я считаю, конечно, что с точки зрения проблемы демаркации в «Логическом синтаксисе» был сделан большой шаг вперед. Я говорю «конечно», поскольку уже упоминал о том, что в этой книге получили признание некоторые мои критические замечания. Часть важного в этом отношении отрывка была процитирована выше (в прим. 24). Но самое интересное, с нашей точки зрения, заключается в отрывке, который следует непосредственно после процитированного. Он показывает, что Карнап не вполне согласился с моей критикой. «Представленная здесь позиция, — пишет он⁴⁸, — дает большую свободу при введении в язык физики и науки вообще новых исходных понятий и новых исходных предложений. В то же время она сохраняет возможность отличать псевдопонятия и псевдопредложения от подлинно научных понятий и предложений и благодаря этому устранять первые». Здесь мы вновь встречаем старый тезис о бессмысленности метафизики. Но здесь он несколько смягчен в словах, продолжающих этот отрывок (которые Карнап берет в квадратные скобки и которые показывают влияние моей критики, отмеченное им на предшествующей странице). «Однако это устранение не является столь простым, как казалось с более ранней точки зрения Венского кружка, которая, в сущности, была точкой зрения Витгенштейна. Тогда вопрос стоял о «единственном языке» в абсолютном смысле, казалось возможным отбрасывать и понятия, и предложения, если они не входили в этот единственный язык».

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

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

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

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