В этом отношении мы позволим себе опять–таки процитировать Энгельса. Он пишет: «…лишь только математика укроется в свою неприступную твердыню абстракции, так называемую чистую математику, все эти аналогии забываются; бесконечность становится чем–то совершенно таинственным, и тот способ, каким ею пользуются в анализе, начинает казаться чем–то совершенно непонятным, противоречащим всякому опыту и рассудку. Глупости и нелепости, которыми математики не столько объясняли, сколько извиняли этот свой метод, приводящий странным образом всегда к правильным результатам, превосходит худшие, реальные и мнимые фантазии хотя бы гегелевской натурфилософии, о нелепостях которой математики не могут наговориться досыта. Они сами делают теперь— но в несравненно большем масштабе — то, в чем они упрекают Гегеля, именно доводят абстракции до крайности. Они забывают, что вся так называемая чистая математика занимается абстракциями, что все ее величины, строго говоря, мнимые величины и что все абстракции, доведенные до крайности, превращаются в бессмыслицу или в свою противоположность. Математическая бесконечность заимствована из действительности, хотя и бессознательным образом, и поэтому она может быть объяснена только из действительности, а не из самой себя, не из математической абстракции. Но если мы станем исследовать действительность с этой стороны, то мы найдем, как мы видели, те реальные отношения, из которых заимствованы эти математические понятия о бесконечности, и даже естественные аналогии математической трактовки этих отношений. А этим и объясняется все дело» (Анти–Дюринг. 278 сл.).

Очистивши таким путем математику от чуждых ее природе формалистских и фикционистских интерпретаций и взявши математический анализ как вполне непредубежденное учение о становлении, мы получаем ряд больших достижений в логике, вырывая с корнем коснеющие в ней до настоящего времени метафизические предрассудки. Мы получаем возможность рассматривать мышление как функцию того независимого переменного, которое есть материя, и—тем самым стараемся внести в учение об отражении ясность и наглядность.

Мы приучаемся видеть конечное и бесконечное не в их метафизическом разрыве, но в их существенном совпадении и диалектическом единстве, с точки зрения которого каждое из них есть только бессильная абстракция. Какой бы малый отрезок прямой мы ни взяли и как бы мало ни было расстояние между двумя точками на прямой, между этими двумя точками всегда можно поместить не только одну или две новых точки, но целую бесконечность новых точек. Конечное, таким образом, только в своем абстрактном и рассудочном виде не есть в то же время и бесконечное. Подобным же образом наталкиваемся мы на полную невозможность представить себе и бесконечное вне всяких элементов конечности. Марксистско–ленинская теория, далее, помогает нам разобраться и в различных комбинациях этих абстрактно выделяемых элементов конечного и бесконечного и достигнуть подлинного базирования логического мышления на человеческой практике.

Автор доказывает в § 12 полную пронизанность логического мышления практикой, настолько полную, что без человеческой практики, с такой точки зрения, невозможно даже и различить конечного и бесконечного. Этим автор хотел бы способствовать перейти от фраз к делу в вопросе о природе логического мышления, которое обычно только декларируется в качестве определяемого практикой, но в котором еще до сих пор с точностью не указана огромная роль практической направленности человека. Мы доказываем, что практика не просто влияет на мышление со стороны (такого влияния не отрицал даже сам Кант, в этом еще нет ни капли марксизма–ленинизма), но что мышление ни в каком своем мельчайшем акте не может даже и начаться без практики, что оно и есть как бы сама же практика, но только специфически направленная.

Марксистско–ленинское понимание метода бесконечно–малых приводит далее, — и опять–таки в виде научного построения, а не просто декларации, — к учению об общем в той его замечательной ленинской трактовке, когда общее является не бездушной абстракцией, но богатством индивидуального, когда оно есть закон возникновения и действия этих конкретных жизненных индивидуальностей. Традиционная логика, конечно, только вводит нас в заблуждение, когда говорит о познавательной роли понятия или суждения, ибо какое же это познание, если понятие трактуется как совокупность мертвых признаков, а та действительность, которая должна была бы познаваться, все время бурлит и пенится бесконечно разнообразными «признаками», не вместимыми ни в какое закостеневшее понятие, неохватна ни для какого застывшего суждения? Толкуя все логическое мышление, и в частности понятие или суждение, как установление наличных в действительности законов и методов развертывания этой действительности, мы тем самым, во–первых, получаем логические общности как именно богатство индивидуального, а во–вторых, только таким путем и получаем впервые ясное представление о познавательной роли понятия или суждения. Если познавательная роль понятия никак не фиксируется в структуре самого понятия, то эта роль есть только пустая фраза и ничего не говорящая отписка. И только когда общее понятие трактуется как закон возникновения индивидуальностей, только тогда познавательная роль понятия предстает перед нами во всей своей силе и красоте, и только тогда она перестает быть пустой декларацией. Но наилучшие образцы построения общностей как законов для индивидуального мы находим именно в математическом анализе, в силу чего применение методов этого последнего в логике давно уже стоит на очереди для нашей философии.

Таковы основные идеи предлагаемого исследования.

Нечего и говорить о том, что метод бесконечно–малых отнюдь не является для автора единственным методом в логике и что он не является даже и каким–нибудь исключительным. Существует множество других методов логического мышления, и математических, и нематематических, которые частью еще не формулированы в науке, а частью уже и формулируются. Сам автор дает в § 12 и 13 некоторые установки для того логического метода, который он называет структурным и который находит свое замечательное применение в органической химии. Если бы мы захотели точно формулировать исходные аксиомы и основные методы современной квантовой механики с логической точки зрения, то читатель бы поразился своеобразием и неожиданностью реализуемого здесь логического мышления. Однако для учета всего своеобразия логического мышления и фактически функционирующих в человеческом сознании различных типов логики вовсе не надо исследовать только науки. Если мы присмотримся к нашим повседневным размышлениям и высказываниям, то здесь мы найдем еще более богатое логическое разнообразие, еще больше самых неожиданных и самых сложных законов и методов логической мысли. То, что логика есть, вообще говоря, историческая наука и что, по крайней мере, каждая из основных человеческих формаций имеет свою собственную логику, мы надеемся, есть уже непреложная истина для всякого марксиста. И тем не менее, нас интересует в данной работе только один такой логический метод и мы сознательно отгораживаемся от всех других логических методов и даже не пытаемся давать точное сопоставление этого метода ни с методом диалектическим, ни с методом формально–логическим, ни с логистическим и ни с какими прочими методами, проводимыми в разных науках. Все это — проблемы дальнейшего исследования; и пока не существует никакой традиции и никакой договоренности относительно самих принципов инфинитезимальной логики, до тех пор в этой области невозможно ставить никаких более широких проблем.

В заключение автор считает необходимым сказать, что его инфинитезимальная логика является пока только скромным предложением и что она нуждается в подробной и внимательной критике со стороны советских философов. Возможно, что здесь окажется многое неверным или излишним и что это предложение потребует в дальнейшем коренной переработки. Однако все это является только вполне естественным, поскольку данное предложение и связанное с ним исследование являются новыми, ибо безопасным является только повторение старых трафаретов. Автор, во всяком случае, вдохновлялся известными словами товарища Сталина, что «овладеть марксистско–ленинской теорией—значит уметь развивать ее и двигать вперед».

1. ВСТУПЛЕНИЕ

1. Невероятное отставание школьной логики от современного развития науки особенно проявляется в беспомощности перед математикой, в ее математической элементарности. Уже 300 лет прошло с тех пор, как естественные науки стали на путь изображения подвижной природы вместо фиксации разных ее окостеневших форм. Уже 200 лет проходит с тех пор, как на тот же путь стали и науки общественные. Уже 100 лет назад начала подниматься великая звезда марксизма с его теорией непрерывно–скачкообразного становления человеческого общества. Но учебники логики с поразительным единодушием продолжают—вот уже до середины XX в. — ограничиваться элементарной таблицей умножения, демонстрируя собою чудовищный разрыв со всем научным сознанием передового человечества. Дело, конечно, вовсе не в том, что в логике не должно быть никакой элементарной ступени, подобно начальной арифметике в математике. Такая элементарная логика, которая состоит из «неподвижных категорий, представляющих собою как бы низшую математику логики, ее применение в условиях домашнего обихода» (Энгельс. Диал. прир. 1941. 163), конечно, должна иметь свое твердое место; и «никто не станет заключать, что, например, формальная логика — бессмыслица» (там же, 193). Но речь все–таки идет об ограничении этой элементарной (слишком уж элементарной) логики; и речь идет о том, чтобы высшая математика все–таки не сводилась на начальную арифметику.

Как это сделать? Решать такой вопрос в целом, разумеется, было бы наивно в нашей небольшой работе. Но обратить внимание работников теоретической мысли на один пункт, весьма важный для решения этого вопроса, — это сделать можно и в небольшой работе.

2. Именно, мы предлагаем учесть тот огромный вклад, который был сделан в свое время в человеческую мысль математическим анализом, или исчислением бесконечно–малых, или, как говорят, инфинитезимальным методом. Не говоря уже о колоссальных приложениях этого метода в ряде точных наук, и теоретических, и технических, высокая оценка этого метода базируется у нас на марксистском отношении к этому методу, с большой силой выраженном у Энгельса. «Из всех теоретических успехов знания вряд ли какой–нибудь считается столь высоким триумфом человеческого духа, как изобретение исчисления бесконечно–малых во второй половине XVII века. Если уж где–нибудь мы имеем перед собою чистое и исключительное деяние человеческого духа, то именно здесь» (Диал. прир. 216). «Лишь дифференциальное исчисление дает естествознанию возможность изображать математически не только состояния, но и процессы движения» (220). Однако если мышление, по Энгельсу, есть отражение природы (168) и если «движение, рассматриваемое в самом общем смысле слова, т. е. понимаемое как форма бытия материи, как внутренне присущий материи атрибут, обнимает собою все происходящие во вселенной изменения и процессы, начиная от простого перемещения и кончая мышлением» (46), то спрашивается: как же можно было бы игнорировать метод бесконечно–малых, изображающий движение как раз со стороны его сплошности и непрерывности, в мышлении, в логике, в науке о материальном движении на самой высокой ступени его развития? Совершенно очевидно, что с точки зрения учения Энгельса метод бесконечно–малых в логике по меньшей мере допустим и оправдан, если только не прямо необходим.

Поэтому имеет смысл совершить эту попытку, если мы хотим обрисовать логическую природу мышления именно как формы движения.

3. Мы вполне учитываем возможность всякого рода возражений, которые поднимутся против введения метода бесконечно–малых в логику. Возражения против этого метода были и в самой математике. Всегда находилось достаточное количество недалеких голов, пугающихся всего бесконечного. И даже еще теперь, когда голое отрицание этого метода было бы обскурантизмом, все еще встречаются специалисты, думающие свести анализ на конечные операции. Против такого рода узколобых критиков Энгельс прекрасно пишет следующее (162): «До конца прошлого столетия и даже до 1830 г. естествоиспытатели более или менее обходились при помощи старой метафизики, ибо действительная наука не выходила еще за пределы механики, земной и космической. Однако известное замешательство вызвала уже высшая математика, которая рассматривает вечную истину низшей математики как преодоленную точку зрения, часто утверждает нечто противоположное ей и выставляет положения, кажущиеся представителю низшей математики просто бессмыслицей. Здесь затвердевшие категории расплавились, математика вступила в такую область, где даже столь простые отношения, как отношения абстрактного количества, дурная бесконечность, приняли совершенно диалектический вид и заставили математиков стихийно и против их воли стать диалектиками. Нет ничего комичнее, чем жалкие уловки, увертки и вынужденные приемы, к которым прибегают математики, чтобы разрешить это противоречие, примирить между собою высшую и низшую математику, уяснить себе, что то, что у них получилось в виде неоспоримого результата, не представляет собою чистой бессмыслицы, — и вообще рационально объяснить исходный пункт, метод и результаты математики бесконечного».