Но Кант, разумеется, не ограничивается гипотетическими рассуждениями. В центральном исследовании «Критики чистого разума», трансцендентальной дедукции категорий, он попытался доказать, что так все и обстоит. Причем он доказывал этот тезис не только для понятия причины, но и для других аналогичных понятий, категорий. Если дедукция успешна, то понятие причины и другие категории выражают априорные условия воспринимаемости предметов в опыте и, соответственно, необходимые характеристики вещей как предметов опыта[3]. Онтологический проект оказывается избавлен от скепсиса. Подчеркнем при этом, что, рассуждая подобным образом, Кант допускает отличие онтологии возможных миров вообще и онтологии данного в опыте актуального мира и настолько близких ему возможных миров, что разумные существа в них обладают такими же когнитивными способностями, как и мы (далее в подобных контекстах я буду говорить просто об актуальном мире). В принципе, мир мог бы быть иным, и субъекты в нем могли бы обладать другими понятиями (хотя и опирались бы на те же логические законы и производные от них концепты, иногда именуемые абстрактными объектами, — иначе рассуждения о возможных мирах оказались бы бессмысленными: возможный мир есть мир, не нарушающий логических законов). Но, хотя мы мало можем сказать о таких возможных мирах, мы, по Канту, обладаем целым набором априорных знаний об актуальном мире. Поэтому, несмотря на его слова о том, что «гордое имя онтологии» надо заменить на скромное название «аналитики чистого рассудка»[4], Кант в известном смысле расширил эпистемические возможности учения о бытии.
В самом деле, предшествующие онтологии могли претендовать лишь на строгое рассмотрение устройства сущего вообще, предоставляя изучение специфики актуального мира эмпирическим наукам. Но Кант показал принципиальную возможность априори достоверных рассуждений об этих специфических чертах актуального мира. Главные специфические черты нашего мира, впрочем, универсально значимы, но только внутри него самого. Тем не менее эта особенность позволяет истолковать кантовский проект в качестве исследования предметов возможного опыта вообще, за которыми с указанными оговорками можно сохранить название «вещей вообще», что мы и сделаем. В дальнейшем под «вещами вообще», как правило, будут пониматься предметы, рассмотренные в плане тех их характеристик, которые присущи всем предметам актуального мира, хотя некоторые из них должны быть свойственны и всем мыслимым предметам, т. е. вещам вообще в самом широком смысле.