Но даже если принять это воззрение, во многих существенных отношениях оно будет очень похоже на тот дуализм свойств, который я отстаиваю. Согласно этому воззрению, дело по-прежнему будет обстоять так, что существование сознания нельзя будет вывести из физического знания, так что сознание не будет допускать редуктивного объяснения. И, как и прежде, мы будем нуждаться в изначальных связующих принципах для объяснения супервентности феноменального на физическом. Единственное различие между этими воззрениями состоит в том, что соответствующие психофизические принципы окажутся фундаментальными «законами необходимости», а не законами природы. В плане любых объяснительных моментов при построении теории мы остаемся там же, где и дуализм свойств; различие, по сути, сводится к онтологическим предпосылкам.

Представляется, что единственной реальной мотивацией в пользу данного взгляда может быть спасение материализма любой ценой — возможно, исходя из представлений о проблематичности дуализма. Но такой материализм кажется гораздо более загадочным, чем его дуалистическая альтернатива. Привлечение базовых «метафизически необходимых» принципов, ограничивающих пространство возможных миров, вводит гораздо более проблематичный, а на деле гораздо менее натуралистичный элемент, чем простое допущение добавочных естественных законов, постулируемых дуализмом свойств. В конечном счете задействование новой степени необходимости — это такое ad hoc допущение, которое приводит не только к решению проблем, но и к появлению неменьшего числа новых проблем. Эта позиция спасает материализм ценой объявления совершенной тайной вопроса о том, как сознание могло бы быть физическим [89] .

Это последняя возможность для материалиста, допускающего представимость зомбийного мира, но желающего спасти материализм. Обсуждавшаяся выше позиция предполагает, что материалист признает полную когерентность понятия зомби, даже для существа с максимально развитыми рациональными способностями, но тем не менее отрицает его метафизическую возможность, приходя, таким образом, к «двухслойной картине» логически и метафизически возможных миров. Однако материалист может также попытаться показать, что эта кажущаяся представимость обязана своим существованием некой ущербности нашего разума, так что если бы мы были более продвинутыми в интеллектуальном плане, мы увидели бы, что такое описание мира в конечном счете не является когерентным. Согласно этой позиции, подобный мир не оказывается даже логически возможным; и мы ошибочно верим в его логическую возможность просто из-за ограниченности человеческих когнитивных способностей. (Так можно интерпретировать взгляды Макгинна (McGinn 1989).)

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

Эта аналогия, однако, несовершенна. Когда речь идет о математике, наши модальные рассуждения оставляют вопрос открытым; наши интуиции представимости ничего не говорят нам об обоих вариантах. Хотя в слабом смысле и можно допускать «представимость» ложных положений — имея в виду, что они, насколько это нам известно, ложны, — но это не тот смысл, который позволяет представлять мир, где они неверны. В случае же с зомби вопрос не остается открытым: кажется, что мы ясно можем представить мир, в котором данная импликация не проходит. Для спасения материализма возможность этого мира должна быть исключена — несмотря на то, что о ней надежно свидетельствуют наши модальные способности; но в случае с математикой отсутствует даже намек на возможность примера подобного исключения кажущегося возможным мира. И любой провал между представимостью и возможностью, на который мог бы ссылаться здесь материалист, опять-таки должен был бы быть провалом sui generis, не подкрепленным какой-либо аналогией в других областях [91] .

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

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

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