Наука в свободном обществе
Шрифт:
Это приводит меня к заключительному пункту данного раздела. В предыдущем разделе я поставил три вопроса.
A. Существуют ли правила и стандарты, «рациональные» в том смысле, что они согласуются с некоторыми правдоподобными общими принципами и заслуживают признания при всех обстоятельствах? Эти правила и стандарты должны соблюдаться всеми учеными в их исследованиях, они объясняют такие события, как «коперниканская революция».
Б. Было ли разумно в свое время соглашаться с Коперником и каковы были основания для признания его учения? Не варьировались ли эти основания от одной группы к другой? От одного периода к другому?
B. Пришло ли то время, когда стало неразумно отвергать учение Коперника? Или всегда существовала точка зрения, позволяющая нам считать разумной идею неподвижной Земли?
Мне кажется, разделы 2, 5 и 6 показывают, что на вопрос А ответ должен быть отрицательным. Это был основной вывод книги ПМ.
Ответ на вопрос Б будет утвердительным с тем добавлением, что для разных людей, стоящих на различных позициях, убедительными будут разные аргументы. Мэстлин и Кеплер ценили математику, на них производила впечатление гармоничность коперниканской системы мира. Гилберт, изучавший движение магнитов, готов был согласиться и с движением Земли. На Герике произвели впечатление физические свойства новой системы, а на Бруно — тот факт, что она легко могла стать частью бесконечного количества систем. Не одна причина и не один метод, но разные причины, оцениваемые с разных позиций, вот что создало «коперниканскую революцию». Эти причины и позиции переплетались между собой, однако это переплетение носило случайный характер, поэтому не стоит пытаться объяснять весь этот процесс лишь влиянием упрощенных методологических правил.
Для ответа на вопрос В мы должны вспомнить, с чего начинал Коперник. Вначале его позиция была столь же неразумной, насколько неразумной должна была казаться идея неподвижной Земли в 1700 году. Однако она привела к результатам, которые теперь мы хотим признать. Следовательно, было разумно держаться за нее и разрабатывать дальше. Следовательно, всегда разумно вводить и разрабатывать неразумные идеи.
Глава 7
Несоизмеримость
В разделе 2 мы видели, каким образом некоторые традиции скрывают свои структурные элементы под внешне случайными свойствами, а другие выставляют их напоказ, но утаивают тот механизм, который превращает структуру в язык и понимание реальности. Мы обнаружили также, что на традиции первого рода философы часто смотрели как на сырой материал, форму которому придают традиции второго рода. При этом они часто смешивали традицию с наличием, а трудности открытия — с отсутствием структурных элементов и совершали еще одну ошибку, считая, что структурные элементы, сформулированные в явном виде, являются единственными оперативными ингредиентами языка. В этой последней ошибке и заключается главная причина, объясняющая, почему философы науки довольствовались обсуждением формул и простых правил, почему они надеялись, что такое обсуждение постепенно откроет все, что нужно знать о научных теориях. Великая заслуга Витгенштейна заключалась в том, что он разглядел и подверг критике как сам этот способ действий, так и ошибку, лежащую в его основе, а также подчеркнул, что наука включает в себя не только формулы и правила, но целые традиции. Кун расширил эту критику и придал ей больше конкретности. Для него парадигма представляет собой некоторую традицию, содержащую наряду с легко устанавливаемыми особенностями тенденции и процедуры, которые неизвестны, однако неявно направляют исследование и обнаруживаются только при сопоставлении с другими традициями. Своим понятием парадигмы Кун прежде всего поставил проблему. Он разъяснил нам, что наука зависит от обстоятельств, которые не отражены в обычных подходах, которые не встречаются в учебниках и которые могут быть обнаружены только косвенным путем. Большая часть его последователей, особенно в социальных науках, не заметила этой проблемы и отнеслась к концепции Куна как к изложению нового установленного факта — факта, который выражается словом «парадигма». Используя термин, еще нуждающийся в разъяснении, так, словно разъяснение уже было произведено, они положили начало новому и весьма прискорбному направлению болтливого невежества (я не говорю о Лакатосе, который пытался выделить действительно важные особенности). В данном разделе я выскажу несколько кратких замечаний о понятии несоизмеримости, которое представляет собой естественное следствие отождествления теорий с традициями, и разъясню также некоторые различия между куновским понятием несоизмеримости и моим собственным [111] .
111
Дальнейшие замечания от несоизмеримости можно найти в примеч. 38, гл. 3 части третьей настоящей работы.
Кун констатировал, что разные парадигмы (А) используют понятия, между которыми невозможно установление обычных логических отношений — включения, исключения, пересечения, (Б) заставляют нас видеть вещи по-разному (в разных парадигмах исследователи не только пользуются различными понятиями, но и обладаю различными восприятияи [112] ) и (В) включают в себя разные методы (как интеллектуальный, так и физический инструментарий) для проведения исследований и оценки их результатов. Замена малосодержательного понятия теории, до сих пор доминировавшего в дискуссиях по философии науки, гораздо более сложным и тонким понятием парадигмы, которую можно назвать теорией в действии, ибо она включает в себя некоторые динамические аспекты науки, было большим достижением. Согласно концепции Куна, соединение особенностей, о которых говорят (А), (Б) и (В), делает парадигмы в известной мере нечувствительными к трудностям и несравнимыми между собой [113] .
112
Этот тезис убедительно и с многочисленными примерами обоснован покойным Н. Хэнсоном в работе «Образцы открытия» [88].
113
Опираясь на методы Снида, проф. Штегмюллер сделал попытку реконструировать куновскую идею парадигмы, смены парадигм и несоизмеримости, но не достиг успеха. См. мою рецензию [64].
В отличие от Куна, я начал свои исследования с изучения некоторых проблем, связанных с тезисом (А) и относящихся только к теориям [114] . И в диссертации (1951 год), и в своей первой статье на английском языке поданной проблеме [115] я ставил вопрос об интерпретации предложений наблюдения. Я отвергал два существовавших в то время подхода: «прагматистскую теорию», согласно которой значение предложения наблюдения определяется его использованием, и «феноменологическую теорию», согласно которой это значение определяется чувственным впечатлением, позволяющим нам признать предложение истинным. С моей точки зрения, язык наблюдения интерпретируется с помощью теорий, которые разъясняют, что именно мы наблюдаем. Такие интерпретации изменяются вместе со сменой теорий [116] . Я понял, что такие интерпретации могут сделать невозможным установлен ие дедуктивных отношений между соперничающими теориями, и попытался обнаружить средства сравнения теорий, независимые от таких отношений [117] . В течение нескольких лет после опубликования моей статьи 1958 года (которая вышла в свет в том же году, что и «Образцы открытия» Хэнсона, и предшествовала появлению книги Куна «Структура научных революций») я пытался уточнить условия, при которых две теории, относящиеся к «одной и той же области», оказались бы лишенными дедуктивных отношений [118] . Я пытался также найти методы сравнения, независимые от наличия дедуктивных отношений. Таким образом, я никогда не пытался выводить несравнимость парадигм, являющуюся результатом (А), (Б) и (В), из отсутствия дедуктивных отношений между ними. Напротив, я пытался найти средства, позволяющие сравнивать такие теории. Сравнение по содержанию или по степени правдоподобия, безусловно, было исключено. Однако оставались другие методы [119] .
114
Первоначально под влиянием Витгенштейна я рассматривал структуры, весьма похожие на парадигмы («языковые игры», «формы жизни» — вот термины, которыми я в то время пользовался) и считал, что они охватывают элементы (А), (Б), (В): различные языковые игры с отличающимися правилами порождают различные понятия, разные способы оценивания, разные восприятия, и, следовательно, они не поддаются сравнению. Эти идеи я изложил на квартире у Э. Энском в Оксфорде осенью 1952 г. в присутствии Гарта и фон Вригта. «Открытие, — говорил я, — часто похоже не на открытие Америки, а на пробуждение ото сна». Позднее я счел необходимым ограничить рамки своего исследования, чтобы получить возможность высказать более конкретные утверждения. Книга Куна и особенно реакция Лакатоса на нее побудили меня вновь обратиться к разработке более общего подхода. Результаты можно найти в гл. 16 и 17 ПМ. Однако, к большому возмущению моих коллег в области философии науки, я никогда не пользовался узким понятием «теория». См. мои разъяснения в статье «Ответ на критику» [39], примеч. 5.
115
П. Фейерабенд [25]. На немецком языке опубликована с приложением об истории в [68].
116
Там же, с. 163.
117
Так, в статье 1958 г. я пытался дать интерпретацию решающих экспериментов, которая не зависела бы от общности значений. Я усовершенствовал этот подход в статье «Утешение для специалиста» [48].
118
Эти условия относятся только к теориям и их логическим взаимоотношениям, поэтому принадлежат к сфере (А) различий между парадигмами, отмеченных Куном. В течение некоторого времени я полагал, что концептуальные различия должны всегда сопровождаться различиями в восприятиях, однако в статье «Ответ на критику» ([39] текст к примеч. 50) отказался от этой идеи. Основание: эта идея не согласуется с результатами психологического исследования. В ПМ я высказал предостережение относительно того, что нельзя «делать вывод от особенностей стиля (или языка) к особенностям космологии и чувственного восприятия», и уточнил условия, при которых такой вывод возможен. Для преодоления трудности, возникающей в связи с утверждением о том, что несоизмеримые теории «говорят об одних и тех же вещах», я ограничил свой анализ универсальными теориями («Объяснение, редукция и эмпиризм» [34], рус. пер., с. 28) и подчеркнул, что одного различияв понятиях еще недостаточно для того, чтобы сделать теории несоизмеримыми в моем смысле. Для этого еще требуется, чтобы условия образования понятий одной теории исключали возможность образования фундаментальных понятий другой (см. разъяснения в ПМ, гл. 17. Я изложил причины, по которым такие разъяснения должны оставаться неопределенными; см. также сравнение смены одной теории другой, приводящей к несоизмеримости, с такой сменой, в результате которой несоизмеримость не возникает, в моей статье «Реализм и инструментализм» [37], разд. 2). Конечно, теории можно интерпретировать по-разному, и при одних интерпретациях они могут быть несоизмеримы, а при других — соизмеримы. Тем не менее имеются такие пары теорий, которые в своей обычной интерпретации оказываются несоизмеримыми в обсуждаемом здесь смысле. Примерами являются: классическая физика и квантовая теория; общая теория относительности и классическая механика; физика механических совокупностей гомеровской эпохи и субстанционалистская физика до-сократиков.
119
Существуют формальные критерии:линейная теория выглядит предпочтительнее по сравнению с нелинейной, так как в первой получать решения легче. В этом состоял один из главных аргументов против нелинейной электродинамики Ми (Mie), Борна и Инфельда. Этот аргумент использовался также против общей теории относительности до тех пор, пока разработка быстродействующих компьютеров не привела к значительному упрощению числовых вычислений. Или: логически «последовательную» теорию следует предпочитать непоследовательной (на этом основании Эйнштейн предпочитал общую теорию относительности другим подходам). Теория, использующая много рискованных аппроксимаций, для того чтобы прийти к «своим фактам», выглядит менее правдоподобной, чем теория, прибегающая к небольшому числу осторожных аппроксимаций. Другим критерием может быть количество предсказанных фактов. Неформальные критерииобычно требуют согласования с фундаментальной теорией (с принципом относительности, с фундаментальными квантовыми законами) или с метафизическими принципами (такими, например, как эйнштейновский «принцип реальности»).
По поводу этих «других методов» интересно отметить, что хотя в большинстве своем они и разумны в том смысле, что согласуются с желаниями значительного числа исследователей, но все-таки произвольны или субъективны, в том смысле, что для обоснования их приемлемости чрезвычайно трудно найти аргументы, не зависящие от субъективных желаний [120] . Поэтому эти «другие методы» часто приводят к несовместимым результатам: теория может казаться приемлемой, потому что дает много предсказаний, однако предсказания опираются на рискованные аппроксимации. С другой стороны, теория может выглядеть привлекательной благодаря своей логической стройности, однако эта «внутренняя гармония» способна сделать невозможным ее применение к значительно различающимся между собой областям. Таким образом, переход к критериям, не затрагивающим содержания, превращает выбор теории из «рациональной» и «объективной» шаблонной процедуры в весьма сложное решение, включающее в себя конфликтующие предпочтения, и пропаганда будет играть в нем главную роль, как это бывает во всех случаях, когда в игру вступают произвольные элементы [121] . Добавление элементов (Б) и (В) усиливает субъективную, или «личную», сторону процесса выбора теории.
120
Взять, например, простоту или логическую стройность (coherence): почему логически внутренне согласованную (coherent) теорию следует предпочитать менее согласованной? С первой труднее работать, вывод предсказаний в ней обычно более сложен, и если дьявол действительно создатель этой земли и является врагом ученых (трудно представить — почему, но допустим, что это так), то он будет пытаться запутать их таким образом, чтобы простота и логическая стройность перестали служить надежными ориентирами.
121
Столкновение между требованием непротиворечивости, с одной стороны, и требованием соответствия экспериментальным результатам — с другой, играло значительную роль в дискуссиях по поводу интерпретации квантовой теории.
Во избежание таких следствий сторонники идеи объективности и роста содержания изобретают интерпретации, превращающие несоизмеримые теории в соизмеримые. Они не учитывают, что существующие интерпретации, столь легкомысленно отбрасываемые ими, были введены для решения множества различных физических проблем и что несоизмеримость явилась одним из побочных следствий этих решений. Так, стандартная интерпретация квантовой теории была предназначена для непротиворечивого объяснения проницаемости потенциальных барьеров, интерференции, законов сохранения, Комптон-эффекта, фотоэлектрического эффекта, а одна из важнейших интерпретаций теории относительности была введена для того, чтобы сделать ее независимой от идей классической физики. Разумеется, не слишком трудно выдумать интерпретацию, превращающую несоизмеримые теории в соизмеримые, однако ни один философ до сих пор не смог добиться того, чтобы его интерпретация позволила решить все те проблемы, которые были решены с помощью отбрасываемой им интерпретации. Как правило, эти проблемы ему даже неизвестны. Точно так же до сих пор философы вряд ли затрагивали область, о которой идет речь в утверждениях (Б) и (В). В большинстве случаев они просто считали, что смена теорий не касается используемых методов познания. Не рассматривались также и проблемы чувственного восприятия. В этой области Кун далеко опередил всех позитивистов.
Кроме того, несоизмеримость показывает, что реализм, в некоторой его форме, одновременно слишком ограничен и расходится с практикой науки. Позитивисты полагали, что наука имеет дело, по существу, с наблюдениями, которые она упорядочивает и классифицирует, но не пытается идти дальше. Изменения в науке сводятся к замене классификационных схем, пораженных ошибками, другими, очищенными от ошибок схемами. Критики позитивизма указывали, что мир гораздо богаче, чем то, что охватывается наблюдениями. Существуют организмы, поля, континенты, элементарные частицы, преступления, демоны и т.п. Наука, по мнению критиков, постепенно открывает все эти вещи, устанавливает их свойства и взаимоотношения. Она совершает открытия, не изменяя самих объектов, их свойств и отношений. Такова сущность реалистической позиции.
Реализм можно интерпретировать и как частную теорию об отношении между человеком и миром, и как предпосылку науки (и познания вообще). По-видимому, большая часть философских реалистов принимает вторую интерпретацию, т.е. занимает позицию догматизма. Однако даже первую интерпретацию теперь можно подвергнуть критике и показать, что она некорректна. Для этого нужно лишь указать на то, как часто изменяется мир вследствие изменения фундаментальной теории. Если теории соизмеримы, то проблем не возникает — мы имеем дело с простым добавлением к имеющемуся знанию. Положение изменяется для несоизмеримых теорий, ибо теперь мы уже не можем считать, что две несоизмеримые теории имеют дело с одним и тем же объективным положением вещей. (Чтобы принять такое допущение, нам нужно согласиться с тем, что обе теории хотя бы ссылаются на одну и ту же объективную ситуацию. Но как можно утверждать, что «они обе» ссылаются на одну и ту же ситуацию, если «они обе» никогда не обладают смыслом одновременно? Кроме того, утверждение о том, на что именно ссылается та или иная теория, можно проконтролировать лишь в том случае, если обсуждаемые объекты описаны правильно, — но при этом наша проблема приобретает еще большую остроту.) Следовательно, если мы не хотим сказать, что теории вообще ничего не описывают, то мы должны согласиться с тем, что они имеют дело с разными мирами и что переход (от одного мира к другому) осуществляется в результате смены теорий. Разумеется, было бы неправильным утверждать, что смена теорий является причиной такого перехода (хотя здесь дело обстоит не так просто, как в том случае, когда, например, пробуждение вносит в игру новые принципы порядка и благодаря этому мы начинаем воспринимать новый мир вместо мира сновидений). Однако после анализа Бором эксперимента Эйнштейна, Подольского и Розена мы знаем, что существуют изменения, которые обусловлены не причинной связью между объектом и наблюдателем, а сменой тех самых условий, которые только и позволяют нам говорить об объектах, ситуациях, событиях. Мы имеем в виду изменения именно этого последнего рода, когда утверждаем, что смена универсальных принципов вызывает изменение мира в целом. При этом мы уже не предполагаем существования некоего объективного мира, который не затрагивается нашей познавательной деятельностью, и признаем его только в рамках частной точки зрения. Мы считаем, что наша познавательная деятельность способна оказывать решающее влияние даже на наиболее прочные элементы нашего космологического инвентаря — она способна изгнать богов и заменить их скоплениями атомов, несущихся в пустом пространстве [122] .
122
Более подробно об этом см.: Г. Муневар [125].
Часть вторая.
НАУКА В СВОБОДНОМ ОБЩЕСТВЕ
Глава 1.
Два вопроса
Имеется два вопроса, возникающих в ходе любого обсуждения науки. Они таковы:
(А) Что такое наука ? Как она действует, каковы ее результаты, чем ее стандарты, процедуры, результаты отличаются от стандартов, процедур, результатов других областей?
(Б) Каково значение науки ? Чем обусловлено превосходство науки по сравнению с другими формами существования, использующими иные стандарты и получающими другие результаты? Что обеспечивает современной науке превосходство по отношению к науке Аристотеля или космологии хопи?
Заметим, что при ответе на вопрос (Б) мы не имеем права оценивать альтернативы науки посредством научных стандартов. При ответе на этот вопрос мы проверяем научные стандарты, поэтому не можем опираться на них в своих оценках.
На вопрос (А) можно дать не один ответ, а несколько. Каждая школа в философии науки дает свое понимание того, что такое наука и как она действует. В дополнение к этому собственные истолкования науки предла-гают сами ученые, политические деятели и публицисты. Мы недалеко уходим от истины, когда говорим, что природа науки все еще покрыта мраком. Тем не менее вопрос обсуждается и можно надеяться на то, что однажды мы получим какое-то знание о том, что такое наука.