Повсеместность логической супервентности я буду доказывать, используя аргументы, апеллирующие к представимости, к эпистемологическим соображениям, а также к анализу понятий, имеющих отношение к делу.
Представимость. Логическую супервентность большинства высокоуровневых фактов проще всего заметить при использовании представимости в качестве теста на логическую возможность. Какого рода мир мог бы быть идентичен нашему во всех без исключения микрофизических фактах и при этом быть биологически отличным от него? Скажем, у какого-то вомбата в нашем мире есть два детеныша. Физические факты о нашем мире будут включать факты о распределении всех частиц в пространственно-временном участке, соответствующем вомбату, а также о его детенышах, их окружении и их эволюционной истории. Если бы некий мир разделял с нашим миром все эти факты, но не был бы миром, в котором у этого вомбата было бы два детеныша, в чем могло бы состоять различие между ними? Подобный мир кажется совершенно непредставимым. Если в возможном мире фиксируются все те же физические факты, то автоматически фиксируются и факты о вомбатности и родительстве. Эти биологические факты не являются вещами такого рода, которые могут отрываться от их физических основ, даже в виде концептуальной возможности.
Это же справедливо и относительно архитектурных фактов, астрономических фактов, поведенческих фактов, химических фактов, экономических фактов, метеорологических фактов, социологических фактов и т. д. Нельзя помыслить мир, физически тождественный нашему, но отличающийся от нашего в подобных фактах. Представляя микрофизически тождественный мир, мы представляем мир с той же самой локализацией каждой частицы в пространстве и времени. Из этого следует, что этот мир будет иметь ту же самую макроскопическую структуру, что и наш мир, и ту же самую макроскопическую динамику. После фиксации всего этого попросту не остается места для изменчивости данных фактов (за исключением, возможно, изменения, идущего от изменчивости сознательного опыта).
Более того, эта непредставимость, похоже, не связана с какими-то контингентными ограничениями нашей познавательной способности. Подобный мир непредставим в принципе. Даже высшее существо или Бог не могли бы вообразить такой мир. Им просто нечего было бы воображать. После того как они вообразили бы мир со всеми его физическими фактами, они автоматически вообразили бы мир, в котором имеются все те высокоуровневые факты. Физически тождественный мир, в котором эти высокоуровневые факты неверны, таким образом, логически невозможен, и указанные высокоуровневые свойства логически супервентны на физическом.
Эпистемология. Оставляя позади интуиции, связанные с представимостью, мы можем заметить, что если бы был возможен мир, физически идентичный нашему, но биологически отличный от него, это породило бы радикальные эпистемологические проблемы. Как мы узнали бы, что мы не находимся в том мире, а находимся в этом? Как мы узнали бы, что биологические факты в нашем мире таковы, какими они являются? Чтобы уяснить проблему, обратим внимание на то, что если бы я находился в этом альтернативном мире, то он наверняка выглядел бы в точности как наш. Он реализует такое же распределение частиц, как и то, которое обнаруживается в растениях и животных в этом мире; неотличимые конфигурации фотонов отражаются от этих объектов; даже при самом тщательном исследовании не удалось бы выявить никаких различий. Из этого следует, что всех имеющихся в нашем распоряжении внешних свидетельств недостаточно для того, чтобы провести различие между этими возможностями. В той мере, в какой биологические факты относительно нашего мира не являются логически супервентными, мы оказываемся не в состоянии узнать об этих фактах, исходя из внешних свидетельств.
В действительности, однако, не существует глубокой эпистемологической проблемы, связанной с биологией. Мы всегда познаем биологические факты о нашем мире на основании внешних свидетельств, и здесь не возникает какой-то особой скептической проблемы. Из этого следует, что биологические факты логически супервентны на физическом. Это же справедливо для архитектурных, экономических и метеорологических фактов. Не существует какой-то особой скептической проблемы, связанной с познанием этих фактов на основании внешних свидетельств, и поэтому они должны быть логически супервентными на физическом.