Именно это, каэтановское, учение об абстракции усваивает Суарес. Оба вида абстракции у него соотносятся не с тем, как в самой действительности связаны между собой сущностные природы вещей или элементы сущности каждого сущего, а с тем, каким именно способом рассматриваются понятия о вещах. Термины abstractio formalis и abstractio praecisiva, или просто praecisio (здесь: отграничение), становятся синонимами и означают такой способ рассмотрения понятия, при котором во внимание принимается только его непосредственное формальное содержание. Например, если понятие «живое существо» (animal) рассматривается по способу формальной, или отграничительной абстракции, оно означает именно живое существо как таковое, то есть как сущее, обладающее признаками жизни, помимо любых его возможных разновидностей, но и не в отсечении от них[168]. Этот способ рассмотрения не ограничивается частями сущности, но может применяться на любом концептуальном уровне: от единичных сущностей до высших родов. Напротив, универсальная абстракция (abstractio totalis) означает, что понятие предмета мыслится как потенциально заключающее в себе все низшие ступени: род – виды, высший род – низшие роды, и т. д. (I. 2. 12). То же самое понятие «живое существо», взятое с точки зрения общей абстракции, потенциально включает в себя все возможные и актуально существующие роды и виды конкретных живых существ. Таким образом, любое понятие может рассматриваться двояко: по способу abstractio praecisiva и по способу abstractio totalis.
Теперь рассмотрим, каково учение обоих философов об универсалиях. В «Сумме теологии»[169] Фома различает два типа универсалий: во-первых, универсалии, в которых общая природа рассматривается одновременно с приписываемой ей способностью сказываться о многом (cum intentione universalitatis); во-вторых, универсалии, в которых выражена сама природа – например, животность или человечность, – как она обнаруживается в единичных сущих. Универсалии первого типа служат общими началами познания (о чем мы говорили выше); универсалии второго типа, в которых выражается «сама природа рода или вида, как она существует в единичных вещах»[170], выполняют функцию формального принципа и принципа познания по отношению к единичным сущим, поскольку единичное существует благодаря материи, а природа вида заключена в форме.
Сравним это с тем, что говорит Суарес. Согласно Суаресу, имеются три типа универсалий: 1) физическая универсалия, в которой природа предстает как существующая в единичном; 2) метафизическая универсалия, в которой природа выражена сама по себе, безотносительно к ее способности сказываться о многом или об одном и подобная платоновской идее, как если бы она существовала в вещах; 3) логическая универсалия, или универсалия в собственном смысле: общее понятие, выражающее природу как способную сказываться о множестве индивидуальных вещей[171]. Физическая универсалия соот носится с умопостигаемым образом: в самом деле, коль скоро принцип индивидуации, согласно Суаресу, заключается скорее в форме, само по себе отвлечение от материи, производимое в интеллигибельном образе, еще не порождает общего в строгом смысле, но только являет природу, как она существует в этом единичном. Метафизическая универсалия есть продукт не активного, а пассивного интеллекта, отвлекающего индивидуальные признаки от умопостигаемого образа, порожденного активным интеллектом. Наконец, логическая универсалия образуется в пассивном интеллекте в результате сравнения нескольких или многих индивидуальных вещей и извлечения того общего, что обнаруживается в них всех