следовательно, оно – четное число». Мы сразу замечаем, что эти два обоснования имеют нечто общее, одинаковое внутреннее строение, которое мы разумно выражаем в форме «умозаключения»: всякое А есть В, Х есть А, следовательно, Х есть В. Но не только эти два обоснования имеют эту одинаковую форму, а еще и бесчисленное множество других. Более того, форма умозаключения представляет собой понятие класса, объемлющее бесконечное многообразие связей предложений того же рельефно выраженного в нем строения. Но в то же время имеется априорный закон, гласящий, что всякое предлагаемое обоснование, протекающее по этой схеме, действительно верно, поскольку оно вообще исходит из верных предпосылок.
И это имеет всеобщее значение. Всюду, где мы путем обоснования восходим от данных познаний к новым, ходу обоснования присуща известная форма, общая ему с бесчисленными другими обоснованиями. Эта форма находится в известном отношении к общему закону, который дает возможность сразу оправдать все отдельные обоснования. Ни одно обоснование – и это в высшей степени замечательный факт – не стоит изолированно. Ни одно не связывает познаний с познаниями без того, чтобы либо во внешнем способе связывания, либо в нем и вместе с тем во внутреннем строении отдельных положений не выражался определенный тип. Облеченный в форму общих понятий, тип этот приводит к общему закону, который относится к бесконечному числу возможных обоснований.
Отметим, наконец, еще третью достопримечательность. С самого начала, то есть до сравнения обоснований различных наук, представлялось бы допустимым, что формы обоснования связаны каждая со своей областью знания. Правда, обоснования не меняются вообще вместе с соответствующими классами объектов, но все же могло бы быть так, что обоснования резко подразделяются сообразно с некоторыми весьма общими понятиями классов, напр., теми, которые разграничивают области знания. Значит, нет формы обоснования, общей двум наукам, например, математике и химии? Ясно, между тем, что это не так; это видно уже из вышеприведенного примера. Нет науки, в которой не встречалось бы неоднократного перенесения общего закона на частные случаи, то есть формы умозаключения, взятой нами выше в виде примера. То же относится и ко многим другим видам умозаключения. Более того, мы сможем сказать, что все другие формы умозаключения могут быть так обобщены и поняты в своем «чистом» виде, что освобождаются от всякой существенной связи с конкретно ограниченной областью познания.
§ 8. Отношение этих особенностей к возможности науки и наукоучения
Эти особенности обоснований, своеобразия которых мы не замечаем потому только, что мы слишком мало склонны искать проблем в повседневном, явно связаны с возможностью науки, а затем и наукоучения.
В этом отношении не достаточно того, что обоснования просто существуют. Если бы они были бесформенными и незакономерными, если бы не существовала та основная истина, которая гласит,
