Георг Гегель - Наука логики. Том II. Субъективная логика. (Материалистически структурирован)

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

1. Математическое умозаключение гласит: « если две вещи или два определения равны третьему, то они равны между собой ». — Отношение присущности или подчинения терминов здесь стерто.

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

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

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

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