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