
- •Введение (общее разделение наук о числе)
- •§ 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. Вместо заключения
- •Примечания
О методе бесконечно-малых в логике предисловие
Настоящая работа имеет своею целью дать маленькое, но самостоятельное исследование одного из самых важных вопросов марксистско–ленинской теории, именно вопроса о текучем, подвижном, становящемся характере мышления, который вытекает как из того обстоятельства, что мышление есть отражение подвижного бытия и вечно становящейся материи, так и вследствие необходимости рассматривать все существующее диалектически. Мы умеем рассматривать природу и мир как вечно подвижные; но подвижность и текучесть мышления очень часто остается у нас только на бумаге, и, приступая к логике, т. е. к науке о мышлении, мы очень часто оказываемся в цепях самой доморощенной метафизики и рассматриваем понятия как неподвижные и абсолютно непроницаемые субстанции. Классики марксизма–ленинизма много сделали для того, чтобы приучить нас к текучему и становящемуся характеру понятия, суждения и умозаключения; и метод бесконечно–малых наряду со многими другими точками зрения играл у них в этом отношении далеко не последнюю роль. Конкретизировать и развивать соответствующие указания классиков марксизма–ленинизма и является целью настоящей работы.
К сожалению, как ни ценна сама математика, ее материалы в логическом отношении являются совершенно неразработанными у самих математиков, страдающих почти всегда слишком большим формализмом, техницизмом и даже номинализмом. Им, напр., часто кажется, что они витают в каком–то неприступном идеальном царстве мысли и что их построения ровно ничему не соответствуют объективному. Даже и прямое значение математики в механике и технике очень часто понимается вполне махистски, т. е. так, что математика продолжает быть у них даже и здесь чисто априорной дисциплиной, как будто не существует никакой материи или она не нужна для этих математических построений. Покамест в математике не разрушен этот формализм, фикционизм и номинализм, нечего и думать принимать без критики то, что говорят сами математики. Приходится применять их методы на основе их конкретной разработки в самой математике, но никак не в силу формулировок и интерпретаций их у самих математиков. У математиков бывает часто даже прямое презрение к другим наукам, с их точки зрения недостаточно точным, и какое–то бахвальство своим особым, привилегированным положением среди прочих научных работников, наплевизм на огромные усилия человеческого ума понимать мир не только математически. В основе такого сепаратизма лежит наивное убеждение в том, будто бы математические истины никак не связаны с человеческим опытом и что они не уходят своими корнями в эмпирически наблюдаемую объективную реальность.
Предлагаемая работа имеет своею целью использовать метод бесконечно–малых для философии, но она имеет также своею целью опровержение очень частого у математиков сепаратизма, отрицающего связь математического анализа с конкретным человеческим опытом. Энгельс пишет: «Из всех теоретических успехов знания вряд ли какой оценивается так высоко, считаясь величайшим торжеством человеческого духа, как открытие исчисления бесконечно–малых во второй половине XVII в. Здесь, кажется, скорее чем где бы то ни было мы имеем перед собой чистое и исключительное деяние человеческого духа. Тайна, окружающая еще и в наше время применяемые в исчислении бесконечно–малых величин дифференциалы и бесконечные разного порядка, является лучшим доказательством того, что и поныне еще воображают, будто здесь имеют дело с чистыми, свободными творениями и плодами воображения человеческого ума, для которых нет ничего соответственного в объективном мире. Между тем справедливо как раз обратное. Мы встречаем для всех этих мнимых величин прообразы в природе» (Анти–Дюринг. 1938.275). Эти указываемые Энгельсом прообразы математического анализа в природе мы приводим в § 13, где мы обращаем внимание также и на то, что вся реальная и повседневная жизнь человека, все его поведение и вся его работа состоит из процессов постоянного дифференцирования и интегрирования.
Только очень низкой культурой логического мышления приходится объяснять то, что в традиционной логике до сих пор отсутствует метод бесконечно–малых и даже самое понятие бесконечности. Здесь все еще мерещится старая метафизика, и многие даже весьма искренне настроенные марксисты боятся употреблять этот термин в логике, несмотря на то что в соседней с логикой науке, в математике, этот метод и это понятие не только заняло твердую позицию несколько веков назад, но без этого немыслимо даже и современное развитие техники. Каждый средний студент математических, физических, разного рода технических факультетов оперирует бесконечностями не хуже того, как школьник оперирует таблицей умножения, и только одна логика, призванная к тому же отразить развитие науки, все еще боится даже заикнуться о понятии бесконечного и уж тем более страшится всяких методов, связанных с операциями над бесконечными величинами. Большой вред в этом отношении нанесли опять–таки сами же математики, и именно своим отгораживанием математического понятия бесконечности от всякого другого ее понятия и своим отгораживанием этого понятия от прообразов и аналогий с реальной действительностью.
В этом отношении мы позволим себе опять–таки процитировать Энгельса. Он пишет: «…лишь только математика укроется в свою неприступную твердыню абстракции, так называемую чистую математику, все эти аналогии забываются; бесконечность становится чем–то совершенно таинственным, и тот способ, каким ею пользуются в анализе, начинает казаться чем–то совершенно непонятным, противоречащим всякому опыту и рассудку. Глупости и нелепости, которыми математики не столько объясняли, сколько извиняли этот свой метод, приводящий странным образом всегда к правильным результатам, превосходит худшие, реальные и мнимые фантазии хотя бы гегелевской натурфилософии, о нелепостях которой математики не могут наговориться досыта. Они сами делают теперь— но в несравненно большем масштабе — то, в чем они упрекают Гегеля, именно доводят абстракции до крайности. Они забывают, что вся так называемая чистая математика занимается абстракциями, что все ее величины, строго говоря, мнимые величины и что все абстракции, доведенные до крайности, превращаются в бессмыслицу или в свою противоположность. Математическая бесконечность заимствована из действительности, хотя и бессознательным образом, и поэтому она может быть объяснена только из действительности, а не из самой себя, не из математической абстракции. Но если мы станем исследовать действительность с этой стороны, то мы найдем, как мы видели, те реальные отношения, из которых заимствованы эти математические понятия о бесконечности, и даже естественные аналогии математической трактовки этих отношений. А этим и объясняется все дело» (Анти–Дюринг. 278 сл.).
Очистивши таким путем математику от чуждых ее природе формалистских и фикционистских интерпретаций и взявши математический анализ как вполне непредубежденное учение о становлении, мы получаем ряд больших достижений в логике, вырывая с корнем коснеющие в ней до настоящего времени метафизические предрассудки. Мы получаем возможность рассматривать мышление как функцию того независимого переменного, которое есть материя, и—тем самым стараемся внести в учение об отражении ясность и наглядность.
Мы приучаемся видеть конечное и бесконечное не в их метафизическом разрыве, но в их существенном совпадении и диалектическом единстве, с точки зрения которого каждое из них есть только бессильная абстракция. Какой бы малый отрезок прямой мы ни взяли и как бы мало ни было расстояние между двумя точками на прямой, между этими двумя точками всегда можно поместить не только одну или две новых точки, но целую бесконечность новых точек. Конечное, таким образом, только в своем абстрактном и рассудочном виде не есть в то же время и бесконечное. Подобным же образом наталкиваемся мы на полную невозможность представить себе и бесконечное вне всяких элементов конечности. Марксистско–ленинская теория, далее, помогает нам разобраться и в различных комбинациях этих абстрактно выделяемых элементов конечного и бесконечного и достигнуть подлинного базирования логического мышления на человеческой практике.
Автор доказывает в § 12 полную пронизанность логического мышления практикой, настолько полную, что без человеческой практики, с такой точки зрения, невозможно даже и различить конечного и бесконечного. Этим автор хотел бы способствовать перейти от фраз к делу в вопросе о природе логического мышления, которое обычно только декларируется в качестве определяемого практикой, но в котором еще до сих пор с точностью не указана огромная роль практической направленности человека. Мы доказываем, что практика не просто влияет на мышление со стороны (такого влияния не отрицал даже сам Кант, в этом еще нет ни капли марксизма–ленинизма), но что мышление ни в каком своем мельчайшем акте не может даже и начаться без практики, что оно и есть как бы сама же практика, но только специфически направленная.
Марксистско–ленинское понимание метода бесконечно–малых приводит далее, — и опять–таки в виде научного построения, а не просто декларации, — к учению об общем в той его замечательной ленинской трактовке, когда общее является не бездушной абстракцией, но богатством индивидуального, когда оно есть закон возникновения и действия этих конкретных жизненных индивидуальностей. Традиционная логика, конечно, только вводит нас в заблуждение, когда говорит о познавательной роли понятия или суждения, ибо какое же это познание, если понятие трактуется как совокупность мертвых признаков, а та действительность, которая должна была бы познаваться, все время бурлит и пенится бесконечно разнообразными «признаками», не вместимыми ни в какое закостеневшее понятие, неохватна ни для какого застывшего суждения? Толкуя все логическое мышление, и в частности понятие или суждение, как установление наличных в действительности законов и методов развертывания этой действительности, мы тем самым, во–первых, получаем логические общности как именно богатство индивидуального, а во–вторых, только таким путем и получаем впервые ясное представление о познавательной роли понятия или суждения. Если познавательная роль понятия никак не фиксируется в структуре самого понятия, то эта роль есть только пустая фраза и ничего не говорящая отписка. И только когда общее понятие трактуется как закон возникновения индивидуальностей, только тогда познавательная роль понятия предстает перед нами во всей своей силе и красоте, и только тогда она перестает быть пустой декларацией. Но наилучшие образцы построения общностей как законов для индивидуального мы находим именно в математическом анализе, в силу чего применение методов этого последнего в логике давно уже стоит на очереди для нашей философии.
Таковы основные идеи предлагаемого исследования.
Нечего и говорить о том, что метод бесконечно–малых отнюдь не является для автора единственным методом в логике и что он не является даже и каким–нибудь исключительным. Существует множество других методов логического мышления, и математических, и нематематических, которые частью еще не формулированы в науке, а частью уже и формулируются. Сам автор дает в § 12 и 13 некоторые установки для того логического метода, который он называет структурным и который находит свое замечательное применение в органической химии. Если бы мы захотели точно формулировать исходные аксиомы и основные методы современной квантовой механики с логической точки зрения, то читатель бы поразился своеобразием и неожиданностью реализуемого здесь логического мышления. Однако для учета всего своеобразия логического мышления и фактически функционирующих в человеческом сознании различных типов логики вовсе не надо исследовать только науки. Если мы присмотримся к нашим повседневным размышлениям и высказываниям, то здесь мы найдем еще более богатое логическое разнообразие, еще больше самых неожиданных и самых сложных законов и методов логической мысли. То, что логика есть, вообще говоря, историческая наука и что, по крайней мере, каждая из основных человеческих формаций имеет свою собственную логику, мы надеемся, есть уже непреложная истина для всякого марксиста. И тем не менее, нас интересует в данной работе только один такой логический метод и мы сознательно отгораживаемся от всех других логических методов и даже не пытаемся давать точное сопоставление этого метода ни с методом диалектическим, ни с методом формально–логическим, ни с логистическим и ни с какими прочими методами, проводимыми в разных науках. Все это — проблемы дальнейшего исследования; и пока не существует никакой традиции и никакой договоренности относительно самих принципов инфинитезимальной логики, до тех пор в этой области невозможно ставить никаких более широких проблем.
В заключение автор считает необходимым сказать, что его инфинитезимальная логика является пока только скромным предложением и что она нуждается в подробной и внимательной критике со стороны советских философов. Возможно, что здесь окажется многое неверным или излишним и что это предложение потребует в дальнейшем коренной переработки. Однако все это является только вполне естественным, поскольку данное предложение и связанное с ним исследование являются новыми, ибо безопасным является только повторение старых трафаретов. Автор, во всяком случае, вдохновлялся известными словами товарища Сталина, что «овладеть марксистско–ленинской теорией—значит уметь развивать ее и двигать вперед».