Подобные рассуждения находят поддержку в новых разработках, связанных с первым вопросом. Некоторые интерпретаторы квантовой теории указывали на то, что существует естественная граница, перейдя которую математика теряет способность к отображению мира и превращается в инструмент для упорядочивания фактов. Эта естественная граница задана здравым смыслом, который был улучшен (хотя принципиально не изменен) классической механикой. Для Гейзенберга[109] это означало частичный возврат к идеям Аристотеля. Мы знаем, что народная медицина, традиционные формы китайской медицины, сохраняющие тесную связь со взглядами здравого смысла на человека и природу, часто обладали лучшими средствами диагностики и лечения, чем научная медицина. Нам также известно, что «примитивные» формы жизни решали такие проблемы человеческого существования, которые недоступны для «рационального» подхода[110]. Новые разработки в области теории систем особое внимание обращают на глобальные отношения, они хотя и используют весь инструментарий современной науки, не теряют из вида социоприродных свойств и функций человека. Следует учитывать все эти разработки при попытках дать оценку Аристотелю. Опять-таки, для такой оценки нужны не столько аргументы, сколько новая установка, новый взгляд на человека и природу, новая религия, способная придать убедительность аргументам, как в свое время новая космология придавала убедительность аргументам коперниканцев.
Это приводит меня к заключительному пункту данного раздела. В предыдущем разделе я поставил три вопроса.
A. Существуют ли правила и стандарты, «рациональные» в том смысле, что они согласуются с некоторыми правдоподобными общими принципами и заслуживают признания при всех обстоятельствах? Эти правила и стандарты должны соблюдаться всеми учеными в их исследованиях, они объясняют такие события, как «коперниканская революция».
Б. Было ли разумно в свое время соглашаться с Коперником и каковы были основания для признания его учения? Не варьировались ли эти основания от одной группы к другой? От одного периода к другому?
B. Пришло ли то время, когда стало неразумно отвергать учение Коперника? Или всегда существовала точка зрения, позволяющая нам считать разумной идею неподвижной Земли?
Мне кажется, разделы 2, 5 и 6 показывают, что на вопрос А ответ должен быть отрицательным. Это был основной вывод книги ПМ.
Ответ на вопрос Б будет утвердительным с тем добавлением, что для разных людей, стоящих на различных позициях, убедительными будут разные аргументы. Мэстлин и Кеплер ценили математику, на них производила впечатление гармоничность коперниканской системы мира. Гилберт, изучавший движение магнитов, готов был согласиться и с движением Земли. На Герике произвели впечатление физические свойства новой системы, а на Бруно — тот факт, что она легко могла стать частью бесконечного количества систем. Не одна причина и не один метод, но разные причины, оцениваемые с разных позиций, вот что создало «коперниканскую революцию». Эти причины и позиции переплетались между собой, однако это переплетение носило случайный характер, поэтому не стоит пытаться объяснять весь этот процесс лишь влиянием упрощенных методологических правил.
Для ответа на вопрос В мы должны вспомнить, с чего начинал Коперник. Вначале его позиция была столь же неразумной, насколько неразумной должна была казаться идея неподвижной Земли в 1700 году. Однако она привела к результатам, которые теперь мы хотим признать. Следовательно, было разумно держаться за нее и разрабатывать дальше. Следовательно, всегда разумно вводить и разрабатывать неразумные идеи.
Глава 7
Несоизмеримость
В разделе 2 мы видели, каким образом некоторые традиции скрывают свои структурные элементы под внешне случайными свойствами, а другие выставляют их напоказ, но утаивают тот механизм, который превращает структуру в язык и понимание реальности. Мы обнаружили также, что на традиции первого рода философы часто смотрели как на сырой материал, форму которому придают традиции второго рода. При этом они часто смешивали традицию с наличием, а трудности открытия — с отсутствием структурных элементов и совершали еще одну ошибку, считая, что структурные элементы, сформулированные в явном виде, являются единственными оперативными ингредиентами языка. В этой последней ошибке и заключается главная причина, объясняющая, почему философы науки довольствовались обсуждением формул и простых правил, почему они надеялись, что такое обсуждение постепенно откроет все, что нужно знать о научных теориях. Великая заслуга Витгенштейна заключалась в том, что он разглядел и подверг критике как сам этот способ действий, так и ошибку, лежащую в его основе, а также подчеркнул, что наука включает в себя не только формулы и правила, но целые традиции. Кун расширил эту критику и придал ей больше конкретности. Для него парадигма представляет собой некоторую традицию, содержащую наряду с легко устанавливаемыми особенностями тенденции и процедуры, которые неизвестны, однако неявно направляют исследование и обнаруживаются только при сопоставлении с другими традициями. Своим понятием парадигмы Кун прежде всего поставил проблему. Он разъяснил нам, что наука зависит от обстоятельств, которые не отражены в обычных подходах, которые не встречаются в учебниках и которые могут быть обнаружены только косвенным путем. Большая часть его последователей, особенно в социальных науках, не заметила этой проблемы и отнеслась к концепции Куна как к изложению нового установленного факта — факта, который выражается словом «парадигма». Используя термин, еще нуждающийся в разъяснении, так, словно разъяснение уже было произведено, они положили начало новому и весьма прискорбному направлению болтливого невежества (я не говорю о Лакатосе, который пытался выделить действительно важные особенности). В данном разделе я выскажу несколько кратких замечаний о понятии несоизмеримости, которое представляет собой естественное следствие отождествления теорий с традициями, и разъясню также некоторые различия между куновским понятием несоизмеримости и моим собственным[111].
Кун констатировал, что разные парадигмы (А) используют понятия, между которыми невозможно установление обычных логических отношений — включения, исключения, пересечения, (Б) заставляют нас видеть вещи по-разному (в разных парадигмах исследователи не только пользуются различными понятиями, но и обладаю различными восприятияи[112]) и (В) включают в себя разные методы (как интеллектуальный, так и физический инструментарий) для проведения исследований и оценки их результатов. Замена малосодержательного понятия теории, до сих пор доминировавшего в дискуссиях по философии науки, гораздо более сложным и тонким понятием парадигмы, которую можно назвать теорией в действии, ибо она включает в себя некоторые динамические аспекты науки, было большим достижением. Согласно концепции Куна, соединение особенностей, о которых говорят (А), (Б) и (В), делает парадигмы в известной мере нечувствительными к трудностям и несравнимыми между собой[113].
В отличие от Куна, я начал свои исследования с изучения некоторых проблем, связанных с тезисом (А) и относящихся только к теориям[114]. И в диссертации (1951 год), и в своей первой статье на английском языке поданной проблеме[115] я ставил вопрос об интерпретации предложений наблюдения. Я отвергал два существовавших в то время подхода: «прагматистскую теорию», согласно которой значение предложения наблюдения определяется его использованием, и «феноменологическую теорию», согласно которой это значение определяется чувственным впечатлением, позволяющим нам признать предложение истинным. С моей точки зрения, язык наблюдения интерпретируется с помощью теорий, которые разъясняют, что именно мы наблюдаем. Такие интерпретации изменяются вместе со сменой теорий[116]. Я понял, что такие интерпретации могут сделать невозможным установлен ие дедуктивных отношений между соперничающими теориями, и попытался обнаружить средства сравнения теорий, независимые от таких отношений[117]. В течение нескольких лет после опубликования моей статьи 1958 года (которая вышла в свет в том же году, что и «Образцы открытия» Хэнсона, и предшествовала появлению книги Куна «Структура научных революций») я пытался уточнить условия, при которых две теории, относящиеся к «одной и той же области», оказались бы лишенными дедуктивных отношений[118]. Я пытался также найти методы сравнения, независимые от наличия дедуктивных отношений. Таким образом, я никогда не пытался выводить несравнимость парадигм, являющуюся результатом (А), (Б) и (В), из отсутствия дедуктивных отношений между ними. Напротив, я пытался найти средства, позволяющие сравнивать такие теории. Сравнение по содержанию или по степени правдоподобия, безусловно, было исключено. Однако оставались другие методы[119].