В - свойства локально супервентны на А - свойствах, если A - свойства индивида детерминируют В - свойства этого индивида, то есть если два любых возможных индивида, реализующих те же самые A - свойства, реализуют и те же самые В - свойства. К примеру, форма локально супервентна на физических свойствах: любые два объекта с одинаковыми физическими свойствами с необходимостью имеют одну и ту же форму. А вот ценность не является локально супервентной на физических свойствах: точная физическая копия "Моны Лизы" не столь ценна, как оригинал "Моны Лизы". В целом локальная супервентность свойства на физическом отсутствует, если это свойство является зависимым от контекста, то есть если обладание объектом этим свойством зависит не только от физического устройства данного объекта, но также от его окружения и истории. Оригинал "Моны Лизы" более ценен, чем его копия, из‑за различия их исторического контекста: оригинал этой картины был создан Леонардо, а копия - кем‑то другим.
Глобально же В - свойства оказываются супервентными на А - свойствах в том случае, когда A - факты о мире в целом детерминируют В - факты, то есть если не существует двух возможных миров, тождественных относительно их A - свойств, но различных в плане их В - свойств. Мир здесь понимается как весь универсум в целом; различные возможные миры соответствуют тому, каким мог бы оказаться универсум.
Локальная супервентность влечет глобальную супервентность, но не наоборот. К примеру, вполне вероятно, что биологические свойства глобально супервентны на физических свойствах в том смысле, что любой мир, физически тождественный нашему, был бы также и биологически тождествен ему. (Здесь надо сделать небольшую оговорку, о которой я вскоре скажу.) Но они, по - видимому, не являются локально супервентными. Два физически тождественных организма, судя по всему, могут отличаться по некоторым биологическим характеристикам. К примеру, один из них может быть более приспособленным, чем другой, вследствие различий в окружающей их среде. Можно даже вообразить себе ситуацию, при которой физически тождественные организмы оказывались бы представителями разных видов - при наличии у них разной эволюционной истории.
Различие между глобальной и локальной супервентностью не слишком принципиально, когда мы говорим о сознательном опыте, так как вполне вероятно, что в той мере, в какой сознание вообще супервентно на физическом, оно является локально супервентным на нем. Если два существа физически тождественны, то различия в их окружении и истории не помешают им иметь тождественный опыт. Разумеется, контекст может косвенно влиять на опыт, но только через воздействие на внутреннюю структуру, как это имеет место в случае восприятия. Такие феномены, как галлюцинации и иллюзии, иллюстрируют тот факт, что прямую ответственность за опыт несет внутренняя структура, а не контекст.
Более важно для нас различие между логической (или концептуальной) и естественной (номической или эмпирической) супервентностью.
В - свойства логически супервентны на А - свойствах, если не существует двух логически возможных ситуаций, тождественных относительно их A - свойств, которые были бы различны относительно их В - свойств. Далее в этой главе я еще поговорю о логической возможности. Пока же можно в общем помыслить ее как возможность в самом широком смысле, приблизительно соответствующей представимости, не ограниченной законами нашего мира. Полезно мыслить логически возможный мир как мир, который был бы в силах при желании создать Бог (гипотетически!). Бог не мог бы создать мир с [женатыми холостяками], но он мог бы создать мир с летающими телефонами. При определении логической возможности истинности какого‑то утверждения ограничения имеют по большей части концептуальный характер. Понятие [женатого холостяка] содержит противоречие, и поэтому [женатые холостяки] логически невозможны; а вот понятие летающего телефона концептуально когерентно, пусть и несколько необычно, и поэтому летающие телефоны являются логически возможными.
Следует подчеркнуть, что логическая супервентность не определяется в терминах выводимости в рамках какой‑либо системы формальной логики. Скорее, логическая супервентность определяется в терминах логически возможных миров (и индивидов), где понятие логически возможного мира оказывается независимым от этих формальных соображений. Подобная возможность нередко именуется в философской литературе "широкой логической" возможностью в противоположность "узкой логической" возможности, которая определяется формальными системами.
На глобальном уровне биологические свойства логически супервентны на физических свойствах. Даже Бог не мог бы создать мир, физически идентичный, но биологически отличный от нашего. Тут просто нет логического места для независимого изменения биологических фактов. Фиксируя все физические факты о мире - включая факты о распределении всех частиц в пространстве и времени - мы в результате также фиксируем макроскопическую форму всех объектов в мире, то, как они перемещаются и функционируют, и то, как они физически взаимодействуют друг с другом. Если в этом мире есть живой кенгуру, то в любом мире, физически тождественном с данным миром, будет существовать физически идентичный кенгуру, и этот кенгуру автоматически будет живым кенгуру.
Можно вообразить, что некое гипотетическое высшее существо - к примеру, демон Лапласа, знающий расположение всех частиц в универсуме, - смог бы непосредственно "вычитать" все биологические факты из данного ему набора всех микрофизических фактов. Микрофизических фактов будет достаточно, чтобы подобное существо построило модель микроскопической структуры и динамики мира в пространстве и времени, из которой оно может непосредственно вывести макроскопическую структуру и динамику. При наличии всей этой информации у него будет все необходимое для определения того, какая из систем является живой, какая из систем относится к тому же самому виду и т. п. Если оно обладает биологическими понятиями и имеет полную спецификацию микрофизических фактов, ему не потребуется никакой дополнительной информации.
В общем, если В - свойства логически супервентны на А - свойствах, то мы можем сказать, что A - факты влекут В - факты, где один факт влечет другой, если логически невозможным является наличие одного факта без другого. В таких случаях демон Лапласа мог бы вычитывать В - факты из спецификации A - фактов, при условии наличия у него В - понятий. (Далее в этой главе я гораздо подробнее остановлюсь на связи между этими различными способами понимания логической супервентности; данное обсуждение имеет по большей части иллюстративный характер.) В известном смысле можно сказать, что при логической супервентности всё, что нужно для наличия В - фактов, - это наличие таких же А - фактов.
Супервентность может иметь место, однако, и без логической супервентности. Более слабая разновидность супервентности обнаруживается при систематической и совершенной корреляции двух множеств свойств в природе. К примеру, давление, оказываемое одним молем газа, систематическим образом зависит от его температуры и объема в соответствии с законом
pV = КТ,