Прежде всего, различные критики доказывали, что, хотя Мэри и получает новое знание, когда видит что-то красное, это знание не соответствует какому бы то ни было новому факту. Она просто по-новому, сообразно новому «модусу презентации», узнает старый факт благодаря интенсиональности знания (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 до такой степени, чтобы ту точку можно было отличить от других местонахождений. Крайний случай, в котором человек не обладает никаким различающим самопознанием, сводится к чисто индексикальной ситуации, обсуждаемой ниже.)
Читать дальше