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

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

Идея супервентности была введена Муром (Мооге 1922). В печатном виде этот термин был впервые упомянут Хейром (Наге 1952). Дэвидсон (Davidson 1970) был первым, кто применил это понятие к проблеме соотношения ментального и физического. Позже Ким (Kim 1978, 1984, 1993), Хорган (Horgan 1982, 1984с, 1993), Хелман и Томпсон (Heilman and Thompson 1975) и другие разработали детальную теорию супервентности.

Я использую выражение «A — факт» для краткой записи «реализации A — свойства». Обращение к фактам делает обсуждение менее тяжеловесным, хотя все рассуждения о фактах и их отношениях в конечном счете могут быть выражены в терминах схематики совместной реализации свойств: при необходимости я детализирую это в примечаниях. В частности, следует отметить, что тождество индивида, реализующего А — свойство, не имеет значения для A — факта в моем понимании: важна лишь реализация свойства. Если бы тождество индивида частично конституировало A — факт, то любой A — факт влек бы за собой факты о сущностных свойствах этого индивида, и тогда дефиниция супервентности вела бы к контринтуитивным выводам.

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

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

Более привычный способ сделать это состоит в допущении, что А — тождественные миры должны включать в себя совершенно одинаковых индивидов, реализующих те же самые свойства, однако, как указывает Маклафлин (McLaughlin 1995), это неоправданно сильное допущение: оно приводит к тому, что кардинальное число мира и сущностные свойства индивидов с неизбежностью оказываются супервентными вообще на любых свойствах. Предлагаемая мной дефиниция обходит эту проблему, обеспечивая то, чтобы отношение детерминации заключало в себе исключительно схематику A — свойств и ничего более.

С одним исключением: Бог не мог бы создать мир, который не был создан Богом, хотя мир, не созданный Богом, судя по всему, является чем‑то логически возможным! Я проигнорирую такого рода усложнения.

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

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

Для отсылки к необходимости такого рода нередко используются также термины «физическая необходимость» и «каузальная необходимость», но я не хочу предрешать вопрос о том, являются ли все законы природы физическими или каузальными.

Важное различие логической и естественной супервентности нередко замалчивается или игнорируется в литературе, зачастую не конкретизирующей модальность отношений супервентности. Естественная (или номологическая) супервентность обсуждается ван Кливом (van Cleve 1990), использующим ее для объяснения одной из разновидностей эмерджентности. Сигер (Seager) проводит сходное различие между тем, что он называет конститутивной и коррелятивной супервентностью. Они напрямую соответствуют логической и естественной супервентности, хотя Сигер анализирует данные понятия несколько иначе.

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