Выбрать главу

Тут есть небольшое затруднение. Биологические факты определенного рода, касающиеся нашего мира, не являются фактами в мире с ангелами: к примеру, факт того, что в нашем мире нет живой эктоплазмы, или тот факт, что все живые организмы основаны на ДНК. Не исключено даже, что мир с ангелами мог бы быть устроен так, что его эктоплазма была бы казуально зависима от физических процессов, и совокупление вомбатов на физическом уровне иногда приводило бы к рождению эктоплазмических малышей — вомбатов в нефизической реальности. В таком случае в нашем мире мог бы существовать бездетный (в определенном смысле) вомбат, а его двойник в физически идентичном мире с ангелами не был бы бездетным. Из этого следует, что свойство бездетности, в соответствии с нашей дефиницией, не является супервентным, равно как и свойства мирового масштаба, такие как отсутствие живой эктоплазмы. Не все факты относительно нашего мира вытекают из одних лишь физических фактов.

Чтобы разобраться с этой проблемой, отметим, что все эти факты заключают в себе негативные экзистенциальные положения и поэтому зависят не только от того, что происходит в нашем мире, но и от того, что в нем не происходит. Мы не можем ожидать, что эти факты будут определяться какими-либо локализованными фактами, поскольку они зависят не только от локальных событий в мире, но и от ограничений этого мира. Тезисы о супервентности должны применяться только к позитивным фактам и свойствам, таким, которые не могут быть подвергнуты отрицанию вследствие простого расширения мира. Мы можем определить позитивный факт в W как такой факт, который имеется в любом мире, содержащем W в качестве своей собственной части [31]; позитивное же свойство есть такое свойство, которое, будучи реализованным в мире W, реализуется соответствующим индивидом также и во всех мирах, содержащих W в качестве их собственной части [32]. Большинство обыденных фактов и свойств позитивны — такие, к примеру, как свойство быть кенгуру, быть высотой в шесть футов или иметь ребенка. Негативные факты и свойства всегда так или иначе будут содержать негативные экзистенциальные положения. Они включают эксплицитно негативные экзистенциальные факты, такие как несуществование эктоплазмы, всеобще квантифицированные факты, такие как факт, что все живые существа созданы из ДНК, негативные реляционные свойства, такие как бездетность, и суперлативы вроде свойства быть самым плодовитым из всех существующих организмов.

Отношения супервентности, которыми мы будем заниматься, должны мыслиться ограниченными позитивными фактами и свойствами. Тезис, что биологические свойства супервентны на физических свойствах, относится только к позитивным биологическим свойствам. Поскольку все интересующие нас свойства позитивны — к примеру, локальные физические и феноменальные свойства, — это не столь уж сильное ограничение.

Таким образом, дефиниция глобальной логической супервентности В-свойств на A-свойствах сводится к следующему: в любом логически возможном мире W, A — неотличимом от нашего мира, В-факты о нашем мире имеются и в W. Нам необязательно делать оговорку по поводу позитивности, но обычно будет подразумеваться, что релевантными В-фактами и свойствами являются лишь позитивные факты и свойства. Аналогичным образом, В-свойства локально и логически супервентны на A-свойствах, если для каждого актуального индивида х и для каждого логически возможного индивида у верно, что если у A-неотличим от я, то В-свойства, реализованные посредством я, реализованы посредством у. Более кратко и общо: В-свойства логически супервентны на A-свойствах, если В-факты, касающиеся актуальных ситуаций, вытекают из A-фактов, где под ситуациями имеются в виду миры и индивиды соответственно в глобальных и локальных случаях. Эта дефиниция схватывает идею о том, что тезисы о супервентности, как правило, являются тезисами о нашем мире, сохраняя ключевую роль за логической необходимостью[33].

Супервентность и материализм

Логическая и естественная супервентность имеют весьма различные последствия для онтологии, то есть в вопросе о том, что именно существует в мире. Если В-свойства логически супервентны на А-свойствах, то в определенном смысле при данности A-фактов В-факты достаются даром. Если Бог (гипотетически) обеспечил все физические факты нашего мира, то биологические факты автоматически следуют за ними. В-факты просто по-новому описывают то, что уже было описано A-фактами. Они могут быть другими фактами (факт о слонах — не микрофизический факт), но они не являются фактами, дополнительными к тем, что имеются до них.

вернуться

31

Для целей данной дефиниции отношение содержания миров друг в друге может рассматриваться как что-то изначальное. Льюис (Lewis 1983а) и Джексон (Jackson 1993) отмечали бесплодность продолжения анализа такого рода понятия до бесконечности. Что-то надо принимать в качестве исходного, и отношение содержания представляется не менее ясным, чем какие бы то ни было другие отношения. Кто-то мог бы предпочесть рассуждения не о мирах, содержащих W в качестве собственной части, а о мирах, содержащих качественный дубликат W в качестве своей собственной части; это работало бы не менее эффективно.

вернуться

32

Обратим внимание, что, согласно данной дефиниции, существуют позитивные факты, не являющиеся реализациями позитивных свойств. Возьмем, к примеру, реализацию свойства быть бездетным — или — кенгуру. Быть может, надо более строго определить позитивный факт как реализацию позитивного свойства, но, насколько я могу судить, более слабая дефиниция не дает каких-либо нежелательных эффектов.

вернуться

33

Тезис о логической супервентности свойств в нашем мире, по-видимому, должен отсылать к закономерности. Если бы дело обстояло так, что при несколько ином стечении обстоятельств в нашем мире (быть может, при несколько иных случайных флуктуациях) в нем жили бы нефизические ангелы, несмотря на соблюдение законов природы, то логическая супервентность биологических свойств на физических свойствах была бы просто исторической случайностью. Более сильный и интересный метафизический тезис получается при замене в дефинициях логической супервентности отсылок к нашему миру и актуальным индивидам на отсылку к естественно возможным мирам и индивидам. Это исключает сценарии, подобные упомянутому выше. В качестве бонуса это позволяет нам определять, являются ли логически супервентными такие нереализованные свойства, как быть небоскребом высотой в милю. Согласно предыдущей дефиниции, все подобные свойства бессодержательно супервентны.

Это дает следующую дефиницию: В-свойства логически супервентны на A-свойствах, если и только если для любой естественно возможной ситуации X и любой логически возможной ситуации У, если и Y А-неотличимы, то Y В-превосходит X (с обычным ограничением). Или более кратко: для любой естественно возможной ситуации В-факты об этой ситуации выводимы из A-фактов. Эта модификация существенно не влияет на обсуждение в тексте, и поэтому я опускаю ее ради простоты. Но это обсуждение несложно переформулировать в терминах более строгой дефиниции путем простой замены по всему тексту соответствующих отсылок к «нашему миру» на отсылки ко «всем естественно возможным мирам», как правило, без каких бы то ни было потерь в плане убедительности высказываемых в этих местах тезисов.

Итог напоминает стандартную дефиницию «сильной» локальной супервентности (Kim 1984), в которой присутствует два модальных оператора. Согласно этой дефиниции, В-свойства супервентны на А-свойствах, если необходимо для всякого X и всякого В-свойства F, что если х имеет F, то существует такое A-свойство G, что х имеет G, и необходимо, что если какой-либо у имеет G, то он имеет F. (A-свойства G при необходимости могут мыслиться как комплексы более простых A-свойств.) Проблема с ангелами делает очевидным, что первый модальный оператор должен всегда пониматься в смысле естественной необходимости, даже если второй выражает логическую. Не столь гладко обстоит дело со стандартной дефиницией глобальной супервентности (A — неотличимые миры являются В — неотличимыми), и она нуждается в модификации в предложенном мной ключе. При необходимости можно дать и параллельную дефиницию «метафизической» супервентности. Разумеется, проблема с ангелами не возникает в случае естественной супервентности, так как нет оснований считать эктоплазму естественно возможной, и поэтому прямолинейная дефиниция естественной супервентности будет удовлетворительной.