они получают символическую форму в готовом виде с самого начала, с момента их открытия: f = ma или I=V/R. В других случаях они обычно выражаются словами, например: «элементы соединяются в постоянных весовых пропорциях» или «действие равно противодействию». Только благодаря общему признанию выражений, подобных этим, члены научной группы могут применять мощный аппарат логических и математических формул в своих усилиях по решению головоломок нормальной науки. Хотя пример таксономии подсказывает, что нормальная наука может развиваться на основе лишь небольшого числа подобных выражений, мощь научной дисциплины, как представляется, должна, вообще говоря, возрастать по мере того, как увеличивается число символических обобщений, поступающих в распоряжение учёных-исследователей.

Эти обобщения внешне напоминают законы природы, но их функция, как правило, не ограничивается этим для членов научной группы. Но иногда они выступают как законы, например закон Джоуля — Ленца: H = R I2. Когда этот закон был открыт, члены научного сообщества уже знали, что означают H, R и I, и это обобщение просто сообщило им о поведении теплоты, тока и сопротивления нечто такое, чего они не знали раньше. Однако, как показывает всё обсуждение вопроса в книге, более часто символические обобщения выполняют в то же время вторую функцию, которая обычно резко отделяется от первой исследователями в области философии науки. Подобно законам f = ma или H = R I2 эти обобщения функционируют не только в роли законов, но и в роли определений некоторых символов, которые они содержат. Более того, соотношение между нераздельно связанными способностями установления законов и дефинирования изменяется с течением времени. Эти проблемы заслуживают более детального анализа, поскольку природа предписаний, вытекающих из закона, значительно отличается от природы предписаний, основывающихся на определении. Законы часто допускают частичные исправления в отличие от определений, которые, будучи тавтологиями, не позволяют подобных поправок. Например, одно из требований, вытекающих из закона Ома, состояло в том, чтобы заново определить как понятие «ток», так и понятие «сопротивление». Если бы эти термины употреблялись в своём прежнем смысле, закон Ома был бы неверен. Именно поэтому он встретил столь сильные возражения в отличие, скажем, от того, как был принят закон Джоуля — Ленца[170]. По всей вероятности, это типичная ситуация. Я в настоящее время даже подозреваю, что все революции, помимо всего прочего, влекут за собой отказ от обобщений, сила которых покоилась раньше в какой-то степени на тавтологиях. Показал ли Эйнштейн, что одновременность относительна, или он изменил само понятие одновременности? Разве те, кому казалась парадоксальной фраза «относительность одновременности», просто заблуждались?

Рассмотрим теперь второй тип компонентов, составляющих дисциплинарную матрицу. Об этом типе многое было сказано в моём основном тексте. Это такие составляющие матрицы, которые я называю «метафизическими парадигмами» или «метафизическими частями парадигм». Я здесь имею в виду общепризнанные предписания, такие, как: теплота представляет собой кинетическую энергию частей, составляющих тело; все воспринимаемые нами явления существуют благодаря взаимодействию в пустоте качественно однородных атомов, или, наоборот, благодаря силе, действующей на материю, или благодаря действию полей. Если бы мне пришлось переписать теперь книгу заново, я бы изобразил такие предписания, как убеждения в специфических моделях, и расширил бы категориальные модели настолько, чтобы они включали также более или менее эвристические варианты: электрическую цепь можно было бы рассматривать как своего рода гидродинамическую систему, находящуюся в устойчивом состоянии; поведение молекул газа можно было бы сопоставить с хаотическим движением маленьких упругих биллиардных шариков. Хотя сила предписаний научной группы меняется вдоль спектра концептуальных моделей, начиная от эвристических и кончая онтологическими моделями — а отсюда, между прочим, вытекает ряд нетривиальных следствий, — все модели имеют тем не менее сходные функции. Помимо всего прочего, они снабжают научную группу предпочтительными и допустимыми аналогиями и метафорами. Таким образом, они помогают определить, что должно быть принято в качестве решения головоломки и в качестве объяснения. И, наоборот, они позволяют уточнить перечень нерешённых головоломок и способствуют в оценке значимости каждой из них. Заметим, однако, что члены научных сообществ вовсе не обязаны соглашаться со своими коллегами по поводу даже эвристических моделей, хотя обычно они и склонны к этому. Я уже указывал, что для того, чтобы входить в сообщество химиков в течение первой половины XIX столетия, не было необходимости верить в существование атомов.

В качестве третьего вида элементов дисциплинарной матрицы я рассматриваю ценности. Обычно они оказываются принятыми среди различных сообществ более широко, чем символические обобщения или концептуальные модели. И чувство единства в сообществе учёных-естественников возникает во многом именно благодаря общности ценностей. Хотя они функционируют постоянно, их особенная важность обнаруживается тогда, когда члены того или иного научного сообщества должны выявить кризис или позднее выбрать один из несовместимых путей исследования в их области науки. Вероятно, наиболее глубоко укоренившиеся ценности касаются предсказаний: они должны быть точными; количественные предсказания должны быть предпочтительнее по сравнению с качественными; в любом случае следует постоянно заботиться в пределах данной области науки о соблюдении допустимого предела ошибки и т. д. Однако существуют и такие ценности, которые используются для вынесения решения в отношении целых теорий: прежде всего, и это самое существенное, они должны позволять формулировать и решать головоломки. Причём по возможности эти ценности должны быть простыми, не самопротиворечивыми и правдоподобными, то есть совместимыми с другими, параллельно и независимо развитыми теориями. (Я теперь думаю, что недостаток внимания к таким ценностям, как внутренняя и внешняя последовательность в рассмотрении источников кризиса и факторов в выборе теории, представлял собой слабость моего основного текста.) Существуют точно так же другие виды ценностей, например точка зрения, что наука должна (или не должна) быть полезной для общества, однако из предшествующего изложения уже ясно, чтó я имею в виду.

Об одном аспекте общепринятых ценностей следует, однако, упомянуть особо. В значительно большей степени, чем другие виды компонентов дисциплинарной матрицы, ценности могут быть общими для людей, которые в то же время применяют их по-разному. Суждения о точности, хотя и не полностью, но по крайней мере относительно, стабильны для различных моментов времени и для различных членов конкретной научной группы. Но суждения о простоте, логичности, вероятности и т. п. часто значительно расходятся у различных лиц. То, что было для Эйнштейна совершенно неуместно в старой квантовой теории, что делало невозможным развитие нормальной науки, — всё это для Бора и других физиков казалось трудностью, на разрешение которой можно было надеяться, полагаясь на средства самой нормальной науки. Что ещё более важно в тех ситуациях, в которых следовало бы прибегнуть к ценностям, так это то, что различные