Бесконечное совершенно изменило смысл и природу и в конце концов оказалось полностью изгнано.
Дифференциальные отношения типа DY : DX таковы, что мы получаем их из X и Y.
В то же время нельзя сказать, что DY не отличается от Y, это бесконечно малая величина; и нельзя сказать, что DX не отличается от X, это бесконечно малая величина по отношению к X.
Зато DY : DX есть нечто.
Но это – нечто совершенно иное, нежели Y : X.
Например, если Y : X обозначает кривую, то D : DX обозначает касательную.
И притом не какую угодно касательную.
Итак, я бы сказал, что дифференциальные отношения таковы, что они не обозначают ничего конкретного по отношению к тому, из чего они произведены, то есть по отношению к X и к Y, однако они обозначают некое иное конкретное и именно посредством этого обеспечивают переход к пределам. Они обеспечивают нечто конкретное, а именно некое Z.
Это можно с таким же успехом перефразировать: дифференциальное исчисление совершенно абстрагируется от детерминации типа a/b, но зато оно детерминирует некое с. Если аксиоматические отношения совершенно формальны со всех точек зрения, если они формальны по отношению к a и к b, то они не детерминируют c, каковое является конкретным. Стало быть, они совершенно не обеспечивают никакого перехода. Вот вам вся классическая оппозиция между генезисом и структурой. Аксиоматика – это поистине общая структура для некоего множества областей.
В прошлый раз мы обращались к моему второму большому заголовку, и этот второй большой заголовок был: СУБСТАНЦИЯ, МИР И СОВОЗМОЖНОСТЬ.
В первой части лекции мы пытались говорить о том, что Лейбниц называл бесконечным анализом. И ответ был таков: бесконечный анализ выполняет следующее условие: он возникает в той мере, в какой непрерывность и малые, или исчезающие, различия заменяют тождество.
И вот тогда, когда мы оперируем бесконечностью и исчезающими различиями, анализ становится в собственном смысле бесконечным. Затем я сталкиваюсь со вторым аспектом этого вопроса. Итак, существует бесконечный анализ и существует материя для бесконечного анализа, когда я оказываюсь в области, которая больше непосредственно не управляется тождественным, тождественностью, но в области, управляющейся непрерывностью и исчезающими различиями. И тогда можно прийти к относительно ясному ответу. Отсюда второй аспект проблемы: что такое совозможность? Что означает, что две вещи совозможны или не совозможны? И еще раз: Лейбниц говорит нам, что Адам-негрешник – это само по себе возможно, но это не совозможно с существующим миром. Итак, он притязает на то, что открыл отношения совозможности, и вы чувствуете, что это крепко связано с идеей бесконечного анализа.
Проблема в том, что несовозможное – это не то же, что противоречащее. Это сложно. Адам-негрешник не совозможен с существующим миром;