Равным образом ясно, что любое определенное умозаключение, скажем, служащее целям физики, есть индивидуализирование определенной чисто-логической формы умозаключения, каждое определенное положение физики — индивидуализирование определенной формы положения и т. п. Но чистые формы — это не роды, относящиеся к содержательным предложениям или же умозаключениям, но сами же они суть лишь низшие различения, а именно дифференциации чисто-логических родов «предложение», «умозаключение», которые, подобно всем таким родам, обладают своим наивысшим родом «значение-вообще». Итак, заполнение логически-пустых форм (а ничего иного, помимо пустых форм, в mathesis universalis вообще нет), есть операция совершенно отличная от подлинной специализации, достигающей конечной дифференциации. Это следует констатировать повсюду: так, например, переход от пространства к «Евклидову многообразию» — это не генерализация, а «формальное» обобщение.
Как и во всех подобных случаях, для подтверждения этого коренного различения необходимо восходить к сущностной интуиции, каковая незамедлительно научит нас тому, что логически-формальные сущности (например, категории) не «заключены» в содержательных обособлениях так, как «красное» вообще в различных оттенках красного или как «цвет» в красном или голубом, и что они вообще не присутствуют «в» них в собственном смысле слова, какой имел бы достаточно много общего с отношением целого и части (в обычном узком смысле) для того, чтобы оправдывать разговор о содержимости одного в другом.
Не требует подробного обсуждения и указание на то, что подведение чего-либо индивидуального, вообще какого-либо «вот это здесь» под некую сущность (подведение такое отличается различным характером в зависимости от того, идет ли речь о низшей дифференциации или о роде) нельзя смешивать с подчинением какой-либо сущности ее высшим видам или же некоему роду.
В равной мере можно только указать на переменчивые и в особенности сопрягаемые с функцией сущностей в общем суждении речи об объемах, каковые речи очевидно должны расходиться с только что обсужденными различениями. Всякая сущность, если только это не низшая дифференциация, обладает эйдетическим объемом, объемом спецификаций и наконец объемом эйдетических единичностей. С другой стороны, любая формальная сущность наделена своим формальным или «математическим» объемом. Далее, всякая сущность вообще обладает своим объемом индивидуализации, идеальной совокупностью возможных этостей, с какими она может быть сопряжена в эйдетически-универсальном мышлении. Говорить об эмпирическом объеме означает большее — ограничение одной сферой существования в силу приплетающегося сюда и снимающего чистую всеобщность полагания существования. Все это естественно переносится с сущностей на «понятия» как значения.
§ 14. Категории субстрата. Сущность субстрата и tode ti
Кроме того, мы примем во внимание различение «полных» «содержательных» субстратов, соответственно «полных» «содержательных» синтактических предметностей и пустых субстратов с образуемыми из них синтактическими предметностями — модификациями пустого нечто. Класс последних сам по себе отнюдь не пустой и не бедный, а именно он определяется как совокупность всех относящихся к наличности чистой логики как mathesis universalis положений дел со всеми категориальными предметностями, из каких строятся таковые. Итак, каждое положение дел, высказываемое какой-либо силлогистической или арифметической аксиомой или теоремой, каждая форма умозаключения, каждое порядковое число, каждое построение из чисел, каждая функция чистого анализа, каждое правильно определенное евклидово или неевклидово многообразие — все относится сюда.
Если мы отдадим теперь предпочтение классу содержательных предметностей, то мы достигнем последних содержательных субстратов в качестве сердцевины любых синтактических образований. К подобным сердцевидным ядрам относятся категории субстрата, подходящие под две основные дизъюнктивные рубрики — «содержательная последняя сущность» и «вот это здесь!», или же попросту лишенная синтактической формы индивидуальная единичность. Термин «индивид», напрашивающийся сам собою, потому неуместен здесь, что как раз та самая неделимость, как бы ни определять ее, какая выражается наряду с иным в этом слове, никак не может быть введена в это понятие и, напротив, должна быть предоставлена особенному и совершенно необходимому понятию «индивид». Поэтому мы заимствуем аристотелевское выражение tode ti, которое по крайней мере по букве не включает в себя такой смысл.
Мы противопоставили друг другу последнюю сущность без формы и, «вот это!»; теперь же мы обязаны констатировать существующую между ними сущностную взаимосвязь, состоящую в том, что всякое «вот это» обладает своей содержательной сущностной наличностью, наделенной характером сущности субстрата без формы, в вышеуказанном смысле.
§ 15. Самостоятельные и несамостоятельные предметы. Конкрет и индивид
Мы нуждаемся и еще в одном основополагающем различении, а именно в различении самостоятельных и несамостоятельных предметов. Так, к примеру, несамостоятельна та категориальная форма, которая необходимо отсылает к субстрату, формой которого она является. Субстрат и форма отсылают друг к другу, они не мыслимы «один без другого». В этом предельно широком смысле и чисто-логические формы, например, категориальная форма «предмет», несамостоятельна относительно всех материй предмета, категория «сущность» — относительно всех определенных сущностей и т. п. Абстрагируемся от подобных несамостоятельностей и свяжем точное понятие несамостоятельности и, соответственно, самостоятельности с собственно «содержательными» взаимосвязями, с отношениями «содержимости», тождественности, а также и связанности в некотором более собственном смысле слова.
Специально же нас интересует сейчас ситуация с последними субстратами или, еще уже, с содержательными сущностями субстрата. Для них существуют две возможности того, чтобы такая сущность либо полагала, вместе с иной, основания единство одной сущности, либо не полагала их. В первом случае отсюда следуют отношения односторонней либо же взаимной несамостоятельности, какие надлежит описывать конкретнее, а относительно эйдетических и индивидуальных единичностей, подпадающих под объединяемые сущности, отсюда вытекает аподиктически необходимое следствие: единичности одной сущности не могут существовать иначе, нежели будучи определены сущностями, каковые обладают по меньшей мере общностью рода с другой сущностью.[39] К примеру, чувственное качество необходимо указывает на какое-то различие в простирании, простирание же, в свою очередь, есть, с необходимостью, простирание какого-то единого с ним «перекрывающего» его качества. Момент «нарастания», например, категории «интенсивность», возможен лишь как имманентный некоему качественному содержанию, а содержание такого рода в свою очередь немыслимо без какой-либо степени нарастания. Являться невозможно в качестве переживания такой-то родовой определенности, — если только это не явление «являющегося как такового», и наоборот. И т. д.
Отсюда проистекают важные определения формально-категориальных понятий «индивид», «конкрет» и «абстракт». Несамостоятельная сущность именуется абстракт, абсолютно самостоятельная — конкрет. «Вот это» же, содержательная сущность какового есть некий конкрет, называется индивидом.
Подведем «операцию» генерализации под расширенное теперь понятие логической «модификации», и мы можем сказать: индивид — это требуемый чисто-логический прапредмет, то логически-абсолютное, на какое указывают все логические модификации.
39
Ср. подробные анализы в «Логических исследованиях», т. II, 3-е исследование, особенно в новом, несколько улучшенном издании (1913).