Фальсификация и методология научно-исследовательских программ - Лакатос Имре (полные книги .TXT) 📗
146 Типичными примерами таких творческих толчков являются вклад Содди в программу Проута или Паули в программу Бора (старую квантовую теорию).
147 "Верификация" есть подкрепление добавочного содержания в развивающейся программе. Но, разумеется "верификация" не верифицирует программу, она только показывает ее эвристическую силу.
148 См. [92], р. 324-330 [русск. перев., с. 131-137]. К сожалению, в этой работе я не провел ясного методологического различения между теориями и исследовательскими программами, и это ухудшило изображнеие исследовательской программы в неформальной, квази-эмпирической математике.
149 Увы, все это скорее рациональная реконструкция, чем действительная ястория. Проут отвергал существование каких бы то ни было аномалий. Например, он утверждал, что атомный вес хлора в точности равен 36.
150 Проут отдавал себе отчет в некоторых основных методологических особенностях его программы. Вот несколько строк из его работы 1815 г.: "Автор представляет свой труд публике с величайшей робостью. Но он верит, что значение этого труда будет оценено должны образом, а также, что найдутся те, кто попытается исследовать поднятую в нем проблему, прежде чем отвергнуть выводы автора или согласиться с ними. Даже если будет доказана их ошибочность, это исследование могло бы обнаружить еще неизвестные факты либо лучше установить уже знакомые; но если выводы автора найдут подтверждение, новый и заманчивый свет пролился бы на всю химическую науку" [171].
181 Дж. К Максвелл принял сторону Стаса, он полагал невозможным допущение двух видов водорода, "поскольку, если бы некоторые молекулы были немного массивнее чем другие, мы имели бы возможность разделять молекулы с различными массами, ибо тогда одни молекулы были бы несколько плотнее других. А так как этого сделать нельзя, надо признать, что все они подобны друг другу" [117].
152 [116].
153 [33].
154 Там же.
155 [33], р. 491.
156 О "растяжке" понятий см. [92], ч. 4, [русск. перев.: с. 22- 60].
157 Этот сдвиг был предвосхищен в замечательной работе Крукса [34], где он заметил, что решение следует искать в новом различении "физического" и "химического". Но это предвосхищение осталось умозрительным; только Резерфорду и Содди удалось превратить его в научную теорию.
158 [184], р. 50.
159 .Там же.
160 Эти препятствия побуждали многих отдельных ученых отложить на неопределенный срок или даже отказаться от исследований в рамках программы и присоединиться к другим программам, положительная эвристика которых в то время позволяла достигать более легких успехов, нельзя поиять вполне историю науки, не обращаясь к "психологии толпы".
161 Историк науки скажет, что это скорее карикатура, чем действительный очерк истории; но я все же надеюсь, что он послужит своей цели. Кое-что в нем надо принимать не со щепоткой, а с целой горстью соли.
162 В этом, конечно, еще один аргумент против тезиса Уиздома о том. что метафизические теория могут быть опровергнуты, если они противоречат хорошо подкрепленным научным теориям [209].
163 [13]. р 874; [русск. перев.. с. 147-148]. " Н. Бор в это время считал, что теория Макксвелла-Лоренца должна со временен быть заменена (теория протона. предложенная Эйнштейном, уже показала, что это необходимо). " [77].
166 В нашей методологии такие защитные уловки ad hoc не обязательны, но, с другой стороны, от них нет вреда до тех пор, пока сохраняется ясное понимание, что они знаменуют собой проблемы, а не их решения.
167 [16], курсив мой.
168 [115], р 311
169 Зоммерфельд, например, игнорировал в большей степени, чем Бор.
170 [21]. р. 206.
171 Цит. по [180], p. 170
172 Два высказывания образуют противоречие, если их конъюнкция не имеет модели, т. е. не существует интерпретации их дескриптивных терминов, при которой эта конъюнкция истинна. В обычных рассуждениях термины используются более расширимо, чем в формальном дискурсе; некоторые дескриптивные термины получают фиксированную интерпретацию. В этом неформальном смысле два высказывания могут быть (слабо) противоречивыми при стандартной интерпретации некоторых смыслообразующих терминов, хотя формально, при нефиксированной интерпретации, они могут быть совместимыми. Например, первые теории спина электрона были несовместимы со специальной теорией относительности, если понятие "спин" получало стандартную ("сильную") интерпретацию и поэтому рассматривалось как нерасширимый термин, но противоречие исчезало, если "спин" трактовался как неиитерпретированный дескриптивный термин Не следует спешить со стандартными интерпретациями терминов, ибо выхолащивание значений может привести к бесплодию положительной эвристики программы (однако иногда именно стандартизация значений может оказаться прогрессивной) О демаркации между расширимыми и нерасширимыми (дескриптивными и логическими) терминами в неформальном рассуждении см. [921, особенно р. 335; [русск. перев., с. 144])
173 [16], заключительный параграф.
174 Наивные фальсификационисты готовы увидеть в подобном либерализме чуть ли не преступление против разума. Их главный аргумент звучит примерно так: "Если мы станем допускать противоречия, мы должны будем расстаться со всяким видом научной деятельности; это будет равносильно полному распаду науки. Сказанное легко подкрепить, доказав, что если допущены два противоречивых высказывания, то по необходимости допустимы какие угодно высказывания В самом деле, логически мы вправе выводить из пары противоречивых высказываний вообще любое высказывание . Теория, включающая противоречие, поэтому совершенно бесполезна в качестве теории" ([156]. русск. перев., с. 35, 38). Справедливости ради надо отметить, что здесь Поппер выступает против гегелевской диалектики, в которой противоречие объявляется достоинством, и он совершенно прав, указывая на опасность этого. Но Поппер никогда не анализировал примеры эмпирически (или не-эмпирически) прогрессивного развития знания, покоящегося на противоречивых основаниях, в 24-й главе его "Логики" прямо говорится о непротиворечивости как о требовании к научной теории, не допускающем никаких исключений
175 См.: [87].
176 [19] [русск перев . с. 113].
177 М. Борн в своем живом описании принципа соответствия также указывает на двойственность его оценки "Искусство угадывания правильных формул, которые отклоняются от классических, но переходят в них в смысле принципа соответствия, было значительно усовершенствовано" ([25], русск. перев , с. 304).
178 Увлекательную историю этого длинного ряда обескураживающих заблуждений см. в [209], р 103-304. Сам Планк дает драматическое описание этих лет: "Мои тщетные попытки как-то ввести квант действия в классическую теорию продолжались в течение ряда лет и стоили мне немалых трудов. Некоторые из моих коллег усматривали в этом своего рода трагедию" ((148); русск. пер. с. 661).
179 См. [98]. Конечно, редукционистская программа может считаться научной, если только она объясняет больше того, что остается за рамками объяснения; в противном случае редукция научной не является (ср. [168]). Если редукция не обеспечивает прироста нового эмпирического содержания (т. е. новых фактов), она выступает как регрессивный сдвиг проблем, как чисто лингвистическое упражнение. Ярким примером такой чисто лингвистической редукции являются усилия картезианцев укрепить свою метафизику так, чтобы ньютоновская гравитация могла быть истолкована на ее основании.
180 [47]; [русск. перев., с. 238]. В ряду критиков копенгагенского "анархизме" следует назвать, кроме Эйнштейна, - Поппера, Ланде, Шредингера, Маргенау, Блохинцева, Бома, Фенье и Яноши. Аргументы в защиту копенгагенской интерпретации см. в [72] [русск. перев., с. 91-106]; меткая критика недавно представлена Поппером в [163а], [168]. Фейерабенд в [56] использовал некоторые противоречия и колебания Бора, чтобы апологетически фальсифицировать боровскую философию. Он представил в кривом зеркале критику Бора со стороны Поппера, Ланде, Маргенау, затушевал оппозицию Эйнштейна, а главное, кажется, совсем забыл, что в некоторых своих ранних статьях он по этому вопросу занимал даже более попперианскую позицию, чем сам Поппер.
