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

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

В самом деле, в чем бы ни заключалась логическая природа отдельных умозаключений — силлогизма, так называемого «непосредственного умозаключения», «несиллогистаческих умозаключений» и т. п. — общая сущность опосредствования в знании ясна сама собой: она состоит в переходе от одного содержания к другому и притом в переходе обоснованном, т. е. требуемом самим первым содержанием. Мы условились назвать исходную точку знания А а содержание, к которому оно приходит в результате своего движения, т. е. вывод, — В. Тогда природа всякого опосредствованного знания состоит в том, что, в силу наличности^ и его необходимой связи с В, есть также и В. Формула опосредствованного знания обрисовывается сама собой-. А есть; из А вытекает В (или: «если есть А, то есть и В») — , следовательно, есть В.

Ясно, что этой формулой объемлются все без исключения умозаключения. Ведь она выражает их общую природу и сводится к тому, что всякий вывод предполагает как исходную точку знания («посылку» или «посылки», в чем бы они ни заключались) А, так и закон перехода от нее к выводу: если есть А то необходимо должно быть В. Возьмем, например, так называемое непосредственное умозаключение обращения: из «все S суть P» мы умозаключаем, что «некоторые P суть S». Очевидно, вывод опирается здесь как на посылку «все S суть Р», так и на правило: «если все S суть Р, то некоторые Р суть S». Столь же легко, конечно, подвести под эту формулу силлогизм, и все вообще допускаемые нами виды умозаключения. Всюду и везде, в чем бы ни заключалось специальное содержание посылок и частная форма перехода от них к выводу, умозаключение есть переход от основания к следствию, т. е. опирается как на присутствие основания, так и на закон, связующий основание со следствием.

Могло бы показаться, что по крайней мере один тип умозаключения противостоит этой формуле в качестве самостоятельной формы, именно умозаключение, которое совершается через переход не от основания к следствию, а наоборот — от следствия к основанию, именно от отсутствия следствия к отсутствию основания. Аогика обычно рассматривает указанную нами формулу, как так называемый modus ponens условно–категорического умозаключения и противопоставляет ему в качестве самостоятельного типа modus tollens. Отнюдь не отрицая относительной, т. е. дидактической целесообразности, этого традиционного деления, мы ограничиваемся здесь тем самоочевидным указанием, что в умозаключении, основанном на переходе от отсутствия следствия к отсутствию основания, отсутствие следствия само играет роль основания, а отсутствие основания — роль следствия; таким образом, переход от основания к следствию в силу закона, объединяющего их между собой, есть подлинно универсальная форма движения знания[92]. Итак, о каком бы содержании знания ни шла речь, и какими бы частными видами опосредствования мы ни пользовались в отдельных случаях, переход к новому содержанию всегда осуществляется в указанной универсальной форме.

Мы должны теперь уяснить истинный смысл намеченной нами формулы умозаключения и исследовать условия, в силу которых возможно умозаключение.

Содержание A (суждение “А есть») должно служить посылкой вывода «В есть»; т. е. эти два содержания так связаны между собой, что раз признано или имеет силу первое, непосредственно должно иметь силу и второе. Таков самоочевидный смысл намеченной формулы, выражающей общую природу логической связи между разными содержаниями. Но как возможна эта связь? Посылка, рассматриваемая сама по себе, имеет, подобно всякому знанию, определенное, замкнутое в себе содержание; в качестве такового она говорит нам только об этом содержании, и ни о чем ином. Каким же образом это знание “А есть» может вместе с тем говорить, что «В есть», т. е. вынуждать нас к признанию содержания, которое лежит за его пределами и не заключено в нем самом[93]?

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

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

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

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

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

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

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