Аргумент такого рода можно найти, например, у Х. Патнэма675. Он предлагает рассмотреть пример, в котором имеется доска с двумя отверстиями – круглым, один дюйм в диаметре, и квадратным, со стороной один дюйм – и квадратный в сечении колышек, сторона сечения которого равна пятнадцати шестнадцатым дюйма. Требуется объяснить простой факт: колышек входит в квадратное отверстие и не входит в круглое. Пусть объяснение дается в терминах квантовой физики: все предметы здесь рассматриваются как атомные облака или решетки, более или менее стабильные: колышек можно обозначить как «система А», а отверстия – как «область 1» и «область 2». Пусть есть возможность просчитать все возможные траектории системы А и вывести из одних только законов квантовой механики, что система А никогда не пройдет через область 1, но что есть по крайней мере одна траектория, позволяющая ей пройти через область 2. Будет ли такое описание объяснением того факта, что соответствующий колышек проходит через квадратное отверстие и не проходит через круглое? Патнэм склоняется к выводу, что нет: несмотря на связи выводимости; в самом деле, примерно что-то в этом роде говорит нам, по меньшей мере, наш здравый смысл. В объяснении могут быть задействованы описания структурных элементов разных порядков, в данном случае макроструктур, таких, как твердость и геометрические характеристики, и микроструктур, таких, как квантовые свойства. Если не считать, что предельные конституенты системы существенны для объяснения, и исходить из того, что только структуры высшего порядка существенны, то отождествление дедукции приведенного вида с объяснением теряет, считает Патнэм, свое основание. В этом случае объяснение рассматриваемого факта оказывается достаточно простым: доска твердая, колышек твердый и, согласно геометрическому факту, круглое отверстие меньше, чем сечение колышка, тогда как квадратное отверстие больше. Важно здесь то, что это объяснение будет правильным, не зависимо от того, из чего сделаны доска и колышек – из молекул или какой-то не дискретной субстанции или чего-то еще. Соответственно, обобщение, к которому подталкивает эта иллюстрация, формулируется Патнэмом таким образом: определенные структурные характеристики ситуации релевантны ее объяснению, но не все; в данном случае, это – геометрические свойства и отношения между размерами и формами, а также описание взаимодействующих предметов как твердых; все же остальное не релевантно. Объяснение в терминах этих характеристик будет верным, по мнению Патнэма, в любом возможном мире, в котором эти структуры наличествуют, каковы бы ни были микроструктуры. В этом смысле объяснение автономно. И именно в подобном отношении, согласно проводимой аналогии психологические объяснения стоят к естественнонаучным. В самом деле, если нас в ситуации повседневной коммуникации интересует объяснение такого, например, факта как, почему субъект А решил, что событие В произойдет в месте С, нас, скорее всего, не удовлетворит описание того, что происходило в его мозгу в момент принятия им такого решения, но вполне может удовлетворить какое-то описание убеждений, допущений, намерений, желаний, их которых он исходил в тот момент, его эмоционального состояния и тому подобного. Правда, в случаях, когда подобные описания не удовлетворяют нас, как например, в случаях девиантного поведения, мы склонны все же удовлетворяться описаниями другого структурного уровня. Это говорит, как минимум о том, что объяснение в значительной мере представляет собой социальную функцию и, поскольку это так, постольку склонность признавать или не признавать уместность элементов того или иного структурного уровня адекватными объяснению сама вправе рассматриваться как привычка, не более говорящая в пользу большей познавательной значимости одной структуры относительно другой, чем привычка считать нечто порочным говорит в пользу существенной порочности, того, что таковым считается.

Стандартное возражение против материалистической редукции сознания состоит в том, что сознание и тело просто не могут быть тождественны, поскольку у них различные существенные свойства. Это возражение апеллирует к традиционному понятию существенного свойства, связанному с традицией, восходящей к философии Д. Локка. Стандартный материалистический ответ на это возражение также опирается на это же понятие. Во второй половине двадцатого века, между тем, получила распространение другая концепция существенных свойств, разработанная С. Крипке, К. Доннеланом, Х. Патнэмом и др., в свете которой как традиционное возражение против материализма в философии сознания, так и ответ на него, выглядят по новому.

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

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