Неприятности с физикой: взлёт теории струн, упадок науки и что за этим следует - Смолин Ли (книги онлайн полностью .TXT) 📗
Чтобы ответить на эти вопросы, мы должны вернуться к взглядам более ранних философов. В 1920-е и 1930-е в Вене выросло философское движение, названное логическим позитивизмом. Логические позитивисты предполагали, что утверждения становятся знанием, когда они проверены (верифицированы) наблюдениями мира, и они утверждали, что научное знание является суммой таких проверенных (верифицированных) суждений. Наука прогрессирует, когда учёные делают утверждения, которые имеют проверяемое содержание, которое затем верифицируется. Их мотивом было избавление философии от метафизики, которая заполнила огромные тома утверждениями, не устанавливающими контакт с реальностью. В этом они частично преуспели, но их сдержанная характеристика науки была не последней. Имелось много проблем, одна из которых была в том, что не имелось нерушимой взаимосвязи между тем, что наблюдается, и тем, что определяется. Утверждения и предубеждения вползали в описания простейших наблюдений. Не практикуется, а, вероятно, даже и невозможно, разорвать то, что учёные говорят или пишут на мелкие атомы, каждый из которых соответствует наблюдению, очищенному от теоретизирования.
Когда верификационизм потерпел неудачу, философы предположили, что наука прогрессирует, поскольку учёные следуют методу, гарантирующему приход к истине. Предположения о научном методе были предложены такими философами, как Рудольф Карнап и Пауль Оппенхайм. Карл Поппер продвинул своё собственное предположение, которое заключалось в том, что наука прогрессирует, когда учёные предлагают фальсифицируемые теории — то есть они делают утверждения, которые могут быть опровергнуты экспериментом. Согласно Попперу, никогда нельзя доказать правильность теории, но если она выдержала многочисленные попытки доказать её неправильность, мы можем начинать верить в неё — по меньшей мере, пока она окончательно не будет фальсифицирована [127].
Фейерабенд начал свою работу в философии с атаки на эти идеи. Например, он показал, что фальсифицирование теории не такая простая вещь. Очень часть учёные сохраняют веру в теорию после того, как она оказалась фальсифицированной; они делают это через изменение интерпретации эксперимента. Или они высказывают сомнение в самих результатах. Иногда это приводит в тупик, поскольку теория на самом деле не верна. Но иногда удержание веры в теорию перед лицом очевидных экспериментальных опровержений оказывается правильной вещью. Как вы можете сказать, в какой ситуации вы находитесь? Фейерабенд доказывал, что не можете. Разные учёные принимают различные точки зрения и принимают свои шансы такими, какими они будут рождаться в разработках. Нет общего правила, когда нужно отбрасывать теорию, а когда сохранять ей жизнь.
Фейерабенд также полностью раскритиковал идею, что метод является ключом для прогресса науки, показав, что в критических ситуациях учёный будет делать прогресс, отбросив правила. Более того, он доказал — убедительно, на мой взгляд, — что наука может дойти до полной остановки, если всегда следовать правилам «метода». Историк науки Томас Кун предпринял другую атаку на понятие «научный метод», когда он доказал, что учёные следуют различным методам в разные моменты. Но он был менее радикален, чем Фейерабенд; он попытался изложить два метода, один соответствует «нормальной науке», а другой соответствует научным революциям [128].
Другую критику идей Поппера предпринял венгерский философ Имре Лакатос, который доказывал, что имеется не так много асимметрии между фальсификацией и верификацией, как предполагал Поппер. Если вы видите одного красивого красного лебедя, невероятно, что вы обнародуете теорию, которая говорит, что все лебеди белые; вместо этого вы пойдёте искать персону, которая его покрасила [129].
Эти аргументы приводят нас к нескольким проблемам. Первая, что успех науки всё ещё требует объяснения; вторая (подчёркнутая Поппером), что становится невозможным отличить науку вроде физики и биологии от систем веры, — таких как марксизм, чёрная магия и разумное творение, — которые претендуют на научность [130]. Если не может быть сделано такое разграничение, то остаётся открытой дверь для жуткой разновидности релятивизма, в которой все претензии на истину и реальность имеют одинаковое основание.
Хотя я убеждён, как и многие действующие физики, что мы не следуем одному методу, я также убеждён, что мы должны ответить на вопрос Фейерабенда. Мы можем начать с обсуждения роли, которую наука играла в человеческой культуре.
Наука является одним из нескольких инструментов человеческой культуры, которые возникли в ответ на ситуацию, в которой мы, люди, находились с доисторических времён: мы, которые могут мечтать о бесконечном пространстве и времени, о бесконечно красивом и бесконечно хорошем, находимся встроенными в несколько миров: физический мир, социальный мир, воображаемый мир и духовный мир. Это условие человеческого существования, что мы долго стремились открыть умения, которые дадут нам власть над этими различными мирами. Эти умения сейчас называют наукой, политикой, искусством и религией. Сегодня, как и в наши ранние дни, они дают нам власть над нашими жизнями и формируют основу наших надежд.
Что бы кто ни говорил, никогда не было человеческого общества без науки, политики, искусства и религии. В пещерах, чьи стены украшены рисунками древних охотников, мы находим кости и камни с узорами, показывающими, что люди подсчитывали какие-то вещи группами по четырнадцать, двадцать восемь или двадцать девять. Археолог Александр Маршак, автор книги «Корни цивилизации», интерпретирует это как наблюдения за фазами Луны [131]. Это также могли быть записи раннего метода контроля за рождаемостью. В любом случае они показывают, что двадцать тысяч лет назад человеческие существа использовали математику чтобы организовать и концептуально представить свои ощущения о природе.
Наука не была изобретена. Она эволюционировала во времени, когда люди открывали инструменты и традиции, которые работали, чтобы привести физический мир в сферу нашего понимания. Наука, таким образом, есть путь, который является следствием способа существования природы — и следствием способа нашего существования. Многие философы ошибочно искали объяснение, почему наука работает, которое было бы применимо к любому возможному миру. Но такая вещь не может быть. Метод, который работал бы в любой возможной вселенной, будет подобен креслу, которое было бы удобным для любого возможного животного: он годился бы одинаково плохо в большинстве случаев.
На самом деле можно доказать версию указанного утверждения. Предположим, что учёные подобны слепым исследователям, ищущим самый высокий пик в своей стране. Они не могут видеть, но они могут чувствовать обстановку вокруг себя, чтобы определить, какой путь ведёт вверх, а какой вниз, и они имеют альтиметр со звуковым считыванием, чтобы определять, насколько высоко они находятся. Они не могут видеть, когда они находятся на вершине пика, но они будут знать это, поскольку только здесь все направления ведут вниз. Проблема в том, что может быть больше, чем один пик, и, если вы не можете видеть, тяжело быть уверенным, что вы карабкаетесь на самый высокий. Таким образом, не очевидно, есть ли стратегия, которой слепые исследователи могут следовать, чтобы найти самый высокий пик за наименьшее количество времени. Это проблема, которую математики изучали, но пока не была доказана её невозможность. Теорема отсутствия бесплатного обеда, разработанная Дэвидом Уолпертом и Вильямом Макреди, устанавливает, что в любом возможном ландшафте не будет лучшей стратегии, чем просто двигаться вокруг хаотическим образом [132]. Чтобы сформировать стратегию, которая действует лучше, вы должны что-нибудь знать о вашем ландшафте. Вид стратегии, который хорошо работал бы в Непале, потерпит неудачу в Голландии.
127
См., например, Karl Popper, The Logic of Scientific Discovery <Логика научного открытия> (New York: Routhledge, 2002).
128
Thomas S. Kuhn, The Structure of Scientific Revolutions <Структура научных революций> (Chicago: Univ. of Chicago Press, 1962).
129
Imre Lacatos, Proof and Refutations <Доказательство и опровержения> (Cambridge, U.K.: Cambridge Univ. Press, 1976).
130
Леонард Сасскайнд, защищая применимость антропного обоснования, назвал его критиков Попперацци за призывы к необходимости каких-нибудь возможностей фальсификации. Но принять критику установок Поппера, что фальсификация является только частью истории того, как работает наука, это только одно дело, и совсем другое дело защищать применимость научных оснований теории, которая не делает однозначных или специальных предсказаний, с помощью которых она могла бы быть или фальсифицирована, или подтверждена. В этой связи я горд быть Поппераццо.
131
Alexander Marshack, The Roots of Civilization: The Cognitive Beginnings of Man's First Art, Symbol, and Notation <Корни цивилизации: познавательные начала первого человеческого искусства, символа и понятия> (New York: McGraw-Hill, 1972).
132
D.H. Wolpert and W.G. Macready, No Free Lunch Theorems for Search, <Теоремы об «отсутствии бесплатных завтраков» для исследований> Technical Report, Santa Fe Institute, SFI-TR-95-02-010.