Что такое наука, и как она работает - [35]
Проницательный читатель может удивиться, что никогда не слышал в школе о загадочной первой планете нашей Солнечной системы под названием Вулкан (кроме фильма «Звездный путь», но этот Вулкан не находится в нашей Солнечной системе). Дело в том, что никто, кроме Лескарбо, не смог достоверно наблюдать эту планету[67]. Поэтому после открытия Вулкана логика ГДМ оказалась менее прочной, чем после открытия Нептуна. На самом деле до сих пор не найдено подтверждения того, что Вулкан когда-либо существовал, и, несмотря на то, что его существование восстановило бы репутацию ньютоновской механики, наблюдения просто не подтверждают это предположение. Следовательно, согласованность ГДМ была утрачена вновь.
Итак, что же делать мыслителю? Если мы примем, что перигелий Меркурия (как наблюдаемое явление) не предсказан ньютоновской механикой, и если не появится надежная вспомогательная гипотеза, объясняющая поведение Меркурия (например, подтвердится наличие Вулкана), возможно, мы просто не сумели придумать правильную вспомогательную гипотезу (или наш метод измерения перигелия в корне ошибочен). С другой стороны, слабым местом может быть сама базовая теория. Однако теория Ньютона была настолько успешной и давала так много потрясающе точных предсказаний, что науке было очень трудно с ней расстаться — сеть убеждений состояла из множества очень сильных связей с экспериментальными данными, недвусмысленно подтверждавшими теорию.
В конечном итоге согласованность ГДМ была восстановлена в 1915 году после разработки Альбертом Эйнштейном теории относительности, которая выходит далеко за рамки ньютоновской механики. Теория относительности точно предсказывает перигелий Меркурия. Поразительно, но в данном случае сама теория (механика Ньютона) была неверной, несмотря на потрясающий успех, и ее пришлось дорабатывать, исходя из полученных данных. Судя по всему, Ньютон ошибался, но баланс согласованности ГДМ был восстановлен.
Что мы имеем? В двух случаях, касающихся механики Ньютона, логическая согласованность ГДМ была нарушена, а затем восстановлена за счет изменения разных частей сети убеждений. В первом случае была отвергнута вспомогательная гипотеза об отсутствии неоткрытых планет. Во втором случае была отвергнута сама теория. Хотя эти действия кажутся очень разными, они идентичны, если рассматривать их через призму модификации определенной части сети убеждений для восстановления согласованности ГДМ. Тогда у нас должны возникнуть важные вопросы: если можно изменить любую часть сети убеждений и сохранить обоснованность, то каковы правила изменений? Когда и что можно менять?
Как выбрать способы сохранения согласованности
Тот факт, что логическая обоснованность ГДМ может поддерживаться несколькими способами, является серьезной проблемой — как узнать, какой из них правильный? Вернемся к примеру, когда ваш ключ не открывает багажник автомобиля. Ваш ключ не работает — ни дистанционно, ни будучи вставлен в замок, поэтому вы переключаете свое внимание на базовую предпосылку и оспариваете гипотезу о том, что это ваша машина. Вы замечаете, что номерной знак не ваш, и делаете вывод, что это не ваша машина, тем самым восстанавливая логическую обоснованность. Однако вы также можете восстановить обоснованность, заявив, что это ваша машина, но кто-то поменял номерной знак, пока вы ходили по магазинам, перепрограммировал сигнал ключа и сменил замок багажника. Если вы смотрите в салон машины и видите там чужие вещи, то присутствие незнакомых предметов все равно можно объяснить, изменив единственную гипотезу (что это ваша машина). В качестве альтернативы вы можете спасти гипотезу о том, что это действительно ваша машина, если добавите предположение, что кто-то открыл вашу машину, подкинул в нее чужие вещи, а потом перепрограммировал сигнал ключа, заменил номерной знак и замок багажника. Формальная логическая обоснованность достигается в равной степени одним изменением вашей гипотезы (это не ваша машина) или четырьмя перечисленными выше изменениями, необходимыми для сохранения уверенности в том, что это ваша машина.
