Учение о бытии

В чем состоит различие рассматриваемого здесь качественного от предмета предыдущего примечания, ясно само собою и без дальнейшего объяснения. В последнем качественное заключалось в степенной определенности; здесь же оно, как бесконечно малое, есть лишь множитель относительно произведения, точка относительно линии, линия относительно плоскости и т. д. Качественный же переход от дискретного, на которое представляется разложенным непрерывное, к непрерывному, осуществляется, как суммирование.

Но что кажущееся простое суммирование в действительности содержит в себе умножение, т. е. переход от линейного к плоскостному определению, это обнаруживается всего проще в том способе, каким, например, доказывается, что площадь трапеции равна произведению суммы ее параллельных сторон на половину высоты. Эта высота представляется, лишь как определенное число множества дискретных величин, которые должны быть суммированы. Эти величины суть линии, лежащие параллельно между теми двумя ограничивающими параллельными линиями; их бесконечно много, так как они должны заполнять площадь, но они суть линии и потому, чтобы быть чем-либо плоскостным, они должны быть положены с отрицанием. Для того, чтобы избегнуть затруднения, состоящего в том, что сумма линий должна составить площадь, линии принимаются также за площади, но за бесконечно тонкие, так как они имеют свое определение исключительно в линейном параллельных сторон трапеции. Как параллельные и ограниченные другою парою прямолинейных сторон трапеции, они могут считаться членами арифметической прогрессии, показатель которой остается равным, но не нуждается в определении, а первый и последний члены которой суть обе параллельные стороны; сумма такого ряда равна, как известно, произведению этих параллельных на половину числа членов. Это последнее количество называется числом лишь по сравнению с бесконечно многими линиями; оно есть вообще определенность непрерывной величины – высоты. Ясно, что то, что называется суммою, есть вместе с тем ductus lineae in lineam, умножение линии на линии, чтó по вышеприведенному определению предполагает их плоскостной характер. В простейшем случае прямоугольника каждый из множителей ab есть простая величина, но уже в дальнейшем также еще элементарном примере трапеции лишь один из множителей есть простая величина половины высоты, другая же определяется через прогрессию; он также есть линейное, но определенность его величины важнее; поскольку она может быть изображена лишь посредством ряда, то ее аналитический, т. е. арифметический интерес, состоит в ее суммировании; но геометрический момент последнего есть умножение, качественный переход от линейного к плоскостному измерению; один из множителей принимается за дискретный в связи с арифметическим определением другого, и, как последний, есть для себя линейная величина.

Прием, состоящий в том, чтобы представлять площади, как суммы линий, употребляется, однако, часто и тогда, когда для достижения результата не применяется умножение, как таковое. Так поступают в тех случаях, когда является надобность найти величину, как определенное количество не из уравнения, а из пропорции. Например, что площадь круга относится к площади эллипса, большая ось которого равна диаметру этого круга, как большая ось к малой, доказывается, как известно, так, что каждая из этих площадей принимается за сумму принадлежащих ей ординат; каждая ордината эллипса относится к соответствующей ординате круга, как малая ось к большой, из чего заключают, что также относятся между собою и суммы ординат, т. е. площади. Если желают при этом избегнуть представления площади, как суммы линий, то прибегают к обычному совершенно излишнему вспомогательному средству – к трапециям бесконечно малой ширины; так как уравнение есть лишь пропорция, то при этом установляется сравнение лишь одного из двух линейных элементов площади. Другой, ось абсцисс, принимается в круге и эллипсе за равный, след. как множитель арифметического определения величины за =1, и поэтому пропорция оказывается зависящей всецело от отношение лишь одного определяющего момента.

Для представление площади требуются два измерения; но определение величины, даваемое в этой пропорции, касается исключительно одного момента; поэтому та прибавка или поправка, что представление суммы связывается лишь с этим одним моментом, есть собственно игнорирование того, чтó здесь требуется для математической определенности.

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

Общее основоположение Кавальери состоит в том (Exerc. geometr. VI – позднейшее сочинение Exerc. I, стр. 6), что все как плоские, так и телесные фигуры находятся в отношении к этим неделимым, что они могут быть сравниваемы между собою коллективно, а если в них есть какое-либо общее отношение, то и дистрибутивно. Для этой цели он в фигурах, имеющих равные основание и высоту, сравнивает отношения между линиями, проведенными параллельно им и на равном расстоянии от них; все такие определения некоторой фигуры имеют одинаковое определение и образуют собою весь ее объем. Таким путем Кавальери доказывает, например, и ту элементарную теорему, что при равных высотах площади параллелограммов относятся, как их основания; каждые две линии, одинаково отстоящие от основания и параллельные ему, проведенные в обеих фигурах, относятся к основаниям так же, как целые фигуры. В действительности линии не составляют объема фигуры, понимаемой как непрерывная, но суть этот объем, поскольку он определяется арифметически; линейное есть его элемент, посредством которого единственно постигается его определенность.

Мы пришли теперь к рефлексии над различением, имеющем место относительно того, в чем состоит определенность какой-либо фигуры, именно поскольку эта определенность имеет или такой характер, как в данном случае высота фигуры, или характер ее внешней границы. Если она есть внешняя граница, то допускается, что непрерывность фигуры, так сказать, следует за равенством или отношением границы; напр., равенство совпадающих фигур основывается на совпадении ограничивающих их линий. Ho y параллелограммов с одинаковыми высотою и основанием лишь последняя определенность есть внешняя граница; высота же, непараллельность вообще, на которой основывается второе главное определение фигур, их отношение, присоединяет к внешней границе второй принцип определения. Евклидово доказательство равенства параллелограммов, имеющих одинаковые высоту и основание, приводит их к треугольникам, к внешне ограниченному непрерывному; в доказательстве же Кавальери, и прежде всего в доказательстве пропорциональности параллелограммов, граница есть определенность величины, как таковая вообще, которая обнаруживается в каждой паре линий, проведенных в обеих фигурах на одинаковом расстоянии. Равные или состоящие в равном отношении с основанием линии, взятые коллективно, дают состоящие в равном отношении фигуры. Представление агрегата линий противоречит непрерывности фигуры; но рассмотрение линий вполне исчерпывает ту определенность, о которой идет речь. Кавальери часто отвечает на то возражение, что представление неделимых еще не приводит к тому, чтобы можно было сравнивать между собою бесконечные по числу линии или плоскости (Geom. lib. II prop. 1 Schol.): он правильно указывает на то различие, что он сравнивает не их число, которого мы не знаем – т. е. которое правильнее, как было замечено, есть пустое вспомогательное представление, – но лишь величину, т. е. количественную определенность, как таковую, которая равна занимаемому этими линиями пространству; так как оно заключено в границы, то и эта величина заключена в те же границы; непрерывное есть не что иное, как само неделимое, говорит он; если бы первое было вне последнего, то оно было бы несравнимо; но было бы нелепо сказать, что ограниченные непрерывные несравнимы между собою.

Как видно, Кавальери желает отличать то, что принадлежит к внешнему существованию непрерывного, от того, в чем состоит его определенность, и что возвышается над последним лишь для сравнения и для цели теоремы. Правда, те категории, которыми он при этом пользуется, говоря, что непрерывное сложено или состоит из неделимых и т. п., недостаточны, так как при этом вместе с тем принимается в соображение представление непрерывного или, как сказано выше, его внешнее существование; вместо того, чтобы сказать, что «непрерывное есть не что иное, как само неделимое», было бы правильнее и тем самым само для себя ясно сказать, что определенность величины непрерывного такова же, как и самого неделимого. Кавальери не увлекается ложным выводом, будто бесконечное может быть более или менее, выводом, делаемым школою из того представления, что неделимые составляют непрерывное, и выражает далее (Geom. lib. VII praef.) более определенное сознание того, что его способ доказательства нисколько не принуждает представлять себе непрерывное сложенных из неделимых; непрерывные величины лишь пропорциональны неделимым. Он берет агрегаты неделимых не так, чтобы они подпадали определению бесконечности, не ради получения бесконечного множества линий или плоскостей, но поскольку им в них самих принадлежит определенное свойство и природа ограниченности. Но чтобы удалить и эту видимость затруднения, он не уклоняется от труда еще и в нарочно прибавленной того для седьмой книге доказать главные положения своей геометрии таким способом, который остается свободным от примеси бесконечности. Этот способ сводит доказательства к вышеупомянутой обычной форме наложения фигур одной на другую, т. е., как было замечено, к представлению определенности, как внешней пространственной границы.

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

С параллельными линиями и параллелограммами связано, как было замечено, новое обстоятельство, касающееся отчасти равенства одних углов, отчасти высоты фигур, причем от последних отличаются их внешние границы, стороны параллелограмма. При этом обнаруживается двусмысленность, так как для этих фигур, кроме определенности одной стороны, основания, которое есть внешняя граница, за другую определенность нужно брать другую внешнюю границу, а именно другую сторону параллелограмма или высоту. Если даны две такие фигуры, имеющие одинаковые основание и высоту, из коих одна прямоугольная, другая же очень косоугольная, образующая с первою очень тупой угол, то образ второй легко может показаться более, чем образ первой, так как для второго определяющею служит данная бóльшая сторона, а по мнению Кавальери площади сравниваются по множеству параллельных линий, коими они пересечены; бóльшая же сторона может считаться возможностью большего числа линий, чем сторона прямоугольника. Но это представление не может служить возражением против метода Кавальери; ибо сравниваемое в обоих параллелограммах множество параллельных линий предполагает вместе с тем равенство их расстояний одной от другой, откуда следует, что вторым определяющим моментом служит именно высота, а не вторая сторона параллелограмма. Но далее это изменяется, если сравниваются между собою два параллелограмма, имеющие равные основания и высоты, но лежащие в разных плоскостях и образующие с третью плоскостью разные углы; здесь параллельные отрезки, возникающие тогда, когда их пересекают третьею плоскостью и представляют ее себе движущеюся параллельно ей самой, уже не одинаково удалены один от другого, и эти две плоскости неравны. Кавальери тщательно различает эти два случая, определяя их, как transitus rectus и transitus obliquus неделимых (как в Exercit. I n. XII и сл., так и в Geom. I, II), и тем самым отрезает путь к недоразумению, которое могло бы возникнуть с этой стороны. Я припоминаю, что Барроу в своем вышеприведенном сочинении (Lect. geom. II, стр. 21), хотя он также пользуется методом еделимых, но искажает его и нарушает его чистоту через переданное им его ученику Ньютону и прочим современным ему математикам, в том числе Лейбницу, признание равномерности криволинейного треугольника, напр. т. наз. характеристического, с прямолинейным, поскольку оба они бесконечно – т. е. очень – малы, приводит направленное против того возражение Таке, также прибегавшего к новым методам остроумного геометра. Указываемое последним затруднение касается также вопроса о том, какая линия, и именно при вычислении конических и сферических поверхностей, должна быть принимаема для применения основанных на дискретном соображений. Таке возражает против метода неделимых, что при вычислении поверхности прямого конуса по этому атомистическому методу треугольные сечения конуса представляются образованными прямыми линиями, параллельными основанию и перпендикулярными к оси, которые суть вместе радиусы кругов, из коих (кругов) состоит поверхность конуса, Но если эта поверхность определяется, как сумма окружностей, а эта сумма зависит от числа их радиусов, т. е. длины оси конуса, его высоты, то получаемый результат противоречит найденной и доказанной Архимедом истине. Барроу возражает на это, что при определении поверхности не ось конуса, но его образующая должна быть принимаема за ту линию, вращение которой производит эту поверхность, и которая поэтому – а не ось – должна считаться определенностью величины для множества окружностей.

Такие возражения и неточности имеют свой источник исключительно в употребляемом тут неопределенном представлении бесконечного множества точек, из которых считается состоящею линия, или линий, из которых считается состоящею площадь; этим представлением затемняется существенная определенность величины линии или площадей. Целью настоящих примечаний было указать на те утвердительные определения, которые при различном употреблении бесконечно малых в математике остаются, так сказать, на заднем плане, и вывести их из той туманности, к которой приводит исключительно отрицательное понимание этой категории. В бесконечном ряду, напр., в архимедовом измерении круга, смысл бесконечности состоит лишь в том, что известен закон развития определения, хотя так называемое конечное, т. е. арифметическое выражение, не дано, и отожествление дуги с прямою линиею не может быть осуществлено; эта их несоизмеримость есть их качественное различие. Качественное различие дискретного и непрерывного вообще также содержит в себе отрицательное определение, вследствие которого они являются несоизмеримыми, и приводит к бесконечному в том смысле, что непрерывное, принимаемое за дискретное, не должно более быть определенным количеством по своей определенности, как непрерывного. Непрерывное, которое арифметически должно быть принимаемо за произведение, тем самым полагается, как дискретное, в нем самом, и разлагается, как на элементы, на свои множители; в них заключается определенность его величины; но именно потому, что они суть эти множители или элементы, они принадлежат к низшему измерению, и, поскольку тут вступает в силу степенная определенность, имеют степень низшую, чем та величина, которой они суть элементы или множители. Арифметически это различие кажется только количественным, различием корня и степени или иной степенной определенности; но если это выражение имеет лишь количественный смысл, напр., а:а2 или d*а2=2а:а2=2:а, или (для закона падения тел) t:at2, то получается лишь ничего не говорящее отношение 1:a, 2:а, 1:at; в противоположность своему только количественному определению члены должны быть разделены по своему различному качественному значению, напр., s:at2; и тем самым величина получает значение качества, функции величины некоторого другого качества. Тем самым сознанию предстоит лишь количественная определенность, над которою, смотря по ее виду, можно без труда производить действия, и можно без всякого сомнения множить величину одной линии на величину другой; но умножение этих двух величин дает вместе с тем качественное изменение перехода линий в плоскость; тем самым выступает отрицательное определение; оно-то и причиняет затруднение, которое разрешается через понимание его особенности и простой сути дела, введение же бесконечных, которыми оно должно бы было быть устранено, приводит, напротив, к запутанности и оставляет его совершенно неразрешенным.

Третья глава

КОЛИЧЕСТВЕННОЕ ОТНОШЕНИЕ

Бесконечность определенного количества была определена так, что она есть его отрицательная потусторонность, которая однако свойственна ему в нем самом. Эта потусторонность есть качественное вообще. Бесконечное определенное количество, как единство обоих моментов, количественной и качественной определенности, есть ближайшим образом отношение.

В отношении определенное количество есть уже не безразличная определенность, но определено качественно, как просто относимое к своей потусторонности. Оно продолжается в своей потусторонности; последняя есть вообще ближайшим образом другое определенное количество. Но по существу они относятся одно к другому не как внешние определенные количества, но каждое имеет свою определенность в этом отношении к другому. Таким образом они в этом своем инобытии возвращаются в себя; каждое есть то, что оно есть, в другом; другое образует определенность каждого из них. Выход определенного количества за себя имеет, стало быть, теперь такой смысл, что оно не только изменяется в другое или в свое отвлеченное другое, в свою отрицательную потусторонность, но что оно тем самым достигает своей определенности; оно находит себя самого в своей потусторонности, которая есть другое определенное количество. Качество определенного количества, определенность его понятия есть его внешность вообще, и именно в отношении оно положено так, чтобы в своей внешности, в другом определенном количестве, иметь свою определенность, быть в своей потусторонности тем, что оно есть.

Это суть количества, которые имеют одно к другому вышеобъясненное отношение. Это отношение есть само также величина; определенное количество не только есть в отношении, но само положено, как отношение; оно есть некоторое определенное количество вообще, которое имеет эту качественную определенность внутри себя. Таким образом, как отношение, оно выражает себя, как замкнутая в себе целостность и безразличие к границе, тем, что оно имеет внешность своей определенности внутри себя самого и в ней относится лишь к себе, таким образом бесконечно в нем самом.

Отношение есть вообще:

1. Прямое отношение. В нем качественное еще не выступает, как таковое, для себя; оно имеет еще образ определенного количества, положенного так, что его определенность свойственна самой его внешности. Но количественное отношение есть само в себе противоречие внешности и отношения к себе, сохранения определенных количеств и их отрицания; оно снимает себя, причем прежде всего;

2. В обратном отношении положено отрицание одного количества, как таковое, при изменении другого и изменчивость самого прямого отношения;

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

А. Прямое отношение

1. В отношении, которое, как непосредственное, есть прямое отношение, заключается определенность одного определенного количества в противоположность определенности другого. Это лишь одна определенность или граница обеих, которая сама есть определенное количество – показатель отношения.

2. Показатель есть некоторое количество, но в своей внешности в нем самом он есть относящееся к себе, качественно определенное количество лишь постольку, поскольку он в нем самом имеет свое различие, свою потусторонность и инобытие. Но это различие определенного количества в нем самом есть различие единицы и определенного числа, единица есть определенность для себя, определенное число – безразличное движение туда и сюда около определенности, внешнее безразличие определенного количества. Единица и определенное число были первоначально моментами определенного количества; теперь в отношении, поскольку оно есть реализованное количество, каждый из этих его моментов является собственным определенным количеством, и оба они – определениями его существования, ограничениями определенности величины, остающейся иначе лишь внешнею, безразличною. Показатель есть это различие, как простая определенность, т. е. он имеет непосредственно в нем самом значение обоих определений. Он есть, во-первых, определенное количество; в этом смысле он есть определенное число; если один из членов отношения, принимаемый за единицу, выражается цифровою единицею и считается за таковую, то другое, определенное число, есть определенное количество самого показателя. Во-вторых, он есть простая определенность, как качественное в членах отношения; если определенное количество одного определено, то и другое определяется показателем, и совершенно безразлично, как определяется первое; как определенное для себя определенное количество, оно не имеет более никакого значения, но может быть точно также любым другим количеством без изменения определенности отношения, основанной исключительно на показателе. Одно, принимаемое за единицу, остается, как бы велико оно ни было, всегда единицею, а другое, как бы оно также ни становилось при этом велико, должно оставаться тем же определенным числом этих единиц.

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

Показатель должен быть полным определенным количеством, так как в нем совпадает определение обоих членов отношения; но в действительности, как частное, он сам имеет значение только определенного числа или единицы. Нет никакого определения, которое должно бы было отнято от членов отношения, как единица или как определенное число; если один из них, определенное количество B, измеряется определенным количеством А, как единицею, то частное С есть определенное число таких единиц; но если принять само А за определенное число, то частное C есть единица, требуемая при определенном числе А для определенного количества В; тем самым это частное, как показатель, положено не как то, чем он должен быть, как определяющий отношение или как его качественная единица. Как таковая, он положен лишь постольку, поскольку он имеет значение единства обоих моментов, единицы и определенного числа. Хотя эти члены даны, как определенные количества, какими они должны быть в выяснившемся определенном количестве, в отношении, но при этом лишь в том значении, какое они должны иметь, как его члены, т. е. в значении неполных определенных количеств и лишь одного из его качественных моментов; поэтому они должны быть положены с этим их отрицанием. Тем самым возникает более соответствующее своему определению, более реальное отношение, при котором показатель имеет характер произведения; по этой определенности оно есть обратное отношение.