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