», и со времен Платона он повторялся снова и снова[24]. Проблема, которая, предположительно, встает перед реалистами, касается ключевой идеи экземплификации. Одна из формулировок этой проблемы восходит к использованию реалистами платоновской схемы для объяснения совпадения атрибутов. Согласно этой схеме, там, где некоторое число объектов совпадает в том, что все они являются 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). Кажется, мы снова сталкиваемся с бесконечной регрессией и снова приходим к выводу, что теория реалистов не работает.

Может показаться, что вывод из двух описанных нами регрессий прост: следует отвергнуть предлагаемое метафизическими реалистами объяснение совпадения атрибутов и предикации – философы-номиналисты часто ссылались на них, чтобы подвести именно к такому выводу. Однако реалисты отвечают, что нужно сделать другой вывод. Они соглашаются, что следует избегать регрессий, но полагают, что избежать их несложно: достаточно наложить ограничения на использование платоновской схемы и связанную с ней теорию предикации. Столкнувшись с первой регрессией, мы можем отрицать, что каждая конкретная форма совпадения атрибутов предполагает наличие особой и определенной универсалии. В частности, можно отрицать, что там, где совпадение образовано некоторым количеством объектов, экземплифицирующих универсалию, наличествует еще одна универсалия, обосновывающая совпадение. Равным образом в случае второй регрессии можно отрицать, что каждое семантически обособленное общее понятие выражает отдельную универсалию. Соглашаясь с тем, что существует универсалия, соответствующая предикату любого предложения, имеющего ту же форму, что и (19), можно отрицать, что есть последующие универсалии, соответствующие предикатам предложений, имеющих ту же форму, что и (20) и любые другие, следующие за ним.