Для материалиста, таким образом, важно, чтобы установление корреляции между ментальными и физическими предикатами с помощью знака тождества не предполагало большего в семантическом плане, чем совпадение объемов этих предикатов, т.е. их экстенсиональную, но не интенсиональную синонимию[38] . Как возражение, так и ответ на него, опирались на понятие существенного свойства, согласно которому существенное есть то, что характеризует нечто с логической необходимостью. Логическая необходимость, по Локку, имеет языковую или, иначе говоря, конвенциональную природу: необходимые истинные высказывания суть те, истинность которых следует из значений составляющих их терминов[39] . Отсюда следует, во-первых, что одно свойство может быть существенным для сущности при одном ее описании, и случайным – при другом, и, во-вторых, что (логическая) необходимость совпадает с априорностью так, что, если показать, что утверждение в принципе можно опровергнуть, т.е. что оно не априорно, то это будет одновременно и демонстрацией его не необходимости (или случайности). Соответственно, по этой схеме нельзя открыть, что вода имеет какой-то другой химический состав, чем Н 2О, можно только изменить значения выражений «вода» или «Н 2О», чтобы новое тождество было с необходимостью истинно. Таким образом, практически исключается из рассмотрения вопрос о действительной сущности феномена, поскольку его сущность оказывается целиком и полностью номинальной; он имеет ту сущность, которую предписывает ему иметь обозначающий его термин или описывающая его дескрипция, вернее, лингвистические структуры, стоящие за их значениями[40] .
Новая трактовка необходимости, между тем, предполагает, что существенные свойства вещи не зависят от конкретного ее описания. Истина с этой точки зрения может быть необходимой, не будучи априорной: она может быть апостериорной, устанавливаемой в ходе научного поиска и открытия. Если это так, то отрицаемость утверждения уже нельзя рассматривать как верный признак его не необходимости. Так, С. Крипке предложил каузальную теорию референции для собственных имен и имен естественных видов (жестких десигнаторов в его терминологии), согласно которой имя имеет своим референтом один и тот же индивид во всех возможных мирах, в которых оно вообще является именем, т.е. имеет референцию. Референция термина, то, что он обозначает, оказывается тогда независимой от того, с какими дескрипциями он фактически оказывается связанным языковыми конвенциями. Условием референциальности термина в таком случае является не наличие конвенции относительно его значения (и соответственно, не знание этого значения), а правильная каузальная связь данного употребления термина с историческим событием первого использования данного термина в качестве имени данного референта (ситуацией «первокрещения» в терминологии Крипке)[41] . Так, если вода имеет такой химический состав, какой предписывается ей тождеством «Вода = Н 2О», то это – существенное свойство воды; но наше знание этого может быть как истинным (и тогда необходимым), так и ложным. Мы можем использовать различные определенные дескрипции для распознавания воды в нашем действительном мире и ошибочно, с точки зрения Крипке, считать их определяющими значение термина «вода».
1.3. Апостериорная необходимость психофизического тождества
Ближайшее следствие концепции апостериорной необходимости для материалистической концепции ментального таково. Защитник тезиса тождества, например, что «Боль = такой-то процесс в мозгу», утверждает, что, хотя термины слева и справа от «=» различаются своими значениями, утверждаемое тождество тем не менее является эмпирическим открытием и примером чисто случайного тождества: короче говоря, что это не необходимая, а эмпирическая случайная, но истина. Но с точки зрения Крипке материалистическая позиция оказывается совершенно невыполнимой: если «Боль = такой-то процесс в мозгу» истинно, то это значит, что «боль» и «такой-то процесс в мозгу» - жесткие десигнаторы, у которых один и тот же референт (объем). Поэтому, если это тождество вообще истинно, оно истинно с необходимостью, в крипкеанском смысле необходимости; оно не может быть случайно истинным тождеством. Поэтому материалист снова оказывается перед необходимостью защищать тезис, что быть таким-то процессом в мозгу – существенное свойство боли; иначе он не сможет утверждать даже, что соответствующее тождество истинно. А раз так, то аргумент от различных или противоположных существенных свойств ментального и физического снова работает. Аргумент против материализма, опирающийся на концепцию Крипке, может расшифровываться следующим образом. Материалисту предлагается объяснить кажущуюся (с точки зрения Крипке) случайность психофизических тождеств: конкретнее, он должен объяснить интуиции, что, например, есть миры (или возможны ситуации), в которых есть боль, но нет соответствующих процессов в мозгу, и что, напротив, есть миры, в которых есть соответствующие процессы в мозгу, не являющиеся, тем не менее, причиной боли. С точки зрения концепции Крипке, этого как раз и нельзя сделать[42] . Если такие миры существуют, то феномены в первом из них, которые в нем имеют сенсорные характеристики, которые боль имеет в нашем мире, но не являющиеся таким-то процессом в мозгу, не должны быть, согласно этому подходу, болью, а феномены во втором из этих миров все равно должны быть болью, несмотря на то, что они не обладают теми сенсорными характеристиками, которые имеет боль в действительном мире. Но такой результат Крипке считает абсурдным, так как, в отличие от сенсорных характеристик, например, воды, которые не характеризуют ее существенным образом, такие ментальные феномены, как боль – и Крипке разделяет этот распространенный и также традиционный взгляд, – таковы, что их сенсорные характеристики являются их существенными характеристиками. «Боль = ощущение боли» или что-то подобное является с этой точки зрения необходимо истинным тождеством. Но важным основанием утверждать такое является, по-видимому, следующее: в нашем мире мы называем болью то, что ощущается как боль, и поэтому в любом мире, где «боль» – жесткий десигнатор, его референтом является то, существенным свойством чего является ощущаемость как боль. Если же есть мир, в котором бытие таким-то процессом в мозгу не характеризует то, что ощущается как боль и называется термином «боль», это будет только свидетельствовать о том, что отождествление боли с таким-то процессом в мозгу было ложным. Крипке полагает, что первого мира просто не может быть, так как все, что ощущается как боль, должно быть болью, т.е. должно быть таким-то процессом в мозгу; и второго мира также не может быть, поскольку все, что является болью, должно и ощущаться как боль. На основании таких рассуждений Крипке заключает, что, хотя стандартный материалистический ответ на эссенциалистское антиматериалистическое возражение работает, например, в случае тождества «Вода = Н 2О», оно не работает в случае тождеств, редуцирующих ментальные феномены к физическим. Аргументация здесь такова: «необходимо истинно» значит «истинно во всех возможных мирах»; если есть какой-то мир, относительно которого психофизическое тождество ложно, значит это утверждение не необходимо истинно относительно нашего мира; но если оно вообще истинно относительно нашего мира, как хотят, чтобы было материалисты, оно, по Крипке, должно быть необходимо истинно[43] .
Но распространенная интуиция, что вода все же лишь случайным, а не необходимым образом состоит из водорода и кислорода, т.е. что возможны миры, где есть вода, но где она в силу других физических характеристик этих миров, например, вовсе не имеет молекулярной структуры, тем не менее, сохраняет свое правдоподобие; и подобные интуиции кажутся не менее правдоподобными в отношении ментальных свойств и их физических составляющих. Но защитник крипкеанского подхода может утверждать, что каждая такая интуиция представляет собой результат подстановки на место жесткого десигнатора определенной дескрипции, что дает действительно случайно истинное тождество; затем из конъюнкции этого предложения с ложным предположением, что соответствующая определенная дескрипция дает определение значению термина, на месте которого она стоит, выводится правдоподобное представление о том, что возможны миры, где существует субстанция, обладающая предписываемыми таким псевдоопределением свойствами, но не обладающая свойством, наличие которого утверждается тождеством. Ответ физикалиста может состоять в утверждении, что физикалистские расшифровки ментальных свойств тоже даны нам через определенные качественные характеристики, и в каком-то из миров боль, которую испытывают субъекты в этом мире, феноменально неотличимая от нашей боли, может пройти наш тест на бытие таким-то процессом в мозгу, не будучи им: данность нам этой нейронной (как нам кажется) характеристики будет иметь такой же феноменальный характер, какой в нашем мире имеют для нас соответствующие процессы в мозгу, когда мы их фиксируем нашими средствами наблюдения[44] .