Предмет знания

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

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

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

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

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

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

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

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

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

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