Спор реалистов и номиналистов вырастает из феномена сходства или совпадения атрибутов. Реалисты утверждают, что если объекты сходны или имеют одинаковый атрибут, то существует что-то, чем они совместно обладают или что является для них общим. Номиналисты с этим не согласны. Реалисты называют такие общие сущности универсалиями: по их утверждению, универсалии – это сущности, которые могут быть одновременно экземплифицированы несколькими разными объектами. Также реалисты полагают, что в число универсалий входят свойства, которыми вещи обладают, отношения, в которые они вступают, и виды, к которым они принадлежат.
Доказывая, что нам следует признать реальность универсалий, реалисты обращаются к таким явлениям, как субъектно-предикатный дискурс и абстрактная референция. Они заявляют, что если мы не постулируем универсалии в качестве референтов предикативных выражений, то невозможно объяснить, как могут быть истинными субъектно-предикатные предложения, и утверждают, что истинность предложений, содержащих абстрактные референциальные термины, можно объяснить, лишь признав универсалии вещами, определяемыми этими терминами.
Реалисты, однако, часто расходятся во мнениях, когда речь заходит об универсальности их рассуждений о предикации и абстрактной референции. Например, некоторые реалисты отрицают, что их определение предикации применимо к предложениям, в которых используется термин «экземплификация». Другие настаивают, что оно применимо лишь к самым простым или неопределенным предикатам либо абстрактным терминам. Более того, некоторые реалисты придерживаются мнения, что универсалии соответствуют лишь предикатам, являющимся истинными в отношении существующих в действительности объектов, тогда как другие убеждены, что возможны как экземплифицированные, так и неэкземплифицированные свойства, виды и отношения.
Есть разные способы классификации объектов, о которых мы думаем и говорим. Можно разделить их по цвету, и тогда у нас будут предметы красные, желтые и синие. Можно – по форме, и тогда у нас будут предметы треугольные, круглые и квадратные. Можно – по биологическим видам, и тогда перед нами окажутся слоны, дубы и инфузории-туфельки. То, к какому роду классификации мы прибегаем в этих случаях, является существенным компонентом нашего опыта познания мира. Практически ничего нельзя помыслить или сказать, не прибегая к подобным способам систематизации: без них почти (если не вовсе) невозможно получение опыта. Мало кто будет возражать против того, что некоторые из применяемых нами способов классификации объектов отражают наши интересы, цели и ценности, и лишь немногие станут отрицать, что зачастую наши способы классификации определяются самими объектами[11]. Дело не в том, что мы волюнтаристски решили называть одни вещи треугольными, другие – круглыми, а третьи – квадратными: они таковы и есть. Равным образом существование слонов, дубов и инфузорий не является следствием процесса человеческого мышления или применения языка. Они возникли сами по себе, и наши язык и мышление отражают эти уже имеющиеся факты.
Итак, между вещами есть объективно существующие сходства. Еще до классификации знакомые нам из повседневного опыта предметы обладают одинаковыми характеристиками, признаками или атрибутами. Это не тезис, сформулированный в рамках какой-либо метафизической теории, а, напротив, дофилософский трюизм; однако он ложится в основу важных философских размышлений. В самом деле, вопрос, восходящий к истокам метафизики, таков: существует ли какое-либо универсальное объяснение того дофилософского трюизма, что вещи обладают сходными атрибутами? Предположим, у некоторого набора вещей есть сходный атрибут – скажем, все они желтые. Существует ли факт, более основополагающий или фундаментальный, чем этот? Такой фундаментальный факт, одна только истинность которого в отношении упомянутых объектов делает их все желтыми? И если он существует, можно ли делать из этого примера какие-то общие выводы? То есть возможны ли такие очень общие тип или форма факта, чтобы любое совпадение атрибутов имело место потому, и только потому, что существует некоторый факт соответствующего очень общего типа или формы?
Утвердительный ответ на этот вопрос дается в «Пармениде» Платона, где мы читаем:
…ты признаешь существование неких видов, приобщаясь к которым все другое из здешнего получает их имена, например, сходного, если приобщается к сходству, великого, если приобщается к величине, и если приобщается к справедливости и красоте, то оказывается справедливым и прекрасным?[12]
Здесь предлагается общая схема, объясняющая совпадение атрибутов. Согласно ей, существует ряд объектов a… n, есть предмет φ и такое отношение R, что каждый из объектов a… n имеет отношение R к φ. Именно в силу того, что объекты a… n находятся в отношении R к φ, их атрибут совпадает, и все они оказываются прекрасными, справедливыми и т. д. Со времен Платона эту схему находили привлекательной многие философы[13]. Они не всегда пользовались тем же языком, что Платон. Там, где он говорил о вещах, приобщающихся к виду, они говорили, что вещи воплощают, экземплифицируют или являются примером одного свойства, качества либо атрибута. Тем не менее предложенная форма объяснения в точности соответствует платоновской: различные вещи категоризируются или характеризуются тем или иным способом в зависимости от того, в каком отношении к обсуждаемому качеству или характеристике все они находятся. Совпадение атрибутов определяется характеристикой или качеством, общим для совпадающих объектов или разделяемым ими.
Согласных с платоновской схемой философов традиционно называли метафизическими реалистами или просто реалистами[14]. Однако, хотя многим философам объяснение совпадения атрибутов ссылкой на разделяемые или общие сущности кажется убедительным, у предложенной Платоном формы объяснения были и критики. Этих критиков называли номиналистами. Они утверждали, что предполагаемый платоновской схемой метафизический аппарат имеет ряд глубоких концептуальных проблем. Для одних номиналистов эти проблемы означали, что совпадение атрибутов требует совершенно иного теоретического объяснения, не отсылающего к общим или разделяемым сущностям, тогда как для других они были доказательством отсутствия потребности в каком-либо теоретическом объяснении – по их мнению, феномен совпадения атрибутов является основополагающим или фундаментальным фактом, не подлежащим дальнейшему анализу. Дискуссия реалистов и номиналистов является, пожалуй, старейшим из ведущихся с давних времен метафизических споров. Несомненно, в ней поднимались важные метафизические вопросы. Нам необходимо их прояснить, и мы начнем с попытки дать общее представление о том, что называется метафизическим реализмом.
Метафизические реалисты настаивают, что адекватное описание совпадения атрибутов предполагает проведение различия между двумя типами или категориями объектов: теми, что называются партикуляриями, и теми, что называются универсалиями. В число партикулярий включается то, что нефилософы обычно считают «вещами», – такие конкретные, привычные нам объекты, как люди, животные, растения и неодушевленные материальные тела. По мнению реалистов, партикулярии характеризуются тем, что каждая из них в определенный момент времени занимает определенное место в пространстве. Под универсалиями, напротив, понимаются сущности повторяющиеся: в любой конкретный момент времени нумерически одна и та же универсалия может быть целиком и полностью явлена, или, как обычно говорят реалисты, экземплифицирована, несколькими разными партикуляриями, занимающими различные места в пространстве. Так, разные люди могут одновременно экземплифицировать одну и ту же добродетель, разные автомобили – одну и ту же форму, а дома (в конкретный момент) – буквально один и тот же цвет. Добродетель, форма и цвет – универсалии[15]. Метафизический реалист считает, что у похожих партикулярий совпадают атрибуты в силу того, что все они экземплифицируют одну и ту же универсалию. Таким образом, существуют неповторяемые (единичные) сущности, находящиеся в особом отношении к сущностям повторяемым, и именно поэтому атрибуты привычных объектов повседневного мира могут совпадать.
Реалисты обычно утверждают, что существует более одного вида универсалий. Все упомянутые нами случаи совпадения атрибутов касаются универсалий, которые называются одночленными, или монадическими. Это универсалии, которые партикулярии экземплифицируют по отдельности или одна за другой. Но существуют также отношения – универсалии, экземплифицируемые несколькими индивидуальными объектами, вступающими в отношения друг с другом. Так, универсалия «находиться на расстоянии мили друг от друга» экземплифицируется двумя вещами, которые разделяет миля; и это универсалия, поскольку есть множество пар объектов, которые в данный момент может разделять одна миля. Равным образом «находиться бок о бок» – пространственное отношение между объектами, при котором один из них расположен бок о бок с другим, и это опять-таки универсалия: существует множество пар объектов, которые можно описать таким образом. Оба эти отношения принадлежат к так называемым симметричным отношениям: в любой паре объектов a и b, в которой a определенным образом относится к b, b, в свою очередь, таким же образом относится к a. Однако не все отношения симметричны. Во многих случаях пара объектов может вступить в отношения лишь в определенном порядке. Например, быть чьим-то отцом – отношение асимметричное: если один объект (a) является отцом другого объекта (b), то b – не отец a. Как говорят логики, упорядоченная пара
Итак, отношения – это полиадические, или многочленные, универсалии. Но цвета, добродетели и формы одночленны. Каждая из этих универсалий экземплифицируется объектами в индивидуальном порядке. Конечно, многие реалисты относят все одночленные универсалии к разделу «свойства», но некоторые из них (обычно те, что находятся под влиянием аристотелевской традиции) настаивают на существовании подразделов: нам предлагают различать свойства и виды. Виды подобны различным биологическим видам и родам[16]. Если объекты экземплифицируют свойства, обладая ими, вещи экземплифицируют виды потому, что к ним принадлежат. Проводящие это различие философы часто сообщают нам, что в то время как виды конституируют партикулярии, экземплифицирующие их как то, чем они являются, свойства просто преобразуют или характеризуют партикулярии, отмеченные ими; такие философы часто называют виды индивидуализирующими универсалиями. Это означает, что представители видов являются индивидами, отличающимися как от индивидов, принадлежащих к тому же виду, так и от индивидов, принадлежащих к другим видам. Таким образом, всякий, кто принадлежит к виду человек, обозначается как особый индивид – отдельный человек, отличающийся как от других людей, так и от вещей, принадлежащих к другим видам.
Таким образом, совпадение атрибутов может быть связано со множеством разного типа универсалий. Несколько партикулярий могут совпадать за счет принадлежности к одному и тому же виду или потому, что обладают одним и тем же свойством; а несколько двух-, трех- или, в целом, n-значных групп партикулярий могут совпадать потому, что вступают в одно и то же отношение. Также реалисты полагают, что в любом подобном совпадении атрибутов возможны градации. Собака и кот принадлежат к одному виду – они млекопитающие; но это совпадение принадлежности к виду не такое полное, как в случае с двумя собаками. По мнению реалиста, различия в степени совпадения возникают из-за различий в степени обобщенности универсалий, которые экземплифицируют партикулярии. Чем конкретнее или определеннее общая универсалия, тем полнее следующее из нее совпадение атрибутов. Итак, универсалии вступают в иерархические отношения в зависимости от степени их обобщенности. Можно предположить, что любая подобная иерархия завершается полностью определенными универсалиями, для которых уже не существует универсалий менее общих или более определенных, и партикулярии, совместно экземплифицирующие любую такую полностью определенную универсалию, будут в точности совпадать по цвету, форме, виду, пространственному соотношению или чему-либо еще.
Итак, партикулярии экземплифицируют различные типы универсалий, отличающихся друг от друга степенью обобщенности. Но реалисты полагают, что универсалии, к которым обращаются, чтобы объяснить совпадение атрибутов у партикулярий, могут, в свою очередь, совпадать, экземплифицируя универсалии более высокого порядка. Так, например, у свойств «красное», «желтое» и «синее» есть разнообразные свойства тона и насыщенности; все они относятся к виду цвет и вступают в такие отношения, как «быть светлее» или «быть темнее». И, разумеется, экземплифицируемые цветами универсалии могут быть более или менее определенными – так можно объяснить, например, почему красный ближе к оранжевому, чем синий.
Таким образом, первоначальное предположение, что атрибуты у родственных партикулярий совпадают потому, что те экземплифицируют одну и ту же универсалию, приводит к построению весьма сложной системы. Партикулярии и группы, состоящие из n партикулярий, экземплифицируют универсалии разных типов: свойства, виды и отношения. В свою очередь, эти универсалии обладают другими свойствами, принадлежат к другим видам и вступают в другие отношения. То же верно и для этих новых свойств, видов и отношений – и т. д., быть может, до бесконечности. А выстраиваемые таким образом кажущиеся бесконечными ряды универсалий включены в сложные иерархии в зависимости от степени их обобщенности – так возникают сложные системы совпадения атрибутов различной степени универсальности. Таким образом, то, что начиналось с, казалось бы, невинной экстраполяции продиктованных здравым смыслом суждений, выросло во всеобъемлющую метафизическую теорию, онтологию, которая оказалась весьма далека от здравого смысла.
Кому-то сложность этой теории может прийтись не по вкусу, но реалисты настаивают, что сложность структуры является ее преимуществом. Система представляет собой продуктивную теорию, позволяющую объяснять самые разнообразные явления. Хотя реалисты утверждают, что их убеждения позволяют найти объяснение для множества различных явлений, мы поговорим лишь о двух. Оба касаются вопросов семантики, и оба сыграли важную роль в истории метафизического реализма. Первое – это проблема субъекта и предиката; второе – абстрактная референция. По мнению реалистов, оба явления позволяют поставить важные философские вопросы, на которые, как они полагают, теоретический аппарат метафизического реализма позволяет дать прямой и убедительный ответ.
Субъектно-предикатное предложение – элементарная форма высказывания. Примерами таких высказываний являются следующие предложения:
(1) Сократ отважен.
(2) Платон – человек.
(3) Сократ – учитель Платона.
Произнося подобные предложения, мы выбираем партикулярию (или ссылаемся на нее), а затем нечто о ней говорим, тем или иным образом характеризуя ее или описывая, указывая, к какому виду она относится, или с чем-то ее связывая. Например, произнося предложение (1), мы отсылаем к Сократу и говорим о нем, что он отважен. Такая интерпретация (1) подразумевает, что в предложении (1) референтную роль играет (или указывает на объект) лишь субъект «Сократ». Но метафизические реалисты настаивают на том, что такая интерпретация недостаточна. По их словам, любой добросовестный анализ предложения (1) покажет, что предикат «отважен» также обладает референтным значением[17].
Предположим, что предложение (1) истинно. Совершенно очевидно, что его истинность определяется двумя факторами: во-первых, значением предложения (1), а во-вторых, тем, как устроен мир. И то и другое обусловлено структурой: значение предложения (1) зависит от составных частей предложения и их взаимного расположения. С другой стороны, устройство мира обусловлено неязыковой структурой и зависит от того, какие предметы находятся в определенной части мира и как они соотносятся друг с другом. Таким образом, истинность предложения (1) зависит как от языковой, так и от неязыковой структуры, и реалисты полагают, что предложение (1) истинно вследствие соответствия между двумя этими структурами. Предложение (1) истинно потому, что языковая структура (1) соответствует неязыковой структуре определенной части мира или отражает ее[18]. Вполне понятно, что, чтобы добиться требующегося соответствия, мы должны располагать предметом, отвечающим имени собственному «Сократ». Но реалисты утверждают, что предложение (1) может быть истинным лишь при условии, что понятие «отважный» также соотносится с каким-то неязыковым объектом. Как видно из предложения (1), понятие «отважный» играет не чисто формальную роль наподобие той, что приписывается словам, не вступающим в какие-либо отношения с существующими в мире объектами (например, союзам «или», «если» или определенному и неопределенному артиклям в английском языке). Поэтому для того, чтобы предложение (1) было истинным, у его субъекта и предиката должны быть референты, соотносящиеся между собою таким образом, чтобы сказанное в предложении (1) было истинным. Но тогда – как это происходит в предложении (1) – понятие «отважный» соответствует такой сущности, что референт «Сократ», в силу своего к ней отношения, является – как сказано в предложении (1) – отважным.
Однако метафизические реалисты сразу же отметят, что «отважный» – это общее понятие: его можно использовать применительно не только к Сократу, но и другим индивидам, а потому оно может выступать в качестве предиката не только в предложении (1), но и в других субъектно-предикатных предложениях. Например, допустим, что истинно не только предложение (1), но и предложение
(4) Платон отважен.
Здесь также применим аргумент, использованный в случае предложения (1). В предложении (4) понятие «отважный» играет не менее значимую референтную роль, чем в предложении (1). Но каково отношение между референтами этих двух случаев использования понятия «отважный»? Вполне очевидно, что, применяя в предложении (4) предикат «отважный» к Платону, мы говорим о нем ровно то же самое, что и о Сократе, применяя предикат «отважный» к последнему в предложении (1). И, по мнению реалиста, из этого следует, что, каким бы референтным значением ни обладало понятие «отважный» в предложениях (1) и (4), в обоих случаях оно одинаково. Это позволяет реалисту сделать вывод, что в предложениях (1) и (4) понятие «отважный» отсылает к одной и той же сущности – той самой, в силу причастности к которой и Сократ, и Платон считаются отважными.
Разумеется, те же аргументы применимы в случае других субъектно-предикатных предложений, где в роли предиката выступает понятие «отважный». В любом таком предложении понятие «отважный» обладает референтным значением или относится к какому-либо объекту. Если во всех этих предложениях понятие используется в одном и том же смысле, то во всех них оно обладает одним и тем же референтным значением. В любом подобном предложении оно относится или отсылает к одной сущности – такой, что, в силу отношений между нею и референтом субъекта предложения, последнее оказывается истинным. Но какой метафизический механизм необходим, чтобы можно было таким образом описать условия истинности предложений (1), (4) и им подобных? Реалисты уверяют, что лежащая в основе их теории онтологическая схема делает такое описание возможным. Если существуют повторяемые сущности или универсалии и отношение экземплификации, связывающее их с партикуляриями, то наше описание условий истинности таких предложений, как (1) и (4), не вызывает нареканий. Предложения (1) и (4) истинны, поскольку референтом понятия «отважный» является определенная универсалия – добродетель отваги – и поскольку и Платон, и Сократ эту универсалию экземплифицируют.
Конечно же, реалисты хотят расширить область применимости сказанного нами о предложениях (1) и (4), с тем чтобы дать общее теоретическое описание субъектно-предикатного дискурса. Предикаты отсылают к универсалиям. Истинным субъектно-предикатное предложение делает именно то, что референт его субъекта экземплифицирует универсалию, являющуюся референтом его предиката. Как правило, реалисты заявляют, что существуют различные виды универсалий, которые могут быть референтами предикатов. Референтами предикатов субъектно-предикатных предложений наподобие (1), где мы характеризуем объект или говорим, каков он, являются свойства. Существуют также такие субъектно-предикатные предложения, как
(2) Платон – человек.
Они позволяют нам сказать, чем является тот или иной предмет или к какому виду он принадлежит. Референтами их предикатов являются виды. Наконец, есть такие субъектно-предикатные предложения, как
(3) Сократ – учитель Платона.
Они позволяют нам сказать, как различные объекты относятся друг к другу; референты их предикатов – это отношения.
Но, чтобы этот анализ был исчерпывающим, нам следует сказать о том виде референтного отношения, которое связывает предикаты со свойствами, видами и отношениями. Ярким примером референтного отношения является для нас отношение, связывающее имя и его носителя: имя Сократ и человека, которого так зовут. Некоторые реалисты полагают, что именно такое отношение связывает предикаты с универсалиями[19]. Обычно они приводят в пример такие предложения, как
(5) Это является красным,
где мы определяем цвет некой партикулярии. Нам говорят, что в предложении (5) есть два имени, связанных друг с другом глаголом-связкой «является»: словом «это» именуется конкретная партикулярия, словом «красный» – конкретная универсалия, а глагол-связка выражает отношение экземплификации между партикулярией, именуемой «это», и универсалией, именуемой «красный». В таком изложении идея, что субъектно-предикатная истина предполагает наличие соответствия между языковой и неязыковой структурами, описана очень ясно, ибо здесь наблюдается взаимно-однозначное соответствие между языковыми оборотами, из которых состоит предложение (5), и неязыковыми предметами, которые должны делать это предложение истинным. Но если в случае таких предложений, как (5), предположение, будто предикаты отсылают к универсалиям, может показаться многообещающим, то в случае других субъектно-предикатных предложений оказывается, что подобный анализ не вполне применим. Обратимся снова к предложению
(1) Сократ отважен.
Вряд ли можно утверждать, что его предикат является именем. Там, где понятие является именем сущности, оно может играть роль субъекта в субъектно-предикатном предложении – в этом случае оно отсылает к предмету, чьим именем является. Однако понятие «отважный» этой проверки не проходит: с точки зрения грамматики оно не может занять в предложении место подлежащего. Если существует понятие, являющееся именем универсалии, которую реалист хотел бы соотнести с предикатом «отважный», то это понятие – «отвага». И, подобно тому как понятие «отважный» не может быть подлежащим, «отвага» не может стать предикатом. Эта пара понятий не является каким-то исключением. Возьмите предложения
(6) Эта монета круглая.
(7) Платон мудр.
И
(8) Алкивиад изнурен.
Ни в одном из этих случаев нельзя сказать, что предикат выступает здесь в качестве имени для универсалии, к которой, предположительно, должен отсылать. В каждом из них есть иное понятие («округлость», «мудрость», «изнурение»), которое гораздо лучше подходит на роль имени соответствующей универсалии. То, что предикаты предложений (1), (6), (7) или (8) не могут быть именами универсалий, позволяет предположить, что и понятие «красный» в предложении (5) этой роли не играет, – и так оно и есть. «Красный», как и остальные обозначения цветов, – слово двусмысленное. Оно может выступать в роли существительного (например, «Красный – это цвет») – в этом случае его вполне можно считать именем соответствующего цвета. Однако оно может также выступать в роли прилагательного (например, «красный дом» или «красное лицо») и в этом случае не являться ничьим именем. В предложении (5) слово «красный» выступает в роли прилагательного, а потому является именем не в большей степени, чем слово «отважный» в предложении (1).
До сих пор наше внимание было сосредоточено на грамматических препятствиях к истолкованию предикатов как имен – однако обусловлены они семантикой. Имя – понятие уникальное: оно соотносится исключительно со своим носителем. Предикаты же, напротив, являются понятиями общими, а потому вступают в референтные отношения с каждым из объектов, к которым могут быть применены. Как говорят специалисты по семантике, они являются истинными в отношении этих объектов или соответствуют им. Но если вступление в такие отношения мешает им выступать в роли имен универсалий, то возможен ли какой-нибудь иной вид референтных отношений, в которые они, несмотря ни на что, могли бы вступать с универсалиями? Многие реалисты уверены, что такой вид есть. Они заявляют, что предикаты не только являются истинными в отношении объектов, предикатами которых могут быть, или соответствуют им, но и выражают универсалии или коннотируют их[20]. Так, есть референция между понятием «отважный» и всеми отважными индивидами, и только с ними – это отношение соответствия; реалисты утверждали, что оно также выражает или коннотирует общую для всех этих индивидов универсалию (добродетель отваги). Равным образом понятие «круглый» соответствует всем круглым предметам, и только им, но реалисты говорят нам, что оно также находится в семантическом отношении выражения или коннотации с универсалией, к которой причастны все эти индивидуальные предметы, – округлой формой.
Чтобы пояснить тезис, согласно которому предикаты выражают универсалии, реалисты утверждают, что применить предикат к объекту – значит сделать нечто большее, чем просто определить объект как один из целого ряда объектов; нужно также выявить универсалию, благодаря которой объект принадлежит к этому ряду. Таким образом, говоря, что объект является треугольным, мы не просто говорим, что он принадлежит к ряду объектов, но также указываем на общее свойство всех объектов, принадлежащих к этому ряду, и утверждаем, что данный объект проявляет это свойство. По мнению реалистов, то, что субъектно-предикатные предложения наподобие наших (1) – (8) можно парафразировать так, чтобы отсылка к универсалии стала явной, доказывает, что использование предиката предполагает не просто выявление предметов, в отношении которых он является истинным. Например, предложение (1) можно парафразировать следующим образом:
(1′) Сократ экземплифицирует отвагу.
А предложение (6) так:
(6′) Эта монета экземплифицирует округлость.
В обоих случаях исходное субъектно-предикатное предложение заменяется предложением с единственным понятием, находящимся в отношении называния к универсалии, к которой, по мнению реалиста, отсылает предикат предложения. Таким образом, по мнению реалистов, подобные парафразы всегда возможны: любое субъектно-предикатное предложение вида «a есть F» можно преобразовать в предложение вида «a экземплифицирует универсалию F». Но если такого рода парафразы всегда возможны, то использование общего понятия F в качестве предиката объекта просто значит, что этот объект экземплифицирует универсалию F. А это означает, что, даже если предикаты не являются именами универсалий, их использование в контексте субъектно-предикатного предложения способно ввести универсалии в дискурс, стать упоминанием о них или отсылкой к ним. Следовательно, здесь присутствует референтное отношение – более слабое или менее непосредственное, чем отношение называния, но «паразитирующее» на нем. Это отношение реалисты и называют выражением или коннотацией. И опять-таки реалисты, как правило, будут утверждать, что предикаты могут выражать или коннотировать различные виды универсалий. Предикаты предложений наподобие (1) выражают или коннотируют свойство: сделать утверждение (1) – значит сказать, что данный объект экземплифицирует свойство, поскольку обладает им. Напротив, предикат предложения (2) выражает вид: утверждать (2) – значит сказать, что некий объект экземплифицирует этот вид в силу принадлежности к нему. Наконец, предикат предложения (3) выражает взаимное отношение: заявить (3) – значит сказать, что конкретная пара объектов экземплифицирует это взаимное отношение, поскольку вступает в него.
Таким образом, предикаты выражают или коннотируют свойства, виды и отношения; а там, где мы имеем дело с истинным субъектно-предикатным отношением, выражаемая предикатом универсалия экземплифицируется референтом субъекта. Реалисты полагают, что такое описание позволяет нам достичь поставленной цели: оно объясняет, каким образом субъектно-предикатные предложения способны соответствовать миру, причем делает это естественным и интуитивно понятным образом. По их мнению, естественным это описание оказывается благодаря своей связи с предлагаемой реалистами интерпретацией совпадения атрибутов. Общие понятия выполняют роль предикатов, и, какой бы теории мы ни придерживались, они маркируют случаи совпадения атрибутов: у всех предметов, в отношении которых конкретное общее понятие является истинным, совпадают атрибуты – или они являются в том или ином отношении одинаковыми. Но, по мнению реалистов, все предметы, у которых совпадают атрибуты, экземплифицируют какую-то одну универсалию. Общее понятие, маркирующее конкретный случай совпадения атрибутов, выражает или коннотирует в точности ту же универсалию, что в данном случае является основанием совпадения атрибутов. Таким образом, мы получаем описание предикации, неразрывно связанное с нашим описанием совпадения атрибутов, и два этих описания сочетаются именно так, как должны бы были, если бы мы захотели дать удовлетворительное объяснение субъектно-предикатной истине. Универсалия, являющаяся референтом предиката, – это в точности та же универсалия, которую должен экземплифицировать референт субъекта, если этот референт является примером совпадения атрибутов, обозначенного этим предикатом.
Реалисты полагают, что онтология универсалий позволяет нам объяснить нечто большее, чем предикация. По их мнению, с помощью предложенной ими метафизической теории можно дать интуитивно удовлетворительное объяснение феномену абстрактной референции[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» включают абстрактные уникальные понятия, а также потому, что истинность включающих такие понятия предложений убеждает нас в существовании универсалий.
Во-вторых, нельзя должным образом оценить заявления реалистов касательно предложений с абстрактной референцией, игнорируя альтернативные представления о роли механизмов абстрактной референции: если альтернативные способы анализа предложений наподобие (9) – (18) окажутся несостоятельными, это станет обоснованием таких заявлений. Если же существует убедительное описание содержания и условий истинности таких предложений с точки зрения номинализма, то утверждение реалистов, будто истинность таких предложений вынуждает нас признать существование универсалий, необоснованно. То же верно и в отношении приведенного ранее довода относительно субъектно-предикатной истины. Убедительное объяснение того, как субъектно-предикатные предложения могут соответствовать неязыковому факту, при котором между предикатами и универсалиями не устанавливается референтная связь, поставило бы под вопрос утверждение реалистов, что мы нуждаемся в универсалиях для объяснения субъектно-предикатной истины. Таким образом, оба довода становятся гораздо понятнее, если интерпретировать их как поставленные перед номиналистами задачи – разработать систематические и интуитивно убедительные теории предикации и абстрактной референции, которые объяснили бы нам метафизические основания субъектно-предикатной истины и использования механизмов абстрактной референции, не отсылая к общим или разделяемым многими предметами сущностям. Как мы увидим в следующей главе, номиналисты признали две проблемы, сформулированные реалистами, и приложили существенные усилия, доказывая, что возможно альтернативное решение. А если учесть то, как именно реалистская теория абстрактной референции согласуется с реалистской теорией предикации, не стоит удивляться, что более всего номиналистов заботило объяснение роли абстрактных уникальных понятий. Как мы увидим, утверждение реалистов, будто наше интуитивное понимание предложений наподобие (9) – (18) предполагает существование универсалий, – это только первый шаг. Реалисты понимают, что им нужно дать ответ на альтернативные описания таких предложений. Однако они готовы сделать это и уверены, что исследование номиналистской теории абстрактной референции подтвердит их анализ.
Может показаться, будто метафизические реалисты представляют собой единую группу, отстаивающую одну доктрину, но на деле между ними существуют разногласия по множеству вопросов. Наиболее важный из них касается степени всеобщности теории. Из нашего описания реализма можно сделать вывод, что его сторонники желают повсеместно применять платоновскую схему, так что каждому случаю того, для обозначения чего мы использовали дофилософское понятие совпадения атрибутов, реалист приписал бы особую универсалию. Аналогичным образом мы предположили, что каждое общее понятие, которое может выступать в роли предиката в истинном субъектно-предикатном предложении, выражает или коннотирует особую универсалию и что каждое семантически определенное абстрактное понятие называет уникальную универсалию. Но многие реалисты не готовы принять такой – лишенный ограничений – вариант теории. Они настаивают на необходимости таких ограничений теории, при которых универсалии соответствовали бы лишь некоторым из описаний способов существования вещей, лишь ограниченному набору общих понятий и лишь некоторым из абстрактных понятий нашего языка. Более того, между налагаемыми на теорию ограничениями есть различия, и, исследуя разные способы ограничения теории и основания для наложения каждого из ограничений, мы можем продемонстрировать разнообразные формы метафизического реализма.
Следует начать с того, что не существует такой версии метафизического реализма, в рамках которой последовательно и без всяких ограничений применялась бы платоновская схема или считалось бы, что любой безэквивалентный предикат или абстрактное понятие ассоциируется с отдельной и конкретной универсалией. При отсутствии всяких ограничений такая теория приводит к печально знаменитому парадоксу. Продемонстрировать парадоксальную природу ничем не ограниченного реализма можно, сосредоточившись на реалистском анализе предикации. Предположим, мы согласились с таким анализом безо всяких оговорок и полагаем, что каждому общему понятию, которое может занять место предиката в субъектно-предикатном предложении, соответствует какая-нибудь универсалия. Теперь рассмотрим общее понятие «не экземплифицирует себя». Конечно же, с точки зрения синтаксиса это сложное понятие, но, если мы того захотим, можно ввести одно-единственное выражение, заменяющее сложный предикат, чтобы сложность синтаксической конструкции оказалась незначительной деталью. Тогда у нас будет вполне приемлемое общее понятие, истинное в отношении всех вещей, которые не экземплифицируют себя (или соответствующее им), – и только таких вещей; и это будет общее понятие, которое может выступать в роли предиката в истинных предложениях. К примеру, данное выражение истинно в отношении Билла Клинтона, числа два и Тадж-Махала. Поскольку ни одна из этих вещей не экземплифицирует саму себя, то каждой подходит предикат «не экземплифицирует себя» и все соответствующие субъектно-предикатные предложения будут истинными. С другой стороны, существуют вещи – определенные универсалии, – к которым этот предикат неприменим. Можно предположить, что таково свойство быть бестелесным: вещь лишена тела и, следовательно, бестелесна. Равным образом, если существует такая вещь, как бытие самотождественным, то она тождественна самой себе и, стало быть, экземплифицирует себя. Следовательно, предикат «не экземплифицирует себя» не подходит ни одной из этих вещей.
Итак, если существуют истинные субъектно-предикатные предложения, в которых данное понятие выступает в роли предиката, то из той версии реалистской теории предикации, на которую не налагаются никакие ограничения, следует, что существует свойство, выражаемое или коннотируемое таким предикатным выражением. Ради удобства назовем его свойством не экземплифицировать себя. Предположение о существовании такого свойства немедленно приводит к парадоксу, ибо это свойство должно либо экземплифицировать, либо не экземплифицировать себя. Предположим, что оно себя экземплифицирует. Тогда, поскольку это свойство, которое вещь проявляет именно в том случае, когда она не экземплифицирует себя, получается, что оно себя не экземплифицирует. Таким образом, если оно себя экземплифицирует, то оно себя не экземплифицирует. С другой стороны, предположим, что оно себя не экземплифицирует. Тогда получается, что, будучи свойством не экземплифицировать себя, оно себя экземплифицирует. Итак, если оно не экземплифицирует себя, то оно себя экземплифицирует. Но в этом случае оно экземплифицирует себя именно тогда, когда не экземплифицирует, – итог неутешительный[23]. Чтобы избежать парадокса, мы вынуждены отрицать существование универсалии, соотносящейся с общим понятием «не экземплифицирует себя». Реалистская теория предикации не работает для всех общих понятий, выступающих в роли предикатов субъектно-предикатных предложений.
Часто говорят, что на эту теорию нужно наложить еще некоторые ограничения, поскольку без них она приведет к бесконечной регрессии. Это очень старый спор: его можно обнаружить в платоновском «Пармениде», и со времен Платона он повторялся снова и снова[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) и любые другие, следующие за ним.
Таким образом, получается, что, ограничив применение платоновской схемы и реалистской теории предикации, можно избежать описанных выше регрессий. Однако можно поставить под сомнение идею, что здесь подойдет любое ограничение. Если эти регрессии реальны, сложно понять, почему они должны беспокоить реалистов. Рассмотрим утверждение, что использование платоновской схемы ведет к дурной бесконечности. Реалисты заявляют, что располагают схемой, обеспечивающей исчерпывающее объяснение любого конкретного случая совпадения атрибутов. Но предполагаемая регрессия никак не ставит это утверждение под вопрос. Если за каждым конкретным случаем совпадения атрибутов лежит бесконечное количество таких совпадений, это никак не компрометирует использование реалистами платоновской схемы для обеспечения полного и исчерпывающего объяснения первоначального случая совпадения атрибутов. Когда реалисты говорят, что все взятые нами для примера объекты являются F, ибо все они экземплифицируют «атрибут F», они дают нам исчерпывающее объяснение исходного случая совпадения атрибутов. Если, как следует из рассуждения, при объяснении вводится новый случай совпадения атрибутов, реалисты легко могут применить платоновскую схему и к нему – но вовсе не обязаны это делать. В частности, успех первоначального применения схемы для объяснения первого случая совпадения атрибутов никак не зависит от объяснения второго случая; то же самое можно сказать и о каждом случае совпадения атрибутов, предположительно следующем за первым. Поэтому если бесконечная регрессия реальна, то это – не дурная бесконечность. Следовательно, не нужно налагать никаких ограничений на использование платоновской схемы.
То же самое можно сказать в ответ на утверждение, что реалистам следует наложить ограничения на применение их теории субъектно-предикатной истинности. Даже если бесконечная регрессия, предположительно требующая соответствующих ограничений, реальна, это – не дурная бесконечность. Если, как следует из рассуждения, из реалистского объяснения истинности предложения (19) выводится новое истинное субъектно-предикатное предложение (20), то успешное объяснение реалистами истинности предложения (19) не предполагает объяснения истинности предложения (20). Если бы цель состояла в устранении или полном разложении в ходе анализа субъектно-предикатной формы дискурса, то возникновение предложения (20) и в самом деле стало бы проблемой. Но реалисты вряд ли предполагают, что возможно устранить такую форму дискурса. В действительности, если здесь существует регрессия, то это регрессия, возникающая при любой попытке очертить онтологические основания субъектно-предикатной истины – независимо от того, предпринимают ли ее реалисты или