реалистами платоновской схемы для объяснения совпадения атрибутов. Согласно этой схеме, там, где некоторое число объектов совпадает в том, что все они являются F, такое совпадение обусловлено множественной экземплификацией в них универсального «атрибута F». Проблема заключается в том, что при любом применении данной схемы она объясняет лишь один конкретный случай совпадения атрибутов – то, что все исходные объекты являются F, – лишь для того, чтобы столкнуться с другим – тем, что все они экземплифицируют «атрибут F». Но тогда мы вынуждены ссылаться на еще одну универсалию (экземплификацию «атрибута F») и говорить, что второй случай совпадения атрибутов возникает для наших исходных объектов в силу того, что они совместно экземплифицируют эту вторую универсалию. Но в этом случае мы объясняем второй случай совпадения атрибутов лишь для того, чтобы столкнуться с третьим: все наши исходные объекты совпадают в том, что экземплифицируют экземплификацию «атрибута F». Значит, нужно ссылаться на третью универсалию, которая, в свою очередь, породит еще один случай совпадения атрибутов, в результате которого понадобится следующая универсалия, – и вот перед нами бесконечная регрессия случаев совпадения атрибутов и обосновывающих их универсалий. Какой отсюда вывод? Если мы разделяем платоновскую схему, то объяснение, которое эта схема, казалось бы, должна предоставлять, никогда не будет доведено до конца.
Очевидно, что та же проблема возникает, когда реалисты пытаются объяснить субъектно-предикатную истину. Реалисты заявляют, что любое субъектно-предикатное предложение
(19) a есть F
является истинным лишь при условии, что референт a экземплифицирует универсалию («атрибут F»), выражаемую F. Но тогда наше первоначальное предложение (19) является истинным лишь при условии истинности нового субъектно-предикатного предложения
(20) a экземплифицирует «атрибут F».
Складывается впечатление, что наше объяснение истинности предложения (19) не будет закончено, пока мы не обоснуем истинность этого нового предложения. Однако в предложении (20) есть новый предикат («экземплифицирует „атрибут F“»), выражающий новую универсалию (экземплификацию «атрибута F»). Согласно теории реалистов, предложение (20) может быть истинным, только если референт а экземплифицирует новую универсалию. Но это условие исполняется только в том случае, если истинным является предложение
(21) a экземплифицирует экземплификацию «атрибута F».
Поэтому наше объяснение истинности предложения (19), по-видимому, требует разъяснения истинности предложения (21). Кажется, мы снова сталкиваемся с бесконечной регрессией и снова приходим к выводу, что теория реалистов не работает.
Может показаться, что вывод из двух описанных нами регрессий прост: следует отвергнуть предлагаемое метафизическими реалистами объяснение совпадения атрибутов и предикации – философы-номиналисты
