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

      Х. Патнэм – один из тех, кто рассматривал функционализм, скорее, как идею альтернативную физикализму, чем поддерживающую его. Патнэм полагает , что ответом на вопросы вида «Является ли такое-то ментальное состояние состоянием мозга?» должно быть допущение утверждений тождества, где термины справа и слева от знака тождества ни в каком смысле не являются синонимами, и исследование возможности нахождения какого-нибудь такого утверждения, приемлемого на эмпирическом и методологическом основаниях. Боль в свете этого аргумента неявляется состоянием мозга не на априорныхоснованиях, а на том основании, что другая гипотеза более правдоподобна. Эта гипотеза состоит в том, что боль является не состоянием мозга в смысле физико-химического состояния нервной системы, но состоянием вообще другого вида, а именно функциональным состоянием организма как целого. Для ее экспозиции Патнэм использует понятие машины Тьюринга и его расширение – понятие вероятностного автомата. Последний отличается от машины Тьюринга тем, что переход из одного «состояния» в другое допускается как вероятность (для разных состояний разная), а не как нечто детерминированное. Другие используемые теорией понятия таковы: «чувственный вход», «моторный выход», машинная таблица и «инструкция». Зависимость, связывающая их такова: для каждой комбинации «состояния» и полного набора «чувственных входов» машинная таблица содержит «инструкцию», которая определяет вероятность следующего состояния, а также вероятности «моторных выходов». Поскольку эмпирически данная система может быть физической реализациейразличных вероятностных автоматов, Патнэм вводит понятие Описаниясистемы: описанием системы S является любое истинное утверждение, приписывающее системе различные состояния S1, S2, …, Sn, соотнесенные одно с другими и с моторными выходами и чувственными входами вероятностями перехода, данными такой-то машинной таблицей. Машинная таблица, упомянутая в описании системы, может быть тогда названа функциональной организацией системы относительно ее описания, а состояние Si, такое, что S находится в этом состоянии в данный момент времени, будет называться совокупным состоянием системы в данный момент времени относительно описания этой системы. Гипотеза, описывающая расшифровку понятия «боль», формулируется тогда следующим образом:
      Все организмы, способные чувствовать боль, являются вероятностными автоматами.
      Каждый организм, способный чувствовать боль, обладает, по меньшей мере, одним Описанием определенного вида (т.е. способность чувствовать боль естьобладание правильным видом функциональной организации).
      Никакой организм, способный чувствовать боль, не обладает таким разделением на части, при котором они имели бы Описания того вида, который упомянут в пункте (2).
      Для каждого Описания вида, упомянутого в пункте (2), существует такое подмножество чувственных входных данных, что организм с этим Описанием испытывает боль тогда и только тогда, когда некоторые из его входов принадлежат этому подмножеству.
      Условие (1), далее, дисквалифицируется как избыточное, поскольку все что угодно будет вероятностным автоматом при некоторомОписании. Но почему эта гипотеза лучше гипотезы психофизического тождества? Защитник тождества ментальных состояний с состояниями мозга (brain-state identity theorist) должен, по мнению Патнэма, специфицировать физико-химическое состояние таким образом, чтобы любойорганизм (не только млекопитающие) испытывал боль, если и только если: а) у него есть мозг подходящей физико-химической структуры и в) его мозг находится в этом физико-химическом состоянии. Это означает, что означенное физико-химическое состояние должно быть возможным состоянием мозга млекопитающего, мозга рептилии, мозга моллюска (ибо осьминоги являются моллюсками и несомненно испытывают боль и т.д. В то же время оно недолжно быть возможным состоянием мозга любого физически возможного существа, не могущего испытывать боль. В конце концов, сохраняется возможность обнаружить такое состояние. Хотя осьминоги и млекопитающие представляют собой скорее примеры параллельных эволюций, нежели ступеней в одной эволюционной цепи, все равно, по меньшей мере, возможно, чтобы параллельная эволюция могла всегдаприводить к одному и тому жефизическому «корреляту» боли. Но это, считает Патнэм – амбициозная гипотеза.