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

Иногда говорят также о метафизической супервентности, основанной ни на логической, ни на естественной необходимости, а на «необходимости tout court», или «метафизической необходимости», как ее иногда называют (отталкиваясь от обсуждения Крипке (Kripke 1972) апостериорной необходимости). Позже я попытаюсь показать, что метафизически возможные миры — не что иное, как логически возможные миры (и что метафизическая возможность тех или иных утверждений — это логическая возможность с апостериорным семантическим оттенком), но пока мы вполне можем допустить понятие метафизической супервентности, определяемое по аналогии с вышеуказанными понятиями логической и естественной супервентности. Иногда заходит речь и о понятии «слабой» супервентности, но оно представляется слишком слабым для того, чтобы выражать какое бы то ни было интересное отношение между свойствами [10] [10] Слабая супервентность требует лишь, чтобы в мире — но не в мирах — не было «В — различий без A — различий» (детали см. в (Kim 1984)). Модальная слабость этого отношения делает его слишком слабым для большинства целей. В лучшем случае оно может пригодиться для выражения концептуальных ограничений нефактуальных рассуждений (как в (Наге 1984)), хотя, как указывает Хорган (Horgan 1993), даже эти ограничения, похоже, предполагают кроссмировую зависимость. Сигер (Seager 1988) обращается к слабой супервентности для выражения некоей систематической внутримировой корреляции, не являющейся строго необходимой, но естественная супервентность является гораздо лучшим средством для решения этой задачи. .

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

Нам надо рассмотреть одну техническую проблему, связанную с понятием логической супервентности. Эта проблема возникает в силу логической возможности мира, физически идентичного нашему, но имеющего в своем составе добавочный нефизический материал, отсутствующий в нашем мире: к примеру, ангелов, эктоплазму или привидения. Можно представить мир в точности как наш, за исключением того, что в нем есть еще и ангелы, порхающие в нефизической сфере из эктоплазмы. Если бы эти ангелы размножались и эволюционировали, то они могли бы обладать собственными биологическими свойствами. У них вполне могли бы иметься разного рода убеждения и развитые социальные структуры.

Проблема, которую ставят эти примеры, очевидна. Мир с ангелами физически идентичен нашему, но биологически отличен от него. Если мир с ангелами логически возможен, то, в соответствии с нашей дефиницией, биологические свойства не являются супервентными на физических свойствах. Но мы, несомненно, хотим сказать, что биологические свойства супервентны на физических свойствах, если и не в мире с ангелами, то по крайней мере в этом мире (допуская, что в актуальном мире нет ангелов!). Интуитивно кажется нежелательным то, что одна лишь логическая возможность мира с ангелами будет препятствовать детерминации биологических свойств физическими свойствами нашего собственного мира.

Подобная проблема подтолкнула некоторых авторов (напр., Hauge- land 1982, Petrie 1987) к предположению, что логическая возможность и необходимость слишком сильны для обслуживания соответствующих им возможности и необходимости, имеющихся в отношениях супервентности, и что вместо них надо использовать их более слабые разновидности, такие как естественная возможность и естественная необходимость. Но это обесценило бы очень полезное различение логической и естественной супервентности, о котором шла речь выше, и привело бы к игнорированию того факта, что в определенном и вполне реальном смысле биологические факты, касающиеся нашего мира, логически определяются физическими фактами. Другие авторы (напр., Teller 1989) решались сказать, что, несмотря на видимость противоположного, миры с добавочным нефизическим материалом не являются логически или метафизически возможными — но это приводит к тому, что логическая и метафизическая возможность начинает казаться чем‑то весьма и весьма произвольным. К счастью, в подобных шагах нет необходимости. Вполне реально сохранить полезное понятие логической супервентности, совместимое с возможностью подобных миров, — при надлежащем уточнении соответствующей дефиниции [12] [12] Хорган (Horgan 1982), Джексон (Jackson 1994) и Льюис (Lewis 1983b) обсуждают сходную проблему в контексте определения материализма. .

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