Итак, дискуссии о категориях – это дискуссии о существовании сущностей, принадлежащих к какому-либо очень общему виду или категории. Подчас участники спора имеют разные точки зрения на существование сущностей соответствующего вида; иногда они расходятся во мнениях относительно того, сводятся ли принадлежащие к определенной категории сущности к сущностям другой, более элементарной категории. Однако создать исчерпывающую метафизическую теорию – значит составить полный перечень категорий, под которые подпадают вещи, и определить, какого рода отношения существуют между этими категориями. Последняя задача требует определить, какие категории являются первичными, а какие – производными, а также указать, как именно принадлежащие к производным категориям сущности могут быть сведены к сущностям первичных категорий (или проанализированы в терминах последних). Полный такой каталог будет представлять собой общее описание всего сущего. Аристотель считал подобное описание целью метафизического проекта. Немногие из современных метафизиков готовы предложить такого рода исчерпывающую теорию категорий. Проблемы, связанные с любой из категорий, исторически попадавших в фокус метафизических теорий, так сложны, что современные метафизики вполне довольны, если им удается разобраться хотя бы с некоторыми из них. В этой книге мы пойдем тем же путем, не предпринимая ничего настолько амбициозного, как создание исчерпывающей системы категорий. Мы сосредоточимся на проблемах, встающих при поиске ответов лишь на некоторые из вопросов о категориях, возникающих в метафизике. Вопросы, о которых пойдет речь, очень важны и фундаментальны, а потому их обсуждение должно дать нам хорошее представление о том, что такое метафизика. Итак, давайте перейдем к рассмотрению этих вопросов – и начнем с тех, которые имеют отношение к так называемой проблеме универсалий.

Литература о природе метафизики обширна. Новичку следует прежде всего обратиться к Аристотелю, в особенности к двум первым главам первой книги «Метафизики», к двум первым главам четвертой, а также – к первой главе шестой книги. Затем я рекомендовал бы ознакомиться с кантовской критикой метафизики [Kant, 1787], в особенности с предисловием ко второму изданию, и с первыми разделами книги Айера [Ayer, 1936]. Чтобы познакомиться с более современными дискуссиями, следует обратиться к Кернеру [Körner, 1974], введению к книге Стросона [Strawson, 1959] и ван Инвагену [van Inwagen, 1998].

Спор реалистов и номиналистов вырастает из феномена сходства или совпадения атрибутов. Реалисты утверждают, что если объекты сходны или имеют одинаковый атрибут, то существует что-то, чем они совместно обладают или что является для них общим. Номиналисты с этим не согласны. Реалисты называют такие общие сущности универсалиями: по их утверждению, универсалии – это сущности, которые могут быть одновременно экземплифицированы несколькими разными объектами. Также реалисты полагают, что в число универсалий входят свойства, которыми вещи обладают, отношения, в которые они вступают, и виды, к которым они принадлежат.

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

Реалисты, однако, часто расходятся во мнениях, когда речь заходит об универсальности их рассуждений о предикации и абстрактной референции. Например, некоторые реалисты отрицают, что их определение предикации применимо к предложениям, в которых используется термин «экземплификация». Другие настаивают, что оно применимо лишь к самым простым или неопределенным предикатам либо абстрактным терминам. Более того, некоторые реалисты придерживаются мнения, что универсалии соответствуют лишь предикатам, являющимся истинными в отношении существующих в действительности объектов, тогда как другие убеждены, что возможны как экземплифицированные, так и неэкземплифицированные свойства, виды и отношения.

Есть разные способы классификации объектов, о которых мы думаем и говорим. Можно разделить их по цвету, и тогда у нас будут предметы красные, желтые и синие. Можно – по форме, и тогда у нас будут предметы треугольные, круглые и квадратные. Можно – по биологическим видам, и тогда перед нами окажутся слоны, дубы и инфузории-туфельки. То, к какому роду классификации мы прибегаем в этих случаях, является существенным компонентом нашего опыта познания мира. Практически ничего нельзя помыслить или сказать, не прибегая к подобным способам систематизации: без них почти (если не вовсе) невозможно получение опыта. Мало кто будет возражать против того, что некоторые из применяемых нами способов классификации объектов отражают наши интересы, цели и ценности, и лишь немногие станут отрицать, что зачастую наши способы классификации определяются самими объектами[11]. Дело не в том, что мы волюнтаристски решили называть одни вещи треугольными, другие – круглыми, а третьи – квадратными: они таковы и есть. Равным образом существование слонов, дубов и инфузорий не является следствием процесса человеческого мышления или применения языка. Они возникли сами по себе, и наши язык и мышление отражают эти уже имеющиеся факты.

Итак, между вещами есть объективно существующие сходства. Еще до классификации знакомые нам из повседневного опыта предметы обладают одинаковыми характеристиками, признаками или атрибутами. Это не тезис, сформулированный в рамках какой-либо метафизической теории, а, напротив, дофилософский трюизм; однако он ложится в основу важных философских размышлений. В самом деле, вопрос, восходящий к истокам метафизики, таков: существует ли какое-либо универсальное объяснение того дофилософского трюизма, что вещи обладают сходными атрибутами? Предположим, у некоторого набора вещей есть сходный атрибут – скажем, все они желтые. Существует ли факт, более основополагающий или фундаментальный, чем этот? Такой фундаментальный факт, одна только истинность которого в отношении упомянутых объектов делает их все желтыми? И если он существует, можно ли делать из этого примера какие-то общие выводы? То есть возможны ли такие очень общие тип или форма факта, чтобы любое совпадение атрибутов имело место потому, и только потому, что существует некоторый факт соответствующего очень общего типа или формы?

Утвердительный ответ на этот вопрос дается в «Пармениде» Платона, где мы читаем:

…ты признаешь существование неких видов, приобщаясь к которым все другое из здешнего получает их имена, например, сходного, если приобщается к сходству, великого, если приобщается к величине, и если приобщается к справедливости и красоте, то оказывается справедливым и прекрасным?[12]

Здесь предлагается общая схема, объясняющая совпадение атрибутов. Согласно ей, существует ряд объектов a… n, есть предмет φ и такое отношение R, что каждый из объектов a… n имеет отношение R к φ. Именно в силу того, что объекты a… n находятся в отношении R к φ, их атрибут совпадает, и все они оказываются прекрасными, справедливыми и т. д. Со времен Платона эту схему находили привлекательной многие философы[13]. Они не всегда пользовались тем же языком, что Платон. Там, где он говорил о вещах, приобщающихся к виду, они говорили, что вещи воплощают, экземплифицируют или являются примером одного свойства, качества либо атрибута. Тем не менее предложенная форма объяснения в точности соответствует платоновской: различные вещи категоризируются или характеризуются тем или иным способом в зависимости от того, в каком отношении к обсуждаемому качеству или характеристике все они находятся. Совпадение атрибутов определяется характеристикой или качеством, общим для совпадающих объектов или разделяемым ими.