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