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