Сознающий ум. В поисках фундаментальной теории
Шрифт:
Различение логической и естественной супервентности пересекается с различением глобальной и локальной супервентности. Мы вправе говорить как о глобальной логической супервентности, так и о локальной логической супервентности, хотя меня чаще будет интересовать первая. Когда я говорю о логической супервентности без дополнительных уточнений, я имею в виду глобальную логическую супервентность. Допустимы и рассуждения о глобальной естественной супервентности и локальной естественной супервентности, хотя отношения естественной супервентности, с которыми мы имеем дело, как правило, локальны или хотя бы локализуемы по той простой причине, что свидетельства, касающиеся отношения естественной супервентности, обычно сводятся к локальным регулярностям, имеющим место между теми или иными кластерами свойств [28] .
28
Глобальная естественная супервентность без локализованной регулярности — когерентное понятие, если исходить из неюмистской концепции законов, хотя, быть может, и нет, если опираться на юмистскую концепцию (основанную на понятии регулярности). Однако, даже если исходить из неюмистской концепции, трудно понять, какого рода данные могли бы свидетельствовать о существовании подобного отношения.
Нам надо рассмотреть одну техническую проблему, связанную с понятием логической супервентности. Эта проблема возникает в силу логической возможности мира,
Проблема, которую ставят эти примеры, очевидна. Мир с ангелами физически идентичен нашему, но биологически отличен от него. Если мир с ангелами логически возможен, то, в соответствии с нашей дефиницией, биологические свойства не являются супервентными на физических свойствах. Но мы, несомненно, хотим сказать, что биологические свойства супервентны на физических свойствах, если и не в мире с ангелами, то по крайней мере в этом мире (допуская, что в актуальном мире нет ангелов!). Интуитивно кажется нежелательным то, что одна лишь логическая возможность мира с ангелами будет препятствовать детерминации биологических свойств физическими свойствами нашего собственного мира.
Подобная проблема подтолкнула некоторых авторов (напр., Haugeland 1982, Petrie 1987) к предположению, что логическая возможность и необходимость слишком сильны для обслуживания соответствующих им возможности и необходимости, имеющихся в отношениях супервентности, и что вместо них надо использовать их более слабые разновидности, такие как естественная возможность и естественная необходимость. Но это обесценило бы очень полезное различение логической и естественной супервентности, о котором шла речь выше, и привело бы к игнорированию того факта, что в определенном и вполне реальном смысле биологические факты, касающиеся нашего мира, логически определяются физическими фактами. Другие авторы (напр., Teller 1989) решались сказать, что, несмотря на видимость противоположного, миры с добавочным нефизическим материалом не являются логически или метафизически возможными — но это приводит к тому, что логическая и метафизическая возможность начинает казаться чем-то весьма и весьма произвольным. К счастью, в подобных шагах нет необходимости. Вполне реально сохранить полезное понятие логической супервентности, совместимое с возможностью подобных миров, — при надлежащем уточнении соответствующей дефиниции [29] .
29
Хорган (Horgan 1982), Джексон (Jackson 1994) и Льюис (Lewis 1983b) обсуждают сходную проблему в контексте определения материализма.
Ключ к решению в том, чтобы трактовать супервентность как утверждение о нашем мире (или, в более общем плане, о некоторых мирах). Это отдает должное интуиции, согласно которой биологические факты логически детерминируются физическими фактами в нашем мире, несмотря на существование необычных миров, где этого не происходит. В соответствии с уточненной дефиницией, В-свойства оказываются логически супервентными на A-свойствах, если В-свойства в нашем мире логически детерминируются A-свойствами в следующем смысле: в любом возможном мире с теми же A-фактами будут иметься и те же В-факты [30] . Наличие возможных миров с добавочными В-фактами, таким образом, не будет свидетельствовать против логической супервентности в нашем мире, если по крайней мере В-факты, истинные в нашем мире, будут истинными и во всех физически идентичных мирах. Так, в общем, и будет (за исключением тех случаев, которые будут обсуждаться ниже). Если в нашем мире какой-то коала жует эвкалиптовые листья, то в любом физически идентичном мире будет существовать идентичный коала, жующий эвкалиптовые листья, вне зависимости от того, будут ли там над ним виться ангелы или нет.
30
Измененная дефиниция может быть более точно сформулирована в духе прим. 4. Пусть B(W) — класс индивидов с В-свойствами в мире W. Можно сказать, что W' В-превосходит W, если имеется взаимно-однозначное соответствие f: B(W) —> B(W') (то есть между B(W) и подмножеством Ј(W')), такое что для любого а B(W), f(a) реализует каждое В-свойство, которое реализует а. В таком случае В-свойства логически супервентны на A-свойствах в W, если любой мир, A-неотличимый от W, оказывается В-превосходящим W, где релевантные В-соответствия опять-таки ограничиваются экстенсионалами А-соответствий.
Чтобы убедиться в необходимости этого ограничения, вообразим, что в нашем мире имеется исчислимое бесконечное множество психологически тождественных умов, один из которых реализован в эктоплазме, тогда как другие реализованы физически. Интуитивно ясно, что в этом мире психологическое не является супервентным на физическом, но всякий физически неотличимый мир будет психологически превосходящим. Хотя мы ожидаем, что любой такой мир без эктоплазмы будет свидетельствовать против супервентности, между психологическими аспектами того мира и нашего мира существует взаимно-однозначное соответствие. Проблема в том, что это соответствие не связано с соблюдением физического соответствия, соотнося физическую сущность с эктоплазматической сущностью; поэтому нам нужно дополнительное ограничение.
Тут есть небольшое затруднение. Биологические факты определенного рода, касающиеся нашего мира, не являются фактами в мире с ангелами: к примеру, факт того, что в нашем мире нет живой эктоплазмы, или тот факт, что все живые организмы основаны на ДНК. Не исключено даже, что мир с ангелами мог бы быть устроен так, что его эктоплазма была бы казуально зависима от физических процессов, и совокупление вомбатов на физическом уровне иногда приводило бы к рождению эктоплазмических малышей — вомбатов в нефизической реальности. В таком случае в нашем мире мог бы существовать бездетный (в определенном смысле) вомбат, а его двойник в физически идентичном мире с ангелами не был бы бездетным. Из этого следует, что свойство бездетности, в соответствии с нашей дефиницией, не является супервентным, равно как и свойства мирового масштаба, такие как отсутствие живой эктоплазмы. Не все факты относительно нашего мира вытекают из одних лишь физических фактов.
Чтобы разобраться с этой проблемой, отметим, что все эти факты заключают в себе негативные экзистенциальные положения и поэтому зависят не только от того, что происходит в нашем мире, но и от того, что в нем не происходит. Мы не можем ожидать, что эти факты будут определяться какими-либо локализованными фактами, поскольку они зависят не только от локальных событий в мире, но и от ограничений этого мира. Тезисы о супервентности должны применяться только к позитивным фактам и свойствам, таким, которые не могут быть подвергнуты отрицанию вследствие простого расширения мира. Мы можем определить позитивный факт в W как такой факт, который имеется в любом мире, содержащем W в качестве своей собственной части [31] ;
31
Для целей данной дефиниции отношение содержания миров друг в друге может рассматриваться как что-то изначальное. Льюис (Lewis 1983а) и Джексон (Jackson 1993) отмечали бесплодность продолжения анализа такого рода понятия до бесконечности. Что-то надо принимать в качестве исходного, и отношение содержания представляется не менее ясным, чем какие бы то ни было другие отношения. Кто-то мог бы предпочесть рассуждения не о мирах, содержащих W в качестве собственной части, а о мирах, содержащих качественный дубликат W в качестве своей собственной части; это работало бы не менее эффективно.
32
Обратим внимание, что, согласно данной дефиниции, существуют позитивные факты, не являющиеся реализациями позитивных свойств. Возьмем, к примеру, реализацию свойства быть бездетным — или — кенгуру. Быть может, надо более строго определить позитивный факт как реализацию позитивного свойства, но, насколько я могу судить, более слабая дефиниция не дает каких-либо нежелательных эффектов.
Отношения супервентности, которыми мы будем заниматься, должны мыслиться ограниченными позитивными фактами и свойствами. Тезис, что биологические свойства супервентны на физических свойствах, относится только к позитивным биологическим свойствам. Поскольку все интересующие нас свойства позитивны — к примеру, локальные физические и феноменальные свойства, — это не столь уж сильное ограничение.
Таким образом, дефиниция глобальной логической супервентности В-свойств на A-свойствах сводится к следующему: в любом логически возможном мире W, A — неотличимом от нашего мира, В-факты о нашем мире имеются и в W. Нам необязательно делать оговорку по поводу позитивности, но обычно будет подразумеваться, что релевантными В-фактами и свойствами являются лишь позитивные факты и свойства. Аналогичным образом, В-свойства локально и логически супервентны на A-свойствах, если для каждого актуального индивида х и для каждого логически возможного индивида у верно, что если у A-неотличим от я, то В-свойства, реализованные посредством я, реализованы посредством у. Более кратко и общо: В-свойства логически супервентны на A-свойствах, если В-факты, касающиеся актуальных ситуаций, вытекают из A-фактов, где под ситуациями имеются в виду миры и индивиды соответственно в глобальных и локальных случаях. Эта дефиниция схватывает идею о том, что тезисы о супервентности, как правило, являются тезисами о нашем мире, сохраняя ключевую роль за логической необходимостью [33] .
33
Тезис о логической супервентности свойств в нашем мире, по-видимому, должен отсылать к закономерности. Если бы дело обстояло так, что при несколько ином стечении обстоятельств в нашем мире (быть может, при несколько иных случайных флуктуациях) в нем жили бы нефизические ангелы, несмотря на соблюдение законов природы, то логическая супервентность биологических свойств на физических свойствах была бы просто исторической случайностью. Более сильный и интересный метафизический тезис получается при замене в дефинициях логической супервентности отсылок к нашему миру и актуальным индивидам на отсылку к естественно возможным мирам и индивидам. Это исключает сценарии, подобные упомянутому выше. В качестве бонуса это позволяет нам определять, являются ли логически супервентными такие нереализованные свойства, как быть небоскребом высотой в милю. Согласно предыдущей дефиниции, все подобные свойства бессодержательно супервентны.
Это дает следующую дефиницию: В-свойства логически супервентны на A-свойствах, если и только если для любой естественно возможной ситуации X и любой логически возможной ситуации У, если и Y А-неотличимы, то Y В-превосходит X (с обычным ограничением). Или более кратко: для любой естественно возможной ситуации В-факты об этой ситуации выводимы из A-фактов. Эта модификация существенно не влияет на обсуждение в тексте, и поэтому я опускаю ее ради простоты. Но это обсуждение несложно переформулировать в терминах более строгой дефиниции путем простой замены по всему тексту соответствующих отсылок к «нашему миру» на отсылки ко «всем естественно возможным мирам», как правило, без каких бы то ни было потерь в плане убедительности высказываемых в этих местах тезисов.
Итог напоминает стандартную дефиницию «сильной» локальной супервентности (Kim 1984), в которой присутствует два модальных оператора. Согласно этой дефиниции, В-свойства супервентны на А-свойствах, если необходимо для всякого X и всякого В-свойства F, что если х имеет F, то существует такое A-свойство G, что х имеет G, и необходимо, что если какой-либо у имеет G, то он имеет F. (A-свойства G при необходимости могут мыслиться как комплексы более простых A-свойств.) Проблема с ангелами делает очевидным, что первый модальный оператор должен всегда пониматься в смысле естественной необходимости, даже если второй выражает логическую. Не столь гладко обстоит дело со стандартной дефиницией глобальной супервентности (A — неотличимые миры являются В — неотличимыми), и она нуждается в модификации в предложенном мной ключе. При необходимости можно дать и параллельную дефиницию «метафизической» супервентности. Разумеется, проблема с ангелами не возникает в случае естественной супервентности, так как нет оснований считать эктоплазму естественно возможной, и поэтому прямолинейная дефиниция естественной супервентности будет удовлетворительной.
Логическая и естественная супервентность имеют весьма различные последствия для онтологии, то есть в вопросе о том, что именно существует в мире. Если В-свойства логически супервентны на А-свойствах, то в определенном смысле при данности A-фактов В-факты достаются даром. Если Бог (гипотетически) обеспечил все физические факты нашего мира, то биологические факты автоматически следуют за ними. В-факты просто по-новому описывают то, что уже было описано A-фактами. Они могут быть другими фактами (факт о слонах — не микрофизический факт), но они не являются фактами, дополнительными к тем, что имеются до них.
В случае сугубо естественной супервентности онтология оказывается не столь прямолинейной. Контингентные законосообразные связи связывают различные черты мира. В общем, если В-свойства лишь естественно супервентны на A-свойствах в нашем мире, то мог бы существовать мир, в котором наши A-факты не сопровождались В-фактами. Как мы видели раньше, после того как Бог зафиксировал все A-факты, он должен был бы поработать еще, чтобы зафиксировать В-факты. В-факты дополнительны к A — фактам, и их наличие означает появление в мире чего-то нового.