Когда этот закон был открыт, члены научного сообщества уже знали, что означают H, R и I, и это обобщение просто сообщило им о поведении теплоты, тока и сопротивления нечто такое, чего они не знали раньше. Однако, как показывает все обсуждение вопроса в книге, более часто символические обобщения выполняют в то же время вторую функцию, которая обычно резко отделяется от первой исследователями в области философии науки. Подобно законам или эти обобщения функционируют не только в роли законов, но и в роли определений некоторых символов, которые они содержат. Более того, соотношение между нераздельно связанными способностями установления законов и дефинирования изменяется с течением времени. Эти проблемы заслуживают более детального анализа, поскольку природа предписаний, вытекающих из закона, значительно отличается от природы предписаний, основывающихся на определении. Законы часто допускают частичные исправления в отличие от определений, которые, будучи тавтологиями, не позволяют подобных поправок. Например, одно из требований, вытекающих из закона Ома, состояло в том, чтобы заново определить как понятие “ток”, так и понятие “сопротивление”. Если бы эти термины употреблялись в своем прежнем смысле, закон Ома был бы неверен. Именно поэтому он встретил столь сильные возражения в отличие, скажем, от того, как был принят закон Джоуля — Ленца8. По всей вероятности, это типичная ситуация. Я в настоящее время даже подозреваю, что все революции, помимо всего прочего, влекут за собой отказ от обобщений, сила которых покоилась раньше в какой-то степени на тавтологиях. Показал ли Эйнштейн, что одновременность относительна, или он изменил само понятие одновременности? Разве те, кому казалась парадоксальной фраза “относительность одновременности”, просто заблуждались?

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

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