Конечно, материалист мог бы решиться на этот шаг и заявить о sui generis когнитивной ущербности. Для этого он должен был бы признать, что все аргументы в главе 3 ложны по непостижимым для нас причинам. Не говоря уже о том, что такая позиция рисует картину колоссальных заблуждений наших интуиций представимости, ведомых нашим несовершенным разумом, она также предполагает, что более умная Мэри на основе физической информации действительно могла бы узнать, каково это — видеть красное, и что можно осуществить такой анализ (к примеру, структурный или функциональный) феноменальных понятий, который подкреплял бы импликацию от физических к феноменальным фактам, хотя оценка правильности этого анализа выходила бы за пределы наших возможностей.

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

Я не первый, кто использовал аргумент от логической возможности против материализма[93]. Более того, я считаю, что в том или ином виде это базовый антиматериалистический аргумент в философии сознания. Тем не менее он не был объектом того пристального внимания, которого он заслуживает. Больше внимания уделялось двум антиматериалистическим аргументам Джексона (Jackson 1982) и Крипке (Kripke 1972). Они кажутся мне вполне уместными, хотя, быть может, и не столь фундаментальными. Аргумент Джексона важен как прелюдия к аргументу от логической супервентности, а наиболее убедительная часть аргумента Крипке, как мы увидим, зависит от аргумента от логической супервентности.

Я уже обсуждал аргумент Джексона — аргумент знания — в контексте демонстрации отсутствия логической супервентности, где он играет вспомогательную роль. Вспомним, что речь там идет о Мэри, которая занимается нейронаукой, выросла в черно-белой комнате и знает все физические факты о процессах в мозге при восприятии цвета. Позже, когда она впервые видит красный объект, она узнает какие-то новые факты. В частности, она узнает, каково это — видеть красное. Аргумент завершается выводом, что физические факты не исчерпывают все факты и что материализм ложен.

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

Прежде всего, различные критики доказывали, что, хотя Мэри и получает новое знание, когда видит что-то красное, это знание не соответствует какому бы то ни было новому факту. Она просто по-новому, сообразно новому «модусу презентации», узнает старый факт благодаря интенсиональности знания (Churchland 1985; Horgan 1984b; Lycan 1995; McMullen 1985; Papineau 1993; Teller 1992; Tye 1986). Тай и Лайкан, к примеру, апеллируют к интенсиональному различию между утверждениями «эта жидкость — вода» и «эта жидкость — Н₂O»: в известном смысле они выражают один и тот же факт, но одно может быть известно без другого. В сходном ключе и Черчленд указывает на провал между знанием температуры и знанием средней кинетической энергии. Хорган обсуждает различие между знанием о Кларке Кенте и знанием о Супермене, а Макмаллен указывает в этой связи на Марка Твена и Сэмюэла Клеменса.

Эти провалы возникают именно вследствие различия первичных и вторичных интенсионалов. Можно знать что-то о воде, не зная каких-то вещей об Н₂O, так как их первичные интенсионалы различны — не существует априорной связи между мыслями о воде и мыслями об Н₂O. Тем не менее в известном смысле имеется только один набор фактов о них: благодаря апостериорному тождеству воды и Н₂O их вторичные интенсионалы совпадают. (Не очевидно, что мы должны индивидуализировать факты так, чтобы факты о воде и факты об Н₂O оказывались одними и теми же фактами, но в целях аргументации я принимаю этот тезис[94].) Если использовать принятую ранее терминологию, утверждение «если это вода, то это Н₂O» является логически контингентным, но метафизически необходимым. Данное возражение поэтому ничем не отличается от обсуждавшегося выше возражения, связанного с различием логической и (крипкеанской) метафизической необходимости, и для убедительного ответа на него достаточно сослаться на обсуждение там первичных и вторичных интенсионалов.

Мы также можем выразить суть дела более прямым способом. Всякий раз, когда кто-то знает некий факт сообразно одному модусу презентации, но не сообразно другому, здесь всегда будет иметься какой-то иной факт, относительно которого этот человек будет лишен знания, — факт, связующий два упомянутых модуса презентации[95]. Если кто-то знает, что Геспер доступен для наблюдения, но не знает, что Фосфор доступен для наблюдения (поскольку он не знает, что Геспер и есть Фосфор), то такой человек не знает, что один и тот же объект является одновременно ярчайшей звездой на утреннем небе и ярчайшей звездой на вечернем небе. Это особый факт, который абсолютно неизвестен данному человеку. Аналогичным образом если кто-то знает, что Супермен может летать, но не знает, что Кларк Кент может летать, то он не знает о существовании индивида, одновременно являющегося ведущим репортером Daily Planet и носящего накидку. Если кто-то знает, что вода мокрая, но не знает, что Н₂O мокрая, он не знает, что вещество в озерах состоит из молекул Н₂O, и т. д.

Более формально: допустим, что «а есть G» и «Ь есть G» — один и тот же факт в этом смысле, но некто не может априори соединить эти факты. Это должно объясняться тем, что а = Ь, и одинаковостью вторичных интенсионалов при различии первичных интенсионалов: возможно, а эквивалентно dthat(P), а b эквивалентно dthat(Q). Если кто-то знает, что а есть G, но не знает, что b есть G, то он лишен фактуального знания о том, что нечто является одновременно Р и Q. В более общем виде: он лишен фактуального знания, что нечто является как Р', так и Q', под которыми понимаются любые идентифицирующие дескрипции такого рода, когда он знает, что а есть Р' и что Ь есть Q'.

Этот факт совершенно отличен от фактов, изначально находившихся в его распоряжении. Даже при трактовке с позиции вторичных интенсионалов можно говорить о возможном мире, в котором а есть F, но ничто не является как Р, так и Q (или как Р', так и Q').