Хаос и структура - Лосев Алексей Федорович. Страница 51
Однако не будем на этом настаивать. Закроем глаза на то, что в определении порядка здесь уже фигурирует категория порядка и неизвестное определяется здесь через другое неизвестное. Что же дальше? Зачем понадобился этот переход к «остаткам» и какое это имеет отношение к идее порядка? Тут, однако, необходимо указать, что математик пошел на ощупь вполне правильно. Хотя в смысле принципиальной мыслимости и не существует никакого неупорядоченного множества, но мы можем условно занять такую позицию, что есть некое множество, но что в нем все спутано и неразличимо и является как бы бесформенной глиной или песком. Как при такой позиции прийти к идее упорядоченности? Очевидно, необходимо прежде всего отбирать из этой глины те или другие порции, для того чтобы потом их как–нибудь обделать, объединить и придать им ту или иную форму. Первое свойство множества о котором говорилось выше, и есть, очевидно, не что иное, как распределение алогической массы множества Μ на отдельные взаиморазличимые куски, о величине которых можно судить и которые являются один в отношении другого целым или частью. Но если это так, то философский смысл первого свойства заключается в том, что тут элементы множества А/ перестают мыслиться в своей отвлеченности, но что они переходят в свое инобытие и в нем воплощаются. Когда мы берем элемент т хи смотрим на то, что еще остается в А/, то хотя этот остаток по условию еще и мыслится неупорядоченным, но уже гораздо в меньшей степени, мы как бы уже видим здесь, где он начинается и где кончается. Изрезавши все множество R на такие куски (путем противопоставления данного куска соответствующему элементу из А/), мы, очевидно, получаем не что иное, как то же самое множество А/, но уже как отраженное на R, и само–то R оказывается не чем иным, как множеством всевозможными способами полученных следов всех элементов А/, множеством всевозможного воплощения всех отвлеченных элементов этого последнего на его алогическом материале. Действительно, так оно и должно быть: порядок предполагает, что есть отвлеченная идея и есть реальный, но алогический материал, который этой идее подчиняется. Так вот, кромсание этого материала на куски, которые потом превратятся в упорядоченные элементы, есть первый необходимый этап упорядочивания, и смысл этого первого свойства множества /?, очевидно, сводится к переходу отвлеченного элемента в свое инобытие, причем переход тут совершается пока не целиком, а только по факту элемента: элемент получил для себя инобытийную субстанцию, но она еще остается без воплощения подлинного смысла элемента, остаётся грубым и необработанным куском.
с) Перейдем ко второму свойству множества R. Здесь утверждается, что если имеется в А/ два каких–нибудь элемента, из которых один позже другого (опять предполагается идея порядка!), то в Λ должен быть хотя бы один остаток, содержащий в себе один из этих элементов. При этом если идея порядка здесь подлинно функционирует, то этот остаток должен содержать в себе именно позднейший элемент из этих двух, так как остаток, соответствующий элементу т иможет содержать в себе элементы только высшие, чем т иа таковым является только т 2(раз соблюдается последовательность перехода от т хк т 2). Другими словами, это второе свойство множества R связывает его с множеством Μ в том смысле, что до сих пор отдельные «части» R мыслились только в своем взаимном различии, но не мыслились ни в каком взаимном порядке, теперь же они мыслятся как продолжение тех или иных элементов из М. Второе свойство множества R предполагает, что порядок в R может быть только в том случае, если, взявши что–нибудь из Af, мы этого уже не встретим в R, а встретим только то, что выходит за его пределы. Здесь, очевидно, устанавливается ориентация отдельных моментов R в отношении элементов А/. Каждый момент R отныне, оказывается, начинает нести на себе энергию целого Af, т. е. отвлеченно взятый элемент Μ не только перешел в свое инобытие, в R, субстанциально, но он перешел по смыслу. Остается, стало быть, только подтвердить, что все эти «части» Λ, отныне получившие смысл элементов, сами суть нечто целое, т. е. образуют некое самостоятельное множество. Тогда и окажется, что упорядоченное множество действительно конструировано из вполне алогического материала.
Это фиксируется в третьем свойстве множества R.
d) Если теперь оглянуться на весь пройденный путь в определении множества /?, то можно, очевидно, так понимать это определение. В § 48. 3 мы уже столкнулись с понятием т. н. Potenzmenge, т. е. множества всех подмножеств данного множества, причем его мы понимали как объединение всех частей (а не элементов) данного множества. Употребляя философскую терминологию, мы говорили, что Potenzmenge в отношении самого множества есть «все» в отношении «целого», причем это такое все, которое дано всевозможными способами комбинирования своих моментов, поскольку множество всех частей множества предполагает и взаимное перекрытие элементов последнего. Множество R, которое служит для упорядочения множества А/, есть, очевидно, не что иное, как именно это Potenzmenge. И тут заложена весьма важная идея. В самом деле, что такое целое, из которого исключена идея порядка? Что такое целое, в котором нет никакой конфигурации отдельных моментов? Очевидно, что только очень отвлеченно понимаемое целое — скорее принцип целого, чем само целое. Но что же тогда будет порядком этого целого, что внесет в него определенную последовательность моментов и создаст в нем четкую конфигурацию? Тут требуется, очевидно, внесение в это целое каких–то внутренних различий. Чтобы нечто получило структуру, необходимо внутри него отличить одно от другого. Но это значит внести в него некое инобытие. Чтобы была структура бытия, необходимо внести в него инобытие, так что оно уже само для себя оказывается своим инобытием. Оно заново осуществляется на этом инобытии, но осуществляется целиком, так что инобытие перестает быть чем–то внешним для него, а становится им же самим, т. е. его структурой, его упорядоченностью. Это инобытие, однако, может быть рассматриваемо и само по себе—стоит только отвлечься от того целого, которое мы воплощали. Ведь можно же, например, иметь идею карандаша и на ее основе изготовить самый карандаш, а потом забыть о существовании самой идеи карандаша (т. е. о том, что изготовленная вещь есть именно карандаш) и рассматривать карандаш просто как некое физическое тело, указывая, что вот это—дерево, вот это — графит, вот это — краска, вот это — цилиндрическая форма и т. д. Что это будет такое? Оно будет, конечно, тоже некой цельностью и, следовательно, множеством, но, раз мы забыли об идее карандаша, оно уже не будет для нас самим карандашом, не будет целым карандаша, но зато будет всеми частями, всем, из чего состоит карандаш. Это есть Potenzmenge карандаша; и это–то, как ясно, и есть то, что вносит в отвлеченную идею карандаша определенную последовательность ее элементов. Это наше множество R с указанными тремя свойствами.
е) Таким образом, математическая мысль, установившая в этом виде самую идею порядка (или упорядоченного множества), действовала здесь хотя философски и слепо, но на ощупь шла правильно. Наша задача — внести в эту математическую мысль философско–логичес–кую ясность, которая и будет достигнута, как это ясно из предыдущего, следующим образом.
1) Идея порядка как таковая не может быть «определена», поскольку она является исходной; и мы видели, что Френкель ее вовсе даже не определяет, а предполагает готовой и только рассуждает о сфере ее применения. Но можно часто увидеть в ней то последнее зерно, которое остается неизменным при всех возможных ее функционированиях. 2) Это зерно заключается (и это особенно видно на втором свойстве множества R) не в чем ином, как в категории подвижного покоя. Второе свойство только ведь о том и говорит, что от одного момента можно перейти к другому. 3) Эта категория подвижного покоя может, однако, по–разному применяться в зависимости от сферы своего функционирования. Мы можем ее понимать а) отвлеченно–арифметически. По–видимому, это именно понимание Френкель имеет в виду, когда он говорит о том, что т храньше т 2(или наоборот). В таком виде идея порядка в собственном смысле еще не нарушается. Это скорее принцип порядка, чем самый порядок («инобытийно–нулевая упорядоченность»). Совсем другое получится, если категория подвижного покоя b) перейдет в свое инобытие и начнет в нем воплощаться. Это создаст тот материал, без которого не может быть и самого порядка (поскольку порядок есть всегда порядок чего–нибудь). Однако в чисто инобытийном смысле категория подвижного покоя дала бы геометрическую, а не теоретико–множественную упорядоченность. Необходимо ей из инобытия вернуться к себе, т. е. все эти инобытийные, геометрические «части» положить в себе, в сфере чисто числовой, отождествить с чистым смыслом, поднять в свою сферу. Тогда эти «части» получают опять чисто числовой характер, но уже с той идеей расставленности и распределенности, которая была характерна для чистого инобытия. Это и есть теоретико–множественная упорядоченность. 4) Следовательно, в упомянутом математическом определении упорядочивающего множества мы имеем не определение порядка, но — на основе уже имеющейся определенной идеи порядка — конструирование именно теоретико–множественной упорядоченности, возникающей в отличие от абстрактной идеи порядка на основе инобытийно–алогических модификаций. Все это, с одной стороны, подтверждает правильность защищаемого в нашем исследовании места как самой идеи порядка, так и всей теории множеств, с другой же — показывает слепую и бессознательную целесообразность математической мысли, идущей своими путями без философских методов и логической выучки.