определений, как те, которые содержатся в дефинициях; а равно и их взаимная зависимость может ближайшим образом иметь только тот общий характер, что одно определение вообще определено другим. Так, первые теоремы Эвклида о треугольниках касаются лишь совпадения, т. е. вопроса о том, сколько составных частей должны быть определены в треугольнике, чтобы были вообще определены также и остальные составные части того же самого треугольника или, иначе говоря, весь треугольник в целом. Что тут сравниваются друг с другом два треугольника и совпадение полагают в покрытии одного треугольника другим, это окольный путь, в котором нуждается метод, по необходимости долженствующий пользоваться чувственным покрыванием вместо мысли об определимости как таковой. Помимо этого, рассматриваемые сами по себе, эти теоремы сами содержат в себе две части, из которых на одну можно смотреть как на понятие, а на другую как на реальность, как на то, что завершает понятие, доводя его до реальности. А именно, то, что вполне определяет треугольник (например, две стороны и заключенный между ними угол), есть для рассудка уже весь треугольник; для полной определенности последнего ничего больше не требуется; остальные два угла и третья сторона есть избыток реальности над определенностью понятия. Поэтому вот что, собственно говоря, делают эти теоремы: они сводят чувственный треугольник, во всяком случае нуждающийся в трех сторонах и трех углах, к его простейшим условиям; дефиниция лишь вообще упомянула о трех линиях, замыкающих плоскую фигуру и делающих ее треугольником; теорема же впервые точно и ясно указывает определяемость углов через определенность сторон, равно как другие теоремы указывают зависимость других трех составйых частей треугольника от трех остальных частей. — Указание же на полную определенность величины треугольника по его сторонам внутри его самого содержит в себе пифагорова теорема; только она впервые является уравнением сторон треугольника, тогда как предшествующие теоремы (110) доходят лишь вообще до установления определенности его частей по отношению друг к другу, а не до уравнения. Эта теорема есть поэтому совершенная, реальная дефиниция треугольника, а именно, прежде всего прямоугольного треугольника, наиболее простого в своих различиях и потому наиболее правильного. — Этой теоремой Эвклид заканчивает первую книгу, так как она (теорема) и в самом деле представляет собой достигнутую совершенную определенность. Подобным же образом Эвклид, после того как он предварительно свел к единообразному началу (111) обремененные большим неравенством непрямоугольные треугольники, заканчивает свою вторую книгу сведением прямоугольника к квадрату, — уравнением между равным самому себе (квадратом) и(112) неравным внутри себя (прямоугольником); точно так же и гипотенуза, соответствующая прямому углу, т. е.
чему-то равному самому себе, составляет в пифагоровой теореме одну сторону уравнения, а другую сторону образует неравное себе, а именно два катета. Указанное уравнение между квадратом и прямоугольником лежит в основании второй дефиниции круга, которая опять-таки есть пифагорова теорема, поскольку катеты принимаются за переменные величины; первое уравнение круга находится в таком же самом отношении чувственной определенности к уравнению, в каком вообще находятся друг к другу две различных дефиниции конических сечений.
{283}
Это истинно синтетическое поступательное движение есть переход от всеобщего к единичности, а именно, к в себе и для себя определенному или к единству предмета в самом себе, поскольку предмет распался на свои существенные реальные определенности и подвергся различению. Но в других науках совершенно неполное обычное поступательное движение таково, что хотя в них начинают с некоторого всеобщего, однако переход его в единичное и его конкретизация представляют собой лишь применение всеобщего к привходящему из какого-то другого места материалу; подлинное единичное, единичное идеи есть при таком подходе некоторой эмпирический придаток.
Но какое бы содержание ни имела теорема, более совершенное или менее совершенное, она должна быть доказана. Она есть некоторое отношение реальных определений, не обладающих отношением определений понятия; если они и обладают этим отношением, как это может быть показано относительно предложений, которые мы назвали вторыми или реальными дефинициями, то последние именно поэтому суть, с одной стороны, дефиниции; но так как их содержание состоит вместе с тем из отношений реальных определений, а не просто лишь в отношении между некоторым всеобщим а простой определенностью, то они по сравнению с такой первой дефиницией тоже нуждаются в доказательстве и могут быть доказаны. Как реальные определенности, они имеют форму безразлично существующих и разных. Вследствие этого они непосредственно не суть нечто единое; следует поэтому вскрыть их опосредствование. Между тем непосредственное единство В первой дефиниции есть то единство, в силу которого особенное находится во всеобщем.
2. Опосредствование, которое мы теперь должны рассмотреть ближе, может быть или простым или проходить через многие опосредствования. Опосредствующие члены находятся в связи с теми членами, которые должны быть опосредствованы; но так как в этом познании (которому вообще чужд переход в противоположное) опосредствование и теорема выводятся не из понятия (113), то опосредствующие определения, не опирающиеся на понятие связи, должны быть принесены, как предварительные материалы для здания доказательства, откуда то извне. Эта подготовка есть построение.
{282}
УЧЕНИЕ 0 ПОНЯТИИ Из соотношений содержания теоремы, могущих быть очень разнообразными, должны быть выбраны и изложены только те, которые служат для доказательства. Это подбирание материала получает свой смысл только в самом доказательстве; само по себе оно представляется слепым и чуждым понятию. После, при доказательстве, мы, правда, усматриваем, что было целесообразно провести в геометрической фигуре такие, например, добавочные линии, какие указаны построением; но при самом построении следует слепо повиноваться; поэтому сама по себе эта операция лишена смысла, так как руководящая сю цель еще не высказана. — Безразлично, предпринимается ли эта операция ради доказательства теоремы в собственном смысле этого слова или ради решения задачи; взятая таковой, каковой она представляется вначале, до доказательства, она есть нечто, не выведенное из данного в теореме или задаче определения, и поэтому представляет собой некоторое бессмысленное действие для того, кто еще не знает цели; но она всегда есть нечто управляемое лишь некоторой внешней целью.
Это первоначально еще тайное делается явным в доказательстве. Последнее заключает в себе, как было указано, опосредствование того, что в теореме высказано как связанное вместе; только через это опосредствование указанная в теореме связь впервые выступает как необходимая… Подобно тому как построение, само по себе взятое, лишено субъективности понятия, так доказательство есть некоторое субъективное действие, лишенное объективности. А именно, так как определения содержания теоремы не положены вместе с тем как определения понятия, а выступают только как данные безразличные части, находящиеся в многообразных внешних отношениях друг к другу, то необходимость получается лишь в формальном, внешнем понятии. Доказательство не есть некоторый генезис отношения, составляющего содержание теоремы; необходимость существует лишь для нашего разумения, а все доказательство — для субъективных потребностей познания. Доказательство есть поэтому вообще некоторая внешняя рефлексия, идущая извне внутрь, т. е. умозаключающая от внешних обстоятельств к внутреннему характеру отношения. Эти обстоятельства, изображенные построением, представляют собой некоторое след
{283}
ствие природы предмета; здесь же их, наоборот, делают основанием и опосредствующими отношениями. Средний термин, то третье, в котором связанные в теореме определения выступают в своем единстве и которое составляет нерв доказательства, есть поэтому лишь нечто такое, в чем эта связь является и где она носит внешний характер. Так как то следствие, которое прослеживается доказательством, представляет собой скорее нечто обратное природе самой вещи, то то, что в доказательстве рассматривается как основание, есть субъективное основание, из которого природа вещи проистекает только для познания.
Из сказанного делается ясной необходимая граница этого познания, которая очень часто упускалась из вида. Блестящим примером синтетического метода является наука геометрии, но его неуместно применяли также и к другим наукам и даже к философии. Геометрия есть наука о величинах, и поэтому для нее весьма пригоден формальный процесс умозаключения; так как в ней рассматривают исключительно количественное определение и абстрагируют от качественного, то она может держаться в
