Трудность в том, что функциональные свойства нередко характеризуются в терминах каузальной роли относительно других высокоуровневых сущностей. Из этого следует, что логическая супервентность свойств зависит от логической супервентности других имеющих к ним отношение высокоуровневых понятий, которые сами могут получать функциональную характеристику. В конечном счете это не является проблемой, поскольку каузальные роли в итоге отыгрываются нефункциональными свойствами: обычно либо структурными, либо феноменальными. Во взаимной дефинируемости различных функциональных свойств может обнаружиться определенного рода циркулярность — не исключено, что скрепкосшиватель отчасти определяется тем, что он выдает скрепки, а скрепки — тем, что они выдаются скрепкосшивателем. С этой циркулярностью можно справиться одновременным избавлением от всех каузальных ролей всех свойств[55], что можно сделать, если наши анализы содержат какой-то нециркулярный компонент, в конечном счете базирующийся на структурных или феноменальных свойствах. (Может показаться, что апелляция к феноменальным свойствам несовместима с логической супервентностью на физическом, но см. ниже. В любом случае она совместима с логической супервентностью с поправкой на влияние сознательного опыта.)
Многие свойства характеризуются реляционно, в терминах отношения данного объекта к своему окружению. Такие отношения, как правило, каузальны, так что эти свойства оказываются функциональными, хотя это и не всегда так: возьмем, к примеру, свойство быть на том же континенте, что и некая утка. Некоторые свойства подобным образом зависят от истории (хотя обычно их можно сконструировать в каузальном ключе); чтобы быть кенгуру, существо должно иметь надлежащих предков. В любом случае эти свойства не создают проблем для логической супервентности, так как релевантные исторические факты и факты, касающиеся окружающей среды, сами будут фиксироваться глобальными физическими фактами.
Даже такие комплексные общественные факты, как «1950–е годы были временем экономического расцвета»[56], могут быть по большей части охарактеризованы в функциональных терминах и поэтому могут рассматриваться как выводимые из физических фактов. Полный анализ был бы очень запутанным и трудноосуществимым из-за неопределенности понятия расцвета, но чтобы представить, как он мог бы проводиться, можно задать себе вопрос: почему мы говорим, что 1950–е годы были временем экономического расцвета? В первом приближении мы говорим так потому, что эти годы были отмечены высокой занятостью, люди могли позволить себе совершать необычно большие покупки, инфляция была низка, строилось много домов и т. п. И мы можем провести схематичные анализы понятий «дом» (место, где люди спят и едят), «занятость» (организованный труд за вознаграждение), а также монетарных понятий (так, деньги можно схематично проанализировать в терминах возможности осуществления систематического обмена на другие вещи, а их ценность может быть проанализирована в терминах количества того, что мы получаем взамен). Все эти анализы выглядят до смешного упрощенными, но суть достаточно ясна. Всё это, как правило, функциональные свойства, которые могут быть выведены из физических фактов.
Многие высказывали сомнения относительно возможности концептуального анализа. Зачастую их причины — к примеру, из-за неопределенности наших понятий или из-за отсутствия их четких дефиниций — не могли бы оказать влияния на мои аргументы. Иногда этот скепсис мог возникать по более глубоким причинам. Тем не менее если то, что я говорил выше в этой главе, верно и если физические факты о возможном мире фиксируют высокоуровневые факты, то мы должны ожидать того, что мы будем в состоянии проанализировать интенсионал интересующего нас высокоуровнего понятия, по крайней мере приблизительно, чтобы увидеть, как его применение может быть определено физическими фактами. Именно это я пытался сделать в приведенных здесь примерах. В сходном ключе могут быть рассмотрены и другие примеры[57].
55
Как в известном методе предложений Рамсея для применения теоретических терминов; см. (Lewis 1972).
57
Сходный тезис о требовании анализируемости для супервентности высказывали Джексон (Jackson 1993) и Льюис (Lewis 1994).