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

Идея супервентности была введена Муром (Мооге 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-свойств и ничего более.

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

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

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