Если выбрать какую-либо разновидность интенсионала — скажем, первичный интенсионал — и держаться ее, то мы сможем убедиться в эквивалентности разных вариантов формулы логической супервентности. Согласно дефиниции, данной в начале этой главы, В-свойства логически супервентны на A-свойствах, если в любой логически возможной ситуации У, A — неотличимой от актуальной ситуации X, все В-факты, истинные относительно X, истинны относительно Y. Или, проще, В-свойства логически супервентны на A-свойствах, если в любой актуальной ситуации X A-факты относительно X влекут В-факты относительно X (где «Р влечет Q» понимается как «логически невозможно, что Р и не — Q»).
В применении к глобальной супервентности это означает, что В-свойства логически супервентны на A-фактах, если В-факты относительно актуального мира извлекаются из A-фактов. Аналогичным образом В-свойства логически супервентны на A-свойствах, если нельзя представить мир с теми же A-свойствами, что и наш, но с иными В-свойствами. Мы можем также сказать, что логическая супервентность имеет место, если при наличии всей совокупности A-фактов А* и любого В-факта В о нашем мире W «A*(W) B(W)» истинно в силу значений A-терминов и В-терминов (где под значениями понимаются интенсионалы).
Наконец, если В-свойства логически супервентны на А-свойствах сообразно первичным интенсионалам, то импликация от А-фактов к В — фактам будет иметь априорный характер. Поэтому если кто-то знает все A-факты о какой-то актуальной ситуации, то он в принципе может удостовериться в В-фактах лишь на основании A-фактов, если он обладает В-понятиями, о которых идет речь. На практике такой вывод может оказаться трудным или невозможным из-за сложности рассматриваемых ситуаций, но он по крайней мере возможен в принципе. Что касается логической супервентности сообразно вторичным интенсионалам, то в В — фактах о какой-то ситуации тоже можно в принципе удостовериться на основании A-фактов, но только апостериори. A-факты должны дополняться контингентными фактами об актуальном мире, поскольку такие факты будут участвовать в формировании соответствующих В — интенсионалов.
Таким образом, существует по меньшей мере три пути, следуя которым можно установить логическую супервентность; они связаны с представимостью, эпистемологией и анализом. Чтобы установить, что В-свойства логически супервентны на A-свойствах, мы можем: (1) попытаться доказать, что реализация A-свойств непредставима без реализации В-свойств; (2) попытаться доказать, что тот, кто располагает A-фактами, мог бы узнать В-факты (по крайней мере в случаях супервентности сообразно первичным интенсионалам) или (3) проанализировать интенсионалы В-свойств с детализацией, достаточной для того, чтобы стало ясно, что В-утверждения вытекают из А-утверждений в силу одних лишь этих интенсионалов. Это работает и в плане установления отсутствия логической супервентности. Доказывая главные тезисы, связанные с логической супервентностью, я воспользуюсь всеми этими тремя методами.
Рассуждения об эквивалентности различных формулировок логической супервентности могли убедить не всех, и поэтому, обосновывая важные выводы, связанные с логической супервентностью, я буду выдвигать несколько вариантов аргументов, используя каждую из этих формулировок. Подобные действия позволят нам убедиться в силе этих аргументов и несущественности тонких различий разных понятий супервентности.
5. Почти все логически супервентно на физическом*
В следующей главе я буду доказывать, что сознательный опыт не является чем-то логически супервентным на физическом и поэтому не может быть редуктивно объяснен. На это нередко отвечают, что сознательный опыт не одинок в этом и что самые разные свойства не являются логически супервентными на физическом. Такие разные свойства, как стольность, жизнь и экономическое процветание, не находятся, как полагают, в логическом отношении к фактам об атомах, электромагнитных полях и т. п. И разве можно сомневаться, что подобные высокоуровневые факты не могли бы логически извлекаться из микрофизических фактов?
Думаю, что при тщательном анализе нетрудно увидеть, что это не так и что эти высокоуровневые факты (глобально) логически супервентны на физическом — в той мере, в какой они вообще факты[52]. Сознательный опыт почти уникален в плане отсутствия логической супервентности. Отношение между сознанием и физическими фактами — иного рода, чем обычное отношение между высокоуровневыми и низкоуровневыми фактами.
52
Хорган (Horgan 1984с) развивает и обосновывает концепцию, согласно которой все высокоуровневые факты логически супервентны на микрофизических фактах. По его словам, высокоуровневые факты привязаны к микрофизическому «семантическими ограничениями», так что в мире есть лишь микрофизика и «космическая герменевтика». Нельзя, однако, не обратить внимания на то, что он избегает говорить о проблеме сознательного опыта. Среди других сторонников разного рода формулировок тезиса о логической супервентности — Джексон (Jackson 1993), Кирк (Kirk 1974) и Льюис (Lewis 1994).