Я полагаю, что наш «модифицированный эссенциализм» может помочь там, где возникает вопрос о логической форме законов природы. Он предполагает, что наши законы и наши теории должны быть общими, то есть должны делать утверждения о мире обо всех пространственно-временных областях мира. Кроме того, он предполагает, что наши теории делают утверждения о структурных или относительных свойствах мира и что свойства, описываемые объяснительной теорией, должны в том или ином смысле быть глубже тех, которые она должна объяснить. Я думаю, что это слово «глубже» не поддается никакому исчерпывающему логическому анализу, но что оно, тем не менее, может служить ориентиром для нашей интуиции. (Так обстоит дело в математике: при данных аксиомах все теоремы логически эквивалентны, но тем не менее между ними есть большая разница в «глубине», которая вряд ли поддается логическому анализу). «Глубина» научной теории, как кажется, теснее всего связана с ее простотой и тем самым с богатством ее содержания. (Иначе обстоит дело с глубиной математической
теоремы, чье содержание можно считать нулевым). Похоже, что здесь нужны два ингредиента: богатое содержание и некоторая связность или компактность (или «органичность») описываемого положения дел. Именно этот последний ингредиент, хотя интуитивно он достаточно ясен, так трудно анализировать, и именно его пытались описать эссенциалисты, когда говорили о сущностях, противопоставляя их простому скоплению случайных свойств. Я не думаю, что мы можем сейчас что-либо по этому поводу сделать, кроме как сослаться на интуитивную идею, однако большего нам и не нужно. Ведь когда предлагается какая-то конкретная теория, интерес к ней определяется богатством ее содержания, и, следовательно, степенью ее проверяемости, а судьбу ее решают результаты фактических испытаний. С точки зрения метода мы можем смотреть на ее глубину, ее связность и даже на ее красоту просто как на ориентир или стимул для нашей интуиции и воображения.
Тем не менее, похоже, что есть что-то вроде достаточного условия глубины или степеней глубины, которое можно подвергнуть логическому анализу. Я попытаюсь объяснить это с помощью примера из истории науки.
Хорошо известно, что ньютоновой динамике удалось объединить земную физику Галилея с небесной физикой Кеплера. Часто говорят, что ньютонову динамику можно индуктивным путем вывести из законов Кеплера и Галилея, и утверждалось даже, что ее можно вывести из них строго дедуктивно . Но это не так: с логической точки зрения теория Ньютона, строго говоря, противоречит и теории Галилея, и теории Кеплера (хотя эти последние теории можно, конечно, получить как приближения к теории Ньютона, если у нас такая теория уже есть). По этой причине невозможно вывести теорию Ньютона ни из теории Кеплера, ни из теории Галилея, ни из них вместе, ни дедуктивно, ни индуктивно. Это следует из того, что ни дедуктивный, ни индуктивный вывод не могут приводить от непротиворечивых посылок к заключению, которое формально противоречит этим исходным посылкам.
Я считаю это очень веским аргументом против индукции.
Теперь я вкратце укажу противоречия между теорией Ньютона и теориями его предшественников. Галилей утверждал, что брошенный камень или снаряд движется по параболе, за исключением случая вертикального падения, когда он движется по прямой с постоянным ускорением. (В ходе всего этого обсуждения мы пренебрегаем сопротивлением воздуха). С точки зрения теории Ньютона оба эти утверждения ложны по двум различным причинам. Первое ложно потому, что траектория снаряда, летящего на дальнюю дистанцию, такого как межконтинентальная ракета (запущенная вверх или горизонтально), даже приблизительно не является параболой, а будет эллиптической. Она становится близкой к параболе, только если общая дальность полета пренебрежимо мала по сравнению с земным радиусом. Это отметил сам Ньютон в своих "Principia", а также и в их упрощенном варианте «Системе мира», где в качестве иллюстрации он использует рисунок, приведенный на этой странице.
Рисунок Ньютона иллюстрирует его высказывание, что если скорость снаряда, а вместе с ней и дальность полета, возрастает, он «в конце концов, выйдя за пределы Земли... уйдет в пространство, не касаясь ее» .
Итак, пущенный на Земле снаряд движется не по параболе, а по эллипсу. Конечно, для достаточно коротких расстояний парабола дает очень хорошее приближение, но параболическую траекторию нельзя считать в строгом смысле выводимой из теории Ньютона, если только мы не добавим к ней фактически ложное начальное условие (которое, кстати, не реализуемо в теории Ньютона, поскольку приводит к абсурдным следствиям), а именно что радиус Земли бесконечно велик. Если мы не принимаем этого допущения, даже хотя известно, что оно ложно, то мы всегда получим эллипс в противоречие с законом Галилея, согласно которому мы должны получить параболу.