Глава 11. Демаркация между наукой и метафизикой

Резюме

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

 

Статья написана в январе 1955 г. для книги «Философия Рудольфа Карнапа», изданной в 1964 г. в «The Library of Living Philosophers», ed. P.A. Schilpp. С разрешения проф. Шилпа она приводится в варианте 1956 г. За исключением небольших стилистических исправлений я не трогал текста, хотя с тех пор как она была написана, некоторые ее идеи получили дальнейшее развитие в моих последующих публикациях; см.: «Логика научного открытия», новое приложение iх; приложение к гл. 10 настоящей книги; статью в журнале «Dialectica», 11, 1957, с. 354—374; две заметки в журнале «Mind», 71, 1962, с. 69-73 и 76, 1967, с. 103-110; 1. Lakatos (ed.), The Problem of Inductive Logic, 1968. См. также статьи Лакатоса и Уоткинса в этой книге. (424:)

 

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

Введение

Когда я пишу о Карнапе, критикую его, я мысленно возвращаюсь в то время, когда мы впервые встретились на его семинаре в 1928 или 1929 г. Еще более яркое воспоминание оставила у меня наша более поздняя встреча в 1932 г., когда я получил возможность часть своего отпуска провести в Тироле в продолжительных дискуссиях с Карнапом и Гербертом Фейглем. С нами были и наши жены. Это было счастливое время, наполненное солнцем, и, я думаю, все мы получали громадное наслаждение от наших долгих увлекательных бесед, в которых иногда подшучивали друг над другом, но никогда не обижались на это. Никто из нас не забудет, я уверен, как Карнап сразу же потащил нас на какой-то высокий крутой холм, весь заросший прекрасными альпийскими рододендронами. Продираясь через эти рододендроны, мы одновременно были вынуждены продираться через столь же непроходимую чащу его рассуждений, которые побудили Фейгля назвать наш холм «Семантической вершиной», хотя лишь несколько лет спустя, под влиянием критики Тарского, Карнап ступил на тот путь, который привел его от логического синтаксиса к семантике¹.

В Карнапе я нашел не только одного из самых обаятельных людей из всех, с кем был знаком, но и мыслителя, всецело поглощенного своими проблемами и чутко реагирующего на критику. Действительно, среди других характерных черт, общих у Карнапа с Бертраном Расселом, который оказал на Карнапа, да и на нас всех, наибольшее влияние, выделяется то интеллектуальное мужество, с которым он под влиянием

критики мог изменять даже самые фундаментальные свои убеждения.

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

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

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

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

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

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

Мое понимание проблемы

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

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

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

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

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

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

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

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

Кроме того (как я обнаружил позже⁶), существуют степени проверяемости: одни теории подвергают себя опасности опровержения более смело, чем другие. Например, теория, из которой можно вывести точные количественные предсказания относительно поведения спектральных линий света, испускаемого атомами, находящимися в магнитных полях разной напряженности, в большей мере подвергается риску экспериментального опровержения, чем та теория, которая лишь предсказывает, что магнитное поле оказывает влияние на излучение света. Более точная и более рискованная теория будет также более интересной. Чем смелее теория, тем менее она вероятна. Однако она будет более проверяема, так как наши проверки мы можем сделать более точными и строгими. И если она выдерживает эти строгие проверки, то тем самым она лучше подтверждается такими проверками. Таким образом, подтверждав емость (или подкрепляемостъ) увеличивается вместе с ростом проверяемости.

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

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

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

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

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

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

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

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

Но с самой первой моей публикации на эту тему (см. прим. 7 выше) я всегда считал проблему бессмысленности псевдопроблемой и всегда выступал против ее отождествления с проблемой демаркации. Я считаю так до сих пор. (431:)