Если сравнивать аналитическую метафизику с философскими системами, которые создавались в западной метафизике начиная с XVII в., то различие между ними настолько глубоко и принципиально, что вполне можно говорить о разрыве между нею и предшествующей метафизической традицией, но это вовсе не означает, что у аналитической метафизики вообще нет корней в истории философии. Эти корни, безусловно, есть. Так, многие современные исследователи видят в аналитическом подходе к решению онтологических проблем возврат к аристотелевской метафизике. С такой оценкой вполне можно согласиться, хотя она требует некоторых важных уточнений. Во-первых, Аристотель двояким образом определял предмет «первой философии», для которой впоследствии и был введен термин «метафизика». С одной стороны, она является универсальной наукой, изучающей «сущее, поскольку оно [берется] как сущее» (Metaphysics, 1025b3). С другой стороны, ее предметом выступают «божественные предметы», т. е. вечные неподвижные начала и первопричины, которые Аристотель связывает с Богом, и тогда она имеет статус одной из частных дисциплин, изучающей особый вид бытия. В средневековой философии эти две трактовки «первой философии» были обозначены как «общая» метафизика (metaphysica generalis) и «специальная» метафизика (metaphysica specialis) соответственно[4]. Во-вторых, учение о сущем (или бытии) как таковом – именно его в философии Нового времени стали называть онтологией – у Аристотеля содержит три части: категориальный анализ сущего, учение о четырех первоначалах или причинах и учение о возможности и действительности. Когда проводят параллель между аналитической и аристотелевской метафизикой, то имеют в виду первую из перечисленных частей. Однако сходство в данном случае усматривается не просто в том, что и Аристотель, и аналитические метафизики стремятся установить наиболее общие роды сущего, но и в том, что для решения этой задачи они обращаются к логическому анализу. У Аристотеля главным объектом такого анализа выступает предикативная связь между субъектом и тем, что о нем сказывается в суждении. Поскольку предикативная связь выражается глаголом «быть» (или «есть»), то, как пишет Аристотель, «сколько значений связки “есть”, столько обозначаемых ею видов сущего» (Metaphysics, 1017a23), т. е. у него классификация видов предикатов служит основой для выделения категорий сущего[5]. Таким образом, для Аристотеля быть значит быть чем-то, а категории как раз и отражают разные виды этого бытия чем-то.
И еще один аспект онтологии Аристотеля важен для нашей темы. Хотя, с его точки зрения, категории сущего не сводимы друг к другу, категория сущности выражает первичный смысл «быть», вокруг которого группируются все другие смыслы этого глагола. Первичные сущности, к которым Аристотель относит привычные объекты окружающего нас мира (или по крайней мере живые существа вроде лошадей и людей), в своем существовании не зависят от чего-либо еще – это проявляется