Естественная супервентность имеет место, когда во всех естественно возможных ситуациях ситуации с одинаковым распределением A-свойств имеют одинаковое распределение В-свойств, то есть когда A-факты о ситуации естественным образом вынуждают В-факты. Это происходит, если одинаковые кластеры A-свойств в нашем мире всегда сопровождаются одинаковыми В-свойствами и если эта корреляция является не случайной, а закономерной, то есть если реализация A-свойств будет всегда порождать В-свойства, когда бы и где бы это ни происходило. (Говоря философским языком, зависимость должна поддерживать контрфактуалы.) Это сопутствование не обязано иметься в любой логически возможной ситуации, но оно должно быть в любой естественно возможной ситуации.
Ясно, что логическая супервентность влечет за собой естественную супервентность. Если любые две логически возможные ситуации с одинаковыми A-свойствами имеют одинаковые В-свойства, то это будет верным и для любых двух естественно возможных ситуаций. Обратное же, однако, не проходит, как показывает закон состояния газа. Температура и объем моля газа определяют давление в естественно возможных, но не в логически возможных ситуациях, так что давление естественно, но не логически зависит от температуры и объема. Когда мы будем сталкиваться с естественной супервентностью без логической супервентности, я буду говорить, что мы имеем дело с сугубо естественной супервентностью.
По причинам, которые еще прояснятся, примеры естественной супервентности на множестве физических свойств, которые не были бы одновременно примерами логической супервентности, найти непросто, но хорошей иллюстрацией может быть само сознание. Кажется очень вероятным, что сознание естественным образом, локально или глобально, супервентно на физических свойствах, если в естественном мире два любых физически идентичных существа будут иметь квалитативно тождественный опыт. Но далеко не очевидно, что сознание логически супервентно на физических свойствах. И по крайней мере, многие считают логически возможным, что существо, физически тождественное сознательному существу, могло бы быть вовсе лишено сознательного опыта, или что оно могло бы иметь иной сознательный опыт. (Некоторые оспаривают это, но пока я говорю об этом только для иллюстрации.) Если это так, то сознательный опыт естественно, но не логически, супервентен на физическом. Необходимая связь между физической структурой и опытом обеспечивается только законами природы, а не логической или концептуальной силой.
Различение логической и естественной супервентности очень важно дня наших целей[26]. Мы можем интуитивно схватить его следующим образом. Если В-свойства логически супервентны на A-свойствах, то при (гипотетическом) создании Богом мира с определенными А — фактами В-факты оказываются бесплатным и автоматическим следствием этого. Если же В-свойства всего лишь естественно супервентны на A-свойствах, то после завершения дел с A-фактами Бог должен еще поработать над В-фактами: он должен обеспечить существование закона, соотносящего A-факты и В-факты. (Я заимствую этот образ у Крипке (Kripke 1972).) При наличии этого закона соответствующие A-факты будут автоматически порождать В-факты; но в принципе они могли бы и не делать этого.
Иногда говорят также о метафизической супервентности, основанной ни на логической, ни на естественной необходимости, а на «необходимости tout court», или «метафизической необходимости», как ее иногда называют (отталкиваясь от обсуждения Крипке (Kripke 1972) апостериорной необходимости). Позже я попытаюсь показать, что метафизически возможные миры — не что иное, как логически возможные миры (и что метафизическая возможность тех или иных утверждений — это логическая возможность с апостериорным семантическим оттенком), но пока мы вполне можем допустить понятие метафизической супервентности, определяемое по аналогии с вышеуказанными понятиями логической и естественной супервентности. Иногда заходит речь и о понятии «слабой» супервентности, но оно представляется слишком слабым для того, чтобы выражать какое бы то ни было интересное отношение между свойствами[27].
Различение логической и естественной супервентности пересекается с различением глобальной и локальной супервентности. Мы вправе говорить как о глобальной логической супервентности, так и о локальной логической супервентности, хотя меня чаще будет интересовать первая. Когда я говорю о логической супервентности без дополнительных уточнений, я имею в виду глобальную логическую супервентность. Допустимы и рассуждения о глобальной естественной супервентности и локальной естественной супервентности, хотя отношения естественной супервентности, с которыми мы имеем дело, как правило, локальны или хотя бы локализуемы по той простой причине, что свидетельства, касающиеся отношения естественной супервентности, обычно сводятся к локальным регулярностям, имеющим место между теми или иными кластерами свойств[28].
26
Важное различие логической и естественной супервентности нередко замалчивается или игнорируется в литературе, зачастую не конкретизирующей модальность отношений супервентности. Естественная (или номологическая) супервентность обсуждается ван Кливом (van Cleve 1990), использующим ее для объяснения одной из разновидностей эмерджентности. Сигер (Seager) проводит сходное различие между тем, что он называет конститутивной и коррелятивной супервентностью. Они напрямую соответствуют логической и естественной супервентности, хотя Сигер анализирует данные понятия несколько иначе.
27
Слабая супервентность требует лишь, чтобы в мире — но не в мирах — не было «В-различий без A-различий» (детали см. в (Kim 1984)). Модальная слабость этого отношения делает его слишком слабым для большинства целей. В лучшем случае оно может пригодиться для выражения концептуальных ограничений нефактуальных рассуждений (как в (Наге 1984)), хотя, как указывает Хорган (Horgan 1993), даже эти ограничения, похоже, предполагают кроссмировую зависимость. Сигер (Seager 1988) обращается к слабой супервентности для выражения некоей систематической внутримировой корреляции, не являющейся строго необходимой, но естественная супервентность является гораздо лучшим средством для решения этой задачи.
28
Глобальная естественная супервентность без локализованной регулярности — когерентное понятие, если исходить из неюмистской концепции законов, хотя, быть может, и нет, если опираться на юмистскую концепцию (основанную на понятии регулярности). Однако, даже если исходить из неюмистской концепции, трудно понять, какого рода данные могли бы свидетельствовать о существовании подобного отношения.