К существенным свойствам ментального обычно причисляют приватность или интроспективность, которые, соответственно, существенным образом не характеризуют физические феномены, а также непространственность; к существенным свойствам физического, в свою очередь, относят пространственную местоположенность и публичность. Иногда еще добавляют, что существенные свойства ментального и физического противоречат друг другу. Существенное здесь понимается как логически необходимое или логически невозможное: логически необходимо для физического иметь пространственную локализацию, что логически невозможно для ментального. Отсюда – логическая невозможность для ментального быть физическим. Таким образом, истинность психофизического тождества обнаруживает свою зависимость от природы логической необходимости. Стандартный материалистический ответ на возражение от существенных свойств состоит в том, что материалист признает, что предлагаемые им утверждения тождества являются не необходимыми, а случайными истинами. К этому обязывает и их предполагаемый статус как результатов эмпирических открытий. Из таких тождеств не следует, что отождествляемые выражения имеют одинаковые значения, но из них следует, что обозначаемые этими выражениями феномены имеют одинаковые свойства (иначе говоря, что эти выражения имеют одинаковые объемы). При других обстоятельствах (в другом возможном мире) эти свойства могли бы и не совпадать, что невозможно при тождестве значений (синонимии) между выражениями справа и слева от знака «=». Если так, то физикалистская редукция просто не препятствует тому, чтобы ментальное и физическое имели различные существенные свойства, поскольку устанавливаемые в рамах этого подхода тождества не претендуют на статус необходимых истин, и, стало быть, не требуется, чтобы наряду с тождеством свойств здесь утверждалось и тождество существенных свойств. Против аргумента от логического противоречия между существенными свойствами ментального и физического дополнительное возражение таково. Утверждается, что кажущиеся необходимыми истины отвергаемы и поэтому на самом деле являются случайными. Так, если утверждается, что физические феномены существенным образом пространственно локализованы, тогда как ментальные существенным образом пространственно не локализованы, то на это отвечают, что мы не знаем априори, что ментальные феномены не имеют определенного пространственного местоположения, и поэтому отсутствие такой характеристики у некоторых, большинства или даже всех ментальных феноменов может в лучшем случае претендовать на статус случайной истины. А раз это только случайные истины, то они не позволяют говорить о том, что между понятиями ментального и физического есть логическое противоречие.

Для материалиста, таким образом, важно, чтобы установление корреляции между ментальными и физическими предикатами с помощью знака тождества не предполагало большего в семантическом плане, чем совпадение объемов этих предикатов, т.е. их экстенсиональную, но не интенсиональную синонимию676. Как возражение, так и ответ на него, опирались на понятие существенного свойства, согласно которому существенное есть то, что характеризует нечто с логической необходимостью. Логическая необходимость, по Локку, имеет языковую или, иначе говоря, конвенциональную природу: необходимые истинные высказывания суть те, истинность которых следует из значений составляющих их терминов677. Отсюда следует, во-первых, что одно свойство может быть существенным для сущности при одном ее описании, и случайным – при другом, и, во-вторых, что (логическая) необходимость совпадает с априорностью так, что, если показать, что утверждение в принципе можно опровергнуть, т.е. что оно не априорно, то это будет одновременно и демонстрацией его не необходимости (или случайности). Соответственно, по этой схеме нельзя открыть, что вода имеет какой-то другой химический состав, чем Н2О, можно только изменить значения выражений «вода» или «Н2О», чтобы новое тождество было с необходимостью истинно. Таким образом, практически исключается из рассмотрения вопрос о действительной сущности феномена, поскольку его сущность оказывается целиком и полностью номинальной; он имеет ту сущность, которую предписывает ему иметь обозначающий его термин или описывающая его дескрипция, вернее, лингвистические структуры, стоящие за их значениями678.

Новая трактовка необходимости, между тем, предполагает, что существенные свойства вещи не зависят от конкретного ее описания. Истина с этой точки зрения может быть необходимой, не будучи априорной: она может быть апостериорной, устанавливаемой в ходе научного поиска и открытия. Если это так, то отрицаемость утверждения уже нельзя рассматривать как верный признак его не необходимости. Так, С. Крипке предложил каузальную теорию референции для собственных имен и имен естественных видов (жестких десигнаторов в его терминологии), согласно которой имя имеет своим референтом один и тот же индивид во всех возможных мирах, в которых оно вообще является именем, т.е. имеет референцию. Референция термина, то, что он обозначает, оказывается тогда независимой от того, с какими дескрипциями он фактически оказывается связанным языковыми конвенциями. Условием референциальности термина в таком случае является не наличие конвенции относительно его значения (и соответственно, не знание этого значения), а правильная каузальная связь данного употребления термина с историческим событием первого использования данного термина в качестве имени данного референта (ситуацией «первокрещения» в терминологии Крипке)679. Так, если вода имеет такой химический состав, какой предписывается ей тождеством «Вода = Н2О», то это – существенное свойство воды; но наше знание этого может быть как истинным (и тогда необходимым), так и ложным. Мы можем использовать различные определенные дескрипции для распознавания воды в нашем действительном мире и ошибочно, с точки зрения Крипке, считать их определяющими значение термина «вода».

Ближайшее следствие концепции апостериорной необходимости для материалистической концепции ментального таково. Защитник тезиса тождества, например, что «Боль = такой-то процесс в мозгу», утверждает, что, хотя термины слева и справа от «=» различаются своими значениями, утверждаемое тождество тем не менее является эмпирическим открытием и примером чисто случайного тождества: короче говоря, что это не необходимая, а эмпирическая случайная, но истина. Но с точки зрения Крипке материалистическая позиция оказывается совершенно невыполнимой: если «Боль = такой-то процесс в мозгу» истинно, то это значит, что «боль» и «такой-то процесс в мозгу» – жесткие десигнаторы, у которых один и тот же референт (объем). Поэтому, если это тождество вообще истинно, оно истинно с необходимостью, в крипкеанском смысле необходимости; оно не может быть случайно истинным тождеством. Поэтому материалист снова оказывается перед необходимостью защищать тезис, что быть таким-то процессом в мозгу – существенное свойство боли; иначе он не сможет утверждать даже, что соответствующее тождество истинно. А раз так, то аргумент от различных или противоположных существенных свойств ментального и физического снова работает. Аргумент против материализма, опирающийся на концепцию Крипке, может расшифровываться следующим образом. Материалисту предлагается объяснить кажущуюся (с точки зрения Крипке) случайность психофизических тождеств: конкретнее, он должен объяснить интуиции, что, например, есть миры (или возможны ситуации), в которых есть боль, но нет соответствующих процессов в мозгу, и что, напротив, есть миры, в которых есть соответствующие процессы в мозгу, не являющиеся, тем не менее, причиной боли. С точки зрения концепции Крипке, этого как раз и нельзя сделать680. Если такие миры существуют, то феномены в первом из них, которые в нем имеют сенсорные характеристики, которые боль имеет в нашем мире, но не являющиеся таким-то процессом в мозгу, не должны быть, согласно этому подходу, болью, а феномены во втором из этих миров все равно должны быть болью, несмотря на то, что они не обладают теми сенсорными характеристиками, которые имеет боль в действительном мире. Но такой результат Крипке считает абсурдным, так как, в отличие от сенсорных характеристик, например, воды, которые не характеризуют ее существенным образом, такие ментальные феномены, как боль – и Крипке разделяет этот распространенный и также традиционный взгляд, – таковы, что их сенсорные характеристики являются их существенными характеристиками. «Боль = ощущение боли» или что-то подобное является с этой точки зрения необходимо истинным тождеством. Но важным основанием утверждать такое является, по-видимому, следующее: в нашем мире мы называем болью то, что ощущается как боль, и поэтому в любом мире, где «боль» – жесткий десигнатор, его референтом является то, существенным свойством чего является ощущаемость как боль. Если же есть мир, в котором бытие таким-то процессом в мозгу не характеризует то, что ощущается как боль и называется термином «боль», это будет только свидетельствовать о том, что отождествление боли с таким-то процессом в мозгу было ложным. Крипке полагает, что первого мира просто не может быть, так как все, что ощущается как боль, должно быть болью, т.е. должно быть таким-то процессом в мозгу; и второго мира также не может быть, поскольку все, что является болью, должно и ощущаться как боль. На основании таких рассуждений Крипке заключает, что, хотя стандартный материалистический ответ на эссенциалистское антиматериалистическое возражение работает, например, в случае тождества «Вода = Н2О», оно не работает в случае тождеств, редуцирующих ментальные феномены к физическим. Аргументация здесь такова: «необходимо истинно» значит «истинно во всех возможных мирах»; если есть какой-то мир, относительно которого психофизическое тождество ложно, значит это утверждение не необходимо истинно относительно нашего мира; но если оно вообще истинно относительно нашего мира, как хотят, чтобы было материалисты, оно, по Крипке, должно быть необходимо истинно681.