Дэвид Чалмерс - Сознающий ум. В поисках фундаментальной теории

Глобальная естественная супервентность без локализованной регулярности — когерентное понятие, если исходить из неюмистской концепции законов, хотя, быть может, и нет, если опираться на юмистскую концепцию (основанную на понятии регулярности). Однако, даже если исходить из неюмистской концепции, трудно понять, какого рода данные могли бы свидетельствовать о существовании подобного отношения.

Хорган (Horgan 1982), Джексон (Jackson 1994) и Льюис (Lewis 1983b) обсуждают сходную проблему в контексте определения материализма.

Измененная дефиниция может быть более точно сформулирована в духе прим. 4. Пусть B(W) — класс индивидов с В — свойствами в мире W. Можно сказать, что W' В — превосходит W, если имеется взаимно — однозначное соответствие /: B(W) — > B(W') (то есть между B(W) и подмножеством Ј(W')), такое что для любого а £ B(W ), f(a) реализует каждое В — свойство, которое реализует а. В таком случае В — свойства логически супервентны на A — свойствах в W, если любой мир, A — неотличимый от W , оказывается В — превосходящим W, где релевантные В — соответствия опятьтаки ограничиваются экстенсионалами А — соответствий.

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

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

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

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

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

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

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