Предположения и опровержения Рост научного знания
жүктеу/скачать 6,99 Mb.
|
4. Карнап и язык наукиПервоначальное «ниспровержение» метафизики Карнапом не достигло успеха. Натуралистическая теория бессмысленности оказалась неудачной и ее общим результатом было учение, которое разрушало как метафизику, так и науку. На мой взгляд, это было следствием опрометчивой попытки уничтожить метафизику целиком, вместо того чтобы попытаться постепенно устранять метафизические элементы из различных наук, когда мы можем сделать это без опасности для научного прогресса 439
со стороны неоправданной критики (такой, например, как критика Бэконом учения Коперника или критика атомизма Дюгемом и Махом). Однако Карнап, как я уже сказал, давно отказался от натуралистической теории значения. Он заменил ее теорией, согласно которой решение вопроса о том, является ли некоторое языковое выражение правильно построенным или нет, зависит от правил языка, которому принадлежит данное выражение. Правила языка часто не являются достаточно точными для решения этого вопроса, поэтому мы должны ввести более точные правила и перейти к искусственной языковой системе. Я хочу повторить, что считаю это очень важным изменением, дающим ключ к рассмотрению большого количества интересных проблем. Однако проблему демаркации между наукой и метафизикой оно совершенно не затрагивает. Это я буду доказывать. Наивная, натуралистическая или эссенциалистская теория осмысленности является ошибочной, и она была заменена теорией правильно построенных формул, предполагающей точные правила и искусственный язык. Задачу построения таких языков Карнап решал с большим успехом. Однако это преобразование понятия осмысленности полностью разрушило учение о бессмысленности метафизики. И оно не оставило нам даже надежды на то, что когда-нибудь это учение будет восстановлено на основе нового понятия бессмысленности. К сожалению, это обстоятельство не было замечено. Карнап и его кружок (особым влиянием в котором пользовался Нейрат) продолжали решать проблему посредством построения «языка науки» — такого языка, в котором каждое подлинно научное утверждение было бы правильно построенной формулой, а метафизические идеи в нем были бы невыразимы либо вследствие отсутствия в нем соответствующей терминологии, либо вследствие отсутствия правильно построенных формул для их выражения. Задачу построения искусственных языков для моделирования языка науки я считаю интересной, однако я попытаюсь 440 показать, что попытка соединить ее с задачей разрушения метафизики (объявляя ее бессмысленной) неизбежно оказывается неудачной. Антиметафизическое предубеждение представляет собой философский (или метафизический) предрассудок, мешающий создателю системы хорошо выполнять свою работу. В данном разделе я попытаюсь кратко показать это для (а) физикалистского языка, (б) языка унифицированной науки, (в) языков «Логического синтаксиса», а в разделе 5 несколько более подробно — для языков, построенных в работе «Проверяемость и значение». (а) Физикалистский язык. В работе «Построение мира» Карнап руководствовался методологическим солипсизмом, полагая, что основой для построения научных понятий (следовательно, языка науки в целом) является собственный чувственный опыт субъекта. В 1931 году под влиянием Нейрата Карнап от него отказался и принял тезис физикализма, согласно которому существует лишь один унифицированный язык, говорящий о физических телах и их движении в пространстве и времени. В этом языке можно было выразить или перевести в него все, в том числе и психологию — в той мере, в которой она была научной. Психология стала в высшей степени бихевиористской: каждое осмысленное утверждение психологии, не важно, о человеке или о животных, следовало переводить в утверждение о пространственно-временных движениях физических тел. Тенденция, питавшая эту программу, ясна: утверждения о человеческой душе должны стать столь же бессмысленными, как и утверждения о Боге. Конечно, утверждения о душе и о Боге вполне можно отнести к одному уровню. Однако сомнительно, можно ли продолжить эту антиметафизическую и антитеологическую тенденцию и отнести все наши субъективные переживания, вернее, все утверждения о них, к тому же уровню бессмысленности, что и утверждения метафизики? (Теолог или метафизик охотно согласится с тем, что такие утверждения, как «Бог существует» или «Душа существует», находятся в точности на таком же уровне, что и утверждения «Я 441
осознаю переживание» или «Существуют чувства, например, любовь или ненависть, отличные от телесных движений, которые часто, хотя и не всегда, их сопровождают».) Поэтому нет необходимости вдаваться в достоинства или недостатки философии бихевиоризма или тезиса о переводимости (который, на мой взгляд, есть не что иное, как материалистическая метафизика в лингвистическом облачении, а я предпочитаю встречаться с ней без этого облачения): мы видим, что для уничтожения метафизики эта философия не очень пригодна. Как обычно, антиметафизическая метла выметает и слишком много, и в то же время слишком мало. В результате мы получаем неряшливую и неприемлемую демаркацию. Для иллюстрации этого «слишком много и слишком мало» я могу процитировать отрывок из работы Карнапа «Психология в физическом языке»29: «Благодаря усилиям Маха, Пуанкаре и Эйнштейна физика практически освободилась от метафизики; попытки сделать психологию наукой, свободной от метафизики, еще только начинаются». Выражение «свободная от метафизики» для Карнапа здесь означает «редуцируемая к протокольным предложениям». Но даже простейшие физические утверждения о действии потенциометра (пример Карнапа30) не допускают такой редукции. И я не вижу никаких причин, препятствующих вводить ментальные состояния в наши объяснительные психологические теории, ведь даже в физике (старой или новой) мы объясняем свойства проводника с током посредством гипотезы «электрической жидкости» или «электронного газа». Дело в том, что все физические теории говорят гораздо больше того, что можно проверить. Далеко не всегда легко решить, принадлежит ли это «больше» к физике, или его следует устранить из теории как «метафизический элемент». Ссылка Карнапа на Маха, Пуанкаре и Эйнштейна неудачна, поскольку Мах, например, стремился к окончательному устранению атомизма, который он (вместе со многими другими позитивистами) считал метафизическим элементом в физике. (Он устранял слишком много.) Пуанкаре пытался интерпре- 442 тировать физические теории как неявные определения, а это едва ли нравится Карнапу; а Эйнштейн вообще долгое время верил в метафизику, спокойно оперируя понятием «физическая реальность», хотя ему, как и всем нам, была противна претенциозная метафизическая болтовня303. Большая часть понятий, с которыми работают физики, например, силы, поля, даже электроны и другие элементарные частицы, представляют собой то, что Беркли (например) называл «оккультными качествами». Карнап показывает31, что допущение ментальных состояний в наших психологических объяснениях в точности аналогично допущению сил — оккультных качеств — для объяснения «прочности» деревянного бруса. Он полагает, что «при этом мы совершаем ошибку гипостазирования»32, в которой физики, по его мнению, не виноваты, а психологи совершают ее часто33. Однако прочность бруса нельзя объяснить только одной его структурой (как предполагает Карнап34), для этого нужно добавить еще законы, в которых широко используются «скрытые силы», рассматриваемые Карнапом (вместе с Беркли) как оккультные. Прежде чем завершить обсуждение пункта (а), я хотел бы заметить, что, с моей точки зрения, этот физикализм слишком физикаличен в одних отношениях и недостаточно физикали-чен — в других. Я действительно считаю, что когда мы хотим подвергнуть проверке наблюдением какое-то научное утверждение, то эта проверка должна быть в некотором смысле физи-калистинной. Это означает, что наши наиболее абстрактные теории, как психологические, так и физические, мы проверяем, выводя из них утверждения о поведении35 физических тел. Простые дескриптивные утверждения, описывающие легко наблюдаемые состояния физических тел, я назвал «базисными предложениями» и утверждал, что при проверках именно эти базисные предложения36 мы сравниваем с «фактами» и выбираем эти предложения и факты таким образом, чтобы их было легко сравнивать и интерсубъективно проверять. Поэтому, согласно моей позиции, для таких базисных проверок не нужно выбирать отчеты (которые трудно проверить 443
интерсубъективно) о нашем собственном чувственном опыте, следует брать отчеты (которые легче проверить) о наблюдаемых физических телах, включая потенциометры. Этот момент для меня важен, ибо моя идея относительно «физикалистского» характера проверок радикально отличается от всех широко распространенных теорий, утверждающих, что мы строим «внешний мир науки», исходя из «нашего личного чувственного опыта». Я всегда считал это предрассудком (который все еще широко поддерживается). Мы никогда и совершенно справедливо не доверяем «нашим собственным впечатлениям», пока не убедимся в том, что они согласуются с интерсубъективно проверяемыми взглядами. Воззрения Карнапа и Нейрата в этом отношении были гораздо менее «физикалистскими». В то время они еще поддерживали одну из разновидностей первоначального «методологического солипсизма» Карнапа. Они полагали, что предложения, которые образуют «эмпирический базис» (в моей терминологии) всех проверок и которые они называли «протокольными предложениями», должны быть отчетами о «наших собственных» чувственных впечатлениях, хотя и выражаемых в физикалистском языке, т.е. в виде отчетов о наших собственных телах. В формулировке Нейрата такие протокольные предложения должны были иметь весьма странный вид. Он писал37: «Полное протокольное предложение может, например, выглядеть так: "Протокол Отто в 3.17: [Мысль Отто в 3.16: (В этой комнате в 3.15 находился стол, наблюдаемый Отто)]"». Видно, что здесь предпринята попытка сохранить прежний исходный пункт — собственные субъективные переживания, т.е. «методологический солипсизм». Позднее Карнап согласился с моей позицией, однако в статье («О протокольных предложениях»38), в которой он очень доброжелательно отозвался о моей позиции как о «наиболее адекватной форме научного языка из всех, представленных ныне... в теории познания»39, он все-таки еще не вполне оценил тот факт (который, как мы увидим, получил надлежащую оценку в работе «Проверяемость и значение»), что различие 444 между позициями моей и Нейрата было фундаментальным: обращаемся ли мы в наших проверках к простым, наблюдаемым, физическим фактам или к «нашим чувственным восприятиям» (методологический солипсизм). Поэтому в своем, в иных отношениях прекрасном, изложении моей позиции он утверждает, что субъект S в своих проверках «практически часто останавливается», когда доходит до «предложений наблюдения протоколирующего субъекта 5», т.е. до предложений о его собственных чувственных впечатлениях. Я же считал, что он останавливается только тогда, когда приходит к предложению о легко и интерсубъективно наблюдаемом поведении физического тела (которое в этот момент не вызывает сомнений)40. Упомянутое расхождение тесно связано, конечно, с тем, что я никогда не верил в индукцию (для которой представляется естественным начинать «с наших собственных впечатлений») и опирался на метод проверки предсказаний, выводимых из наших теорий, а Нейрат верил в индукцию. В то время я надеялся, что в период изложения моих идей Карнап отказался от веры в индукцию. Но с тех пор он вновь в нее поверил. (б) Язык унифицированной науки. С физикализмом была тесно связана та идея, что физикалистский язык является универсальным языком, в котором можно высказать все, что имеет смысл. «Физикалистский язык является универсальным», писал Карнап41. «Если язык физики благодаря его универсальности мы принимаем в качестве... языка науки, то все науки превращаются в физику. Метафизика исключается как бессмысленная*1. Различные конкретные науки становятся частями унифицированной науки». Ясно, что этот тезис об одном универсальном языке единой унифицированной науки направлен на устранение метафизики: если все, что хочет сказать ученый, избегающий метафизики, можно выразить в одном языке, правила которого не допускают формулировки метафизических идей, то это свидетельствовало бы в пользу предположения о том, что метафизику нельзя выразить ни в одном «разумном» языке. (Ко- 445
нечно, это еще не было бы обоснованием данного предположения.) Удивительно, но этот тезис об одном универсальном языке еще до его появления в печати (30 декабря 1932 г.) был опровергнут одним из коллег Карнапа по Венскому кружку. Две знаменитые теоремы Геделя о неполноте свидетельствовали о том, что один унифицированный язык не был бы достаточен даже для элементарной теории чисел: мы можем построить язык, в котором выразимы все утверждения этой теории, однако этого языка недостаточно для формализации всех доказательств таких утверждений, которые могут быть доказаны (в каком-то другом языке). Поэтому следовало бы сразу же отказаться от этого учения об одном универсальном языке единой унифицированной науки (тем более, если учесть вторую теорему Геделя, утверждающую, что непротиворечивость некоторого языка нельзя рассматривать в самом этом языке). Затем появились еще более веские свидетельства ошибочности тезиса об универсальном языке. Я имею в виду, в частности, доказательство Тарским того, что каждый универсальный язык парадоксален (впервые опубликовано в 1933 г. в Польше, а в 1935 г. в Германии). Однако несмотря на все это, учение выжило43. И так называемая «Международная энциклопедия унифицированной науки», опиравшаяся на это учение (несмотря на мои возражения44, высказанные на «Первом конгрессе по научной философии», Париж, 1935 г.), продолжала выходить. Она останется памятником этому метафизическому учению, которое горячо поддерживал Нейрат и прекрасно использовал в качестве главного оружия в своем антиметафизическом крестовом походе. Философское убеждение, вдохновлявшее этого энергичного и обаятельного человека, было, с точки зрения его же собственных стандартов, чисто «метафизическим». Я с сожалением должен сказать, что унифицированная наука в унифицированном языке в действительности есть нонсенс. Тарский доказал, что не может существовать непротиворечивого языка 446 такого рода. Логика такого языка находится вне его. Почему же метафизика этого языка не может находиться вне его? Конечно, я не предполагаю, что Карнап всего этого не знал, но допускаю, что он недооценил катастрофических последствий этого для учения об унифицированной науке в унифицированном языке. Можно возразить, конечно, что я слишком серьезно воспринимаю учение об унифицированном языке и что здесь речь не идет о формализованной науке. (Например, Нейрат в своих более поздних публикациях говорит об «универсальном жаргоне». Ясно, что он думал не о формализованном универсальном языке.) Надеюсь, что это так. Однако такая позиция опять-таки разрушает учение о бессмысленности метафизики. Если нет строгих правил образования для универсального жаргона, то нет оснований считать, что в нем нельзя выразить метафизических утверждений. Можно лишь возвратиться к наивному натуралистическому пониманию бессмысленности, рассмотренному в разд. 3. В этой связи можно упомянуть также о том, что открытия Геделя (и Черча) решили судьбу еще одной излюбленной идеи позитивизма (чуть ли не самой неприятной для меня45). Я имею в виду изречение Витгенштейна: «Тайны не существует. Если вопрос вообще может быть поставлен, то на него можно и ответить»46. С этим учением Витгенштейна, которое Карнап в «Построении мира»47 назвал «гордым провозглашением всемогущества рациональной науки», трудно было согласиться даже в то время, когда оно впервые появилось, если вспомнить идеи Брауэра, опубликованные задолго до того, как был написан «Трактат». После результатов Геделя (особенно после его второй теоремы о неразрешимости) и Черча положение стало еще более печальным: мы поняли, что никогда не сможем узнать вполне даже методов решения проблем. Таким образом, правильно построенный математический вопрос может оказаться бессмысленным, если принять критерий значения, согласно которому значение предложения заключается в методе его ве- 447 рификации (в математике — в методе доказательства или опровержения). Отсюда следует, что можно сформулировать вопрос (и возможные ответы на него) без всякого намека на то, каким образом найти на него истинный ответ. Это говорит о поверхностном характере «гордого провозглашения» Витгенштейна. Карнап первым из философов осознал громадное значение результатов Геделя и постарался сделать их известными в философском мире. Тем более удивительно, что эти результаты никак не повлияли на доктрины Венского кружка (на мой взгляд, безусловно и очевидно метафизические) относительно языка и сферы науки. (в) «Логический синтаксис языка» Карнапа является одной из немногих философских книг, которые имеют действительно первостепенное значение. По-видимому, некоторые из ее аргументов идей остались в прошлом, благодаря главным образом открытиям Тарского, о чем сам Карнап сказал в своем знаменитом последнем абзаце работы «Введение в семантику». По-видимому, эту книгу нелегко читать (по-английски даже труднее, чем по-немецки). Однако я глубоко убежден, что если когда-нибудь будет написана история рационалистической философии первой половины XX века, то эта книга займет в ней почетное место. Я не могу даже пытаться доказывать это здесь. Однако об одном моменте я должен хотя бы упомянуть. Именно благодаря этой книге философский мир, находящийся к западу от Польши, впервые познакомился с методом анализа языков в «метаязыке» и построением «объектных языков» — с методом, значение которого для логики и оснований математики нельзя переоценить. И так же впервые в этой книге было высказано утверждение о том, что этот метод имеет величайшее значение для философии науки. Лично о себе я могу сказать, что эта книга (которая появилась за несколько месяцев до выхода в свет моей «Логики научного открытия» и которую я читал в то время, когда моя книга находилась в печати) знаменовала начало революции в моем философском мышлении, хотя я не понимал ее вполне (ду- 448 маю, вследствие ее действительной внутренней сложности) до тех пор, пока не прочитал великой статьи Тарского о понятии истины (в немецком переводе 1935 г.). Тогда я понял, конечно, что синтаксический метаязыковой анализ неадекватен и должен быть заменен тем, что Тарский назвал «семантикой». Я считаю, конечно, что с точки зрения проблемы демаркации в «Логическом синтаксисе» был сделан большой шаг вперед. Я говорю «конечно», поскольку уже упоминал о том, что в этой книге получили признание некоторые мои критические замечания. Часть важного в этом отношении отрывка была процитирована выше (в прим. 24). Но самое интересное, с нашей точки зрения, заключается в отрывке, который следует непосредственно после процитированного. Он показывает, что Карнап не вполне согласился с моей критикой. «Представленная здесь позиция, — пишет он48, — дает большую свободу при введении в язык физики и науки вообще новых исходных понятий и новых исходных предложений. В то же время она сохраняет возможность отличать псевдопонятия и псевдопредложения от подлинно научных понятий и предложений и благодаря этому устранять первые». Здесь мы вновь встречаем старый тезис о бессмысленности метафизики. Но здесь он несколько смягчен в словах, продолжающих этот отрывок (которые Карнап берет в квадратные скобки и которые показывают влияние моей критики, отмеченное им на предшествующей странице). «Однако это устранение не является столь простым, как казалось с более ранней точки зрения Венского кружка, которая, в сущности, была точкой зрения Витгенштейна. Тогда вопрос стоял о «единственном языке» в абсолютном смысле, казалось возможным отбрасывать и понятия, и предложения, если они не входили в этот единственный язык». Позицию, выраженную в этих отрывках (включая тот, который был кратко процитирован в прим. 24), можно описать следующим образом: (1) Осознаны некоторые трудности, связанные с верификационным критерием значения Витгенштейна, а также с неадекватностью «натуралистической» теории осмысленности 449
(связанной с верой в «единственный язык», в котором выражения осмысленны или нет просто благодаря их внутренней природе). (2) Однако все еще сохраняется убеждение в том, что, проявив некоторую изобретательность, мы можем установить один язык, в котором бессмысленными оказываются только «метафизические» понятия и предложения и никакие другие. (3) Еще удерживается вера в то, что можно построить один универсальный язык унифицированной науки (как следствие (2)), однако она не выпячивается и не рассматривается подробно. (См. пункт (б) этого раздела, в частности, отрывки из «Логического синтаксиса», разд. 74, с. 286, упоминаемые в прим. 43 выше.) Данная ситуация уже не нуждается в критике с моей стороны: практически я уже все сказал, в частности, то, что этот подход делает бессмысленной семантику Тарского, а вместе с ней и большую часть теории логического вывода, т.е. логику. Следует высказать лишь одно замечание, которое мне кажется важным. Одна из трудностей этой великой и важной книги Карнапа состоит в его настойчивом подчеркивании того факта, что синтаксис языка можно сформулировать в самом этом языке. Эта трудность была еще большей, поскольку читатель едва ли научился отличать объектный язык от метаязыка, когда ему говорили, что различие между ними, в конце концов, не столь велико, как предполагалось, поскольку метаязык может быть частью объектного языка. Настойчивость Карнапа в данном случае неуместна. Действительно, часть метаязыка (а именно, его «синтаксис») может быть частью объектного языка. Однако хотя этот факт чрезвычайно важен, как мы узнали из работ Геделя, в основном он используется при построении предложений, говорящих о самих себе, а это совершенно особая проблема. Для лучшего понимания отношений между объектным языком и метаязыком было бы, несомненно, лучше рассматривать метаязык как совершенно отличный от объектного языка. Можно 450 было бы, конечно, сказать о том, что какая-то часть метаязыка (достаточная для целей Геделя) может быть выражена в метаязыке, но не подчеркивать ошибочного тезиса о том, что весь метаязык может быть выражен в объектном языке. Я почти не сомневаюсь в том, что это подчеркивание, которое внесло так много сложностей в его книгу, было обусловлено идеей единого универсального языка, в котором выражается единая унифицированная наука. Карнап надеялся построить унифицированный язык, который автоматически исключал бы метафизику. Очень жаль, что эта превосходная книга была испорчена антиметафизической догмой и ошибочной демаркацией, устраняющей вместе с метафизикой также наиболее важные части логики. «Логический синтаксис языка» продолжает сохранять учение о бессмысленности метафизики в таком виде: все осмысленные предложения либо относятся к языку науки, либо (если они являются философскими) их можно выразить в синтаксисе этого языка. Этот синтаксис включает в себя всю философию и логику науки — в той мере, в которой они переводимы в «формальный модус речи». При желании этот синтаксис можно сформулировать в том же универсальном («объектном») языке, в котором формулируются все науки. Здесь присутствует не только идея одного универсального языка, неприемлемая для меня. Я не могу согласиться также с тем, что все высказываемое мной должно быть переводимо в «формальный модус речи», чтобы быть осмысленным (или понятным для Карнапа). Нет сомнений, что высказываться нужно как можно более ясно; нет сомнений также, что «формальный модус речи» Карнапа часто более предпочтителен, нежели его «материальный модус» (я сам пользовался им в своей «Логике научного открытия», не употребляя этих обозначений). Но первый вовсе не обязательно лучше второго. Да и почему он должен быть обязательно лучше? Быть может, потому, что сущностью философии является анализ языка? Но я не верю в сущности (и не верю Витгенштейну). Для лучшего понимания требуется только размышление и опыт. 451
Почему это вся философия должна быть анализом языка? Конечно, порой бывает полезно сформулировать вопрос как относящийся к языку. Но почему все философские вопросы должны быть такими? Или в этом состоит один-единственный нелингвистический тезис философии? Позитивистская атака нагнала страху, если можно так выразиться, на всех, кто хотел бы выражаться осмысленно. Мы стали более внимательны к тому, что и как мы говорим, и это очень хорошо. Но должно быть совершенно ясно, что философский тезис о том, что вся философия сводится к анализу языка, парадоксален. (Я готов признать, что эта критика уже не будет справедливой в отношении «Проверяемости и значения», в которой данный тезис заменен предложением, лишенным парадоксальности. Однако в пользу этого предложения не приведено никаких оснований, за исключением того, что оно дает улучшенный вариант данного тезиса, поэтому, как мне представляется, оно остается неприемлемым.) жүктеу/скачать 6,99 Mb. Достарыңызбен бөлісу:
|