. Бог не мог бы создать мир с [женатыми холостяками], но он мог бы создать мир с летающими телефонами. При определении логической возможности истинности какого-то утверждения ограничения имеют по большей части
концептуальный характер. Понятие [женатого холостяка] содержит противоречие, и поэтому [женатые холостяки] логически невозможны; а вот понятие летающего телефона концептуально когерентно, пусть и несколько необычно, и поэтому летающие телефоны являются логически возможными.
Следует подчеркнуть, что логическая супервентность не определяется в терминах выводимости в рамках какой-либо системы формальной логики. Скорее, логическая супервентность определяется в терминах логически возможных миров (и индивидов), где понятие логически возможного мира оказывается независимым от этих формальных соображений. Подобная возможность нередко именуется в философской литературе «широкой логической» возможностью в противоположность «узкой логической» возможности, которая определяется формальными системами[23].
На глобальном уровне биологические свойства логически супервентны на физических свойствах. Даже Бог не мог бы создать мир, физически идентичный, но биологически отличный от нашего. Тут просто нет логического места для независимого изменения биологических фактов. Фиксируя все физические факты о мире — включая факты о распределении всех частиц в пространстве и времени — мы в результате также фиксируем макроскопическую форму всех объектов в мире, то, как они перемещаются и функционируют, и то, как они физически взаимодействуют друг с другом. Если в этом мире есть живой кенгуру, то в любом мире, физически тождественном с данным миром, будет существовать физически идентичный кенгуру, и этот кенгуру автоматически будет живым кенгуру.
Можно вообразить, что некое гипотетическое высшее существо — к примеру, демон Лапласа, знающий расположение всех частиц в универсуме, — смог бы непосредственно «вычитать» все биологические факты из данного ему набора всех микрофизических фактов. Микрофизических фактов будет достаточно, чтобы подобное существо построило модель микроскопической структуры и динамики мира в пространстве и времени, из которой оно может непосредственно вывести макроскопическую структуру и динамику. При наличии всей этой информации у него будет все необходимое для определения того, какая из систем является живой, какая из систем относится к тому же самому виду и т. п. Если оно обладает биологическими понятиями и имеет полную спецификацию микрофизических фактов, ему не потребуется никакой дополнительной информации.
