дефинициями
безразлично существующих
разных
2. Опосредствование, которое мы теперь должны рассмотреть ближе, может быть или простым, или проходить через многие опосредствования. Опосредствующие члены находятся в связи с теми членами, которые должны быть опосредствованы; но так как в этом познании (которому вообще чужд переход в противоположное) опосредствование и теорема выводятся не из понятия[113], то опосредствующие определения, не опирающиеся на понятие связи, должны быть принесены, как предварительные материалы для здания доказательства, откуда-то извне. Эта подготовка есть построение.
Опосредствование
построение
Из соотношений содержания теоремы, могущих быть очень разнообразными, должны быть выбраны и изложены только те, которые служат для доказательства. Это подбирание материала получает свой смысл только в самом доказательстве; само по себе оно представляется слепым и чуждым понятию. После, при доказательстве, мы, правда, усматриваем, что было целесообразно провести в геометрической фигуре такие, например, добавочные линии, какие указаны построением; но при самом построении следует слепо повиноваться; поэтому сама по себе эта операция лишена смысла, так как руководящая ею цель еще не высказана. Безразлично, предпринимается ли эта операция ради доказательства теоремы в собственном смысле этого слова или ради решения задачи; взятая таковой, каковой она представляется вначале, до доказательства, она есть нечто, не выведенное из данного в теореме или задаче определения, и поэтому представляет собой некоторое бессмысленное действие для того, кто еще не знает цели; но она всегда есть нечто управляемое лишь некоторой внешней целью.
до
Это первоначально еще тайное делается явным в доказательстве. Последнее заключает в себе, как было указано, опосредствование того, что в теореме высказано как связанное вместе; только через это опосредствование указанная в теореме связь впервые выступает как необходимая. Подобно тому как построение, само по себе взятое, лишено субъективности понятия, так доказательство есть некоторое субъективное действие, лишенное объективности. а именно, так как определения содержания теоремы не положены вместе с тем как определения понятия, а выступают только как данные безразличные части, находящиеся в многообразных внешних отношениях друг к другу, то необходимость получается лишь в формальном, внешнем понятии. Доказательство не есть некоторый генезис отношения, составляющего содержание теоремы; необходимость существует лишь для нашего разумения, а все доказательство – для субъективных потребностей познания. Доказательство есть поэтому вообще некоторая внешняя рефлексия, идущая извне внутрь, т. е. умозаключающая от внешних обстоятельств к внутреннему характеру отношения. Эти обстоятельства, изображенные построением, представляют собой некоторое следствие природы предмета; здесь же их, наоборот, делают основанием и опосредствующими отношениями. Средний термин, то третье, в котором связанные в теореме определения выступают в своем единстве и которое составляет нерв доказательства, есть поэтому лишь нечто такое, в чем эта связь является и где она носит внешний характер. Так как то следствие, которое прослеживается доказательством, представляет собой скорее нечто обратное природе самой вещи, то то, что в доказательстве рассматривается как основание, есть субъективное основание, из которого природа вещи проистекает только для познания.