разрабатывают — или же впервые основывают — со страстным рвением, в качестве чисто «рациональных» наук (в нашем же смысле в качестве эйдетических онтологии), причем — на заре Нового времени и еще долго после того — не ради их самих, но ради эмпирических наук. Они-то и принесли ожидаемые богатые плоды в параллельно протекавшем развитии рациональной физики, вызывавшей такие восторги.
§ 10. Регион, и категория. Аналитический регион и его категории
Перенесемся теперь вовнутрь какой-нибудь эйдетической науки, например вовнутрь онтологии природы, — тут окажется (и это нормально), что мы устремлены не к сущностям в качестве предметов, но к предметам, подчиняемым сущностям, — в нашем примере региону «природа». Однако, при этом мы наблюдаем, что «предмет» — это рубрика, в какую попадают самые разные, но при этом сопринадлежные образования, например «вещь», «свойство», «отношение», «положение дел», «множество», «порядок» и т. д., — все они не тождественны друг другу, но всякий раз отсылают нас к известного вида предметности, обладающей, так сказать, преимуществом пра-предметности, по отношению к каковой все прочие как бы выдают себя лишь за простые модификации. В нашем примере таким преимуществом обладает, естественно, сама вещь — перед свойствами вещи, отношениями и т. д. Но вот именно это-то и есть фрагмент той формальной устроенности, без прояснения каковой спутанными останутся и речь о предмете, и речь о предметном регионе. Из этого же прояснения, которому мы посвятим следующие ниже рассуждения, само собою проистечет и важное понятие категории, в его сопряженности с понятием региона.
Категория — это слово, которое, с одной стороны, в словосочетании «категория такого-то региона» отсылает именно к соответствующему региону, например к региону «физическая природа»; с другой же стороны, сопрягает соответственно определенный материальный регион с формой региона вообще, или же, что равнозначно, с формальной сущностью «предмет вообще» и принадлежащим к нему «формальными категориями».
Однако, прежде всего, одно не лишенное значения замечание. На первых порах кажется, что формальная онтология стоит в одном ряду со всеми материальными онтологиями — постольку, поскольку, как кажется, формальная сущность предмета вообще и региональные сущности играют одну и ту же роль. Коль скоро так, можно склоняться к тому, чтобы вместо того, чтобы говорить о регионах вообще, как это делалось раньше, говорить о материальных регионах, приставляя к их ряду теперь еще и «формальный регион». Однако подобный способ выражаться нельзя принимать без известных предосторожностей. С одной стороны стоят сущности материальные, и в известном смысле они и есть «настоящие», в собственном смысле, сущности. С другой стороны свое место занимает хотя и нечто эйдетическое, однако в самой своей основе отличное от первых — это простая сущностная форма — хотя и сущность, но только совершенно «пустая», сущность, которая, как форма пустая, подходит ко всем возможным сущностям, которая в своей формальной всеобщности подчиняет себе все, даже и наивысшие материальные всеобщности, предписывая им — через посредство принадлежащих к ней формальных истин — законы. Итак, получается, что все-таки так называемый «формальный регион» — это не что-то скоординированное с материальными регионами (регионами вообще), что он, собственно, не регион, а пустая форма региона вообще и что все регионы со всеми их содержательно-сущностными обособлениями стоят не рядом с ним, а, скорее (хотя и только formaliter), под ним. Такое под-чинение материального формальному сказывается в том, что формальная онтология в тоже самое время скрывает в себе формы всех возможных онтологии вообще (всех «настоящих» «материальных» онтологии), что она предписывает всем материальным онтологиям общую для всех них формальную устроенность — включая сюда и все то, что обязаны изучать мы в эту минуту, — различение региона и категории.
Если исходить из формальной онтологии (всякий раз в качестве чистой логики в ее полном протяжении вплоть до mathesis universalis), то таковая, как мы знаем, есть эйдетическая наука о предмете вообще. Предмет же в этом ее смысле — это все и каждое, и для всего этого и могут быть установлены бесконечно разнообразные истины, распределяющиеся по всему множеству дисциплин матесиса. Однако все они вместе взятые ведут нас назад к небольшой наличности непосредственных, или же «основополагающих» истин, какие в чисто логических дисциплинах функционируют в качестве «аксиом». Как логические категории, или категории логического региона «предмет-вообще» мы и определяем теперь встречающиеся в таких аксиомах чисто логические основополагающие понятия — те, какими в совокупной системе аксиом определяется логическая сущность предмета-вообще, или же те, какие выражают безусловно необходимые и конститутивные определения предмета как такового, некоего нечто — постольку, поскольку вообще должно быть так, чтобы было некое нечто. А поскольку чисто логическое, взятое в нашем абсолютно точно очерченном смысле, определяет понятие «аналитического»[35 — Ср. «Логические исследования», т. 2, третье исследование, § 11.,40] — оно философски единственно важно (и, впрочем, вообще фундаментально важно) — в противоположность «синтетическому», то мы не без причины обозначаем эти категории и как аналитические.
Итак, примеры логических категорий таковы — это понятия свойства, качества, положения дел, отношения, тождества, равенства, множества (коллекция), численного множества, целого и части, рода и вида и т. д. Но также и «категории значения» — принадлежащие к сущности предложения (апофансиса) основополагающие понятия различных видов предложений, их членов и их форм — относятся сюда, причем, сообразно нашей дефиниции, с учетом тех сущностных истин, которые соединяют друг с другом «предмет-вообще» и «значение-вообще», соединяют к тому же так, что чистые истины значения можно обратить в чистые истины предмета. Именно поэтому «апофантическая логика», если ее высказывания и относятся исключительно к значениям, все же сопринадлежна к формальной онтологии во всеохватывающем смысле. Впрочем, категории значения следует непременно выделять в особую группу, противопоставляя таковой все иные категории — как категории формально-предметные в четком смысле[36 — Ср. о различении логических категорий как категорий значения и категорий формально-онтологических — «Логические исследования», т. I, § 67. К категориям целого и части относится в особенности все третье «исследование» второго тома. — Тогда я еще не решился принять сомнительное по историческим причинам выражение «онтология» и (см. с. 222 первого издания) обозначил это Исследование как фрагмент «априорной теории предметов как таковых», что А. фон Мейнонг сократил до «Теории предмета». В отличие от прежнего, принимая во внимание изменившуюся ситуацию, я считаю правильнее вновь вернуть права старинному выражению «онтология».].
Присовокупим к сказанному еще и то замечание, что под категориями мы можем понимать, с одной стороны, понятия в смысле значений, с другой же, — что еще лучше, — сами формальные сущности, какие находят свое выражение в этих значениях. Так, например, «категория» «положение дел», «множественность» и т. п. означает в этом последнем смысле формальный эйдос «положение дел-вообще», «множественность-вообще» и т. п. Тут недоразумения отождествления опасны лишь до тех пор, пока мы не научились еще аккуратно разделять то, что следует разделять тут всегда и во всем, — «значение» и то, что может получить «выражение» через значение, и далее — значение и ту предметность, какая означаема. Терминологически же можно в явном виде различать категориальные понятия (в качестве значений) и категориальные сущности.
§ 11. Синтактические предметности и последние субстраты. Синтактические категории
Теперь нам надлежит произвести важное различение в области предметностей вообще — то, какое в рамках учения о формах значений отражается в («чисто-грамматическом») различении «синтактических форм» и «синтактических субстратов», или «материалов». Тем самым заявляет о себе разделение формально-онтологических категорий на категории синтактические и категории субстратные, что и следует обсудить теперь ближайшим образом.
Под синтактическими предметностями будем разуметь те, что выводятся из других предметностей посредством «синтактических форм». Соответствующие таким формам категории назовем синтактическими. Сюда, к примеру, относятся категории «положение дел», «отношение», «качество», «единство», «множественность», «численность», «порядок», «порядковое число» и т. д. Имеющее здесь место сущностное положение мы можем описывать следующим образом: любой предмет — постольку, поскольку он эксплицируем, сопрягаем с иными предметами, короче говоря, определим логически, — принимает различные синтактические формы; тогда, в качестве коррелятов определяющего мышления, конституируются предметности высшей ступени: качественности и предметы, определяемые со стороны своей качественности, отношения между (какими бы то ни было) предметами, множественности единств, члены порядков, предметы как носители определений через посредство порядковых числительных и т. д. Если же мышление предикативно, то шаг за шагом появляются выражения и принадлежащие к таковым апофантические, несущие значения, построения, которые отражают синтактические предметности вместе со всеми их членениями и формами в точно соответствующих им синтаксисах значений. Все подобные «категориальные предметности»[37 — Ср. «Логические исследования», Т. II, 6-е исследование, второй раздел (особенно § 64 и далее).], как и предметности вообще, могут в свою очередь функционировать в качестве субстратов категориальных построений, последние, в свою очередь, могут выполнять ту же функцию и т. д., и т. д. И наоборот: каждое из таких построений очевидным образом отсылает к последним субстратам, к предметам самой первой, или самой нижней ступени, следовательно к предметам, какие уже не суть синтактико-категориальные построения, какие уже не содержат в себе ничего от тех онтологических форм, что суть лишь простые корреляты мыслительных функций (придавание, отъятие, сопряжение, связывание, подсчитывание и т. д.). Тем самым формальный регион «предметность-вообще» подразделяются на последние субстраты и синтактические предметности. Последние мы назовем синтактическими дериватамисоответствующих субстратов, к каковым, как мы незамедлительно узнаем, относятся и все «индивиды». Когда мы будем говорить об индивидуальном свойстве, индивидуальном отношении и т. д., то все эти предметы-дериваты именуются так, естественно, ввиду тех субстратов, из каких они выведены.
Остается отметить еще следующее. Самых последних субстратов — без синтактической формы — можно достигать и со стороны учения о формах значений: каждое предложение и каждый возможный член предложения содержит в качестве субстратов его апофантических форм так называемые «термины». Таковые могут быть терминами лишь в относительном смысле, а именно могут в свою очередь содержать в себе формы (например, форма множественного числа, атрибуции и т. п.). Однако, в любом случае — и с необходимостью — мы возвращаемся к последним терминам, к последним субстратам, какие уже не содержат в себе ничего от синтактического формосложения[38 — Более конкретное изложение столь важной для учения о формах значений — основополагающего раздела «априорной грамматики» — теории «синтактических форм» и «синтактических материалов» будет дано при публикации моих читанных на протяжении многих лет лекций по чистой логике. О «чистой» грамматике и общих задачах учения о формах значений см. «Логические исследования», Т. II, четвертое исследование.].
§ 12. Род и вид
Теперь возникает потребность в новой группе категориальных различений, принадлежной к совокупной сфере сущностей. Любая сущность, все равно содержательная или пустая (т. е. чисто-логическая), включается в некую иерархию сущностей — в поступенный ряд генерального и специфического. От такового ряда неотъемлемы две границы, какие — с необходимостью — никогда не совпадают. Спускаясь вниз, мы достигаем самых