Эдмунд Гуссерль - Идеи к чистой феноменологии и феноменологической философии. Книга 1

Теперь возникает потребность в новой группе категориальных различений, принадлежной к совокупной сфере сущностей. Любая сущность, все равно содержательная или пустая (т. е. чисто-логическая), включается в некую иерархию сущностей — в поступенный ряд генерального и специфического. От такового ряда неотъемлемы две границы, какие — с необходимостью — никогда не совпадают. Спускаясь вниз, мы достигаем самых нижних специфических различений, или же, как мы тоже говорим, эйдетических единичностей; восходя же, мы через видовые и родовые сущности, достигаем наивысшего рода. Эйдетические единичности — это сущности, которые хотя и необходимо обладают стоящими над ними «более всеобщими» сущностями в качестве своего рода, но уже не обладают стоящими ниже их обособлениями, в отношении которых они сами были бы видами (ближайшими видами, или же опосредованными, высшими родами). Точно так же тот род — самый высший, над которым нет уже никакого рода.

В этом смысле в чисто-логической области значений «значение вообще» есть наивысший род, а всякая определенная форма предложения, всякая определенная форма члена предложения, есть эйдетическая единичность, предложение вообще — опосредующий род. Точно так же и численность вообще есть наивысший род. А «два», «три» и т. д. суть низшие дифференции, или же эйдетические единичности такового. Так, к примеру, в содержательной сфере вещь вообще, чувственное качество, пространственный облик, переживание вообще — это высшие роды; сущностные же наличности, принадлежные к определенным вещам, определенным чувственным качествам, пространственным обликам, переживаниям как таковым, суть эйдетические и при этом содержательные единичности.

От всех этих определяемых через род и вид сущностных отношений (не отношений классов, т. е. множеств) неотделимо то, что в особенных сущностях «непосредственно или опосредованно содержится» более общая сущность — в определенном смысле, который подобает постигать, по своеобразию его, в эйдетической интуиции. Именно поэтому не один исследователь числит отношение эйдетического рода и вида к эйдетическому обособлению среди отношений «части» и «целого». При этом «часть» и «целое» получают предельно широкий смысл «содержащего» и «содержимого», так что эйдетические видовые отношения тогда — особый случай такового.

Итак, эйдетически-единичное имплицирует всю совокупность стоящих над ним всеобщностей, каковые со своей стороны постепенно «заключаются друг в друга», нечто высшее всякий раз в чем-либо низшем.

Резко различать должно отношения генерализации и специализации от существенно иного — обобщения содержательного в чисто-логически формальное — и обратно этому — обретения содержательности чем-либо логически-формальным. Говоря другими словами: генерализация есть нечто совершенно иное, нежели формализация, подобная, например, той, какая играет столь значительную роль в математическом анализе, а специализация — нечто совершенно иное, нежели деформализация, т. е. «заполнение» логически-математической пустой формы, или же формальной истины.

Сообразно с чем нельзя смешивать сущность, как она стоит под формальной всеобщностью чисто-логической сущности, и сущность, как она стоит под своими высшими сущностными родами. Так, к примеру, сущность «треугольник» подчинена и наивысшему роду «пространственный облик», сущность «красное» — высшему роду «чувственное качество». С другой же стороны, «красное», «треугольник», равно как и все гомогенные и гетерогенные сущности подчинены категориальной рубрике «сущность», каковая отнюдь не имеет в отношении всех их характера сущностного рода, и напротив не имеет такового в отношении ни одной из них. Смотреть на «сущность» как на род содержательных сущностей было бы столь же нелепо, как истолковывать предмет вообще (пустое нечто) в качестве рода для любого вида предметов, затем же, естественно, как один-единственный наивысший род, как род из родов. Придется, совсем напротив, характеризовать любые формально-логические категории как эйдетические единичности, которые своим наивысшим родом обладают в сущности «формально-онтологическая категория-вообще».

Равным образом ясно, что любое определенное умозаключение, скажем, служащее целям физики, есть индивидуализирование определенной чисто-логической формы умозаключения, каждое определенное положение физики — индивидуализирование определенной формы положения и т. п. Но чистые формы — это не роды, относящиеся к содержательным предложениям или же умозаключениям, но сами же они суть лишь низшие различения, а именно дифференциации чисто-логических родов «предложение», «умозаключение», которые, подобно всем таким родам, обладают своим наивысшим родом «значение-вообще». Итак, заполнение логически-пустых форм (а ничего иного, помимо пустых форм, в mathesis universalis вообще нет), есть операция совершенно отличная от подлинной специализации, достигающей конечной дифференциации. Это следует констатировать повсюду: так, например, переход от пространства к «Евклидову многообразию» — это не генерализация, а «формальное» обобщение.