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

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

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

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

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

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

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

(Как и в параграфе 2, здесь возникает осложнение, связанное с тем, что Р и Q могут быть индексикальными свойствами, однако это обстоятельство не приводит ни к каким существенным изменениям. Чтобы сделать неизвестный новый факт строго неиндексикальным, нужно лишь перейти к факту «существует точка [со свойством X], из которой Р и Q указывают на одно и то же». X — подстраховка на тот случай, если некто знает какую-то другую позицию, в которой Р и Q указывают на одно и то же; в подобной ситуации мы просто специфицируем X до такой степени, чтобы ту точку можно было отличить от других местонахождений. Крайний случай, в котором человек не обладает никаким различающим самопознанием, сводится к чисто индексикальной ситуации, обсуждаемой ниже.)

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

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