Дэвид Чалмерс - Сознающий ум. В поисках фундаментальной теории

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

Таким образом, дефиниция глобальной логической супервентности В-свойств на A-свойствах сводится к следующему: в любом логически возможном мире W , A — неотличимом от нашего мира, В-факты о нашем мире имеются и в W. Нам необязательно делать оговорку по поводу позитивности, но обычно будет подразумеваться, что релевантными В-фактами и свойствами являются лишь позитивные факты и свойства. Аналогичным образом, В-свойства локально и логически супервентны на A-свойствах, если для каждого актуального индивида х и для каждого логически возможного индивида у верно, что если у A-неотличим от я, то В-свойства, реализованные посредством я, реализованы посредством у. Более кратко и общо: В-свойства логически супервентны на A-свойствах, если В-факты, касающиеся актуальных ситуаций, вытекают из A-фактов, где под ситуациями имеются в виду миры и индивиды соответственно в глобальных и локальных случаях. Эта дефиниция схватывает идею о том, что тезисы о супервентности, как правило, являются тезисами о нашем мире, сохраняя ключевую роль за логической необходимостью [33].

Логическая и естественная супервентность имеют весьма различные последствия для онтологии, то есть в вопросе о том, что именно существует в мире. Если В-свойства логически супервентны на А-свойствах, то в определенном смысле при данности A-фактов В-факты достаются даром. Если Бог (гипотетически) обеспечил все физические факты нашего мира, то биологические факты автоматически следуют за ними. В-факты просто по-новому описывают то, что уже было описано A-фактами. Они могут быть другими фактами (факт о слонах — не микрофизический факт), но они не являются фактами, дополнительными к тем, что имеются до них.

В случае сугубо естественной супервентности онтология оказывается не столь прямолинейной. Контингентные законосообразные связи связывают различные черты мира. В общем, если В-свойства лишь естественно супервентны на A-свойствах в нашем мире, то мог бы существовать мир, в котором наши A-факты не сопровождались В-фактами. Как мы видели раньше, после того как Бог зафиксировал все A-факты, он должен был бы поработать еще, чтобы зафиксировать В-факты. В-факты дополнительны к A — фактам, и их наличие означает появление в мире чего-то нового.

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

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

Согласно этой дефиниции, материализм верен, если все позитивные факты, касающиеся нашего мира, выводимы из физических фактов [34]. Иными словами, материализм верен, если в любом логически возможном мире W , физически неотличимом от нашего мира, все позитивные факты, имеющиеся в нашем мире, имеются также и в W. Это, в свою очередь, эквивалентно тезису, что любой мир, физически неотличимый от нашего, содержит копию нашего мира в качестве своей (собственной или несобственной) части, — эта дефиниция интуитивно кажется верной [35]. (Сказанное соответствует дефиниции физикализма, данной Джексоном (Jackson 1994), критерий которого состоит в том, чтобы всякая минимальная физическая копия нашего мира являлась копией simpliciter нашего мира [36].)