Связь коррелятивная и есть, таким образом, самая первичная, глубокая, изначальная связь; коррелятивно связаны между собой первоисточник и все, что из него вытекает, и этот именно тип связи неокантианцы пытаются усмотреть в качестве первичной формы всех других видов связи в научном мышлении. Наиболее простой и прозрачный образец этого типа связи — связь членов ряда с принципом ряда. Принцип ряда раскрывается только через осуществление самого ряда, а все члены ряда в их связи
-367-
становятся понятными через принцип ряда. Первоисточник — это, рассуждая по аналогии, есть принцип бесконечного «ряда» познания, он раскрывается только через сам ряд, но и ряд, напротив, становится понятным только благодаря установлению принципа этого ряда, т. е. первоисточника.
Так решается в неокантианстве задача « круга в последнем обосновании». Логика, которую они при этом разрабатывают, это логика отношений39, или коррелятивная логика.
2. Принципы логики отношений и логическое обоснование математики у Наторпа и Кассирера
Мы видели, каким образом в интерпретации неокантианцев априорный синтез из синтеза разнородных элементов — логического и эстетического (чувственного) — стал синтезом разнородных моментов внутри одного лишь логического. Очевидно, что здесь неокантианцы оставляют почву кантовской философии, которая стремилась примирить в рамках своего учения эмпиризм и рационализм, и переходят на позиции рационализма платоновского типа. Правда, Платону при этом они дают несколько нетрадиционное истолкование, но один из важнейших моментов его диалектики — учение о совпадении противоположностей, о единстве различного — они полностью разделяют. Поворот к платонизму для неокантианцев был вызван их стремлением дать логическое обоснование научного знания и избежать тем самым релятивизма, связанного с эмпирическим обоснованием науки. Неокантианцы развивают ряд принципов платоновской диалектики — ив этом отношении также сознают себя последователями Платона. Кассирер в статье «К логике понятия символа» пишет, что Платон, «в отличие от Парменида, не является логическим монистом. Он является решительным плюралистом. Царство мышления, царство истины не содержится для него в одном единственном неразличимом полагании. Оно конституируется в многообразии полагании, которые различаются друг от друга и в то же время связаны друг с дру
-368-
гом... Всякая идея есть нечто в себе определенное и завершенное ... Но это не значит, что она стоит абсолютно сама по себе. Уже ее простое бытие включает отношение к другому. Каким образом это отношение возможно и как оно может стать предметом строгого знания — это отныне становится трудной проблемой. Она стоит в центре учения позднего Платона... Решение ее Платон видит в том, чтобы признать категорию различия основной логической категорией... Кто выбрасывает различие из области чистого мышления и определяет последнее как мышление тождества, тот разрушает тем самым силу диалектического знания... Аналитическая логика чистого тождества расширяется тем самым в синтетическую логику, в центре которой стоит вопрос о возможной связи, отношении и корреляции различного»40.
Диалектика Платона, как видно из приведенного отрывка, рассматривается кантианцами как попытка построить синтетическую логику, или логику отношений. Последняя, таким образом, близко подходит к тому, что стремился создать также и Гегель; однако, ссылаясь часто на Платона, неокантианцы, за исключением, правда, Кассирера, очень редко упоминают Гегеля, а Коген говорит о нем всегда в критическом тоне. Выше мы уже частично касались этого вопроса. Но сейчас у нас есть возможность объяснить его конкретнее.
Дело в том, что неокантианцы, истолковывая трансцендентальный синтез как чисто логический акт и тем самым подходя весьма близко к Гегелю, все же останавливаются перед тем, чтобы объявить этот акт порождающим саму субстанцию бытия. Акт синтеза остается у них единством функции, но не становится единством субстанции: он оказывается порождающим связь, отношение; недаром же Наторп, говоря о первоисточнике, подчеркивает, что он считает невозможным выводить из него все содержание сущего тем способом, каким это делал Гегель, полагая в качестве исходного пункта своей логики чистое ничто. Из ничто ничего не происходит41, заявляет Наторп, тем самым желая показать, что установление корреляции между порождающим началом и порождаемым результатом есть совершенно иная логическая операция, чем просто логическое выведение порождаемого из порождающего.
-369-
Что представляет собой эта операция и чем отличается она от гегелевского выведения всех логических форм из первой, исходной (лишенной еще всякого определения) логической формы — чистого ничто, Наторп пытается показать при рассмотрении исходного понятия Марбургской школы — понятия первоисточника. «Исходить следовал о бы из ничто, потому что ничто не может быть предпослано, прежде чем оно не будет порождено в мышлении42. Но из ничего ничего и не будет. Следовательно, это "так называемое" ничто должно быть чем-то; оно называется "первоисточное-нечто" (Ursprungs-Etwas). Но тем самым, видимо, уже словесно вновь нарушается требование, согласно которому ничто не может быть положено в основу, а всякое нечто должно быть, напротив, впервые обосновано... По-другому эту трудность можно было бы выразить еще и так: если первоисточник должен из себя породить нечто — определенное нечто, то это последнее каким-то образом уже должно в нем заключаться, но тем самым утрачивается именно то, что составляет сущность первоисточника, — чистое порождение мыслительного содержания... Ничто, которое должно быть предпослано чистому порождению содержания познания, в действительности также и согласно Когену есть только «относительное ничто», оно скорее есть указание на противостоящее другое... Первоисточник целиком сводится к возможности перехода, а тем самым к сплошной непрерывности связи как связи обоснования; не случайно в конце концов самым ясным смыслом когеновского первоисточника оказывается непрерывность мышления»43.
Это очень важное высказывание. Сущностью первоисточника, как говорит здесь Наторп, является «указание на противостоящее другое». Отсылание к другому — вот важнейшее определение первичного акта мышления; мышление начинается там, где начинается это отсылание к другому, противостоящему. Дать определение мышления—значит отнести определяемое к чему-то другому, чем оно само; это и есть установление связи, отношения с другим. В этом смысле мышление, в толковании неокантианцев, выступает как непрерывное опосредование. К требованию связи, опосредования и сводится, собственно, «содержательность» логики неокантианцев. Задачей их становится по
-370-
этому анализ уже существующих научных понятий и теорий с точки зрения наличия в них «непрерывной связи». Здесь неокантианцы действительно в одном отношении наследники Канта, ибо Кант, отвергая допущение интеллектуальной интуиции (интеллектуального непосредственного знания), утверждал, что мышление по самой своей сущности есть опосредование. А поскольку всякое знание есть продукт синтеза чувственности с мышлением, то оно может быть только опосредованным. То, что дается чувственностью, есть данное непосредственно, но его нельзя характеризовать как знание. Что же касается неокантианцев, то они не признают не только непосредственного знания (как и Кант), но и никакой непосредственной данности вообще (в отличие от Канта).
Это же высказывание Наторпа дает возможность установить, в чем он расходится и с Гегелем. Первоисточное – нечто есть не гегелевское ничто, из которого в дальнейшем выводятся все категории логики, а скорее только указание на противостоящее другое, установление связи с другим, требование связи, непрерывности, и больше ничего.
Итак, отсылание к другому, опосредование, установление отношения к другому — вот глубочайшая сущность мышления, согласно неокантианцам. Но в таком случае мышление находит свое чистейшее воплощение в акте образования знака, ибо его сущностью является как раз установление связи с «другим», «отсылание к другому» в наиболее чистом виде. Создание знака, или, как предпочитает выражаться Кассирер, «символа», — вот первый акт мышления. Приведем в этой связи высказывание Кассирера, развивающего положения Наторпа. «Оказывается, — пишет Кассирер в «Философии символических форм», — что всякое теоретическое определение и всякое теоретическое овладение бытием связано с тем, что мысль, вместо того чтобы непосредственно обращаться к действительности, устанавливает систему знаков и употребляет эти знаки в качестве представителей предметов. В той мере, в какой осуществляется эта функция представительства, бытие только и начинает становиться упорядоченным целым, некоторой ясно обозримой структурой»44.
Такое понимание мышления входит в противоречие с традиционной теорией абстракции, восходящей к Арис
-371-
тотелю и получившей развитие в эмпиристски-индуктивной традиции XVTI-XVIII вв. Неокантианцы по традиции именуют теорию абстракции «аристотелевской логикой». Эта логика в качестве своей онтологической предпосылки допускает существование многообразия вещей, у которых путем сравнения усматриваются некоторые общие признаки, которые и составляют содержание понятия. Основные функции мышления сводятся здесь практически к сравнению и различению того, что дано в виде внешнего и внутреннего многообразия. Такой способ образования понятий был описан в Новое время Локком, но уже Локк отметил, что при этом возникают известные трудности, когда дело доходит до образования понятий математики. Критики эмпиристской теории абстракции в лице рационалистов XVIII века, а особенно Канта, показали, что трудности при таком понимании процесса образования понятий возникают не только в связи с математикой, но в математике они острее выявляются и потому более всего бросаются в глаза. Потому именно здесь неокантианцы и выявляют несостоятельность теории абстракций. «Понятие (с этой точки зрения. — П.Г.) не является чем-то чуждым миру чувственной действительности, оно образует часть самой этой действительности, экстракт из того, что содержится в ней непосредственно. В этом отношении понятия точных математических наук стоят на одном уровне с понятиями описательных наук, занимающихся исключительно обозрением и классификацией данного. Подобно тому как мы образуем понятия о дереве, извлекая из совокупности дубов, буков, берез и т. д. всю массу их общих признаков, так точно мы образуем и понятие о плоском четырехугольнике, изолируя то особое свойство, которое фактически имеется — и может быть непосредственно и наглядно показано — в квадрате и прямоугольнике, в ромбе и ромбоиде, в симметрических и асимметрических трапециях и трапецоидах»45.