В таком случае единственным смыслом такой «возможности» здесь может быть лишь «значимость» или, лучше, «сущностность»: условием возможности науки или теории является то, что составляет их идеальную сущность167
. И соответствующий вопрос должен принять теперь следующую форму: «каковы те примитивные возможности, из которых слагается «возможность» теории; другими словами, – каковы те примитивные сущностные понятия, на которых вырастает сущностное тоже понятие теории. И далее, каковы те чистые законы, которые, свое основание имея в этих понятиях, сообщают каждой теории, как таковой, единство»168.Таким образом, «логическое оправдание какой-либо данной теории, как таковой, (т. е. согласно ее форме), требует восхождения к сущности ее формы и, следовательно, восхождения к тем понятиям и законам, которые представляют собою идеальные составные моменты теории вообще («условия возможности») и априорно и дедуктивно регулируют всякую специализацию идеи теории в ее возможных видах»169
. Дело идет, стало быть, «о систематических теориях, свое основание имеющих в сущности теории, или же об априорной теоретической номологической науке, которая имеет в виду идеальную сущность науки как таковой, и, следовательно, обращается к ней со стороны содержащихся в ней систематических теории при исключении ее эмпирической, антропологической стороны»170.3. Как такая априорно-номологическая наука о науке, логика в общих чертах ставит себе три следующие задачи: а) Прежде всего она должна установить («научно уяснить») все те «примитивные понятия», которые обусловливают возможность объективной связи познания и слагаются в идею теоретического единства, другими словами, – все простейшие и первичнейшие категории смысла (ибо ведь «всякая наука по своему объективному содержанию слагается из этого однородного материала: она представляет идеальную совокупность смыслов in specie»)171
. Эти категории принадлежат к двум классам. Они суть либо элементарные формы соединения, например, формы гипотетического, дизъюнктивного и т. п. соединения положений в новые положения, различные формы подлежащего, сказуемого и т. д., или они представляют собою чисто– или формально-предметные категории, как-то: понятия предмета, содержания, единства, множества, числа, отношения, связи и т. п.172В обоих случаях дело идет о понятиях, совершенно независимых от особенностей какого-либо материала. И в обоих же случаях логическое исследование задается целью вскрыть логическое происхождение этих категорий, т. е. постигнуть их «сущность» и фиксировать их точное значение173
.б) Далее, чистая логика должна установить те законы, «которые свое основание имеют в указанных категориальных понятиях и касаются не только их усложнения, но, скорее, объективной значимости слагающихся из них теоретических единств174
. Эти законы, в свою очередь, построяют теории: с одной стороны, теории умозаключений, например, силлогистики, с другой, – такие теории, как теория чистого множества, чистого числа и т. п. В конце-концов, они должны обосновывать собою одну всеохватывающую теорию, определяющую своею сущностью все остальные. Другими словами, эти законы образуют как бы тот идеальный фонд, из которого каждая определенная теория заимствует идеальные основания своей сущности: «это законы, согласно которым она осуществляется и от которых она, как значимая теория, может, в конце концов, со стороны своей формы получить оправдание175.в) Наконец, чистая логика имеет еще добавочную задачу: установить a priori существенные виды (формы) теории и соответствующие законы их связи. «Так вырастает идея обширной науки о теории вообще, которая в своей основной части исследует существенные понятия и законы, конститутивные для идеи теории, а затем дифференцирует эту идею и исследует априорно вместо возможности теории, как таковой, сами возможные теории»176
. Это – высшая и последняя цель теоретической науки о теории или наук вообще: она сообщает ей некоторую целостность и законченность. Вместе с тем чистая логика приобретает некоторое практически-методологическое значение, которого непосредственно лишена ее более элементарная часть. «Ибо с расширением дедуктивной и теоретической сферы вырастает также и свободная подвижность теоретического исследования, обилие и плодотворность методов»177.Эта цель чистой логики отчасти уже нашла свое осуществление в лице, так называемой, «формальной математики» или «учения о множествах» (комплексах). «Самая общая идея учения о множествах заключается в стремлении сделаться наукой, с определенностью устанавливающей существенные типы возможных теории и исследующих их закономерное отношение друг к другу. Все наличные теории являются в таком случае специализациями, или же сингуляризациями соответствующих им теорийных форм подобно тому, как все теоретически-обработанные области познания суть отдельные множественности»178
.