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

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

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