Читать книгу Метафизика. Современное введение онлайн

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

Часто говорят, что на эту теорию нужно наложить еще некоторые ограничения, поскольку без них она приведет к бесконечной регрессии. Это очень старый спор: его можно обнаружить в платоновском «Пармениде», и со времен Платона он повторялся снова и снова[24]. Проблема, которая, предположительно, встает перед реалистами, касается ключевой идеи экземплификации. Одна из формулировок этой проблемы восходит к использованию реалистами платоновской схемы для объяснения совпадения атрибутов. Согласно этой схеме, там, где некоторое число объектов совпадает в том, что все они являются F, такое совпадение обусловлено множественной экземплификацией в них универсального «атрибута F». Проблема заключается в том, что при любом применении данной схемы она объясняет лишь один конкретный случай совпадения атрибутов – то, что все исходные объекты являются F, – лишь для того, чтобы столкнуться с другим – тем, что все они экземплифицируют «атрибут F». Но тогда мы вынуждены ссылаться на еще одну универсалию (экземплификацию «атрибута F») и говорить, что второй случай совпадения атрибутов возникает для наших исходных объектов в силу того, что они совместно экземплифицируют эту вторую универсалию. Но в этом случае мы объясняем второй случай совпадения атрибутов лишь для того, чтобы столкнуться с третьим: все наши исходные объекты совпадают в том, что экземплифицируют экземплификацию «атрибута F». Значит, нужно ссылаться на третью универсалию, которая, в свою очередь, породит еще один случай совпадения атрибутов, в результате которого понадобится следующая универсалия, – и вот перед нами бесконечная регрессия случаев совпадения атрибутов и обосновывающих их универсалий. Какой отсюда вывод? Если мы разделяем платоновскую схему, то объяснение, которое эта схема, казалось бы, должна предоставлять, никогда не будет доведено до конца.