Сознающий ум

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

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

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

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

Различение логической и естественной супервентности пересекается с различением глобальной и локальной супервентности. Мы вправе говорить как о глобальной логической супервентности, так и о локальной логической супервентности, хотя меня чаще будет интересовать первая. Когда я говорю о логической супервентности без дополнительных уточнений, я имею в виду глобальную логическую супервентность. Допустимы и рассуждения о глобальной естественной супервентности и локальной естественной супервентности, хотя отношения естественной супервентности, с которыми мы имеем дело, как правило, локальны или хотя бы локализуемы по той простой причине, что свидетельства, касающиеся отношения естественной супервентности, обычно сводятся к локальным регулярностям, имеющим место между теми или иными кластерами свойств[28].

Проблема, связанная с логической супервентностью*

Нам надо рассмотреть одну техническую проблему, связанную с понятием логической супервентности. Эта проблема возникает в силу логической возможности мира, физически идентичного нашему, но имеющего в своем составе добавочный нефизический материал, отсутствующий в нашем мире: к примеру, ангелов, эктоплазму или привидения. Можно представить мир в точности как наш, за исключением того, что в нем есть еще и ангелы, порхающие в нефизической сфере из эктоплазмы. Если бы эти ангелы размножались и эволюционировали, то они могли бы обладать собственными биологическими свойствами. У них вполне могли бы иметься разного рода убеждения и развитые социальные структуры.