Ставший уже классическим аргумент, согласно предположению, вскрывающий одну из фундаментальных трудностей функционализма, получил название аргумента перевернутых качеств, а его расширение – аргумент отсутствующих качеств. Утверждается, что функционализм не способен репрезентировать существенные для определения типа, по крайней мере, некоторых психологических состояний их «качественные» характеристики. Например, не кажется совершенно несостоятельным предложение, что нечто не было бы токеном типа «состояние боли», если бы оно не ощущалось как боль, и что это было бы истинным даже в том случае, если это состояние связано со всеми остальными психологическими состояниями организма так, как с ними связаны состояния боли. В ответ на это функционалист мог бы возразить, как это делает Бойд, что, хотя перевернутые качества могли бы составить контрпримеры его теории, если бы они имели место, фактически невозможно, чтобы функционально тождественные психологические состояния были качественно различны. В частности, функционалист мог бы утверждать следующее: что бы ни служило к изменению качественных характеристик психологического состояния, это будет изменять и его функциональные характеристики. Такого рода аргумент, конечно, представляет собой ничем не оправданный априоризм. Но есть другой путь защиты функционализма от аргумента перевернутых качеств: функционалист мог бы сказать, что если даны два функционально тождественных психологических состояния, их можно или даже следует рассматривать как состояния одного типа, независимоот их качественных характеристик. Т.е. ответ мог бы состоять просто в утверждении, что качественные характеристики психологических состояний не релевантны задаче определения типов психологических состояний и, соответственно, психологии. Аргумент такой формы, однако, может давать неприятные следствия. Из того, что нам известно, номологически возможно для двух психологических состояний быть функционально тождественными, даже если только одно из состояний имеет вообще какое-то качественное содержание. Таким образом, теория может потребовать признать, что боль имеет место даже в том случае, когда отсутствует какое бы то ни было вообще ощущение; это кажется совершенно неприемлемым. В этом состоит аргумент отсутствующих качеств, и он, похоже, показывает, что психологические качества вообще не могут быть определены функционалистски.
      Н. Блок иллюстрирует этот аргумент следующим образом, стараясь показать, почему случаи отсутствующих качеств действительно представляют проблему для функционалиста . Он предлагает вообразить тело, внешне выглядящее точно так же, как человеческое тело, но внутри совершенно другое: нейроны от сенсорных окончаний (чувственных органов) соединяются со световым табло в полости внутри головы. В этой же полости находится набор кнопок, соединенных с нейронами, идущими к органам, отвечающим за моторику тела; наконец, в этой полости размещается группа маленьких человечков, задача каждого из которых сводится к тому, чтобы выполнять «правило» разумно адекватной машинной таблицы, описывающей того человека, чье тело копирует данное тело. Пусть на стене внутри полости висит доска, на которой меняются карточки с символами состояний, специфицируемых машинной таблицей. Так, если на доске висит карточка с символом А, это активизирует маленьких человечков, ответственных за исполнение правила А (А-человечки). Пусть далее загорается свет, репрезентирующий входной сигнал И17: единственной задачей одного из А-человечков является то, что когда на доске висит карточка с символом А и загорается свет, обозначающий И17, он нажимает кнопку, приводящую в движение определенные моторные реакции – иначе говоря, производящую выходной сигнал О191 – и изменяет карточку состояния на доске на ту, на которой напечатан символ М. От таких человечков требуется наличие лишь очень незначительных интеллектуальных способностей: в принципе, они могут быть заменены в примере просто механизмами или электрическими схемами (два входа, один выход). Но вся система в целом будет успешно симулировать индивида, которого она копирует, вследствие тождества функциональных организацией обеих систем (они описываются одной машинной таблицей). Этот пример Блок называет случаем симуляции гомункулусами в голове (homunculi-headed simulation). Аргумент состоит в том, что интуитивно очевидно, что тело с гомункулусами в голове не будет обладать ментальностью или, по меньшей мере, (чувственными) качествами. Но что поддерживает такую интуицию? – Ведь она может просто оказаться ложной. Обращение к интуиции при суждении о ментальности особенноподозрительно. Никакойфизический механизм не кажется интуитивно правдоподобным местоположением качеств: почему мозг должен признаваться таковым? Сомнения в ментальности системы с мозгом в голове могут быть не меньшие, чем в ментальности системы с гомункулусами в голове. Ответ Блока: между системами с мозгом в голове и с гомункулусами в голове есть большая разница. Поскольку мы знаем, что являемся системами первого вида и что у нас есть качественные характеристики, мы знаем, что такие системы могут иметь качественные характеристики. Таким образом, даже несмотря на то, что у нас нет теории качеств, которая объясняла бы, как это возможно, у нас есть перевешивающее основание отбросить любые prima facie сомнения в наличии качеств у систем с мозгом в голове.
      Есть другое различие между системами этих двух видов: система с гомункулусами в голове разработана специальнодля того, чтобы мимикрировать нас, но мы неразработаны для того, чтобы мимикрировать кого бы то ни было. Блок считает, что это – эмпирический факт. Однако, если мы обнаружим вдруг эмпирически систему с гомункулусами в голове – а не сами изобретем – то отнюдь не будет фактом, что она разработана для мимикрирования кого-то из нас. Блока, тем не мене, уверен, что хотя есть хорошее основание отказать в доверии любой интуиции, что системы с мозгом в голове не имеют качеств, нет основания отказывать в доверии нашей интуиции, что симуляции с гомункулусами в голове не имеют качеств.
      Сидней Шумейкер показательным образом отвечает на аргумент отсутствующих качеств . Он утверждает, что если ментальные состояния могут совпадать или различаться по своему «качественному характеру», то можно говорить о классе «качественных состояний», «условия тождества типов» которых могут определяться в терминах понятия качественного (или «феноменологического») сходства. Для каждого определенного качественного характера, который состояние может иметь, существует (т.е. мы можем определить) определенное качественное состояние, которое индивид имеет только в том случае, когда он находится в состоянии, имеющем в точности этот качественный характер . Если, далее, качественные состояния сами являются «ментальными» состояниями (а Шумейкер полагает их таковыми), то будет самопротиворечиво для функционалиста сказать, что характер (чувственных) качеств организма не релевантен определению того, какие этот организм имеет качественные состояния. Поэтому защита от не релевантности качественных характеристик ментальных состояний для психологии не эффективна. И, разумеется, если сами качественные состояния могут быть функционально определены, то возможность перевернутых качеств не создаст никакой трудности для функционализма и последнему не будет нужды прибегать к защите посредством отрицания релевантности качественного характера ментального для психологии.
      Можно утверждать невозможность случаев «отсутствующих качеств», если можно показать, что, если состояние функционально тождественно состоянию, имеющему качественное содержание, то оно само должно иметь качественное содержание. Так, можно было бы утверждать, что если данное психологическое состояние имеет определенный качественный характер, то это предполагает его нахождение в некоем определенном отношении к некоторому конкретному качественному состоянию (а именно тому качественному состоянию, в котором индивид находится только тогда, когда он находится в состоянии, имеющем этот качественный характер), и что любое состояние, функционально тождественное ему, должно находиться в таком же отношении к этому качественному состоянию и, соответственно, должно иметь такой же качественный характер. Но этот аргумент, замечает Шумейкер, не очень убедителен. Возражение против него таково: поскольку качественные состояния сами не могут быть функционально определены (принимая возможность перевернутых качеств), незаконно будет включать их в число психологических состояний, посредством референции к которым функционально определяются другие психологические состояния или в терминах которых определяется «функциональное тождество». Другое возражение состоит в том, что отношение, которое состояние имеет к некоторому качественному состоянию, не есть нечто подобное каузальному отношению и, следовательно, не есть вид отношений, в терминах которых психологическое состояние может быть функционально определено. Но, полагает Шумейкер, с точки зрения любого правдоподобного толкования понятия функционального тождества состояние не может быть функционально тождественно состоянию, имеющему качественный характер, без того, чтобы самому не иметь качественный характер. Аргументация в пользу этого следующая. Один из видов связей между психологическими состояниями – связь интроспективной осведомленности о своем психологическом состоянии и, стало быть (если презумпция наличия качественного характера у ментальных состояний сохраняется), о том, что имеет место ощущение такого-то рода, т.е. что состояние, которое теперь Я испытываю, имеет такой-то качественный характер. Так, нахождение в состоянии боли обычно при определенных обстоятельствах вызывает «качественное полагание» (термин Шумейкера), что некто испытывает такие-то ощущения. Всякое состояние, функционально тождественное состоянию боли, будет разделять с болью не только 1) ее тенденцию влиять определенным образом на внешнее поведение и 2) ее тенденцию продуцировать в индивиде полагание, что с его организмом что-то не в порядке, но и 3) его тенденцию продуцировать качественные полагания, т.е. заставить индивида считать, что он испытывает боль определенного качественного характера (такого, который он не любит). Согласно аргументу «отсутствующих качеств» у такого состояния может, тем не менее, отсутствовать качественный характер и оно, таким образом, может не быть болью. Правдоподобно ли это? Если бы такой случай был возможен, как бы мы могли установить, что он имеет место – что отсутствуют качественные характеристики при наличии состояния? Все свидетельства, которые у нас есть в пользу наличия ментального состояния определенного вида у себя самого или другого, т.е. такого, которое тождественно неким данным моим ментальным состояниям – интроспективные и поведенческие, – свидетельствуют также и в пользу качественного тождества этого состояния с неким данным моим состоянием. Если дано, что человеческое состояние функционально тождественно состоянию, которое в нас является болью, трудно увидеть, как психологическое различие, существующее между нами и этим человеком, могло бы свидетельствовать в пользу того, что его состояния не имеют качественного характера. Ведь если что-нибудь может вообще свидетельствовать нам о его психологическом состоянии, свидетельство, что его состояние функционально тождественно нашим, самим этим фактомявляется свидетельством в пользу того, что любое психологическое различие между нами и им не релевантно вопросу о том, реализовано ли в нем состояние боли, хотя и не вопросу о том, каконо в нем реализовано.
      Но если, как утверждают Блок и Фодор , качественные состояния не могут быть функционально определены, то это означает, что есть, по крайней мере, один класс ментальных состояний, которые не могут быть функционально определены. В этом случае возникают следующие вопросы: а) В каком смысле качественные состояния функционально неопределимы (если возможны перевернутые качества)? и б) Представляет ли их функциональная неопределимость серьезную угрозу для функционализма? Сама возможность «перевернутых качеств», кажется, предполагает, что качественные состояния и, соответственно, качественные полагания не могут быть определены функционально. Ответ функционалиста может апеллировать к такому примеру. Представим себе случай инверсии цвета, когда то, что функционально определяется, например, как состояние восприятия голубого цвета, у некоторого (воображаемого) индивида имеет качественные характеристики ощущения, скажем, зеленого цвета: это – так называемый аргумент перевернутого спектра. Это сравнительно легко себе представить; кроме того, кажется, что качественные характеристики таких состояний легче абстрагируются от них, чем качественные состояния таких состояний, как боль, от самих этих состояний. Шумейкер соглашается, что если возможность перевернутого спектра допускается, то функциональная неопределимость качественных состояний выглядит весьма вероятной. Инверсия спектра, однако, может быть двух видов: интерсубъективная и интрасубъектная и именно кажущаяся мыслимость и установимость случаев инверсии последнего вида, по мнению Шумейкера, заставляет нас допускать возможность инверсии спектра. Но рефлексия над такими случаями, по его убеждению, покажет, что хотя мы не можем функционально определить конкретные качественные состояния, поскольку мы можем функционально определить взаимоотношения качественного сходства и различия, мы можем до некоторой степени определить классфункциональных состояний – условия тождества для членов этого класса. Аргументация в пользу этого следующая. Мы получим интерсубъктивную инверсию спектра, если способ, каким каждый оттенок цвета видится одному индивиду, есть тот способ, каким его инверсия видится другому индивиду или, другими словами, если для каждого оттенка цвета качественное состояние, ассоциированное в одном индивиде с видением этого оттенка, ассоциировано в другом индивиде с видением инверсии этого оттенка. И мы получим интрасубъектную инверсию спектра, если имеется изменение в способе, каким различные оттенки цвета видятся кем-либо, каждый видится способом, каким прежде виделась его инверсия. Что больше всего на нас действует в случае инверсии спектра – это то, что если он может иметь место интерсубъективно, у нас вроде бы не будет способа сказать, являются ли ощущения цвета двух индивидов одним ощущением цвета или же их цветовые спектры взаимно перевернуты один относительно другого. Систематическое различие ощущений, в которых проявлялась бы интерсубъективная инверсия спектров, конечно, было бы недоступно ничьей интроспекции. И не оказалось бы никакого способа, каким эти различия могли бы манифестировать себя в поведении. Как гипотеза, что спектр одного инвертирован, так и гипотеза, что оба имеют одинаковые ощущения цвета, похоже, дают одни и те же предсказания относительно поведения обоих индивидов.
      Ситуация выглядит совсем по другому в случае интрасубъектной инверсии спектра. Во-первых, кажется, что такое изменение откроет себя интроспекции индивида, в котором оно случилось. Но если так, то другие индивиды могут узнать от него об его инверсии спектра через его сообщения. Кроме того, соответствующие изменения в его поведении будут такими свидетельствами. Шумейкер полагает, что если бы не свидетельства такого вида (интрасубъективной инверсии спектра), то у нас не было бы оснований считать какую-либо вообще инверсию спектра логически возможной. Если интрасубъектная инверсия может быть замечена, то имеет место следующая ситуация: между двумя ощущениями цвета (запомненным и актуальным) устанавливается интроспективно качественное различие. Качественные сходства и различия дают основания для формирования полаганий о существовании объективных сходств и различий между объектами, являющимися источниками соответствующих качеств. Иначе говоря, они имеют тенденцию вызывать убежденность в существовании объективных сходств (различий) в физическом мире, а именно между объектами, в восприятии которых участвовали соответствующие качественные сходства (различия). Предложение Шумейкера таково: то, что делает отношение между переживаниями отношением качественного (феноменального) сходства – это именно то, что они играют определенную «функциональную» роль в перцептивной осведомленности об объективных сходствах, а именно его тенденция продуцировать перцептивные полагания, что такие сходства имеют место. Таким же образом отношение между переживаниями делает отношением качественного различия то, что они играют соответствующую роль в перцептивном знании об объективных различиях. Следовательно, тот факт, что некоторые ментальные состояния имеют «качественный характер», не обязан представлять собой какие-то особые трудности для функционалиста. Что отличает качественные состояния от других видов ментальных состояний – это что их «условия тождества типов» должны даваться в терминах понятия качественного сходства. Исходное положение гласит, что специфицирующие условия тождества, сформулированные в таких терминах, кажется, резко контрастируют с их определением в функциональных терминах. Но этот контраст размывается, если само понятие качественного сходства может быть определено в функциональных терминах. И если это так, то не будет неправильным сказать, что, хотя конкретные качественные состояния не могут быть функционально определены, так может быть определен класскачественных состояний.

      Н. Блок предлагает различить между двумя видами функционализма и соответственно этому различению классифицировать трудности функционалистских теорий сознания . Априорные функционалисты (в терминах Блока «Функционалисты», к числу которых он относит Смарта, Армстронга, Льюиса и Шумейкера) стремятся рассматривать функциональный анализ как анализ значений ментальных терминов, тогда как эмпирические функционалисты (в терминах Блока «Психофункционалисты», к которым принадлежат, по его мнению, Фодор, Патнэм и Харман) считают функциональный анализ существенной научной гипотезой. Соответственно, Функционалисты отождествляют ментальные состояния с функциональными коррелятами (записываемыми в форме так называемых предложений Рамсея – т.е. предложений с вынесенными вперед всеми переменными, участвующими в предложении, с кванторами существования) относительно некой психологии здравого смысла, а Психофункционалисты – с такими же коррелятами, но относительно научнойпсихологической теории. Функционалисты в таком случае ограничены тем, что могут специфицировать только те входные и выходные данные, которые очевидно являются частями того знания, которое принадлежит здравому смыслу. Психофункционалистов же такое ограничение не связывает. Блок уверяет, что знает только одного вида аргумент собственно в пользу Функционализма: согласно этому аргументу, истинность функциональных тождеств может быть выведена из анализа значений ментальных терминов. Утверждается, что функциональные тождества обосновываемы тем самым способом, каким можно пытаться обосновать утверждение, что состояние бытия холостяком тождественно состоянию бытия неженатым человеком. Иначе говоря, функциональные тождества составляют часть нашего здравого смысла: что это – так сказать, народная психология или психология здравого смысла. Эти тождества (согласно Льюису, Армстронгу и др.) суть банальности (platitudes) здравого смысла. Если так, считает Блок, то Функционализм встречает серьезные трудности с такими случаями, как, например, паралич и мозг в сосуде. Паралитик может испытывать боль, не имея в качестве типической реакции, скажем, на боль то поведение, которое функциональное определение предписывает ему как ментальному существу иметь (например, поведение, нацеленное на избавление от боли). Возражение: «Если кластер входных данных и состояний С типически влечет за собой кластер реакций В, то одним из элементов С должно быть полагание, что В возможно, но паралитик не имел бы такого полагания». Ответ может состоять в ссылке на возможность паралитика, который не знает о своем параличе или такого, чей паралич имеет перемежающийся характер.
      Пример мозга в сосуде: представим себе, что технология дошла до того, что мозг может отделяться от тела на время и проходить реабилитацию или чистку, или омолаживание; связь с телом – с органами восприятия и движения – при этом сохраняется, например, по радио, так что организм может не прекращать жить своей обычной жизнью. Пусть в результате несчастного случая тело уничтожено в то время, как мозг находиться на восстановительных работах: если в этом случае что-то продолжает выполнять роль органов восприятия для такого мозга, то он, несомненно, будет иметь С (по крайней мере, некоторое время), не имея возможности типически производить В. Возражение Психофункционалиста: согласно этому подходу, что считать входными и выходными органами – эмпирический вопрос. Если принять в этом качестве нервные импульсы, то означенная проблема устраняется. Ответ: может быть паралич, затрагивающий нервную систему. Правда, болезни нервной системы могут в действительности изменять ментальность, например, они могут сделать своих жертв не способными испытывать боль; поэтому могло бы быть истинным относительно какой-нибудь широко распространенной болезни нервной системы, вызывающей перемежающийся паралич, что она делает людей неспособными к определенным ментальным состояниям.
      Другую трудность для функционализма представляет так называемая проблема дифференциации, исходящая из того, что есть ментальные состояния, различающиеся между собой, но не различающиеся в отношении описаний, которыми оперирует народная психология. Взять, например, различные вкусовые качества, которые имеют каждый свои типические причины и следствия, но такие, что они не известны или не известны большинству людей. Например, танин в вине продуцирует определенный вкус, легко распознаваемый любителями вина: но, насколько известно, нет специального описания или стандартного имени (кроме – «вкус танина») для этого вкуса. Каузальные антецеденты и консеквенты этого вкуса не известны широко, нет банальностей (platitudes), которые бы утверждали, каковы его типичные причины и следствия. Более того, есть ощущения, которые не только не имеют стандартных имен, но причины и следствия которых до сих пор еще вряд ли кому-нибудь понятны. Пусть А и В – такие ощущения: никакое утверждение здравого смысла, никакая истина значения не может различить между А и В. Поскольку функциональное описание ментального состояния определяется утверждениями здравого смысла, истинными относительно этого состояния, а поскольку А и В не различаются относительно утверждений здравого смысла, Функционалист был бы обязан отождествить их с одним и тем же функциональным состоянием, а следовательно, к тождеству «А = В», которое, согласно гипотезе, ложно. Наконец, утверждения здравого смысла просто часто оказываются ложными.
      Психофункционализм, по мнению Блока, несколько богаче на аргументы в свою пользу. Один из них: говорить нам о природе вещей, которыми занимается та или иная наука – дело самой этой науки. Ментальные состояния находятся в ведении психологии; стало быть, дело психологии – говорить нам, чем являются ментальные состояния. Можно ожидать от психологической теории, что она охарактеризует ментальные состояния в терминах каузальных отношений между одними ментальными состояниями и другими ментальными сущностями и между ментальными сущностями и входными и выходными данными. Но именно эти каузальные отношения конституируют психофункциональные состояния, которые Психофункционалист отождествляет с ментальными состояниями. В этом отношении Психофункционализм есть просто результат применения правдоподобной концепции науки к ментальной сфере, просто доктрина, утверждающая, что ментальные состояния являются «психологическими состояниями», характеризовать которые – дело психологии. Аргумент этой формы потерпел бы неудачу, если его применить к другим отраслям науки. Так, Блок предлагает вообразить некий аналог Психофункционализма для физики. Он утверждает, что, например, свойство быть протоном (протонность) есть свойство нахождения в определенных законоподобных отношениях с другими физическими свойствами. Относительно текущей физической теории протонность отождествлялась бы со свойством, выразимым в терминах современной физической теории (в форме предложений Рамсея). Очевидная проблема с таким утверждением состоит в том, что при таком подходе антипротонность (бытие антипротоном) отождествлялась бы с тем же самым свойством. Ведь согласно современной физической теории протоны и антипротоны «дуальны»: т.е. в (рамсеевых) предложениях современной физики переменную, замещающую протонность нельзя отличить не тривиальным способом (т.е. иначе как через присвоение другого имени) от переменной, замещающей антипротонность. И, тем не менее, это – разные виды частиц; при встрече протона и антипротона они аннигилируют, тогда как встреча протона с другим протоном не дает такого эффекта. С другой стороны, что это – как не функциональное различие?