Диалектические основы математики - Алексей Федорович Лосев Страница 50

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

2.

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

a) В вопросе об упорядоченности множеств и получается такая невязка: множество вполне определяется без момента инобытийной положенности числа, а тем не менее еще до введения этого момента уже пускаются в ход такие методы, которые имеют смысл в условиях упорядоченности. Именно, различаются понятия мощности и типа множества. Мощность множества – это то, что обще всем эквивалентным между собою множествам; тип есть то, что обще всем подобным между собою множествам. Что же такое эквивалентность и подобие? Одно множество эквивалентно другому, если элементы одного могут быть приведены во взаимно однозначное соответствие с элементами другого множества. Подобно же одно множество другому тогда, когда оба они «могут быть наложены друг на друга». Наложение же выставляется как возможное только в случае, когда взаимно однозначное соответствие между элементами обоих множеств связано с относительным порядком каждой пары элементов того и другого множества. Отсюда мы вправе сделать вывод, что эквивалентность, т.е. взаимно однозначное соответствие, мыслится здесь вне принципа взаимоналожения и подобия, т.е. вне принципа упорядочивания. Спрашивается, в чем же, собственно говоря, два множества могут быть эквивалентными? Идеи порядка элементов нет; следовательно, остаются элементы, абсолютно изолированные друг от друга. Но что же тогда значит взаимно однозначное соответствие? Это может значить только вот что: мы берем один элемент из первого множества; потом берем другой элемент из первого множества, забывая о первом его элементе (ибо отсутствие порядка есть отсутствие фиксируемой последовательности и, стало быть, полный ее разрыв), и сопоставляем с каким-нибудь другим элементом из второго множества; так же поступаем с двумя третьими, четвертыми и т.д. элементами вплоть до полного их исчерпания. Когда все исчерпано и одно множество оказалось соответствующим другому, мы говорим: два множества эквивалентны. Другими словами, в эквивалентности (и, значит, в мощности), как эта категория устанавливается в теории множеств, нет ровно никакого иного соответствия, кроме чисто количественного, голого арифметического. Одно множество соответствует другому – это значит в таком понимании только то, что арифметическое количество элементов одного в точности равняется количеству элементов другого множества и мощность есть просто количество. Правда, нередко тут же говорят, что это в конечных множествах мощность ничем не отличается от количества, а в бесконечных множествах они представляют собою совсем разные вещи. Но такое утверждение логически может иметь только тот смысл, что всякое множество есть обязательно бесконечное множество, потому что конечное множество есть просто самое обыкновенное число, и нет никакой нужды вводить новые и неясные термины в область, известную хорошо уже всякому школьнику.

b) Итак, теоретики множества ошибаются, когда думают, что множество можно определить вне категории инобытийно-числового гипостазирования. Они ошибаются тут точно так же, как и тогда, когда думают, что возможно какое-то множество вообще и что не всякое множество может быть мыслимо вполне упорядоченно. С точки зрения беспристрастной логики, т.е. для чистой мысли, только и может существовать вполне упорядоченное множество, и никакое другое. Все прочее есть только абстрактные моменты, которые, конечно, необходимо изучать каждый в отдельности, памятуя, однако, что всякий абсолютный отрыв этих моментов от цельного понятия множества грозит провалом самого предмета, что и происходит, когда, отрывая множество от идеи порядка, просто покидают сферу теории множеств и переходят в обычную, я бы сказал, пошлую арифметику.

c) С другой стороны, мы тут же должны отметить, что, несомненно, есть полный смысл в том, чтобы вводить в теорию множеств понятие мощности и эквивалентности, отличая их как от чисто арифметических конструкций количества и равенства, так и от дальнейших построений в теории множеств относительно типов и подобия. Только вводить их надо не так, как это делается обычно. Систематическое изложение всех этих вопросов мы проводим в соответствующем отделе нашего исследования; здесь же скажем только несколько слов – для того чтобы оправдать понимание всякого множества как потенциально упорядоченного множества, да и то сделать это целесообразно только при разъяснении аксиомы подвижного покоя (§ 52).

Вопрос сводится к разным диалектическим ступеням упорядочивания. Математики думают, что упорядочивание может быть разным только в смысле различия частей множеств, с каковой точки зрения «вполне упорядоченным» множеством называется такое, каждая часть которого имеет «первый элемент». Но понимать так упорядочивание – это значит то же самое, как если в геометрии вместо различия вида кривых проводили бы только различие в их длинах. С диалектической точки зрения существует несколько форм более глубокого упорядочивания, являющихся формами не самих упорядоченных множеств, но формами самой категории их упорядочивания (§ 52.4). К числу этих форм принадлежит и то упорядочивание, которое при взаимном сравнении множеств порождает из себя картину эквивалентности и категорию мощности. В данном месте мы только запомним, что всякое множество так или иначе связано [с] инобытийно-числовым гипостазированием, т.е. потенциально с идеей порядка. Интересует же нас здесь совсем не самое упорядочивание (это всецело относится к области проявления категории подвижного покоя), но, высказывая что бы то ни было о множестве, нужно помнить, что множество (в особенности конечное) только и отличается от обыкновенного арифметического числа идеей инобытийно числового полагания.

3.

Имея все это в виду, как ответить на вопрос о проявлении категории самотождественного различия в области множества?

Множество есть число, возвратившееся из инобытия к самому себе. Арифметическое число есть просто число. В нем не положено никакого различия между ним самим как бытием и каким-нибудь инобытием, которое было бы внешним в отношении него. Число по своему смыслу есть вследствие этого