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

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

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

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

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

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

Сказанное также приблизительно соответствует дефинициям Хоргана (Horgan 1982) и Льюиса (Lewis 1983b), но, в отличие от последних, не опирается на несколько туманное понятие «чуждого свойства» для исключения эктоплазматических миров из списка релевантных возможных миров.

В философской литературе множественная реализуемость нередко рассматривается в качестве главного препятствия на пути «редукции», однако, как доказывает Брукс (Brooks 1994), она, похоже, имеет весьма отдаленное отношение к тому, как редуктивные объяснения используются в науке. К примеру, биологические феномены, такие как крылья, могут быть реализованы множеством разных способов, но биологи все равно выдвигают редуктивные объяснения. Более того, как показали Уилсон (Wilson 1985) и Черчленд (Churchland 1986), многие физические феномены, нередко считающиеся парадигмами редуцируемости (к примеру, температура), в действительности являются множественно реализуемыми.