Читать онлайн «Сознающий ум. В поисках фундаментальной теории». Страница 135

22

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

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

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

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

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

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

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

Хорган (Horgan 1982), Джексон (Jackson 1994) и Льюис (Lewis 1983b) обсуждают сходную проблему в контексте определения материализма.

Измененная дефиниция может быть более точно сформулирована в духе прим. 4. Пусть B(W) — класс индивидов с В-свойствами в мире W. Можно сказать, что W' В-превосходит W, если имеется взаимно-однозначное соответствие f: B(W) —> B(W') (то есть между B(W) и подмножеством Ј(W')), такое что для любого а ∈ B(W), f(a) реализует каждое В-свойство, которое реализует а. В таком случае В-свойства логически супервентны на A-свойствах в W, если любой мир, A-неотличимый от W, оказывается В-превосходящим W, где релевантные В-соответствия опять-таки ограничиваются экстенсионалами А-соответствий.

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

Для целей данной дефиниции отношение содержания миров друг в друге может рассматриваться как что-то изначальное. Льюис (Lewis 1983а) и Джексон (Jackson 1993) отмечали бесплодность продолжения анализа такого рода понятия до бесконечности. Что-то надо принимать в качестве исходного, и отношение содержания представляется не менее ясным, чем какие бы то ни было другие отношения. Кто-то мог бы предпочесть рассуждения не о мирах, содержащих W в качестве собственной части, а о мирах, содержащих качественный дубликат W в качестве своей собственной части; это работало бы не менее эффективно.

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

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

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

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