Наука логики. Том 2

3. Определения умозаключения суть постольку определения содержания, поскольку они суть непосредственные, абстрактные, рефлектированные в себя определения. Но существенным в них является, напротив, то, что они не суть такие рефлектированные в себя, безразличные друг к другу определения, а суть определения формы; постольку они по существу суть соотношения. Эти соотношения суть, во-первых, соотношения крайних терминов со средним, соотношения, которые непосредственны, propositiones praemissae (посылки), а именно, отчасти соотношение особенного со всеобщим – propositio major (бо́льшая посылка), отчасти единичного с особенным – propositio minor (меньшая посылка). Во-вторых, имеется соотношение друг с другом крайних терминов, которое есть опосредствованное соотношение, – conclusio (заключение). Те непосредственные соотношения, посылки, суть предложения или суждения вообще и противоречат природе умозаключения, согласно которой различные определения понятия не должны быть соотнесены непосредственно, а должно быть положено также и их единство; истиной суждения служит умозаключение. Посылки тем менее могут оставаться непосредственными соотношениями, что их содержанием служат непосредственно различные определения, и, стало быть, они сами по себе не непосредственно тождественны, если только эти посылки не суть чисто тождественные предложения, т. е. пустые, ни к чему не приводящие тавтологии.

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

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

Опосредствование должно поэтому совершиться другим путем. Для опосредствования соотношения О – В имеется Е; опосредствование должно поэтому принять вид

О – Е – В.

А для опосредствования соотношения Е – О имеется В; это опосредствование становится поэтому умозаключением

Е – В – О.