На самом деле в оригинальной публикации он сам использовал слово «гипотеза», но лишь для указания на неточный, приближенный метод в математике{836}; более того, Ольденбург вычеркнул фрагмент, в котором Ньютон настаивал, что выдвигает вовсе не гипотезу, поскольку несомненно доказал свои выводы[255]. Таким образом, Парди указал на фундаментальное разногласие между Ньютоном и Королевским обществом в 1660-е и в начале 1670-х гг.: в отличие от Ньютона, Королевское общество предпочитало осторожно выражать свое мнение. Поэтому главная цель этой главы – понять, почему Ньютон не любил слово «гипотеза» и приравнивал к оскорблению, когда этот термин использовали применительно к его работе.
§ 2Мода на слово «гипотеза» была новой; она появилась после публикации «Первоначал» Декарта в 1644 г. В третьей части своей работы Декарт переходит от различных «гипотез», которые выдвигались для объяснения движения планет (Птолемея, Тихо Браге и Коперника), к объяснению движения и перемен на Земле. Три важных параграфа (43–45) содержат необычные положения:
43. Маловероятно, чтобы причины, из коих возможно вывести все явления, были ложными.
44. Не решаюсь тем не менее утверждать, что излагаемые мною причины истинны.
45. Даже предположу некоторые, кои считаю ложными[256]{837}.
Неудивительно, что формулировки Декарта вызвали недоумение и неприятие. Во-первых, он как будто утверждает, что гипотетическая причина может дать истинное знание; затем он отступает и говорит, что его аргументы всего лишь гипотетические; наконец, он признает, что некоторые из его аргументов могут быть ложными. В каком свете предстает перед нами новая философия? Дает ли она бесспорное знание, которое не может быть опровергнуто? Или знание, которое может оказаться как истинным, так и ложным? А может, знание, которое было очевидно ложным? Начиная с 1644 г. статус гипотезы стал центральным вопросом.
Чтобы понять происходившие в то время процессы, полезно вспомнить, что в Средние века слово «гипотеза» имело три разных значения{838}. В логике гипотеза являлась тем, что следует за тезисом (в греческом языке «гипо-» означает «под»; гиподермическая игла – это игла для подкожных инъекций). Например, можно сказать, что люди смертны (тезис), Сократ человек, следовательно, Сократ смертен. В данном случае утверждение, что Сократ человек – это «гипотеза», которая следует за тезисом и генерирует вывод, что Сократ смертен. Ее можно сформулировать в виде предположения: «Если Сократ человек, значит, он смертен». Этот пример несложен, но стоит рассмотреть еще один. Апостол Петр глава церкви; папа его преемник, значит, папа глава церкви. Католик воспримет это как истинный силлогизм, но протестант возразит, что гипотеза неверна: папа может быть преемником Петра как епископ Рима, однако он не является преемником Петра в требуемом смысле.
В математике слово «гипотеза» также использовалось для обозначения предположения или постулата, на котором основаны рассуждения; например, в геометрии можно выдвинуть предположение о равенстве двух углов, даже если это не доказано. Но в математике слово «гипотеза» имело и другое значение{839}. Гипотезой называли теоретическую модель, из которой следовали предсказания будущего местоположения планет на небе. Разные гипотезы могли давать одинаковый результат: например, эксцентрическая окружность описывала точно такое же движение, как и эпицикл на деференте. Выбор той или иной гипотезы определялся философскими причинами, но астроном для своих вычислений мог свободно пользоваться всеми. Таким образом, главным в гипотезах была не их истинность, а способность давать точные результаты (те гипотезы, которые мы считаем ошибочными, лежали в основе очень точных расчетов). Когда Генри Савилю предложили выбрать между системами Птолемея и Коперника, он ответил: «…Безразлично, какая из них верна, лишь бы положения были определены, а измерения точны: и старая система Птолемея, и новая система Коперника одинаково служат астроному»{840}. В этом смысле – как средство спасти явление независимо от его истинности – Гоббс использует слово «гипотеза» (на латыни) до 1640 г., и в этом же смысле Декарт использует слово «гипотеза» в своих рассуждениях о космологии[257]{841}.
Однако те, кто защищал истинность теории Коперника, настаивали, что в данном случае истинность гипотезы имеет значение. Кеплер различал геометрическую гипотезу – математическую модель, используемую для предсказаний, – и астрономическую гипотезу, то есть действительное движение планет в небе. В качестве геометрических гипотез системы Птолемея, Браге и Коперника были эквиваленты; но как астрономические гипотезы они радикально отличались друг от друга. По всей видимости, именно такому ходу мысли мы обязаны первым на английском языке упоминанием гипотезы как теории, которая нуждается в проверке. Томас Диггес в издании 1576 г. отцовских «Знамений» предложил, чтобы «гипотеза, или предполагаемая причина склонения стрелки компаса, была математически взвешена [то есть оценена]»{842}. Следовательно, если гипотеза проходит проверку, то возвышается до истинного утверждения. По всей вероятности, это самое первое использование слова «гипотеза» в его привычном, современном значении – по крайней мере, в английском языке[258]. Для маленькой группы, искавшей математическую закономерность в склонении стрелки компаса, – то, что Роберт Норман называл «теоретизированием с гипотезами и правилами для разрешения видимых нерегулярностей склонения»{843}, – это был просто шаг к тому, чтобы воспользоваться астрономическим языком «гипотезы» и придать ей новый, экспериментальный аспект{844}. Но этот аспект, по существу, отмечает рождение новой философии науки: теперь научный принцип – это гипотеза, выдержавшая проверку опытом. Так, например, Галилей в своем трактате «Диалог о приливах и отливах» в 1616 г. представляет теорию приливов как гипотезу, которая нуждается в подтверждении или опровержении с помощью программы систематических наблюдений{845}.
Бойль много раз использовал слово «гипотеза» в этом значении и даже написал небольшую статью (оставшуюся неопубликованной) о «требованиях к хорошей гипотезе». Бойль рассматривал гипотезу как полезный шаг к установлению истины: хорошая гипотеза ведет к новым предсказаниям, которые могут быть проверены экспериментами. В лучшем случае гипотеза подобна ключу, который позволяет прочесть зашифрованное сообщение: теперь все обретает смысл, и становится очевидным, что именно это и есть правильное решение (такой подход отражал Декарт в § 43)[259]. Локк в своем «Опыте» посвятил целый раздел «правильному применению гипотез». Он признавал, что гипотезы могут привести к новым открытиям, но подчеркивал, что большинство («я чуть было не сказал: все») гипотез в натурфилософии – это не более чем сомнительное предположение{846}.
С другой стороны, Уильям Уоттон, подобно Ньютону, обычно использовал слово «гипотеза» для обозначения ложных или неудовлетворительных аргументов. Для Уоттона назвать утверждение гипотезой – значит отвергнуть его, поскольку то, что объясняет все явления, уже не является гипотезой. Таким образом, мы находим третье значение слова «гипотеза», как у Декарта в § 45: утверждение, признанное ложным, но остающееся в определенном смысле полезным. Озиандер в анонимном введении к трактату Коперника «О вращении небесных сфер» настаивал, что Коперник лишь излагает гипотезу, а не описывает реальное строение мира. Беллармин говорил Галилею, что тот вправе рассуждать о теории Коперника, но лишь гипотетически – по мнению Беллармина, система Коперника была ложной{847}. В русле этой традиции Декарт в § 45 использовал слово «гипотеза» для обозначения принципов, которые по богословским причинам должны быть признаны ложными, но оказываются полезными, если сделать вид, что они истинны[260]{848}.
Следует отметить еще один пример использования термина «гипотеза». В трактате Гильберта «О магните» (1600) в основном тексте это слово использовалось в традиционном значении, например, при указании на гипотезу Коперника. Но в предисловии происходит нечто необычное:
[В] этих книгах опубликовано только то, что подверглось испытанию и много раз было проделано и осуществлено. Многие рассуждения и гипотезы на первый взгляд покажутся, может быть, неприемлемыми, так как они
