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