Сознающий ум

В том, что открытие, сделанное Мэри, предполагает фактуальное знание, можно убедиться и более косвенными методами. Так, Лор (Loar 1990) указывает, что подобное знание может быть встроено в кондиционалы: «Если красные вещи видятся так, синие — так, то пурпурные вещи, скорее всего, будут видеться вот так»; «если собаки видят красное так-то, то из этого следует то-то и то-то» и т. д. Другой пример: как указывает Лайкан (Lycan 1995)[100], воображаемое нами может оказаться правильным или неправильным; так, после того как Мэри увидела какие-то цвета, она могла бы вообразить, каково это — видеть какой-то другой цвет, и ее фантазия могла бы оказаться правильной или неправильной. Если это так, то знание о том, каково что-то, есть знание какой-то истины о мире, и анализ, связанный с отсылкой к умениям, терпит крах.

Деннет (Dennett 1991) занимает близкую, но еще более жесткую позицию, доказывая, что Мэри вообще ничего не узнает. Он замечает, что Мэри могла бы использовать свое нейрофизиологическое знание для распознания того, что красный объект, который она видит, красен, обращая внимание на то, как он воздействует на ее реакции, так как это воздействие может отличаться от того, которое оказал бы на нее синий объект. (Если группа экспериментаторов пытается обмануть ее, показывая ей синее яблоко, она могла бы и не поддаться на обман.) Не исключено, что это так, но из этого следует лишь то, что, в противоположность тому, что говорят Льюис с Немировым, Мэри обладала бы определенными умениями распознавания еще до того, как она впервые пережила опыт красного. Это никоим образом не показывает, что она обладала бы ключевым знанием — знанием о том, каково это — видеть красное. Такой вывод можно было бы сделать лишь при условии предварительного признания корректности анализа «знания о том, каково это» с помощью понятия умения; но, если бы мы приняли этот анализ, аргумент против материализма был бы уже опровергнут. Поэтому аргумент Деннета лишь отвлекает здесь внимание.

В конечном счете стратегия, которой должен следовать материалист, состоит в том, чтобы отрицать обретение Мэри знания о мире. И кажется, что сделать это можно лишь через анализ «знания о том, каково это» через понятие умения. Это единственная внутренне когерентная позиция, которая не может быть отвергнута по техническим соображениям, так же как единственным когерентным способом, посредством которого материалист может сопротивляться аргументу от логической супервентности, в конечном счете является обращение к аналитическому функционализму. Однако сама неправдоподобность отрицания того, что Мэри обретает знание о мире, свидетельствует об обреченности материализма[101].

Мы видели, что модальный аргумент (аргумент от логической возможности) и аргумент знания — две стороны одной и той же медали. Думаю, что каждый из них в принципе достигает успеха и сам по себе. На практике, однако, они лучше всего работают в связке[102]. Если взять один лишь аргумент знания, то, хотя большинство материалистов не видит оснований отрицать, что Мэри обретает знание о мире, они зачастую отрицают, что из этого следует признание ложности материализма. Если взять один лишь модальный аргумент, то, хотя большинство материалистов не видит оснований отрицать правильность аргумента от представимости зомби или инвертированных спектров к признанию ложности материализма, они зачастую отрицают посылку этого аргумента. Но если соединить эти аргументы, то оказывается, что модальный аргумент поддерживает аргумент знания именно там, где он нуждается в поддержке, и наоборот. Быть может, наиболее эффективной оказывается такая комбинация этих двух аргументов, при которой мы сможем использовать аргумент знания для убедительной демонстрации отсутствия логической супервентности, а модальный аргумент — для убедительного перехода от констатации этого отсутствия к выводу о ложности материализма.

Аргумент Крипке

Аргумент Крипке был нацелен против тезиса тождества, выдвинутого Плейсом (Place 1957) и Смартом (Smart 1959), но его можно рассматривать и в более широком плане, как довод против всех форм материализма. Я довольно подробно обсужу достоинства и недостатки этого аргумента — для подкрепления вывода, что удачными являются именно те его компоненты, которые соответствуют аргументу от логической супервентности.