Поскольку исходную точку, т. е. основание умозаключения, мы усматриваем в таком определенном, замкнутом в себе содержании, мы не имеем здесь иного исхода, кроме признания, что посылка приводит к выводу не сама по себе, но лишь в связи с иным, дополнительным знанием, содержанием которого служит связь между этой посылкой и выводом. Посылка «А есть» сама по себе говорит лишь за себя, утверждает лишь заключенное в ней самой содержание, но, сочетаясь с особым знанием «если есть А есть и В», она дает вывод «В есть». В таком случае подлинным основанием вывода или, что то же, его посылками будет служить не одно суждение «А есть», а оба суждения <А есть» и «если А есть, то есть и В».

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

Прежде всего, если закон перехода от А к В мы будем рассматривать как одну из посылок, т. е. найденную формулу умозаключения будем толковать, как силлогизм с двумя посылками — категорической и условной, —то ясно, что этот силлогизм сам также нуждается, помимо своих посылок, еще в особом законе, связывающем его посылки с выводом. В самом деле, вывод «В есть» совсем не «дан», не содержится «аналитически» в посылках “А есть; если А есть, то есть и В»; напротив, по сравнению с ними он содержит именно совершенно новое знание, которое, правда «вытекает», синтетически «следует» из посылок, но не заключено в них; это видно уже из того, что в выводе содержание В появляется в категорической форме, т. е. утверждается само по себе, тогда как в посылках (именно в гипотетической посылке) оно дано лишь в условной форме, или утверждается не оно само, а лишь его связь с А Поэтому, если из посылок “А есть; из А следует А» действительно вытекает вывод «В есть» (как это несомненно), то лишь на основании особого закона, соединяющего посылки с выводами: «если А есть, и если из А вытекает В, то и В есть»[94]

Таким образом, общая формула умозаключения примет у нас следующий вид:

Если А есть, и если из А вытекает В, то и В есть.

А есть, и из А вытекает В.

Следовательно, В есть.

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

Наряду с этой трудностью рассматриваемого понимания формулы опосредствованного знания, в нем открывается и другая, в известном смысле прямо противоположная первой и вместе с тем тесно с ней связанная. Сущность этого понимания состоит, как мы знаем, в том, что для перехода от имеющегося знания А к опосредствованному знанию В мы должны иметь особое знание о правиле этого перехода в лице суждения «если есть А, то есть и В». В состав непосредственного знания должно входить не только знание А, но и знание о связь А с В, или о зависимости В от А Но как возможно это последнее знание до знания о самом В, которое должно из него вытекать? Ведь для того, чтобы знать, что В зависит от А или вытекает из него, казалось бы, надо уже иметь само это В как таковое.

Это затруднение, правда, не имеет места в одном случае опосредствованного знания, именно когда категорическая посылка, а следовательно, и вывод заключает в себе знание какого‑либо конкретного временного факта, тогда как гипотетическая посылка «если есть А есть и В», как это само собой разумеется, содержит лишь указание на вневременно общую связь между А и £; в этом случае, очевидно, гипотетическая посылка не предвосхищает вывода и, следовательно, возможна до него. Так, если я рассуждаю. — «NN выпил сулемы; сулема есть яд; следовательно, NN отравлен», то закон, соединяющий посылки с выводом и гласящий: «если NN выпил сулемы, и сулема есть яд, то он отравлен», очевидно, выражает только общую, вневременную связь между двумя мыслимыми событиями, но отнюдь не действительность самого факта отравления NN, о чем говорит вывод. Но оставим пока в стороне эту область знания и остановимся на знании, которое в посылке и в выводе говорит об отвлеченно общем. Ведь рассматриваемая нами формула умозаключения по замыслу своему должна иметь универсальное значение, т. е. распространяться на всякое опосредствованное знание. Между тем любой пример из области знания об отвлеченно–общем обнаруживает наличность указанной трудности. Допустим, что я доказываю необходимость признания субстанциального бытия следующим рассуждением: необходимость качественного бытия самоочевидна; но качество предполагает субстанцию, как носителя качества (т. е. если есть качество, есть и носитель его); следовательно, есть и субстанциальное бытие. Не ясно ли, что «гипотетическая» посылка здесь предполагает уже категорический вывод или тождественна с ним? Откуда взялось бы у меня понятие «носителя качества», входящее в состав этой посылки, если бы это понятие не было мне как‑либо «дано», и что означает эта «данность», как we необходимость рассматриваемого понятия — необходимость, которая именно и образует содержание вывода? Кто отрицает субстанциальное бытие, тот признает неосновательной саму гипотетическую посылку, а кто признает последнюю, тот уже не нуждается в особом выводе, ибо в самой этой посылке уже имеет его. Или возьмем геометрическое положение: «из природы треугольника вытекает, что сумма углов его равняется двум прямым», и будем считать его достоверным для нас знанием. Не ясно ли, что это положение, которое выражает необходимую связь между двумя содержаниями А и В (между понятием «треугольника» и понятием «равенства его углов двум прямым»), уже в себе самом заключает утверждение необходимости второго понятия, тая что вывод «следовательно, сумма углов треугольника равна двум прямым» (т. е. по нашей схеме вывод «В есть») не дает уже ничего нового, а лишь повторяет часть содержания гипотетической посылки?

Нам, конечно, возразят, что для действительности вывода необходима не только гипотетическая посылка, но и категорическая: так, если бы такой фигуры, как треугольник, вообще не существовало, то указанное гипотетическое суждение не давало бы права на категорическое признание равенства суммы его углов двум прямым. Это, конечно, совершенно справедливо. Но дело в том, что отношение гипотетической посылки к категорической совершенно таково же, как ее отношение к выводу. Если рассматриваемое гипотетическое суждение вообще возможно, т. е. имеет смысл и признается истинным, то это именно и значит, что мы имеем право на входящие в него понятия, т. е. что содержание А (также, как содержание В) мы обязаны признавать; так что признание истинным указанного геометрического положения о связи между треугольником и величиной суммы его углов уже предполагает суждение «треугольник (как математическая фигура) есть понятие правильное» (т. е. по нашей схеме — суждение: “А есть»). Если бы речь шла о реальном, конкретном бытии, например, о реальном существовании где‑либо или когда‑либо треугольника, как фигуры, воплощенной в какомлибо телесном предмете, то, конечно, отнюдь нельзя было бы утверждать, что указанная общая геометрическая истина его предполагает. Но в области знания об отвлеченно–общем (в области абстрактного или рационального знания), напротив, совершенно очевидно, что гипотетическое суждение «если есть А, есть и В» (или «из А вытекает В”), уже в себе самом заключает как посылку «А есть», так и вывод «5 есть». Таким образом, опосредствованное знание (знание «В есть») либо невозможно, если оно действительно требует независимого от него промежуточного звена («еслиА есть, есть и В»), либо ненужно, если оно совпадает с этим — по условию, непосредственно известным — промежуточным звеном. Или, иначе говоря, умозаключение по формуле «А есть; из А вытекает В следовательно, В есть» невозможно либо потому, что вывод совсем не вытекает из посылок, т. е. не обоснован в них самих, либо же потому, что посылка «из А вытекает В» уже сама предполагает этот вывод (как и категорическую посылку).

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

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

Этим открывается путь к преодолению указанных трудностей. Обе эти трудности проистекают, очевидно, из одного источника: из допущения, что движение опосредствованного знания слагается из обособленных, замкнутых в себе отдельных частей. Именно при этом допущении оказывается, что, с одной стороны, для возможности перехода между отдельными частями необходимо бесконечное ' число промежуточных звеньев и, с другой стороны, отдельные части, из сложения которых составлялся, по допущению, ход опосредствованного знания, немыслимы, ибо одна из них предполагает другие. Если отказаться от этого допущения, то обе апории сразу отпадают.