Итак, анализ подобных примеров показывает, что умозаключение невозможно в том случае, когда от следствия, взятого в абстрактной форме, мы хотим перейти к основанию, взятому в более конкретной форме. Так как следствие, взятое в абстрактной форме, есть не что иное, как часть того следствия, которое получается из более конкретного основания, то мы можем выразить свою мысль также следующим образом: примеры, приводимые в доказательство невозможности умозаключений от присутствия следствия, доказывают только, что нельзя умозаключать от части следствия к более полному основанию, но они вовсе не доказывают, будто нельзя умозаключить от полного следствия к полному основанию (или от абстрактного следствия к основанию равной степени абстрактности). Следовательно, традиционная логика забраковывает умозаключения от присутствия следствия просто потому, что она требует от них слишком многого. Если бы предъявить подобные требования к умозаключениям от присутствия основания, то и они оказались бы невозможными. В самом деле, умозаключать от части основания к полному следствию, вообще от абстрактного основания к более конкретному следствию, нельзя. Зная, напр., что химически чистая вода нагрета до 100°C, нельзя еще выводить отсюда, что она кипит, потому что кипение зависит не только от температуры, но и от давления. Подобрать ряд таких примеров это не значит еще доказать, будто умозаключения от присутствия основания не достоверны; точно так же несостоятельны и примеры, приводимые в доказательство того, будто умозаключения от присутствия следствия не достоверны.

Мы старались показать, что у традиционной логики нет оснований считать умозаключения от присутствия следствия менее достоверными, чем умозаключения от присутствия основания. Однако этого мало: чтобы вполне отстоять умозаключения этого рода, необходимо привести в их пользу также и положительное доказательство, именно установить в параллель постулату однозначной связи основания со следствием постулат однозначной связи следствия с основанием305. Доводы в пользу постулатов должны быть двух родов: теоретические, обыкновенно умозрительные (что такое умозрение, об этом будет сказано в конце главы), и практические. Для того, кто придерживается реалистического учения об общем, существует очень простое теоретическое доказательство рассматриваемого постулата: то же самое умозрение, благодаря которому для нас очевидно, что всякое явление имеет основание, служит ручательством как однозначности связи основания со следствием, так и однозначности связи следствия с основанием. В самом деле, согласно реалистическому учению об общем, одинаковое в различных случаях следствие (или основание) есть в буквальном смысле слова одно и то же численно тожественное следствие (или основание), а потому невозможно, чтобы оно имело то одно, то другое основание (следствие). Практический довод в пользу этого постулата также ясен: наука невозможна без него в такой же мере, как и без постулата однозначной связи основания со следствием. Почему логика не усмотрела этого до сих пор и пыталась удовольствоваться только одним из этих постулатов, рассмотрение этой интересной проблемы мы предоставим психологии и истории наук.

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

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

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

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