Реалисты полагают, что онтология универсалий позволяет нам объяснить нечто большее, чем предикация. По их мнению, с помощью предложенной ими метафизической теории можно дать интуитивно удовлетворительное объяснение феномену абстрактной референции[21]. Яснее всего этот феномен проявляется в использовании того, что называется абстрактным уникальным понятием. Примерами абстрактных уникальных понятий являются «треугольность», «мудрость», «человечество» и «отвага». Это уникальные понятия, которые могут выступать в роли субъекта. Кроме того, они обычно образуют пары с понятиями, которые могут выступать в роли предиката, – общими понятиями: «треугольность»/«треугольный», «мудрость»/ «мудрый», «человечество»/«человек», «отвага»/«отважный» и «красный» (в значении существительного) / «красный» (в значении прилагательного). Интуитивно кажется, что составляющие каждую из этих пар понятия вступают друг с другом в весьма примечательные отношения: складывается впечатление, что абстрактное уникальное понятие является выражением, истинным в отношении всех объектов, экземплифицирующих данное свойство или вид (или соответствующим им). Реалисты утверждают, что это интуитивное объяснение верно, и заявляют, что если мы не считаем абстрактные уникальные понятия механизмом, позволяющим отсылать к универсалиям, то невозможно удовлетворительным образом описать предложения, в которых они появляются. Приведем несколько примеров таких предложений:

(9) Отвага – нравственная добродетель.

(10) Треугольность – это форма.

(11) Хилари предпочитает красный синему.

(12) Человечество – это вид.

(13) Мудрость – цель жизни философа.

Сюда же относятся предложения, на которые мы ссылались при обсуждении референтного значения предикатов:

(1′) Сократ экземплифицирует отвагу.

(6′) Эта монета экземплифицирует округлость.

Реалисты указывают, что обычно такие предложения являются истинными, и утверждают, что лишь метафизический реалист способен объяснить, как именно им удается быть истинными. По мнению реалистов, если мы хотим сообщить, что говорится в этих предложениях, нам следует помнить, что в том виде, в котором абстрактные уникальные понятия в них появляются, они функционируют в точном соответствии с нашими интуитивными представлениями. Такие понятия исполняют самую однозначную референтную роль – функционируют в качестве имен универсалий. Но если они исполняют подобную роль, то предложения, в которых они появляются, могут быть истинными, лишь когда именуемые универсалии действительно существуют. Поэтому лишь философ, придерживающийся онтологии, постулирующей существование универсалий, может объяснить истинность предложений, в которых есть абстрактные уникальные понятия.

Возьмем предложение (9), в котором называется определенное свойство (экземплифицируемое всеми отважными индивидами – и только ими) и говорится, к какому виду оно принадлежит: оно является нравственной добродетелью. Таким образом, предложение (9) – это утверждение об определенном свойстве, которое (как нам интуитивно ясно) названо в честь абстрактного уникального понятия «отвага». Это утверждение может быть истинным, только если само свойство существует, – ведь заявление, что отвага принадлежит к определенному виду, несомненно, не могло бы быть истинным, если бы не было такой вещи, как отвага. Равным образом в предложении (10) называется свойство, экземплифицируемое всеми треугольными объектами, и только ими, и говорится, что это свойство – форма. Итак, предложение (10) является утверждением об определенном свойстве – свойстве, которое мы интуитивно считаем референтом абстрактного уникального понятия «треугольность». Истинность предложения (10) предполагает существование такого референта. В конце концов, вряд ли может быть истинным утверждение, что треугольность принадлежит к определенному виду, если треугольности не существует. То же самое можно сказать о предложениях (11) – (13), (1′) и (6′). В каждом из этих случаев перед нами абстрактное уникальное понятие, и рассматриваемое предложение может передать сказанное в нем только потому, что соответствующее абстрактное понятие функционирует именно так, как мы интуитивно ожидаем, – исполняет референтную роль, именуя универсалию. Следовательно, каждое из этих предложений может быть истинным лишь при условии существования универсалии, именуемой соответствующим абстрактным понятием. И, разумеется, есть множество других предложений; как и в приведенных нами примерах, их истинность предполагает существование универсалий, которые, как мы интуитивно предполагаем, являются референтами задействованных в них абстрактных понятий. Очевидно, что многие из этих предложений являются истинными, и лишь метафизический реалист – философ, убежденный в существовании универсалий, – может объяснить нам, как это возможно.

Итак, по утверждению реалистов, лишь они способны объяснить тот факт, что предложения, содержащие абстрактные уникальные понятия, могут быть истинными. Однако они настаивают, что то, что мы называем абстрактной референцией, относится не только к предложениям наподобие рассмотренных выше. Существуют предложения, не содержащие абстрактных уникальных понятий, но тем не менее предполагающие референцию к таким вещам, как свойства, виды и отношения[22]. Вот примеры предложений того рода, о котором говорят реалисты:

(14) Этот помидор и этот брандспойт одного цвета.

(15) Некоторые виды способны к перекрестному опылению.

(16) Существуют еще неизвестные науке отношения, связывающие элементарные частицы.

(17) Этой чертой характера он похож на своего двоюродного брата.

И

(18) Эта форма была неоднократно экземплифицирована.

Хотя ни одно из этих предложений не включает уникального понятия, именующего универсалию, по словам реалистов, все они являются утверждениями об универсалиях – цветах, чертах характера, общих для множества вещей формах, биологических видах, к которым они принадлежат, и отношениях, в которые вступают. Реалисты настаивают на том, что ни одно из этих предложений не может быть истинным, если упомянутых универсалий на самом деле не существует. Так, (14) – (17) – недвусмысленные заявления о существовании универсалий, отвечающих определенным условиям; ни одно из них не может быть истинным, если отвечающих этим условиям универсалий не существует. И хотя предложение (18) не является прямым заявлением о существовании универсалии, его истинность предполагает существование по крайне мере одной неоднократно экземплифицирующейся сущности – определенной формы. Таким образом, мы возвращаемся к мысли, что существуют предложения, чья истинность подразумевает существование такого рода вещей, которые реалисты называют универсалиями. Реалисты отмечают, что многие предложения, подобные (14) – (18), являются истинными, и делают из этого вывод, что объяснить данный факт может лишь философ, считающий, что универсалии существуют.

Итак, в число предложений, дающих пример абстрактной референции, входят предложения, как содержащие, так и не содержащие абстрактные уникальные понятия. Но в обоих случаях реалисты отстаивают один и тот же тезис: чтобы объяснить истинность этих предложений, следует придерживаться онтологии метафизического реализма. Здесь стоит сделать пару замечаний. Во-первых, данный тезис независим от предлагаемого реалистами описания феномена предикации. Утверждения реалистов о предложениях, подобных (9) – (18), не предполагают существования какой-либо определенной теории предикации. Даже если допустить, что единственное связанное с предикатами семантическое свойство – это свойство быть истинным в отношении предметов, предикатами которых они являются, или соответствовать им, тем не менее использование предложений, подобных (9) – (18), интуитивно означает, что мы говорим о сущностях, отличающихся от конкретных партикулярий, знакомых нам из повседневного опыта. Можно подумать, что такое рассуждение подразумевается анализом предикации с позиций реализма. Как мы видели, когда реалисты пытаются объяснить и обосновать утверждение, что универсалии являются референтами предикатов, они ссылаются на тот факт, что стандартные субъектно-предикатные предложения вида «a есть F» можно парафразировать, получив предложения вида «a экземплифицирует свойство F». Но мы воспринимаем отсылку к этим парафразам как доказательство предлагаемой реалистами теории предикации лишь потому, что предложения вида «a экземплифицирует свойство F» включают абстрактные уникальные понятия, а также потому, что истинность включающих такие понятия предложений убеждает нас в существовании универсалий.