В применении к глобальной супервентности это означает, что В-свойства логически супервентны на A-фактах, если В-факты относительно актуального мира извлекаются из A-фактов. Аналогичным образом В-свойства логически супервентны на A-свойствах, если нельзя представить мир с теми же A-свойствами, что и наш, но с иными В-свойствами. Мы можем также сказать, что логическая супервентность имеет место, если при наличии всей совокупности A-фактов
Наконец, если В-свойства логически супервентны на А-свойствах сообразно первичным интенсионалам, то импликация от А-фактов к В — фактам будет иметь априорный характер. Поэтому если кто-то знает все A-факты о какой-то актуальной ситуации, то он в принципе может удостовериться в В-фактах лишь на основании A-фактов, если он обладает В-понятиями, о которых идет речь. На практике такой вывод может оказаться трудным или невозможным из-за сложности рассматриваемых ситуаций, но он по крайней мере возможен в принципе. Что касается логической супервентности сообразно
Таким образом, существует по меньшей мере три пути, следуя которым можно установить логическую супервентность; они связаны с представимостью, эпистемологией и анализом. Чтобы установить, что В-свойства логически супервентны на A-свойствах, мы можем: (1) попытаться доказать, что реализация A-свойств непредставима без реализации В-свойств; (2) попытаться доказать, что тот, кто располагает A-фактами, мог бы узнать В-факты (по крайней мере в случаях супервентности сообразно первичным интенсионалам) или (3) проанализировать интенсионалы В-свойств с детализацией, достаточной для того, чтобы стало ясно, что В-утверждения вытекают из А-утверждений в силу одних лишь этих интенсионалов. Это работает и в плане установления отсутствия логической супервентности. Доказывая главные тезисы, связанные с логической супервентностью, я воспользуюсь всеми этими тремя методами.
Рассуждения об эквивалентности различных формулировок логической супервентности могли убедить не всех, и поэтому, обосновывая важные выводы, связанные с логической супервентностью, я буду выдвигать несколько вариантов аргументов, используя каждую из этих формулировок. Подобные действия позволят нам убедиться в силе этих аргументов и несущественности тонких различий разных понятий супервентности.
5. Почти все логически супервентно на физическом*
В следующей главе я буду доказывать, что сознательный опыт не является чем-то логически супервентным на физическом и поэтому не может быть редуктивно объяснен. На это нередко отвечают, что сознательный опыт не одинок в этом и что самые разные свойства не являются логически супервентными на физическом. Такие разные свойства, как стольность, жизнь и экономическое процветание, не находятся, как полагают, в
Думаю, что при тщательном анализе нетрудно увидеть, что это не так и что эти высокоуровневые факты (глобально) логически супервентны на физическом — в той мере, в какой они вообще факты[52]. Сознательный опыт почти уникален в плане отсутствия логической супервентности. Отношение между сознанием и физическими фактами — иного рода, чем обычное отношение между высокоуровневыми и низкоуровневыми фактами.
Выявить логическую супервентность большинства свойств на физических свойствах можно по-разному. Здесь я буду говорить только о свойствах, характеризующих