Парадоксы бесконечного. Бернард Больцано. - Историко-философские очерки - Койре - Сочинения и рассказы

Больцано отчетливо увидел законность и существенную необ­ходимость понятия актуальной бесконечности. В своей небольшой книге «Парадоксы бесконечного», где он значительно приумножил число парадоксальных следствий, которые при желании могут быть извлечены из этого понятия, он одновременно показал чисто иллюзорную природу так называемых противоречий, введя поня­тие эквивалентности, которое в области бесконечного соответству­ет понятию равенства применительно к конечным числам и сум­мам. Действительно, утверждение, согласно которому конечное число, отличное от нуля, равно своей половине, явно абсурдно и противоречиво, чего не скажешь об утверждении, что некоторое бесконечное целое эквивалентно одной из своих частей. Так, на­пример, число конечных чисел с необходимостью является беско­нечным, и поскольку эти числа должны рассматриваться как дан­ные еще до начала самой процедуры их пересчета, то их число является также актуально бесконечным. И однако, это число не превосходит числа всех четных или простых чисел, в чем легко убедиться, установив взаимно-однозначное соответствие между множеством всех чисел и каждым из множеств этих (четных и простых) чисел. Точно так же о числе всех рациональных чисел или о числе всех алгебраических чисел нельзя сказать, что оно «больше» числа всех чисел. Все эти множества эквивалентны друг другу, точно так же, как, например, множество всех алгебраиче­ских чисел эквивалентно множеству алгебраических чисел, заклю­ченных между 0 и 1 или, в общем случае, заключенных между двумя любыми заданными пределами. Различие между равенством и эквивалентностью позволяет понять, почему возможность уста­новления взаимно-однозначного соответствия между всеми точка­ми двух различных отрезков некоторой траектории («Ахиллес» и «Стадии») не влечет за собой равенства этих отрезков. Эквива­лентность не включает в себя равенство: первое отношение имеет место в случае бесконечного, второе, наоборот, лишь в случае ко­нечного.