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

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

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

Джексон (Jackson 1995) приводит простой аргумент, демонстрирующий странность физикалистских позиций, не признающих априорной связи физического и психологического (в равной степени он может быть приложим к позиции «сильной метафизической необходимости» и позиции «когнитивного ограничения»): «Едва ли имеются такие факты об очень простых организмах, которые нельзя было бы априори дедуцировать из достаточного количества информации об их физической природе и о том, как они взаимодействуют со своим окружением, охарактеризованным с его физической стороны. Физический рассказ об амебах и их взаимодействии с окружением — это всё, что можно рассказать об амебах… Но, согласно материализму, мы отличаемся от амеб, по сути, только сложностью наших составных частей и их организации. Трудно понять, как подобное различие могло бы сгенерировать важные факты о нас, в принципе неподвластные нашим дедуктивным способностям… Вспомним о схемах в классных комнатах по биологии, иллюстрирующих эволюционное развитие от одноклеточных организмов с левой стороны до высших обезьян и человека справа: где на этой шкале биолог сможет убедительно указать то место, где возникает невозможность априорного дедуцирования важных фактов, касающихся нас? Или, если на то пошло, какую стадию нашего индивидуального развития от зиготы материалист мог бы убедительно обозначить в качестве такой, на которой возникают такие важные факты о нас, которые нельзя было бы вывести из наших физических характеристик?»

Джон О’Лэри — Хоусон и Барри Левер независимо друг от друга в частных беседах провели аналогию между психологической супервентностью и сложными математическими истинами.

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

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

Наиболее развернутая версия аргумента от логической возможности представлена Кирком (Kirk 1974). Его можно найти также в (Campbell 1970), (Nagel 1974), (Robinson 1976) и в других работах. Моя версия этого аргумента отличается от других главным образом использованием понятия супервентности для создания унифицированного контекста обсуждения и рассмотрением роли апостериорной необходимости. Близкий аргумент, отталкивающийся от возможности инвертированных спектров, представлен также в (Seager 1991).