A-факты и В-факты о мире — это факты, связанные с реализацией и распределением A-свойств и В-свойств[19]. Так что физические факты о мире охватывают все факты, связанные с реализацией физических свойств в пространственно-временном многообразии. Полезно также условиться, что физические факты о мире включают его базовые физические законы. Согласно некоторым концепциям, эти законы детерминированы совокупностью отдельных физических фактов, но это нельзя принимать за аксиому.
Основой для дефиниции супервентности является следующая формула:
В-свойства супервентны на A-свойствах, если невозможны две ситуации, тождественные в плане A-свойств, но различные в их В-свойствах.
К примеру, биологические свойства супервентны на физических свойствах, если любые две возможные физически тождественные ситуации биологически тождественны. (Здесь я использую слово «тождественные» в смысле неразличимости, а не нумерического тождества. В этом смысле два разных стола могут быть физически тождественными.) Более определенные понятия супервентности могут быть получены при конкретизации этой основной формулы. В зависимости от того, понимаем ли мы под «ситуациями», о которых идет речь, индивидов или целые миры, мы приходим к понятиям соответственно локальной и глобальной супервентности. И в зависимости от того, как мы конструируем понятие возможности, мы получаем понятия логической супервентности, естественной супервентности, а возможно, и другие. Сейчас я разъясню эти дистинкции.
В-свойства локально супервентны на А-свойствах, если A-свойства индивида детерминируют В-свойства этого индивида, то есть если два любых возможных индивида, реализующих те же самые A-свойства, реализуют и те же самые В-свойства. К примеру, форма локально супервентна на физических свойствах: любые два объекта с одинаковыми физическими свойствами с необходимостью имеют одну и ту же форму. А вот ценность не является локально супервентной на физических свойствах: точная физическая копия «Моны Лизы» не столь ценна, как оригинал «Моны Лизы». В целом локальная супервентность свойства на физическом отсутствует, если это свойство является зависимым от контекста, то есть если обладание объектом этим свойством зависит не только от физического устройства данного объекта, но также от его окружения и истории. Оригинал «Моны Лизы» более ценен, чем его копия, из-за различия их исторического контекста: оригинал этой картины был создан Леонардо, а копия — кем-то другим[20].
Глобально же В-свойства оказываются супервентными на А-свойствах в том случае, когда A-факты о мире в целом детерминируют В-факты, то есть если не существует двух возможных миров, тождественных относительно их A-свойств, но различных в плане их В-свойств[21]. Мир здесь понимается как весь универсум в целом; различные возможные миры соответствуют тому, каким мог бы оказаться универсум.
Локальная супервентность влечет глобальную супервентность, но не наоборот. К примеру, вполне вероятно, что биологические свойства глобально супервентны на физических свойствах в том смысле, что любой мир, физически тождественный нашему, был бы также и биологически тождествен ему. (Здесь надо сделать небольшую оговорку, о которой я вскоре скажу.) Но они, по-видимому, не являются локально супервентными. Два физически тождественных организма, судя по всему, могут отличаться по некоторым биологическим характеристикам. К примеру, один из них может быть более приспособленным, чем другой, вследствие различий в окружающей их среде. Можно даже вообразить себе ситуацию, при которой физически тождественные организмы оказывались бы представителями разных видов — при наличии у них разной эволюционной истории.
19
Я использую выражение «A-факт» для краткой записи «реализации A-свойства». Обращение к фактам делает обсуждение менее тяжеловесным, хотя все рассуждения о фактах и их отношениях в конечном счете могут быть выражены в терминах схематики совместной реализации свойств: при необходимости я детализирую это в примечаниях. В частности, следует отметить, что тождество индивида, реализующего А-свойство, не имеет значения для A — факта в моем понимании: важна лишь реализация свойства. Если бы тождество индивида частично конституировало A-факт, то любой A-факт влек бы за собой факты о сущностных свойствах этого индивида, и тогда дефиниция супервентности вела бы к контринтуитивным выводам.
20
Я допускаю, возможно, несколько искусственно, что индивиды имеют четкие пространственно-временные границы, так что их физические свойства — это свойства, реализованные в таком регионе пространства-времени. Если в контексте рассуждений о локальной супервентности мы должны были бы счесть физически тождественными пространственно раздельные объекты, то нам надо было бы исключить из супервентностной базы любые свойства, касающиеся абсолютного пространственно-временного положения (хотя можно было бы избежать необходимости обращения к пространственно раздельным объектам, рассматривая всего лишь возможные объекты, находящиеся в том же самом положении). К тому же я всегда говорю так, будто низкоуровневые и высокоуровневые свойства реализуются индивидами одного типа, так что, к примеру, стол реализует микрофизические свойства — будучи охарактеризован через распределение этих свойств. Строго говоря, более точно, возможно, было бы сказать, что микрофизические свойства реализуются только микрофизическими сущностями, но мои формулировки упрощают картину. В любом случае самые важные проблемы, с которыми мы будем иметь дело, связаны не с локальной, а с глобальной супервентностью.
21
Можно по-разному уточнять, что означает тождество миров относительно некоего множества свойств; это не имеет большого значения для нашего обсуждения. Быть может, лучше всего было бы сказать, что два мира тождественны относительно их A-свойств, если существует взаимно-однозначное соответствие между классами индивидов, реализующих A-свойства в обоих мирах, при котором каждый из двух соответствующих индивидов реализует те же A-свойства. Говоря о глобальной супервентности, мы в таком случае должны допустить, что соответствия, вследствие которых два мира рассматриваются как A-неразличимые, так и В-неразличимые, совместимы друг с другом; то есть ни один индивид не соотнесен с одним коррелятом при A-соответствии, с другим — при В-соответствии. Дефиниция глобальной супервентности обретает следующий вид: любые два A-тождественных мира (при некоем соотнесении) В-тождественны (в экстенсионале этого соотнесения).
Более привычный способ сделать это состоит в допущении, что А-тождественные миры должны включать в себя совершенно одинаковых индивидов, реализующих те же самые свойства, однако, как указывает Маклафлин (McLaughlin 1995), это неоправданно сильное допущение: оно приводит к тому, что кардинальное число мира и сущностные свойства индивидов с неизбежностью оказываются супервентными вообще на любых свойствах. Предлагаемая мной дефиниция обходит эту проблему, обеспечивая то, чтобы отношение детерминации заключало в себе исключительно схематику A-свойств и ничего более.