Наука в свободном обществе
Шрифт:
Подобные рассуждения находят поддержку в новых разработках, связанных с первым вопросом. Некоторые интерпретаторы квантовой теории указывали на то, что существует естественная граница, перейдя которую математика теряет способность к отображению мира и превращается в инструмент для упорядочивания фактов. Эта естественная граница задана здравым смыслом, который был улучшен (хотя принципиально не изменен) классической механикой. Для Гейзенберга [109] это означало частичный возврат к идеям Аристотеля. Мы знаем, что народная медицина, традиционные формы китайской медицины, сохраняющие тесную связь со взглядами здравого смысла на человека и природу, часто обладали лучшими средствами диагностики и лечения, чем научная медицина. Нам также известно, что «примитивные» формы жизни решали такие проблемы человеческого существования, которые недоступны для «рационального» подхода [110] . Новые разработки в области теории систем особое внимание обращают на глобальные отношения, они хотя и используют весь инструментарий современной науки, не теряют из вида социоприродных свойств и функций человека. Следует учитывать все эти разработки при попытках дать оценку Аристотелю. Опять-таки, для такой оценки нужны не столько аргументы, сколько новая установка, новый взгляд на человека и природу, новая религия, способная придать убедительность аргументам, как в свое время новая космология придавала убедительность аргументам коперниканцев.
109
В. Гейзенберг [93].
110
См.: Э. Янтч [101].
Это приводит меня к заключительному пункту данного раздела. В предыдущем разделе я поставил три вопроса.
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
П.
116
Там же, с. 163.
117
Так, в статье 1958 г. я пытался дать интерпретацию решающих экспериментов, которая не зависела бы от общности значений. Я усовершенствовал этот подход в статье «Утешение для специалиста» [48].
118
Эти условия относятся только к теориям и их логическим взаимоотношениям, поэтому принадлежат к сфере (А) различий между парадигмами, отмеченных Куном. В течение некоторого времени я полагал, что концептуальные различия должны всегда сопровождаться различиями в восприятиях, однако в статье «Ответ на критику» ([39] текст к примеч. 50) отказался от этой идеи. Основание: эта идея не согласуется с результатами психологического исследования. В ПМ я высказал предостережение относительно того, что нельзя «делать вывод от особенностей стиля (или языка) к особенностям космологии и чувственного восприятия», и уточнил условия, при которых такой вывод возможен. Для преодоления трудности, возникающей в связи с утверждением о том, что несоизмеримые теории «говорят об одних и тех же вещах», я ограничил свой анализ универсальными теориями («Объяснение, редукция и эмпиризм» [34], рус. пер., с. 28) и подчеркнул, что одного различияв понятиях еще недостаточно для того, чтобы сделать теории несоизмеримыми в моем смысле. Для этого еще требуется, чтобы условия образования понятий одной теории исключали возможность образования фундаментальных понятий другой (см. разъяснения в ПМ, гл. 17. Я изложил причины, по которым такие разъяснения должны оставаться неопределенными; см. также сравнение смены одной теории другой, приводящей к несоизмеримости, с такой сменой, в результате которой несоизмеримость не возникает, в моей статье «Реализм и инструментализм» [37], разд. 2). Конечно, теории можно интерпретировать по-разному, и при одних интерпретациях они могут быть несоизмеримы, а при других — соизмеримы. Тем не менее имеются такие пары теорий, которые в своей обычной интерпретации оказываются несоизмеримыми в обсуждаемом здесь смысле. Примерами являются: классическая физика и квантовая теория; общая теория относительности и классическая механика; физика механических совокупностей гомеровской эпохи и субстанционалистская физика до-сократиков.
119
Существуют формальные критерии:линейная теория выглядит предпочтительнее по сравнению с нелинейной, так как в первой получать решения легче. В этом состоял один из главных аргументов против нелинейной электродинамики Ми (Mie), Борна и Инфельда. Этот аргумент использовался также против общей теории относительности до тех пор, пока разработка быстродействующих компьютеров не привела к значительному упрощению числовых вычислений. Или: логически «последовательную» теорию следует предпочитать непоследовательной (на этом основании Эйнштейн предпочитал общую теорию относительности другим подходам). Теория, использующая много рискованных аппроксимаций, для того чтобы прийти к «своим фактам», выглядит менее правдоподобной, чем теория, прибегающая к небольшому числу осторожных аппроксимаций. Другим критерием может быть количество предсказанных фактов. Неформальные критерииобычно требуют согласования с фундаментальной теорией (с принципом относительности, с фундаментальными квантовыми законами) или с метафизическими принципами (такими, например, как эйнштейновский «принцип реальности»).
По поводу этих «других методов» интересно отметить, что хотя в большинстве своем они и разумны в том смысле, что согласуются с желаниями значительного числа исследователей, но все-таки произвольны или субъективны, в том смысле, что для обоснования их приемлемости чрезвычайно трудно найти аргументы, не зависящие от субъективных желаний [120] . Поэтому эти «другие методы» часто приводят к несовместимым результатам: теория может казаться приемлемой, потому что дает много предсказаний, однако предсказания опираются на рискованные аппроксимации. С другой стороны, теория может выглядеть привлекательной благодаря своей логической стройности, однако эта «внутренняя гармония» способна сделать невозможным ее применение к значительно различающимся между собой областям. Таким образом, переход к критериям, не затрагивающим содержания, превращает выбор теории из «рациональной» и «объективной» шаблонной процедуры в весьма сложное решение, включающее в себя конфликтующие предпочтения, и пропаганда будет играть в нем главную роль, как это бывает во всех случаях, когда в игру вступают произвольные элементы [121] . Добавление элементов (Б) и (В) усиливает субъективную, или «личную», сторону процесса выбора теории.
120
Взять, например, простоту или логическую стройность (coherence): почему логически внутренне согласованную (coherent) теорию следует предпочитать менее согласованной? С первой труднее работать, вывод предсказаний в ней обычно более сложен, и если дьявол действительно создатель этой земли и является врагом ученых (трудно представить — почему, но допустим, что это так), то он будет пытаться запутать их таким образом, чтобы простота и логическая стройность перестали служить надежными ориентирами.
121
Столкновение между требованием непротиворечивости, с одной стороны, и требованием соответствия экспериментальным результатам — с другой, играло значительную роль в дискуссиях по поводу интерпретации квантовой теории.
Во избежание таких следствий сторонники идеи объективности и роста содержания изобретают интерпретации, превращающие несоизмеримые теории в соизмеримые. Они не учитывают, что существующие интерпретации, столь легкомысленно отбрасываемые ими, были введены для решения множества различных физических проблем и что несоизмеримость явилась одним из побочных следствий этих решений. Так, стандартная интерпретация квантовой теории была предназначена для непротиворечивого объяснения проницаемости потенциальных барьеров, интерференции, законов сохранения, Комптон-эффекта, фотоэлектрического эффекта, а одна из важнейших интерпретаций теории относительности была введена для того, чтобы сделать ее независимой от идей классической физики. Разумеется, не слишком трудно выдумать интерпретацию, превращающую несоизмеримые теории в соизмеримые, однако ни один философ до сих пор не смог добиться того, чтобы его интерпретация позволила решить все те проблемы, которые были решены с помощью отбрасываемой им интерпретации. Как правило, эти проблемы ему даже неизвестны. Точно так же до сих пор философы вряд ли затрагивали область, о которой идет речь в утверждениях (Б) и (В). В большинстве случаев они просто считали, что смена теорий не касается используемых методов познания. Не рассматривались также и проблемы чувственного восприятия. В этой области Кун далеко опередил всех позитивистов.
Кроме того, несоизмеримость показывает, что реализм, в некоторой его форме, одновременно слишком ограничен и расходится с практикой науки. Позитивисты полагали, что наука имеет дело, по существу, с наблюдениями, которые она упорядочивает и классифицирует, но не пытается идти дальше. Изменения в науке сводятся к замене классификационных схем, пораженных ошибками, другими, очищенными от ошибок схемами. Критики позитивизма указывали, что мир гораздо богаче, чем то, что охватывается наблюдениями. Существуют организмы, поля, континенты, элементарные частицы, преступления, демоны и т.п. Наука, по мнению критиков, постепенно открывает все эти вещи, устанавливает их свойства и взаимоотношения. Она совершает открытия, не изменяя самих объектов, их свойств и отношений. Такова сущность реалистической позиции.
Реализм можно интерпретировать и как частную теорию об отношении между человеком и миром, и как предпосылку науки (и познания вообще). По-видимому, большая часть философских реалистов принимает вторую интерпретацию, т.е. занимает позицию догматизма. Однако даже первую интерпретацию теперь можно подвергнуть критике и показать, что она некорректна. Для этого нужно лишь указать на то, как часто изменяется мир вследствие изменения фундаментальной теории. Если теории соизмеримы, то проблем не возникает — мы имеем дело с простым добавлением к имеющемуся знанию. Положение изменяется для несоизмеримых теорий, ибо теперь мы уже не можем считать, что две несоизмеримые теории имеют дело с одним и тем же объективным положением вещей. (Чтобы принять такое допущение, нам нужно согласиться с тем, что обе теории хотя бы ссылаются на одну и ту же объективную ситуацию. Но как можно утверждать, что «они обе» ссылаются на одну и ту же ситуацию, если «они обе» никогда не обладают смыслом одновременно? Кроме того, утверждение о том, на что именно ссылается та или иная теория, можно проконтролировать лишь в том случае, если обсуждаемые объекты описаны правильно, — но при этом наша проблема приобретает еще большую остроту.) Следовательно, если мы не хотим сказать, что теории вообще ничего не описывают, то мы должны согласиться с тем, что они имеют дело с разными мирами и что переход (от одного мира к другому) осуществляется в результате смены теорий. Разумеется, было бы неправильным утверждать, что смена теорий является причиной такого перехода (хотя здесь дело обстоит не так просто, как в том случае, когда, например, пробуждение вносит в игру новые принципы порядка и благодаря этому мы начинаем воспринимать новый мир вместо мира сновидений). Однако после анализа Бором эксперимента Эйнштейна, Подольского и Розена мы знаем, что существуют изменения, которые обусловлены не причинной связью между объектом и наблюдателем, а сменой тех самых условий, которые только и позволяют нам говорить об объектах, ситуациях, событиях. Мы имеем в виду изменения именно этого последнего рода, когда утверждаем, что смена универсальных принципов вызывает изменение мира в целом. При этом мы уже не предполагаем существования некоего объективного мира, который не затрагивается нашей познавательной деятельностью, и признаем его только в рамках частной точки зрения. Мы считаем, что наша познавательная деятельность способна оказывать решающее влияние даже на наиболее прочные элементы нашего космологического инвентаря — она способна изгнать богов и заменить их скоплениями атомов, несущихся в пустом пространстве [122] .
122
Более подробно об этом см.: Г. Муневар [125].