Таким образом, существует по меньшей мере три пути, следуя которым можно установить логическую супервентность; они связаны с представимостью, эпистемологией и анализом. Чтобы установить, что В - свойства логически супервентны на A - свойствах, мы можем: (1) попытаться доказать, что реализация A - свойств непредставима без реализации В - свойств; (2) попытаться доказать, что тот, кто располагает A - фактами, мог бы узнать В - факты (по крайней мере в случаях супервентности сообразно первичным интенсионалам) или (3) проанализировать интенсионалы В - свойств с детализацией, достаточной для того, чтобы стало ясно, что В - утверждения вытекают из А - утверждений в силу одних лишь этих интенсионалов. Это работает и в плане установления отсутствия логической супервентности. Доказывая главные тезисы, связанные с логической супервентностью, я воспользуюсь всеми этими тремя методами.
Рассуждения об эквивалентности различных формулировок логической супервентности могли убедить не всех, и поэтому, обосновывая важные выводы, связанные с логической супервентностью, я буду выдвигать несколько вариантов аргументов, используя каждую из этих формулировок. Подобные действия позволят нам убедиться в силе этих аргументов и несущественности тонких различий разных понятий супервентности.
5. Почти все логически супервентно на физическом*
В следующей главе я буду доказывать, что сознательный опыт не является чем‑то логически супервентным на физическом и поэтому не может быть редуктивно объяснен. На это нередко отвечают, что сознательный опыт не одинок в этом и что самые разные свойства не являются логически супервентными на физическом. Такие разные свойства, как стольность, жизнь и экономическое процветание, не находятся, как полагают, в логическом отношении к фактам об атомах, электромагнитных полях и т. п. И разве можно сомневаться, что подобные высокоуровневые факты не могли бы логически извлекаться из микрофизических фактов?
Думаю, что при тщательном анализе нетрудно увидеть, что это не так и что эти высокоуровневые факты (глобально) логически супервентны на физическом - в той мере, в какой они вообще факты. Сознательный опыт почти уникален в плане отсутствия логической супервентности. Отношение между сознанием и физическими фактами - иного рода, чем обычное отношение между высокоуровневыми и низкоуровневыми фактами.
Выявить логическую супервентность большинства свойств на физических свойствах можно по - разному. Здесь я буду говорить только о свойствах, характеризующих естественные феномены - то есть о контингентных аспектах мира, которые нуждаются в объяснении. Свойство быть ангелом могло бы и не быть логически супервентным на физическом, но у нас нет оснований верить в ангелов, так что отсутствие этой супервентности не должно беспокоить нас. Я также не буду обсуждать факты, касающиеся таких абстрактных сущностей, какими являются математические объекты и пропозиции, так как они заслуживают отдельного рассмотрения.
Следует отметить, что, утверждая супервентность большинства высокоуровневых свойств на физическом, я не хочу сказать, что высокоуровневые факты и законы следуют из микрофизических законов или даже из микрофизических законов в сочетании с микрофизическими ограничительными условиями. Этот тезис был бы слишком сильным, и хотя он мог бы оказаться вполне правдоподобным при надлежащей интерпретации, в пользу него пока еще нет свидетельств. Я высказываю гораздо более слабый тезис о том, что высокоуровневые факты являются следствием совокупности микрофизических фактов (возможно, в сочетании с микрофизическими законами). Это громадное по своему охвату множество включает факты о распределении всех частиц и полей во всех уголках пространства - времени: от атомов в шляпе Наполеона до электромагнитных полей в кольце Сатурна. Фиксация этого множества фактов оставляет, как мы увидим, очень мало места для изменений в чем‑то другом.
Прежде чем переходить к аргументам, упомяну ряд безвредных причин отсутствия логической супервентности на физическом. Во - первых, некоторые высокоуровневые свойства не являются логически супервентными из‑за зависимости от сознательного опыта. Не исключено, что сознательный опыт отчасти конституирует, к примеру, такое свойство, как любовь. От феноменальных качеств могут, как мы увидим, зависеть и первичные (хотя и не вторичные) интенсионалы, связанные с некоторыми внешними свойствами, такими как цвет и тепло. Если это так, то любовь, а возможно и тепло, не являются логически супервентными на физическом. Их нельзя рассматривать в качестве контрпримеров к моему тезису, так как они не выявляют новой лакуны в логической супервентности. И сам тезис, возможно, лучше всего выразить, сказав, что все факты логически супервентны на комбинации физических и феноменальных фактов или что все факты логически супервентны на физических фактах, если не принимать во внимание вклада, привносимого сознательным опытом. Сходным образом зависимость от сознательного опыта может препятствовать редуктивной объяснимое™ некоторых высокоуровневых феноменов, но мы тем не менее можем говорить, что они редуктивно объяснимы, если не принимать во внимание вклада сознательного опыта.
Во - вторых, как мы видели раньше, применение ряда первичных - но не вторичных - интенсионалов не обходится без индексикального элемента. Первичный интенсионал "воды", к примеру, это что‑то вроде "прозрачной, пригодной для питья жидкости в нашем окружении", так что если в актуальном мире имеется водянистая Н20 и водянистая XYZ, то ответ на вопрос о том, что из них считается водой, зависит от того, в каком окружении субъект использует этот термин. Поэтому в некоторых случаях мы, в принципе, должны добавлять к супервентностной базе центр, репрезентирующий локализацию субъекта. Это дает нам логическую супервентность и редуктивное объяснение, если не принимать во внимание вклада, вносимого сознательным опытом и индексикальностью.
Против логической супервентности, наконец, не свидетельствуют и случаи неопределенности высокоуровневых фактов. Тезис состоит лишь в том, что если высокоуровневые факты определенны, то они определяются физическими фактами. Если сам мир не может фиксировать высокоуровневые факты, нельзя ожидать, что физические факты сделают это. Кто‑нибудь мог бы подумать, что логическая супервентность не соблюдалась бы при наличии двух в равной степени хороших высокоуровневых теорий мира, различающихся в своем описании высокоуровневых фактов. Одна теория могла бы, к примеру, утверждать, что вирусы - живые существа, другая - что нет, и поэтому факты о жизни не определяются физическими фактами. Это, однако, не контрпример, а случай, в котором факты о жизни оказываются неопределенными. При неопределенности мы вправе употреблять термины по - разному в зависимости от обстоятельств. Но если факты определенны - к примеру, если истинно то, что вирусы есть живые существа, - то одно из описаний попросту оказывается неверным. Так или иначе, в той мере, в какой факты относительно какой‑либо ситуации вообще являются определенными, они вытекают из физических фактов.
Повсеместность логической супервентности я буду доказывать, используя аргументы, апеллирующие к представимости, к эпистемологическим соображениям, а также к анализу понятий, имеющих отношение к делу.
Представимость. Логическую супервентность большинства высокоуровневых фактов проще всего заметить при использовании представимости в качестве теста на логическую возможность. Какого рода мир мог бы быть идентичен нашему во всех без исключения микрофизических фактах и при этом быть биологически отличным от него? Скажем, у какого‑то вомбата в нашем мире есть два детеныша. Физические факты о нашем мире будут включать факты о распределении всех частиц в пространственно - временном участке, соответствующем вомбату, а также о его детенышах, их окружении и их эволюционной истории. Если бы некий мир разделял с нашим миром все эти факты, но не был бы миром, в котором у этого вомбата было бы два детеныша, в чем могло бы состоять различие между ними? Подобный мир кажется совершенно непредставимым. Если в возможном мире фиксируются все те же физические факты, то автоматически фиксируются и факты о вомбатности и родительстве. Эти биологические факты не являются вещами такого рода, которые могут отрываться от их физических основ, даже в виде концептуальной возможности.