После «Структуры научных революций»
Шрифт:
152
Снид и Штегмюллер рассматривают только теории математической физики (лучше было бы сказать: только математические части теорий математической физики). Поэтому при спецификации теоретических функций они ссылаются только на роль ограничений. В предвидении необходимого обобщения формализма Снида я добавляю сюда «или понятий». Ниже будет показано, что Снид сам признает, что, по крайней мере отчасти, понятия также специфицируются математическими структурами.
153
См.: Кун. Структура научных революций, гл. 12.
154
Третий пример этого процесса (работы с терминами наблюдения), вводящий язык с эмпирическим содержанием в неразрывную связь, приведен на заключительных страницах
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).
166
В качестве примеров Снид приводит редукцию механики твердого тела к классической механике частиц, а также отношения (скорее эквивалентности, чем редукции) между формулировками механики частиц Ньютоном, Лагранжем и Гамильтоном. Обо всем этом он сказал много интересного. Однако с точки зрения истории механика твердого тела появилась позже, чем та теория, к которой она редуцируется, поэтому ее концептуальная структура непосредственно связана со структурой редуцирующей теории. Отношения между тремя формулировками классической механики являются более сложными, однако они сосуществовали, не порождая чувства их взаимной несовместимости. Нет видимых оснований считать, что введение какой-либо из них было революцией.
167
Stegmiiller, Theorienstrukturen, рр. 14, 24,165–169,182 f., 247–252. См. также: W Stegmiiller, «Accidental («Non-substantial») Theory Change and Theory Dislodgement», Erkenntnis 10 (1976): 147–178.
168
Когда я впервые использовал термин «несоизмеримость», я воображал гипотетический нейтральный язык, в котором можно описать вообще любую теорию. Затем я осознал, что сравнение требует наличия языка, нейтрального лишь по отношению к двум сравниваемым теориям, однако я сомневаюсь в том, что даже такая ограниченная нейтральность может быть достигнута. Обмен мнениями показал, что именно это является тем центральным пунктом, по которому мы со Штегмюллером наиболее явно расходимся. Рассмотрим, например, сравнение классической механики с релятивистской. Он полагает, что когда мы поднимаемся по иерархии теорий от классической (релятивистской) механики к более общей механике, в которой отсутствует второй закон Ньютона, затем – к кинематике и так далее, то в конце концов мы достигнем такого уровня, на котором нетеоретические термины окажутся нейтральными по отношению к классической и релятивистской теориям. Я сомневаюсь в достижимости такого уровня, и его «так далее» кажется мне весьма примечательным. Мне представляется, что систематическая теория сравнения требует установления референтов несоизмеримых терминов.