С. Л. Франк - Предмет знания
Ясно, что этой формулой объемлются все без исключения умозаключения. Ведь она выражает их общую природу и сводится к тому, что всякий вывод предполагает как исходную точку знания («посылку» или «посылки», в чем бы они ни заключались) А, так и закон перехода от нее к выводу: если есть А то необходимо должно быть В. Возьмем, например, так называемое непосредственное умозаключение обращения: из «все S суть P» мы умозаключаем, что «некоторые P суть S». Очевидно, вывод опирается здесь как на посылку «все S суть Р», так и на правило: «если все S суть Р, то некоторые Р суть S». Столь же легко, конечно, подвести под эту формулу силлогизм, и все вообще допускаемые нами виды умозаключения. Всюду и везде, в чем бы ни заключалось специальное содержание посылок и частная форма перехода от них к выводу, умозаключение есть переход от основания к следствию, т. е. опирается как на присутствие основания, так и на закон, связующий основание со следствием.
Могло бы показаться, что по крайней мере один тип умозаключения противостоит этой формуле в качестве самостоятельной формы, именно умозаключение, которое совершается через переход не от основания к следствию, а наоборот — от следствия к основанию, именно от отсутствия следствия к отсутствию основания. Аогика обычно рассматривает указанную нами формулу, как так называемый modus ponens условно–категорического умозаключения и противопоставляет ему в качестве самостоятельного типа modus tollens. Отнюдь не отрицая относительной, т. е. дидактической целесообразности, этого традиционного деления, мы ограничиваемся здесь тем самоочевидным указанием, что в умозаключении, основанном на переходе от отсутствия следствия к отсутствию основания, отсутствие следствия само играет роль основания, а отсутствие основания — роль следствия; таким образом, переход от основания к следствию в силу закона, объединяющего их между собой, есть подлинно универсальная форма движения знания[92]. Итак, о каком бы содержании знания ни шла речь, и какими бы частными видами опосредствования мы ни пользовались в отдельных случаях, переход к новому содержанию всегда осуществляется в указанной универсальной форме.
Мы должны теперь уяснить истинный смысл намеченной нами формулы умозаключения и исследовать условия, в силу которых возможно умозаключение.
Содержание A (суждение “А есть») должно служить посылкой вывода «В есть»; т. е. эти два содержания так связаны между собой, что раз признано или имеет силу первое, непосредственно должно иметь силу и второе. Таков самоочевидный смысл намеченной формулы, выражающей общую природу логической связи между разными содержаниями. Но как возможна эта связь? Посылка, рассматриваемая сама по себе, имеет, подобно всякому знанию, определенное, замкнутое в себе содержание; в качестве такового она говорит нам только об этом содержании, и ни о чем ином. Каким же образом это знание “А есть» может вместе с тем говорить, что «В есть», т. е. вынуждать нас к признанию содержания, которое лежит за его пределами и не заключено в нем самом[93]?
Поскольку исходную точку, т. е. основание умозаключения, мы усматриваем в таком определенном, замкнутом в себе содержании, мы не имеем здесь иного исхода, кроме признания, что посылка приводит к выводу не сама по себе, но лишь в связи с иным, дополнительным знанием, содержанием которого служит связь между этой посылкой и выводом. Посылка «А есть» сама по себе говорит лишь за себя, утверждает лишь заключенное в ней самой содержание, но, сочетаясь с особым знанием «если есть А есть и В», она дает вывод «В есть». В таком случае подлинным основанием вывода или, что то же, его посылками будет служить не одно суждение «А есть», а оба суждения <А есть» и «если А есть, то есть и В».
На первый взгляд, ничто не мешает нам так толковать найденную нами формулу умозаключения. При ближайшем рассмотрении, однако, тотчас же обнаруживается, что это понимание ведет к безвыходным трудностям.
Прежде всего, если закон перехода от А к В мы будем рассматривать как одну из посылок, т. е. найденную формулу умозаключения будем толковать, как силлогизм с двумя посылками — категорической и условной, —то ясно, что этот силлогизм сам также нуждается, помимо своих посылок, еще в особом законе, связывающем его посылки с выводом. В самом деле, вывод «В есть» совсем не «дан», не содержится «аналитически» в посылках “А есть; если А есть, то есть и В»; напротив, по сравнению с ними он содержит именно совершенно новое знание, которое, правда «вытекает», синтетически «следует» из посылок, но не заключено в них; это видно уже из того, что в выводе содержание В появляется в категорической форме, т. е. утверждается само по себе, тогда как в посылках (именно в гипотетической посылке) оно дано лишь в условной форме, или утверждается не оно само, а лишь его связь с А Поэтому, если из посылок “А есть; из А следует А» действительно вытекает вывод «В есть» (как это несомненно), то лишь на основании особого закона, соединяющего посылки с выводами: «если А есть, и если из А вытекает В, то и В есть»[94]
Таким образом, общая формула умозаключения примет у нас следующий вид:
Если А есть, и если из А вытекает В, то и В есть.
А есть, и из А вытекает В.
Следовательно, В есть.
Необходимость этой формулы очевидна. Но очевидно также, что, раз признав ее, мы приведены к регрессу до бесконечности. В самом деле, в этой новой формуле повторяется трудность, присущая предыдущей: закон сочетания посылок в свою очередь играет роль посылки, и потому для получения вывода опять‑таки требуется еще особый закон сочетания ее с другой посылкой, который снова должен быть выражен в виде гипотетической посылки дальнейшего умозаключения, и так далее до бесконечности[95] Само собой разумеется, что формальная природа всех этих умозаключений и их принципов остается совершенно одинаковой; но они каждый раз имеют различное содержание. Принцип предшествующего умозаключения становится гипотетической посылкой следующего умозаключения, и порядок сочетания посылок с выводом становится принципом этого второго умозаключения, т. е. гипотетической посылкой третьего, и т. д. Коротко говоря, суть этого регресса до бесконечности состоит в следующем: чтобы из непосредственного знания (данного в посылке или посылках) получить новое знание (вывод), необходимо иметь еще одно непосредственное знание о порядке сочетания посылки с выводом; но это последнее знание должно быть в свою очередь соединено с предшествующим, что предполагает опять новое соединяющее звено и т. д. Это значит, что выведение опосредствованного знания из непосредственного невозможно, так как требует бесконечного числа промежуточных звеньев.
Наряду с этой трудностью рассматриваемого понимания формулы опосредствованного знания, в нем открывается и другая, в известном смысле прямо противоположная первой и вместе с тем тесно с ней связанная. Сущность этого понимания состоит, как мы знаем, в том, что для перехода от имеющегося знания А к опосредствованному знанию В мы должны иметь особое знание о правиле этого перехода в лице суждения «если есть А, то есть и В». В состав непосредственного знания должно входить не только знание А, но и знание о связь А с В, или о зависимости В от А Но как возможно это последнее знание до знания о самом В, которое должно из него вытекать? Ведь для того, чтобы знать, что В зависит от А или вытекает из него, казалось бы, надо уже иметь само это В как таковое.
Это затруднение, правда, не имеет места в одном случае опосредствованного знания, именно когда категорическая посылка, а следовательно, и вывод заключает в себе знание какого‑либо конкретного временного факта, тогда как гипотетическая посылка «если есть А есть и В», как это само собой разумеется, содержит лишь указание на вневременно общую связь между А и £; в этом случае, очевидно, гипотетическая посылка не предвосхищает вывода и, следовательно, возможна до него. Так, если я рассуждаю. — «NN выпил сулемы; сулема есть яд; следовательно, NN отравлен», то закон, соединяющий посылки с выводом и гласящий: «если NN выпил сулемы, и сулема есть яд, то он отравлен», очевидно, выражает только общую, вневременную связь между двумя мыслимыми событиями, но отнюдь не действительность самого факта отравления NN, о чем говорит вывод. Но оставим пока в стороне эту область знания и остановимся на знании, которое в посылке и в выводе говорит об отвлеченно общем. Ведь рассматриваемая нами формула умозаключения по замыслу своему должна иметь универсальное значение, т. е. распространяться на всякое опосредствованное знание. Между тем любой пример из области знания об отвлеченно–общем обнаруживает наличность указанной трудности. Допустим, что я доказываю необходимость признания субстанциального бытия следующим рассуждением: необходимость качественного бытия самоочевидна; но качество предполагает субстанцию, как носителя качества (т. е. если есть качество, есть и носитель его); следовательно, есть и субстанциальное бытие. Не ясно ли, что «гипотетическая» посылка здесь предполагает уже категорический вывод или тождественна с ним? Откуда взялось бы у меня понятие «носителя качества», входящее в состав этой посылки, если бы это понятие не было мне как‑либо «дано», и что означает эта «данность», как we необходимость рассматриваемого понятия — необходимость, которая именно и образует содержание вывода? Кто отрицает субстанциальное бытие, тот признает неосновательной саму гипотетическую посылку, а кто признает последнюю, тот уже не нуждается в особом выводе, ибо в самой этой посылке уже имеет его. Или возьмем геометрическое положение: «из природы треугольника вытекает, что сумма углов его равняется двум прямым», и будем считать его достоверным для нас знанием. Не ясно ли, что это положение, которое выражает необходимую связь между двумя содержаниями А и В (между понятием «треугольника» и понятием «равенства его углов двум прямым»), уже в себе самом заключает утверждение необходимости второго понятия, тая что вывод «следовательно, сумма углов треугольника равна двум прямым» (т. е. по нашей схеме вывод «В есть») не дает уже ничего нового, а лишь повторяет часть содержания гипотетической посылки?
