бесконечного достижения ее человеком Ленин пишет (Собр. соч. XIII 110): «Итак, человеческое мышление по природе своей способно давать и дает нам абсолютную истину, которая складывается из суммы относительных истин. Каждая ступень в развитии науки прибавляет новые зерна в эту сумму абсолютной истины, но пределы истины каждого научного положения относительны, будучи то раздвигаемы, то суживаемы дальнейшим ростом знания» (подчеркнуто нами). «Познание есть вечное, бесконечное приближение мышления к объекту» (Филос. тет. 188, подчеркнуто нами). И далее: «Отражение природы в мысли человека надо понимать не «мертво», не «абстрактно», не без движения, не без противоречий, а в вечном процессе движения, возникновения противоречий и разрешения их». Поэтому человеческое познание — вполне условно и относительно (там же, 176, 198), и в то же время оно приводит к объективной истине (там же), гак что «в каждом шаге познания вперед» есть «абсолютное содержание» (174).
После всего этого сомневаться в том, что в основе марксизма–ленинизма, в основе по крайней мере марксистско–ленинской логики и теории познания лежит идея бесконечного достижения объективной истины, это «вечное и бесконечное приближение мышления к объекту», этот «вечный процесс движения» в материи и мышлении, — это значило бы ревизовать всю эту философию с начала до конца.
8. Учение о становящейся бесконечности и непрерывности тончайшим образом разработано в математическом анализе. Вместо вялой пошлости обывательских рассуждений о том, что все течет, все изменяется, мы находим здесь очень тонкий и мощный аппарат для освоения этого бесконечно мало наплывающего процесса сознания и для применения его в науке о природе и в технике. Это и заставляет нас использовать для логики старый и испытанный метод бесконечно–малых, это тончайшее, острейшее, блестящее орудие изображения непрерывных и бесконечных процессов, давшее столь грандиозные результаты в естествознании. Как мы можем остаться равнодушными к этому в логике, т. е. в той науке, которая как раз и должна нам рассказать, что такое мышление как максимально правильное отражение вечно движущегося бытия?
Можно ли, спросим мы, теперь, в середине XX в., игнорировать этот замечательный метод при обрисовке природы логического мышления? Допустимо ли такое чудовищное отставание нашей логики от точных наук, насквозь пронизанных дифференциальным и интегральным исчислением? Не превращается ли всякое наше рассуждение о становлении мышления, об отражении материи в мышлении в пустую фразу, если мир движущейся материи так точно и так прекрасно зафиксирован в математическом анализе, а мир мышления все еще коснеет — в наших изображениях его — на стадии арифметики конечных и неподвижно изолированных чисел? Нам кажется, уже давно пора ликвидировать это чудовищное отставание логики от науки. Невозможно, чтобы учащийся, прошедший современную математику, механику, физику, астрономию и пр., относился с пренебрежением к нашей логике. А он должен так относиться, ибо в ней он находит теорию конечных понятий и теорию неподвижных и взаимно изолированных понятий. Достаточно ли этого? Допустимо ли вузы свести на таблицу умножения? Можно ли, имеем ли мы право говорить о мышлении как об отражении материи, если материя есть сплошная текучесть и подвижность (при условии скачкообразных переходов), а мышление есть сплошная неподвижность, точкообразная косность, где ни при каких условиях и никогда ни один элемент не может перейти в другой? Нам кажется, что с точки зрения современного развития философии и науки вопросы эти могут быть решены совершенно ясно и безоговорочно. И математический анализ—как один из методов (это уже во всяком случае)—должен найти какой–то отзвук в науке логики.
9. Таким образом, мы выдвигаем фундаментальную категорию математического анализа — категорию бесконечно–малого — в надежде достигнуть если не окончательной ясности в проблеме логического понимания мышления, то по крайней мере более совершенного понимания, чем это мы находим в традиционной системе логики. Бесконечно–малое ценно для нас именно тем, что в нем с достаточной глубиной совмещается идея бесконечного и непрерывного процесса с точными конечными элементами и формулами. Бесконечно–малое в математике определяется как такая величина, которая может стать меньше любой заданной величины. Тут важно именно это «может стать». Этим отрезывается раз и навсегда атомистическое понимание бесконечно–малого. Это не какое–то мельчайшее тельце, которое обладает хотя и наименьшим, но все же раз и навсегда установленными и неподвижными размерами. Вся суть заключается тут как раз в обратном: эти маленькие размеры берутся в процессе своего постоянного изменения, так что всякое такое бесконечно–малое, никогда не будучи в состоянии стать нулем, все же вечно к нему стремится, отличаясь от него на какую угодно малую величину. Бесконечно–малое никогда не имеет своего последнего значения, ибо, с какой малостью мы бы его ни брали, оно в то же самое мгновение становится еще меньше. Оно, таким образом, ни в каком случае не есть просто наименьшее. Поэтому в сущности даже совершенно не важно, что оно вообще принимает какие–нибудь значения или проходит через какие–нибудь точки. Никаких неподвижных значений и никаких точек нельзя себе и представить в бесконечно–малом, поскольку оно есть сплошной и непрерывный процесс уменьшения, а не что–нибудь имеющее определенные, хотя бы и наименьшие размеры (конечно, математический анализ учит и о прерывных функциях, но они рассматриваются здесь тоже в контексте общего учения о непрерывности).
Но если такое чистое становление наука гак прекрасно умеет изображать в одной сфере мышления, именно в числовой, то почему же нужно запрещать находить такое же становление и в другой сфере мышления, в понятийной, и в мышлении вообще? Не будет ли такой запрет уже чрезвычайно большой ретроградностью в логике и не будет ли это реакционным узаконением той непозволительной и прямо–таки неимоверной отсталости логики от науки, которую мы сейчас имеем, вопреки основам марксизма–ленинизма, вопреки всему естествознанию?
Поэтому в дальнейшем мы попробуем дать кратчайший и совершенно элементарный очерк инфинитезимального понимания логического мышления, не только без всяких претензий на полноту и исключительность, но и с сознанием, что работу эту мы только еще предлагаем, что уже первое прикосновение к этому других работников, несомненно, даст и новые и более совершенные результаты, углубление которых должно быть постоянным и идущим вперед, как и сама математическая наука.
Находясь на такой позиции, попробуем наметить инфини–тезимальный подход к логическому мышлению в следующем виде.
2. ВЕЩb — АРГУМЕНТ И ОТРАЖЕНИЕ—ФУНКЦИЯ
Материализм может исходить только из подвижной материи как из чего–то независимого. И все, что есть помимо материи, есть, очевидно, только ее отражение, ее функция.
Уже один этот первый—и простейший — шаг по пути понимания мышления с точки зрения математического анализа имеет огромное значение. Сказать, что мышление есть функция материи, — это значит иметь большое достижение. Многим, особенно воспитанным на утонченном буржуазном логицизме, весьма претит наш «грубый» термин «отражение». Нас обвиняют за него в метафизике, в грубом онтологизме, в игнорировании чисто логической проблематики и т. д. Термин «функция» в этом отношении совершенно незаменим. Он берет из «отражения» как раз то, что нам надо. А тем не менее он совершенно обезоруживает всякого буржуазного гносеолога. Что можно против него сказать, если на нем построен целый ряд точных наук огромной важности? Кроме того, эта категория яснее и проще подвергается научному анализу. Если об отражении еще можно спрашивать, что оно такое, то в реальной значимости «функции» уже никто сомневаться не имеет никакого права; и речь может идти только о том, как это понятие проще определить.
Таково это первое—и, на наш взгляд, огромное—достижение математического метода в логике—это понимание мышления как функции от материальных вещей.
Обозначим материальную вещь через ?, понимая ее как то независимое переменное, от изменений которого будет зависеть все прочее. Этот ? принципиально неисчерпаем и бесконечен (вспомним ленинский стакан в знаменитой речи о профсоюзах). Этому ? соответствует адекватное существенное отражение, такое же неисчерпаемое и такое же бесконечное, как и сам х. Это существенное отражение, очевидно, является определенной функцией от аргумента х. Назовем ее у. Ясно, что человеческое знание, вообще говоря, есть некоторое отношение между этими ? и у. От изменения этого отношения между вещью и ее отражением зависит и степень, равно как и качество человеческого мышления и знания об этой вещи.
Итак, отражение вообще есть функция вещей материи; и поскольку мышление относится к сфере отражения, и само мышление тоже есть функция материи. Тут, однако, не надо сбиваться с толку этой точной терминологией и надо понимать ее только так, как она сама на это уполномочивает. Во–первых, если мы говорим, что мышление есть функция материи, то этим вовсе не говорим, что мышление есть функция какого–то одного переменного. Вещь вовсе не есть какое–нибудь одно переменное. Это—множество разнородных переменных, если не прямо бесконечное число разного рода переменных. Раз вещь бесконечна, то, значит, она состоит и из бесконечного количества переменных, развивающихся к тому же в самых разнообразных и часто противоположных направлениях. Мышление поэтому, выражаясь математическим языком, есть обязательно функция многих переменных, даже когда оно относится к какой–нибудь одной, строго определенной вещи. И если мы сказали только об ?, то это было сказано только для краткости и только условно. На самом же деле это и х и х, и х и т. д. и т. д. Правда, для простоты и удобства исследования мы можем тут, как и в математическом анализе, изучать всякую функцию как функцию одного переменного, давая всем ее аргументам, кроме одного, как говорят, «произвольно выбранное значение», так что переменной величиной из всех аргументов остается только один.
Во–вторых, если мы говорим, что мышление есть функция материи, то так это и надо понимать, не больше и не меньше того.
И прежде всего этим совершенно не утверждается, что между материей и мышлением только и существует функциональное отношение, и никакое другое. Мы говорим только то, что в данном случае, а не вообще, что именно здесь, а не везде, что именно в логике, а не вообще где бы то ни было, — нас интересует функциональное отношение. Но вообще говоря, отношение между материей и мышлением, равно как и отношения, наличные в самой материи, отнюдь не есть только функциональные отношения. Мышление всегда принадлежит какому–нибудь субъекту, а субъект есть часть все той же материальной действительности. Отношение материи к мышлению в конце концов сводится опять–таки к отношениям внутри самой же материи, т. е. к материальным отношениям. А это уже есть не только функция. Однако нам здесь нужно пока только функциональное отношение между материей и мышлением. И видеть его, рассматривать отдельно, анализировать как таковое мы имеем полнейшее право как и в математике, так и в логике. И если такое абстрагирование не помешало математике остаться вполне реальной наукой, наукой о действительности,