Лекции о Лейбнице. 1980, 1986/87 - [25]
Имея то, что мы сегодня знаем в науке, мы всегда можем объяснить, что сохраняется именно mv>2, без всякого обращения к анализу бесконечно малых. Это происходит в лицейских учебниках, но, чтобы доказать это и чтобы формула имела смысл, необходим весь аппарат дифференциального исчисления.
[Тут вмешивается Контесс.]
[Делёз продолжает]: хотя у дифференциального исчисления и у аксиоматики есть точка пересечения, но эта точка совершенно исключительна. В историческом отношении неукоснительный статус дифференциального исчисления подтверждается очень поздно. Что это значит? Это значит, что все, что является условностями, из дифференциального исчисления изгоняется. Но вот даже для Лейбница: что такое искусственный прием? Искусственный прием – это целая совокупность вещей: идея становления, идея предела становления, идея тенденции приближения к пределу – все это рассматривается математиками как абсолютно математические понятия. Идея, что существует количественное становление; идея предела этого становления; идея, что бесконечное множество малых величин приближается к пределу: все это рассматривается как понятия, о чистоте которых говорить невозможно; стало быть, они в реальном смысле не аксиоматичны и не аксиоматизируются. Итак, с самого начала, будь то у Лейбница, будь то у Ньютона или у их последователей, идея дифференциального исчисления неотделима и не отделяется от множества понятий, которые считаются нестрогими и ненаучными. Да и сами Лейбниц и Ньютон готовы это признать. И лишь в конце XIX и в начале XX века дифференциальное исчисление, или анализ бесконечно малых, получит строго научный статус, но какой ценой?
Из него изгонят все ссылки на идею бесконечного; из него изгонят все ссылки на идею предела; из него изгонят все ссылки на идею стремления к пределу. Кто же это сделает? Дифференциальному исчислению дадут весьма любопытные интерпретацию и статус, так как оно перестанет работать с обычными величинами, и ему придадут сугубо порядковую интерпретацию. А значит, это будет способом исследования конечного, конечного как такового. И сделает это величайший математик: Вейерштрасс. Но происходит это очень поздно. И вот он создает аксиоматику исчисления, но какой ценой? Сегодня, когда мы занимаемся дифференциальным исчислением, мы больше не делаем никаких ссылок на понятия бесконечного, предела и тенденции приближения к пределу. У нас статическая интерпретация. В дифференциальном исчислении больше нет никакого динамизма. Господствует статическая и порядковая интерпретация исчисления. Прочтите хотя бы книгу Вюйемена «Философия алгебры» (Vuillemin, «Philosophie de l’algèbre»).
Этот факт очень важен для нас, поскольку необходимо как следует показать, что дифференциальные отношения – да, но даже до аксиоматизации все математики были согласны с тем, что дифференциальное исчисление как метод исследования бесконечного было условностью, о чистоте которой говорить невозможно, и Лейбниц первым сказал это, но даже в этот момент необходимо знать, каково здесь символическое значение. Аксиоматические отношения и отношения дифференциальные: спасибо, не надо. Здесь есть оппозиция.
Бесконечное совершенно изменило смысл и природу и в конце концов оказалось полностью изгнано.
Дифференциальные отношения типа 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, каковое является конкретным. Стало быть, они совершенно не обеспечивают никакого перехода. Вот вам вся классическая оппозиция между генезисом и структурой. Аксиоматика – это поистине общая структура для некоего множества областей.
В прошлый раз мы обращались к моему второму большому заголовку, и этот второй большой заголовок был: СУБСТАНЦИЯ, МИР И СОВОЗМОЖНОСТЬ.
В первой части лекции мы пытались говорить о том, что Лейбниц называл бесконечным анализом. И ответ был таков: бесконечный анализ выполняет следующее условие: он возникает в той мере, в какой непрерывность и малые, или исчезающие, различия заменяют тождество.
