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

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

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

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

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

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

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

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

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