
- •Введение (общее разделение наук о числе)
- •§ 1. Первая противоположность: чистая математика и математическое естествознание.
- •§ 2. Число как факт духовной культуры.
- •§ 3. Психо–биология и социология числа.
- •§ 4. Философия числа.
- •§ 5. История наук о числе.
- •§ 6. Общая схема диалектического разделения основных наук о числе.
- •§ 7. Разделение философии числа.
- •§ 8. Диалектические основы математики.
- •§ 9. Разделение их.
- •Общая теория числа
- •§ 10. Вступление.
- •I. Отграничения (установка числового перво–принципа)
- •§ 11. Число не есть ни что–нибудь вещественно–качественное, ни вообще объективное.
- •§ 12. Число не есть что–нибудь субъективное.
- •§ 13. Число относится к чисто смысловой сфере.
- •§ 14. Число и понятие.
- •§ 15. Число есть самый акт смыслового полагания, а не содержание этого полагания.
- •§ 16. Число, количество и величина.
- •II. ФундаментаЛbНый анализ числа (число как чистое понятие)
- •§ 17. Первая установка.
- •§ 18. «Нечто» и переход его в «это».
- •§ 19. «Иное этого»; различие, тождество, движение, покой.
- •§ 20. «Ничто» и абсолютно самотождественная неразличимость актов полагания—перво–принцип числа.
- •§ 21. Основная диалектика понятия числа.
- •§ 22. Аналогии.
- •§ 23. Основа всего — диалектическая жизнь перво–ак–та.
- •§ 24. Проверка на функциях натурального ряда.
- •§ 25. Проверка на отдельном числе.
- •§ 26. Диалектика различия, тождества, движения и покоя в числе.
- •§ 27. Формула понятия числа.
- •§ 28. Сущность числовой модификации общесмыслового эйдоса.
- •§ 29. Отграничение понятия числа сверху.
- •§ 30. Отграничение понятия числа снизу.
- •§ 31. Итог фундаментального анализа.
- •III. Основные аксиомы числа (число как суждение)
- •§ 33. Сущность математической аксиоматики.
- •§ 34. Разделение всей общей теории числа и место аксиоматики в ней.
- •§ 35. Общая основа всех аксиом.
- •§ 37. Неразличимость как принцип различимости.
- •§ 38. Неразличимость как принцип конкретной числовой индивидуальности.
- •§ 39. Самосозидание.
- •§ 40. Везде и нигде.
- •§ 41. Число и время.
- •§ 42. Число и музыка.
- •§ 43. Формула перво–принципа.
- •§ 46. Аксиома самотождественного различия в геометрии.
- •§ 47. Аксиома самотождественного различия в теории множеств.
- •§ 48. Формулировка трех выведенных аксиом при помощи понятий элемента и части.
- •§ 49. Аксиома самотождественного различия в теории вероятностей.
- •§ 51. Аксиома подвижного покоя в геометрии.
- •§ 52. Аксиома подвижного покоя в теории множеств.
- •§ 53. Аксиома подвижного покоя в теории вероятностей.
- •§ 55. Аксиома определенности (закона) бытия в геометрии.
- •§ 56. Аксиома определенности (закона) бытия в теории множеств.
- •§ 57. Аксиома определенности (бытия) в теории вероятностей.
- •§ 58. Общий результат аксиом идеальной едино–раз–дельности числа.
- •§ 60. Аксиоматическая диалектика непрерывности.
- •§ 61. Аксиома непрерывности в отдельных математических науках.
- •§ 62. Взаимодействие аксиом едино–раздельности и становления.
- •§ 63. Продолжение.
- •§ 65. Аксиома ставшего числового бытия в арифметике.
- •§ 66. Аксиома ставшего числового бытия в геометрии.
- •§ 67. Аксиома ставшего числового бытия в теории множеств.
- •§ 68. Аксиома ставшего числового бытия в теории вероятностей.
- •§ 70. Аксиома выражения в арифметике.
- •§ 71. Аксиома выражения в геометрии.
- •§ 72. Аксиома выражения в теории множеств.
- •§ 73. Аксиома выражения в теории вероятностей.
- •IV. Функция и соседние категории (число как суждение, умозаключение, доказатеЛbСтво и выражение)
- •§ 75. |Суждение и определение].
- •§ 76. Понятие функции[111].
- •§ 77. Функционал и алгоритм (уравнение).
- •§ 78. Общность полученных категорий.
- •V. Переход к специаЛbНой теории числа
- •§ 79. Перевод математики на язык логики.
- •§ 80. Общая схема.
- •§ 82. Терминологические замечания.
- •§ 86. А) Безграничное конкретное множество; b) равенство (неравенство).
- •§ 87. С) Порядковость.
- •§ 88. Резюме и дедукция натурального ряда.
- •§ 89. Диалектическая формула натурального ряда.
- •§ 90. Переход к типам числа.
- •§ 92. B) Отрицательное число.
- •§ 93. С) Нуль.
- •§ 95. В) Дробное число.
- •§ 96. С) Бесконечность.
- •§ 97. Продолжение.
- •§ 98. Продолжение (о форме бесконечности).
- •§ 101. Постоянная, переменная, непрерывная и прерывная величина.
- •§ 102. Предел.
- •§ 103. Продолжение.
- •§ 104. Переход к мнимости.
- •§ 105. [С)] Мнимая (комплексная) величина. Общее понятие.
- •§ 106. Гауссовское представление.
- •§ 107· Некоторые детали.
- •О методе бесконечно-малых в логике предисловие
- •1. Вступление
- •2. ВеЩb — аргумент и отражение—функция
- •3. Изменения этих аргумента и функции и отношение между этими изменениями
- •4. Значение теории пределов для логики
- •5. Ленин о пределе, об общем и о законе
- •6. Примеры из наук
- •7. ДаЛbНейшие категории математического анализа и их применение в логике
- •8. Производная в логике
- •9. Преимущества инфинитезимаЛbНого учения о понятии в сравнении с традиционным формаЛbНо–логическим
- •10. Дифференциал в логике
- •11. Интеграл в логике
- •12. Производная, дифференциал и интеграл на фоне общего учения о числе
- •13. Три аспекта теории бесконечно–малых в применении к логике
- •14. Жизненно–логическое значение математического анализа
- •15. ИнфинитезимаЛbНо–логический словаРb
- •16. ЗаключитеЛbНые замечания
- •Некоторые элементарные размышления к вопросу о логических основах исчисления бесконечно-малых
- •I. Логика исчисления бесконечно–малых как отражение социаЛbНой действитеЛbНости[219]
- •II. Исчисление бесконечно–малых и его основные категории
- •III. ДифференциаЛbНое и интеграЛbНое исчисление. Их логический состав
- •Математика и диалектика.
- •Метаматематика алексея лосева
- •§ 1. Недостающее звено
- •§ 2. «В траншеях ленинской диалектики»
- •§ 3. У последних «как» и «почему»
- •§ 4. Аксиоматика и метаматематика
- •§ 5. Диалектика как точная наука
- •§ 6. Вместо заключения
- •Примечания
§ 5. Диалектика как точная наука
Мы рассмотрели, таким образом, и дальнее, и ближнее окружение лосевской «философии числа», то окружение, в драматическом притяжении–отталкивании с которым и сформировалась последняя. По ходу рассмотрения уже были получены и некоторые содержательные характеристики самого ядра, центра всех соотнесений. Пришла пора сосредоточить наше внимание специально на этом центре, в его смысловой точке.
А. Ф. Лосеву не удалось реализовать в полном объеме замысел строго диалектического обоснования математики. Причиной тому следует указать как обстоятельства общего плана (вряд ли подобное предприятие по силам одному человеку, даже при самых благоприятных внешних условиях), так и частные обстоятельства печального свойства, о которых уже говорилось выше. Добавим еще одно: значительная часть довоенных рукописей периода максимальной активности автора на философско–математическом поприще погибла летом 1941 г. в результате прямого попадания фашистской авиабомбы в дом на Воздвиженке, где была квартира А. Ф. Лосева. Чего–то не успел сделать или не дали, что–то было, готовое, уничтожено. Потому теперь приходится заниматься реконструкцией общей панорамы математических наук, как она представлялась автору «Диалектических основ математики» (особо ценны для нашей задачи § 9, 34, 80 упомянутой книги), а также отыскивать следы прежних замыслов в более позднем творчестве философа. По ходу этих операций будут видны и общие контуры всей конструкции, и следы утраченных ее деталей.
Математика как феномен культуры. Проведя исходное тематическое разделение по сферам
a) философии чистой математики,
b) философии математического естествознания,
c) культурно–социальной истории числа (33), А. Ф. Лосев сосредоточил свой анализ на первой сфере, вынужденно «оставляя пока в стороне естествознание, психологию, социологию, теорию самой диалектики числа и историю» (35). Характерно это «пока». Нам неизвестны лосевские работы, специально посвященные «временно покинутым» темам, однако интерес к социально–культурным типологиям, к «физиономике» математических воззрений можно проследить у него на протяжении всей жизни. В тех же «Диалектических основах математики» нетрудно обнаружить примеры напряженного внимания автора к социально–исторической обусловленности тех или иных математических построений. На них, кстати, особо обращает внимание читателей первый и самый чуткий рецензент книги — В. М. Лосева (14). Или взять один из таких «бродячих» сюжетов в творчестве А. Ф. Лосева, как логику исчисления бесконечно–малых. В роли своеобразного пробного камня она многократно привлекалась философом то для характеристики мировоззренческого стиля Возрождения (с его богоборческим лозунгом quo поп ascendam) и вообще «прогрессизма» новоевропейской культуры, то для анализа телесных интуиций античности и ранней истории представлений о дискретности, пределе и континууме. В своем неизменно типологическом отношении к различным проявлениям духа, к различным культурам А. Ф. Лосев предстает несомненным продолжателем усилий О. Шпенглера, для которого «то, что выражается в мире чисел», всегда «есть стиль души»[263]. Метаматематика обязана быть еще и морфологией культуры.
Философия чистой математики. Область собственно математики, с точки зрения философа, разделяется также на три сферы:
a) общая теория (логика) числа, исследующая перво–принципы числа, число как таковое, сущность числа,
b) философия математических дисциплин, специальная теория числа, теория числа в частности, теория числа как явления,
c) философия теории вероятностей и математической статистики, исследующая число в казусах, в жизни, в действительности (40).
Дошедшая до нас часть «Диалектических основ математики» вполне представляет всю общую теорию числа (§ 10—78) и дает переход к специальным вопросам (§ 81 и далее). Специального исследования «числа в жизни» (теоретико–вероятностной проблематики) автор не оставил, однако о многом мы можем–таки судить: каждый шаг лосевской аксиоматики получал завершение именно на материале данного слоя математической реальности.
Специальная теория числа. Здесь также проводится классически–триадное разделение:
а) науки о бытии или сущности числа, об интенсивном числе (арифметика, алгебра, анализ),
b) геометрические науки об инобытии или явлении числа, об экстенсивном числе,
c) теория множеств как наука о синтезе арифметической и геометрической ипостасей числа, об эйдетическом числе.
Второй и третий разделы, строго говоря, нужно отнести к утратам. Исчез, например, целый том по геометрии, о котором несколько раз (227, 302) А. Ф. Лосев упоминает и куда отсылает за подробностями. Однако примем в расчет, что логико–диалектической проработкой геометрических идей автор занимался уже на страницах книги «Античный космос и современная наука». С тем же упреждением осваивалась и теоретико–множественная проблематика, если иметь в виду раннюю «Музыку как предмет логики». Словом, уже дошедшего—много. Даже одно только напоминание о глубинном единстве наглядно–геометрических и счетно–арифметических подходов, убедительно демонстрируемое лосевской метаматематикой, будет весьма кстати сегодня, когда философы и математики все еще бьются над во многом уже решенными, как оказывается, проблемами. Для примера укажем на оппозицию «арифметического» (Rechnen) и «геометрического» (Zeichnen), о которой всерьез заговорил за рубежом Д. Фанг, а у нас—К. И. Вальков[264]. Пора на самом деле «обратиться к беспристрастному и ко всему одинаково равнодушному суду диалектики» (389), а не замирать, по Фангу, в безмолвном ужасе перед сфинксом «единой и неделимой и, в конечном итоге, непостижимой тотальности» математики или же вместо одной крайности — излишней «арифметизации» впадать в другую — в крайность «геометризма»[265].
Бытие числа (интенсивное число). Науки о бытии или сущности числа можно представить, согласно А. Ф. Лосеву, в виде диалектической триады:
a) арифметика и алгебра как учения о неизменной сущности числа, о постоянных величинах и их функциях,
b) дифференциальное, интегральное и вариационное исчисления как учения об инобытийной изменчивости числа, о переменных величинах и их функциях в скалярной форме,
c) векторное и тензорное исчисления как учения о действительности числа, о числе синтетическом, ориентированном, направленном (442).
Здесь второй и третий разделы, если опираться только на «Диалектические основы математики», также следует считать утраченными. Однако определенный анализ диалектической сущности, например, интеграла и дифференциала также отыскивается в книге «Музыка как предмет логики». Утрату содержательной части второго раздела в некоторой мере восполняет публикуемая в настоящем томе работа А. Ф. Лосева «Некоторые элементарные размышления о логических основах исчисления бесконечно–малых».
Арифметика и алгебра. Внутри первой сферы интенсивного числа А. Ф. Лосев выделяет очередную триадическую структуру:
a) арифметика как учение о непосредственной сущности числа в ее бытии, о числе в себе,
b) алгебра как учение о непосредственной сущности числа в ее инобытии, о числе функционально выраженном,
с) алгебраический анализ (теории форм, инвариантов и др.) как учение о непосредственной сущности числа в ее становлении (430, 446).
Как следует из публикуемого «Содержания» первой книги «Диалектических основ математики» (23), степень детализации построений лосевской метаматематики была столь велика, что к темам алгебры переход планировался лишь в самом конце целого тома. Все дальнейшее кануло в Лету. Да и от собственно арифметической части книги сохранилось далеко не все. Так что, предприняв еще одно посещение мира числовых триад, нам остается назвать и последние структуры, и последние утраты.
Арифметика. Внутри арифметики, согласно общедиалектической схеме А. Ф. Лосева, следует различать:
a) натуральный ряд как бытие сущности числа, как акт ее полагания,
b) типы чисел (отрицательные, рациональные, мнимые и др.) как инобытие чисел натурального ряда,
c) действие с числами как становление сущности числа, типы чисел в разнообразных направлениях и комбинациях счета (ООО).
Сохранившийся текст «Диалектических основ математики» обрывается на материалах заключительной части второго из названных разделов. Впрочем, в предыдущем изложении заключено достаточно общих указаний и конкретных примеров, по которым вполне уверенно достраиваются логико–диалектические аналоги для арифметических операций.
На полученную последовательность—анфиладную последовательность одна в другую врастающих триад—еще нужно наложить объединяющий все шаги и этапы процесс, чтобы картина получилась полной: ведь вся математика, показывает и доказывает А. Ф. Лосев, есть не что иное, как развитое и детализированное понятие числа. Число как первая категория, первая «осмысленная, оформленная по ложенность, категориально оформленная положенность» (105), как «слепительное», напомним, «Да» составляет саму основу математических объектов. Все есть число. Остается только оговорить: ту перво–категорию, тот «акт полагания подвижного покоя самотождественного различия», что пронизывает любые закоулки величественного здания математики, не обязательно называть «числом». Действительно, в угоду пуританской строгости можно окрестить фундаментальную логико–диалектическую конструкцию каким–либо специальным термином, к примеру назвать ее по случаю и в честь А. Ф. Лосева «L–выражением» или же, в более математизированном духе, «L–кортежем»[266] . Далее придется поступить так, как уже приходилось действовать в области математической логики, т. е. в области формальной, нелосевской метаматематики, причем именно в 30–х годах. В частности, там вместо интуитивно ясного, но строго не определенного понятия «вычислимой функции» стали тщательно изучать свойства так называемых «общерекурсивных функций», определяемых уже алгоритмически точно. Далее было показано, что у вновь введенного формализма достаточно изобразительной мощи, чтобы заместить собой несколько расплывчатое понятие вычислимости. Наконец, между классами содержательных и формальных функций была провозглашена эквивалентность (в форме «тезиса Черча»), — именно провозглашена, а не доказана, поскольку последнее невозможно ввиду принципиально различной природы сравниваемого. Желающим увековечить свое имя в новом «тезисе» можно предложить аналогичную проверку для числа и L–кортежа. Впрочем, изучая «Диалектические основы математики», нетрудно убедиться, что А. Ф. Лосев сам положил много усилий для демонстрации справедливости подобного «тезиса» и повсеместно обнаруживал, как математический материал «с огромной точностью воспроизводит» логико–диалектические прообразы (294).
Обозревая теперь лосевский проект метаматематики и оценивая предложенный философом неблизкий путь от максимально общих принципов «философии числа» до мельчайших фактов самой частной из математических наук, арифметики, мы можем наконец судить и о замысле— он масштабен, и о степени его воплощения — при многих потерях и необходимых оговорках все самое трудное свершено, все главное было сформулировано и предано бумаге. Обозревая труды, в невольном одиночестве исполненные А. Ф. Лосевым, можно констатировать, что «задача философского обоснования математики» если и не разрешена единолично им, то вполне может быть разрешима коллективными усилиями на путях, проложенных лосевской метаматематикой, а саму диалектику как основное орудие этой метаматематики теперь «можно считать <…> настолько зрелой и конкретизированной дисциплиной, что она вполне может (и даже обязана) войти» — и, как мы знаем, успешно–таки вошла — «в детали числовых конструкций, не ограничиваясь общими рассуждениями только о самом понятии числа» (424).