Интуитивно, естественная возможность соответствует тому, что мы считаем реальной эмпирической возможностью: естественно возможная ситуация — это ситуация, которая при надлежащих условиях могла бы возникнуть в реальном мире. К ним относятся не только актуальные ситуации, но и контрфактические ситуации, которые могли бы возникнуть в истории мира при наличии других граничных условий или которые могли бы возникнуть в будущем при определенном стечении обстоятельств. Скажем, небоскреб высотой в милю почти наверняка естественно возможен, даже если в реальном мире он еще и не был построен. Естественно возможно (хотя и крайне маловероятно) даже, что обезьяна наберет текст «Гамлета». Естественно возможную ситуацию можно также представлять как ситуацию, которая соответствует природным законам нашего мира [24] . Поэтому естественную возможность иногда называют номинеской, или помологической, возможностью [25] от греческого слова nomos — «закон».

Имеется громадное множество логически возможных ситуаций, которые не являются естественно возможными. К этому классу относится любая ситуация, в которой происходит нарушение природных законов нашего мира. Пример: универсум без гравитации или с другими значениями фундаментальных констант. В научной фантастике можно найти немало примеров подобных ситуаций, связанных с антигравитационными устройствами, вечными двигателями и т. п. Их легко вообразить, но можно быть почти уверенным, что их не могло бы существовать в нашем мире.

Если говорить об обратном отношении, то следует отметить, что любая естественно возможная ситуация будет логически возможной. Класс естественных возможностей является, таким образом, подклассом логических возможностей. Это различение можно проиллюстрировать следующим образом: как кубическая миля золота, так и кубическая миля урана-235 кажутся логически возможными, но, насколько нам известно, только первая является естественно возможной — (стабильная) кубическая миля урана-235 не могла бы существовать в нашем мире.

Естественная супервентность имеет место, когда во всех естественно возможных ситуациях ситуации с одинаковым распределением A-свойств имеют одинаковое распределение В-свойств, то есть когда A-факты о ситуации естественным образом вынуждают В-факты. Это происходит, если одинаковые кластеры A-свойств в нашем мире всегда сопровождаются одинаковыми В-свойствами и если эта корреляция является не случайной, а закономерной, то есть если реализация A-свойств будет всегда порождать В-свойства, когда бы и где бы это ни происходило. (Говоря философским языком, зависимость должна поддерживать контрфактуалы.) Это сопутствование не обязано иметься в любой логически возможной ситуации, но оно должно быть в любой естественно возможной ситуации.

Ясно, что логическая супервентность влечет за собой естественную супервентность. Если любые две логически возможные ситуации с одинаковыми A-свойствами имеют одинаковые В-свойства, то это будет верным и для любых двух естественно возможных ситуаций. Обратное же, однако, не проходит, как показывает закон состояния газа. Температура и объем моля газа определяют давление в естественно возможных, но не в логически возможных ситуациях, так что давление естественно, но не логически зависит от температуры и объема. Когда мы будем сталкиваться с естественной супервентностью без логической супервентности, я буду говорить, что мы имеем дело с сугубо естественной супервентностью.

По причинам, которые еще прояснятся, примеры естественной супервентности на множестве физических свойств, которые не были бы одновременно примерами логической супервентности, найти непросто, но хорошей иллюстрацией может быть само сознание. Кажется очень вероятным, что сознание естественным образом, локально или глобально, супервентно на физических свойствах, если в естественном мире два любых физически идентичных существа будут иметь квалитативно тождественный опыт. Но далеко не очевидно, что сознание логически супервентно на физических свойствах. И по крайней мере, многие считают логически возможным, что существо, физически тождественное сознательному существу, могло бы быть вовсе лишено сознательного опыта, или что оно могло бы иметь иной сознательный опыт. (Некоторые оспаривают это, но пока я говорю об этом только для иллюстрации.) Если это так, то сознательный опыт естественно, но не логически, супервентен на физическом. Необходимая связь между физической структурой и опытом обеспечивается только законами природы, а не логической или концептуальной силой.

Различение логической и естественной супервентности очень важно дня наших целей [26] . Мы можем интуитивно схватить его следующим образом. Если В-свойства логически супервентны на A-свойствах, то при (гипотетическом) создании Богом мира с определенными А — фактами В-факты оказываются бесплатным и автоматическим следствием этого. Если же В-свойства всего лишь естественно супервентны на A-свойствах, то после завершения дел с A-фактами Бог должен еще поработать над В-фактами: он должен обеспечить существование закона, соотносящего A-факты и В-факты. (Я заимствую этот образ у Крипке (Kripke 1972).) При наличии этого закона соответствующие A-факты будут автоматически порождать В-факты; но в принципе они могли бы и не делать этого.

Иногда говорят также о метафизической супервентности, основанной ни на логической, ни на естественной необходимости, а на «необходимости tout court», или «метафизической необходимости», как ее иногда называют (отталкиваясь от обсуждения Крипке (Kripke 1972) апостериорной необходимости). Позже я попытаюсь показать, что метафизически возможные миры — не что иное, как логически возможные миры (и что метафизическая возможность тех или иных утверждений — это логическая возможность с апостериорным семантическим оттенком), но пока мы вполне можем допустить понятие метафизической супервентности, определяемое по аналогии с вышеуказанными понятиями логической и естественной супервентности. Иногда заходит речь и о понятии «слабой» супервентности, но оно представляется слишком слабым для того, чтобы выражать какое бы то ни было интересное отношение между свойствами [27] .