Некоторые философы полагают, что функционализм показывает, что физикализм, вероятно, истинен (среди них: Армстронг, Льюис, Смарт); другие (например, Патнэм, Фодор, Блок) считают, что функционализм, напротив, показывает, что физикализм, вероятно, ложен. Так, Н. Блок, уточняя это различие, выделяет два функционалистских тезиса, характеризующих, соответственно, эти две группы: тезис функциональной спецификации и тезис функционального тождества. Согласно первой версии, ментальные состояния специфицированы функционально, т.е. различимы по их функциональным свойствам, и, возможно, являются функционально специфицируемыми состояниями мозга. Так, боль в этом случае определяется как то, что вызвано тем-то и тем-то и вызывает то-то и то-то и что-то еще, что, в свою очередь, вызывает то-то и то-то. То, что имеет такую каузальную роль, может быть состоянием одного физического типа в одном случае и другого – в другом, но обязательно – физическим состоянием. Согласно второй версии, ментальные состояния тождественны функциональным состояниям, и никакое функциональное состояние не подобно физическому состоянию. Здесь также может признаваться, что функциональным состояниям одного и того же типа могут соответствовать физические состояния различных типов; но приверженцы тезиса функционального тождества настаивают на том, что ментальное состояние не тождественно физическому состоянию: оно тождественно той или иной казуальной роли. По другому это различие можно выразить так: в первом случае боль, например, понимается как свойство быть тем-то и тем-то (выполнять такую-то каузальную роль) – в зависимости от случая те или иные физические вещи (состояния, процессы, события) могут обладать этим свойством (выполнять эту роль); во втором случае объем термина «боль» – это соответствующие каузальные роли (функциональные состояния), а не физические состояния, отвечающие дескрипции, описывающей данный функциональный тип701.

Один из аргументов против физикализма состоит в утверждении, что психофизические тождества суть результат бережливости или, по-другому, экономии дескриптивных средств. Если это так, то они не несут в себе той объяснительной значимости, каковая от них ожидается. Ожидаемые физикалистами тождества между ментальными и нейронными состояниями часто описываются ими как результаты произвольного теоретизирования: успехи теории делают возможным упростить науку, постулируя законы-мостики (bridge laws), отождествляющие некоторые сущности, обсуждаемые одной теорией, с другими сущностями, обсуждаемыми другой теорией. Таким образом, тождества делаются, а не обнаруживаются, как этого требует идея эмпирической науки, предполагающая научное открытие. Возражение функционалиста может состоять в том, что хорошая физиологическая теория могла бы имплицировать психофизические тождества, а не только делать разумным их постулирование из соображений бережливости. Импликация будет иметь такой вид:

«Ментальное состояние М = исполнитель (occupant) каузальной роли R (по определению М).

Нейронное состояние N = исполнитель каузальной роли R (согласно физиологической теории).

Следовательно, ментальное состояние М = нейронное состояние N (по правилу транзитивности для «=»)»702.

Адекватная психологическая теория с точки зрения защитников такого подхода должна позволять нам оперировать достаточно широким диапазоном достаточно разнородных критериев ментального. Д. Льюис, например, предлагает такой аргумент. Он предлагает представить себе странного человека, который иногда так же, как и мы, испытывает боль, но эта боль отличается от нашей по своим причинам и следствиям. Наша боль обычно вызывается порезами, ожогами, давлением и тому подобным; его боль обычно вызывается умеренными упражнениями на пустой желудок. Наша боль обычно отвлекает нас от наших мыслей, его заставляет заниматься математикой, способствует концентрации на этом, но отвлекает его от всего остального; никаких тенденций стонать, кричать и т.д. при этом его боль у него не вызывает, зато вызывает тенденцию скрещивать пальцы. Этот случай Льюис определяет как боль сумасшедшего. Другой воображаемый персонаж – марсианин, который иногда так же, как и мы, испытывает боль, но его боль сильно отличается от нашей по своей физической реализации, хотя аналогична нашей по своим причинам и следствиям. Иначе говоря, он чувствует боль, но не имеет тех телесных состояний, которые сопровождают нашу боль. Хорошая теория сознания, по мнению Льюиса, не должна отрицать возможность ни боли сумасшедшего, ни боли марсианина. Такая теория должна быть способна сказать нам, что сумасшедший и марсианин оба испытывают боль, но по разным причинам: первый, поскольку он находится в правильном физическом состоянии, второй – потому что он находится в состоянии, правильно расположенном в каузальной сети703. И естественно удовлетворить этим требованиям может только теория физикалистски-функционалистского вида.

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