152

Снид и Штегмюллер рассматривают только теории математической физики (лучше было бы сказать: только математические части теорий математической физики). Поэтому при спецификации теоретических функций они ссылаются только на роль ограничений. В предвидении необходимого обобщения формализма Снида я добавляю сюда «или понятий». Ниже будет показано, что Снид сам признает, что, по крайней мере отчасти, понятия также специфицируются математическими структурами.

153

См.: Кун. Структура научных революций, гл. 12.

154

Третий пример этого процесса (работы с терминами наблюдения), вводящий язык с эмпирическим содержанием в неразрывную связь, приведен на заключительных страницах статьи: Т. Кун, «Вторичные размышления о парадигмах» в «The Structure of Scientific Theories», ed. F. Suppe (Urbana: University of Illinois Press, 1974), pp. 459–482. Обращение ко всем традиционным уровням (терминов наблюдения, теоретических терминов и теорий в целом) представляется мне чрезвычайно важным.

155

См. об этом: Снид. «Логическая структура», с. 31–37, 48–51, 65–86, 117–138, 150–151; Штегмюллер «Структура и динамика теорий», 45—103.

156

Штегмюллер, отвергающий то, что он называет «платонизмом Снида», формулирует этот пункт иначе, и его подход нравится мне больше. Однако его изложение здесь потребовало бы введения дополнительных формальных средств, которые несущественны для целей настоящей статьи.

157

Снид, «Логическая структура», с. 284–288; Штегмюллер, «Структура и динамика теорий», с. 219–231.

158

Снид, «Логическая структура», с. 296–306; Штегмюллер, «Структура и динамика теорий», с. 231–247.

159

Центральную тему моей готовящейся к печати книги по истории проблемы черного тела я мог бы теперь сформулировать следующим образом. С 1900 г. и в работе «Warmestrahlung» Планка, опубликованной в 1906 г., фундаментальные уравнения механики и электромагнитной теории находились в ядре теории черного тела Планка; уравнение для элемента энергии, S =hv было частью его расширения. Однако в 1908 г. уравнение, определяющее элемент энергии, стало частью нового ядра; уравнения, специально выбранные из механики и электромагнитной теории, были отнесены к его расширениям. Несмотря на заметное пересечение уравнений, включенных в два расширенных ядра (вот она, непрерывность), структуры теорий, задаваемых этими двумя ядрами, радикально различались.

160

Штегмюллер (с. 14, 182) полагает, что моя неспособность преодолеть затруднения, связанные с моей позицией, обусловлена тем, что я принимаю традиционное истолкование теории как некоторого множества утверждений. Замечания по поводу его иллюстраций я выскажу ниже, однако это важно для решения проблемы непрерывности. Замечание о том, что какое-то уравнение или утверждение существенно для успеха теории в данном применении, не связано с тем, что структура теории позволяет сказать гораздо больше о том, каким образом новые теории могут создаваться из элементов, разработанных несовместимыми с ними предшественницами.

161

Снид. «Логическая структура», с. 35; Штегмюллер. «Структура и динамика теорий», с. 50.

162

Дополнительный смысл, в котором одна теория принуждает другую, задается традиционным пониманием того, что совместимость новой теории с существующими признанными теориями является одним из критериев ее оценки.

163

Тот факт, что рычажные весы можно использовать для измерения (инерционной) массы, можно обосновать только с помощью теории Ньютона. Видимо, именно это имел в виду Снид, утверждая (с. 117), что масса должна быть теоретическим понятием, поскольку теорию Ньютона можно использовать для вывода: являются ли показания весов подходящими для определения массы. Я думаю, этот критерий (обоснование измерительного инструмента теорией) важен для оценки теоретичности, однако он иллюстрирует и трудности, связанные с такой оценкой. Конечно, ньютоновская механика использовалась для контроля инструментов, измеряющих время, и итогом было принятие более точных стандартов, нежели суточное движение звезд. Я не считаю неубедительными аргументы Снида в пользу отнесения времени к нетеоретическим понятиям. Напротив, они вполне согласуются с моей интуицией. Но я считаю, что усилия сохранить четкое различие между теоретическими и нетеоретическими терминами теперь можно рассматривать как утратившую свое значение сторону традиционного способа анализа.

Мои оговорки относительно полной ненужности различия между теоретическим и нетеоретическим у Снида появились и приобрели ненужный размах из бесед с моим коллегой К.Г. Гемпелем. Однако первоначально они были стимулированы неоднократными указаниями Штегмюллера (с. 60, 231–243) на то, что такое различие потребовало бы построения строгой иерархии теорий. Тогда термины и функции, обоснованные теорией одного уровня, были бы нетеоретическими на более высоком уровне. Эта интуиция кажется мне полезной, однако я не вижу оснований для ее уточнения.

164

Снид. «Логическая структура», с. 171–184, 266 и далее, 292 и далее; Штегмюллер. «Структура», с. 120–134, 189–195.

165

Для дальнейшего обсуждения можно указать на то, что проблема установления различия между ядром и расширенным ядром имеет аналог в моей собственной работе, а именно в проблеме установления различия между нормальным и революционным изменением. При обсуждении этой проблемы я использовал термин «конститутивный», предполагая, что в революционном изменении отбрасывается конститутивная, а не просто случайная часть предшествующей теории. Тогда трудность заключается в расшифровке термина «конститутивный». Самое большее, что я могу сказать: конститутивные элементы являются в некотором смысле квазианалитическими, то есть отчасти детерминированными языком, а не природой (Кун. «Структура», с. 183 и далее; «Вторичные размышления», с. 469).