Наука логики. Том 1

Математическим примером, которым он поясняет истинное бесконечное (письмо XXIX), служит пространство между двумя неравными кругами, один из которых находится внутри другого, не касаясь его, и которые не концентричны. Он, по-видимому, придавал столь большое значение этой фигуре и тому понятию, в качестве примера которого[57] он ее применяет, что сделал ее эпиграфом своей «Этики»[58]. «Математики, – говорит он, – умозаключают, что неравенства, возможные в таком пространстве, бесконечны не от бесконечного множества частей, ибо величина этого пространства является определенной и ограниченной, и я могу предположить такое пространство большим или меньшим, а они делают этот вывод на том основании, что природа этой вещи превосходит всякую определенность»[59]. Как видим, Спиноза отвергает то представление о бесконечном, согласно которому представляют себе его как множество или как незавершенный ряд, и напоминает, что в пространстве, приводимом им как пример, бесконечное не находится по ту сторону, а налично и полно; это пространство есть нечто ограниченное, но бесконечное именно потому, «что природа вещи превосходит всякую определенность», так как содержащееся в нем определение величины вместе с тем не может быть представлено как некоторое определенное количество или, употребляя вышеприведенное выражение Канта, синтезирование не может быть закончено, доведено до некоторого дискретного – определенного количества. Каким образом противоположность между непрерывным и дискретным определенным количеством приводит к бесконечному – это мы разъясним в одном из следующих примечаний. Бесконечное некоторого ряда Спиноза называет бесконечным воображения, бесконечное же, как соотношение с собою самим, он называет бесконечным мышления или infinitum actu (актуально бесконечным). Оно именно actu, действительно бесконечно, так как оно завершено внутри себя и налично. Так, например, ряд 0,285714… или 1 + a + a² + + a³… есть лишь бесконечное воображение или мнения, ибо он не обладает действительностью, ему безоговорочно чего-то недостает. Напротив, ²/₇ или ¹/_(1-a) есть в действительности не только то, что ряд представляет собою в своих наличных членах, но вдобавок к этому еще и то, чего ему недостает, чем он только должен быть. ²/₇ или ¹/_(1-a) есть такая же конечная величина, как заключенное между двумя кругами пространство и его неравенства в примере Спинозы, и, подобно этому пространству, она может быть сделана большей или меньшей. Но отсюда не получается несообразность большего или меньшего бесконечного, так как это определенное количество целого не касается отношения его моментов, природы вещи, т. е. качественного определения величины; то, что в бесконечном ряде имеется налицо, есть также некоторое конечное определенное количество, но, кроме того, еще нечто недостаточное. Напротив, воображение не идет дальше определенного количества как такового и не принимает во внимание качественного соотношения, составляющего основание имеющейся несоизмеримости.

Несоизмеримость, имеющая место в примере, приводимом Спинозой, заключает в себе вообще криволинейные функции и приводит к тому бесконечному, которое ввела математика при действиях с этими функциями и вообще при действиях с функциями переменных величин; последнее есть именно то истинно математическое, качественное бесконечное, которое мыслил также и Спиноза. Это определение мы должны здесь рассмотреть ближе.

Что касается прежде всего признаваемой столь важной категории переменности, под которую подводятся соотносимые в этих функциях величины, то они ближайшим образом переменны не в том смысле, в котором в дроби ²/₇ переменны оба числа 2 и 7, поскольку вместо них можно поставить также 4 и 14, 6 и 21 и т. д. до бесконечности без изменения значения дроби. В этом смысле можно еще с большим правом поставить в дроби ^a/_b вместо a и b любые числа без изменения того, что должно выражать собою ^a/_b. Лишь в том смысле, что также и вместо x и y в какой-либо функции можно поставить бесконечное, т. е. неисчерпаемое множество чисел, a и b суть такие же переменные величины, как и x и y. Поэтому выражение «переменные величины» страдает неясностью и неудачно выбрано для определений величин, интересность которых и способы действий над которыми коренятся в чем-то совершенно другом, чем только в их переменности.