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

Однако споры о категориях не всегда структурированы именно так. Участники дискуссии не всегда дают противоположные ответы на вопрос: «Существует ли К?» (где К – категория). Иногда оказывается, что они согласны в том, что сущности, относящиеся к той или иной категории, существуют; но тогда одна из сторон продолжает разговор и сообщает нам, что, хотя сущности, соответствующие этой категории, на самом деле существуют, все их следует изучать посредством сущностей, принадлежащих к какой-либо иной категории. Представим, что идет дискуссия о материальных объектах. Хотя обе стороны согласны, что материальные объекты существуют, один из участников говорит, что их следует изучать как совокупности сенсорных качеств. В этом случае другой, вероятно, ответит: «Послушай, ты же на самом деле не веришь в существование материальных объектов. Ты просто так говоришь. По твоему мнению, материальных объектов не существует – только сенсорные качества». Его противник, несомненно, возразит, что и в самом деле верит в существование материальных объектов: «Я не отрицаю, что материальные объекты существуют; я просто говорю тебе, что они собой представляют». Сложно сказать, как можно разрешить спор о понятии «существует». Но, как бы мы ни поступили, здесь следует признать наличие глубокого метафизического – в более широком смысле «экзистенциального» – разногласия. Сформулировать это разногласие можно, заявив, что, если один метафизик хочет включить материальные объекты в список первичных или базовых элементов своей онтологии, другой этого не желает. Первый отрицает, что материальные объекты можно рассматривать посредством каких-либо более фундаментальных сущностей (или сводить к ним). Второй же считает материальные объекты конструкциями, состоящими из более простых сущностей. Хотя, по его мнению, материальные объекты и существуют, отправившись на поиски первичных элементов его онтологии (то есть элементов его онтологии, несводимых к сущностям более фундаментального вида), мы не обнаружим материальных объектов – только сенсорные качества. Итак, в конечном счете в его онтологии материальных объектов нет: в предлагаемой им метафизической теории материальные объекты не включены в список элементарных «кирпичиков» реальности. Можно сказать, что если в онтологии одного философа материальные объекты являются первичной или неделимой категорией, то в онтологии другого они составляют категорию производную.

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