Рациональность в социальном мире

Вид материала

Решение

Содержание 2.3.1. Материалистическая редукция сознания 2.3.1.2. Существенные свойства и априорная необходимость психофизического тождества 2.3.1.3. Апостериорная необходимость психофизического тождества 2.3.2. Физикализм без редукционизма 2.3.2.2. Материализм и множественная физическая реализация 2.4. Функциональный анализ ментального 2.4.1. Функционализм и когнитивизм 2.4.1.2. Когнитивистская психология 2.4.1.3. Источник компьютерных аналогий

Подобный материал:

• Государственный Университет – Высшая Школа Экономики, 131.92kb.
• Порус В. Н. Рациональность. Наука. Культура, 8081.74kb.
• Тема Философия и научная рациональность Вопросы к лекции, 312.39kb.
• 22. Разновидности научной рациональности: классическая, неклассическая, постнеклассическая., 134.84kb.
• Док. Ga20/CC19/rep/02/r, 222.85kb.
• Статья Законодательство Российской Федерации об обязательном социальном страховании, 648.58kb.
• Социология рисков, 81.51kb.
• Ю контрастность и выразительность освещенным объектам, в мире социальном "темные",, 383.96kb.
• Методические материалы по дисциплине «социология» Для студентов заочной формы обучения, 275.32kb.
• Источник: Гайденко П. П. Научная рациональность и философский разум. М.: Прогресс-Традиция,, 6645.44kb.

2.3. Физикализм

Материалистическое понимание сознания в основном представлено тезисом тождество ментального и физического. Это тождество, в свою очередь, может пониматься или не пониматься редукционистски, т.е. как предполагающее сводимость психологии к какой-либо естественной науке, вероятнее всего, нейрофизиологии. Что касается феноменального сознания, то, так же, как и в бихевиоризме, материализм может отказывать, а может не отказывать ему в существовании; но во втором случае утверждается либо, что оно не имеет отношение к познанию ментального, либо, что его содержание полностью раскрывается соответствующими естественнонаучными описаниями.

В современной философии идея материального сознания, в основном представлена физикализмом. Бихевиоризм и функционализм тоже тяготеют к материалистической трактовке сознания, но, по большей части, методологически, т.е. с точки зрения приведения психологических высказываний к согласию с идеей эмпирического знания. Физикализм же предполагает в первую очередь онтологическое психофизическое тождество. Концепция физикалистских высказываний (в духе Гемпеля, например), несмотря на сходство названий, в этом смысле может еще не предполагать физикализм. Более того, уместно утверждать, что физикализм предполагает психофизическую редукцию ровно настолько, насколько он разделяет идею физикалистской верификации психологических высказываний.

2.3.1. Материалистическая редукция сознания

2.3.1.1. Редукционизм и автономия психологического объяснения

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

Аргумент такого рода можно найти, например, у Х. Патнема⁸⁹. Он предлагает рассмотреть пример, в котором имеется доска с двумя отверстиями – круглым, один дюйм в диаметре, и квадратным, со стороной один дюйм – и квадратный в сечении колышек, сторона сечения которого равна пятнадцати шестнадцатым дюйма. Требуется объяснить простой факт: колышек входит в квадратное отверстие и не входит в круглое. Пусть объяснение дается в терминах квантовой физики: все предметы здесь рассматриваются как атомные облака или решетки, более или менее стабильные: колышек можно обозначить как «система А», а отверстия – как «область 1» и «область 2». Пусть есть возможность просчитать все возможные траектории системы А и вывести из одних только законов квантовой механики, что система А никогда не пройдет через область 1, но что есть по крайней мере одна траектория, позволяющая ей пройти через область 2. Будет ли такое описание объяснением того факта, что соответствующий колышек проходит через квадратное отверстие и не проходит через круглое? Патнем склоняется к выводу, что нет: несмотря на связи выводимости; в самом деле, примерно что-то в этом роде говорит нам, по меньшей мере, наш здравый смысл. В объяснении могут быть задействованы описания структурных элементов разных порядков, в данном случае макроструктур, таких, как твердость и геометрические характеристики, и микроструктур, таких, как квантовые свойства. Если не считать, что предельные конституенты системы существенны для объяснения, и исходить из того, что только структуры высшего порядка существенны, то отождествление дедукции приведенного вида с объяснением теряет, считает Патнем, свое основание. В этом случае объяснение рассматриваемого факта оказывается достаточно простым: доска твердая, колышек твердый и, согласно геометрическому факту, круглое отверстие меньше, чем сечение колышка, тогда как квадратное отверстие больше. Важно здесь то, что это объяснение будет правильным, не зависимо от того, из чего сделаны доска и колышек – из молекул или какой-то не дискретной субстанции или чего-то еще. Соответственно, обобщение, к которому подталкивает эта иллюстрация, формулируется Патнемом таким образом: определенные структурные характеристики ситуации релевантны ее объяснению, но не все; в данном случае, это – геометрические свойства и отношения между размерами и формами, а также описание взаимодействующих предметов как твердых; все же остальное не релевантно. Объяснение в терминах этих характеристик будет верным, по мнению Патнема, в любом возможном мире, в котором эти структуры наличествуют, каковы бы ни были микроструктуры. В этом смысле объяснение автономно. И именно в подобном отношении, согласно проводимой аналогии психологические объяснения стоят к естественнонаучным. В самом деле, если нас в ситуации повседневной коммуникации интересует объяснение такого, например, факта как, почему субъект А решил, что событие В произойдет в месте С, нас, скорее всего, не удовлетворит описание того, что происходило в его мозгу в момент принятия им такого решения, но вполне может удовлетворить какое-то описание убеждений, допущений, намерений, желаний, их которых он исходил в тот момент, его эмоционального состояния и тому подобного. Правда, в случаях, когда подобные описания не удовлетворяют нас, как например, в случаях девиантного поведения, мы склонны все же удовлетворяться описаниями другого структурного уровня. Это говорит, как минимум о том, что объяснение в значительной мере представляет собой социальную функцию и, поскольку это так, постольку склонность признавать или не признавать уместность элементов того или иного структурного уровня адекватными объяснению сама вправе рассматриваться как привычка, не более говорящая в пользу большей познавательной значимости одной структуры относительно другой, чем привычка считать нечто порочным говорит в пользу существенной порочности, того, что таковым считается.

2.3.1.2. Существенные свойства и априорная необходимость психофизического тождества

Стандартное возражение против материалистической редукции сознания состоит в том, что сознание и тело просто не могут быть тождественны, поскольку у них различные существенные свойства. Это возражение апеллирует к традиционному понятию существенного свойства, связанному с традицией, восходящей к философии Д. Локка. Стандартный материалистический ответ на это возражение также опирается на это же понятие. Во второй половине двадцатого века, между тем, получила распространение другая концепция существенных свойств, разработанная С. Крипке, К. Доннеланом, Х. Патнемом и др., в свете которой как традиционное возражение против материализма в философии сознания, так и ответ на него, выглядят по новому.

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

Для материалиста, таким образом, важно, чтобы установление корреляции между ментальными и физическими предикатами с помощью знака тождества не предполагало большего в семантическом плане, чем совпадение объемов этих предикатов, т.е. их экстенсиональную, но не интенсиональную синонимию⁹⁰. Как возражение, так и ответ на него, опирались на понятие существенного свойства, согласно которому существенное есть то, что характеризует нечто с логической необходимостью. Логическая необходимость, по Локку, имеет языковую или, иначе говоря, конвенциональную природу: необходимые истинные высказывания суть те, истинность которых следует из значений составляющих их терминов⁹¹. Отсюда следует, во-первых, что одно свойство может быть существенным для сущности при одном ее описании, и случайным – при другом, и, во-вторых, что (логическая) необходимость совпадает с априорностью так, что, если показать, что утверждение в принципе можно опровергнуть, т.е. что оно не априорно, то это будет одновременно и демонстрацией его не необходимости (или случайности). Соответственно, по этой схеме нельзя открыть, что вода имеет какой-то другой химический состав, чем Н₂О, можно только изменить значения выражений «вода» или «Н₂О», чтобы новое тождество было с необходимостью истинно. Таким образом, практически исключается из рассмотрения вопрос о действительной сущности феномена, поскольку его сущность оказывается целиком и полностью номинальной; он имеет ту сущность, которую предписывает ему иметь обозначающий его термин или описывающая его дескрипция, вернее, лингвистические структуры, стоящие за их значениями⁹².

Новая трактовка необходимости, между тем, предполагает, что существенные свойства вещи не зависят от конкретного ее описания. Истина с этой точки зрения может быть необходимой, не будучи априорной: она может быть апостериорной, устанавливаемой в ходе научного поиска и открытия. Если это так, то отрицаемость утверждения уже нельзя рассматривать как верный признак его не необходимости. Так, С. Крипке предложил каузальную теорию референции для собственных имен и имен естественных видов (жестких десигнаторов в его терминологии), согласно которой имя имеет своим референтом один и тот же индивид во всех возможных мирах, в которых оно вообще является именем, т.е. имеет референцию. Референция термина, то, что он обозначает, оказывается тогда независимой от того, с какими дескрипциями он фактически оказывается связанным языковыми конвенциями. Условием референциальности термина в таком случае является не наличие конвенции относительно его значения (и соответственно, не знание этого значения), а правильная каузальная связь данного употребления термина с историческим событием первого использования данного термина в качестве имени данного референта (ситуацией «первокрещения» в терминологии Крипке)⁹³. Так, если вода имеет такой химический состав, какой предписывается ей тождеством «Вода = Н₂О», то это – существенное свойство воды; но наше знание этого может быть как истинным (и тогда необходимым), так и ложным. Мы можем использовать различные определенные дескрипции для распознавания воды в нашем действительном мире и ошибочно, с точки зрения Крипке, считать их определяющими значение термина «вода».

2.3.1.3. Апостериорная необходимость психофизического тождества

Ближайшее следствие концепции апостериорной необходимости для материалистической концепции ментального таково. Защитник тезиса тождества, например, что «Боль = такой-то процесс в мозгу», утверждает, что, хотя термины слева и справа от «=» различаются своими значениями, утверждаемое тождество тем не менее является эмпирическим открытием и примером чисто случайного тождества: короче говоря, что это не необходимая, а эмпирическая случайная, но истина. Но с точки зрения Крипке материалистическая позиция оказывается совершенно невыполнимой: если «Боль = такой-то процесс в мозгу» истинно, то это значит, что «боль» и «такой-то процесс в мозгу» - жесткие десигнаторы, у которых один и тот же референт (объем). Поэтому, если это тождество вообще истинно, оно истинно с необходимостью, в крипкеанском смысле необходимости; оно не может быть случайно истинным тождеством. Поэтому материалист снова оказывается перед необходимостью защищать тезис, что быть таким-то процессом в мозгу – существенное свойство боли; иначе он не сможет утверждать даже, что соответствующее тождество истинно. А раз так, то аргумент от различных или противоположных существенных свойств ментального и физического снова работает. Аргумент против материализма, опирающийся на концепцию Крипке, может расшифровываться следующим образом. Материалисту предлагается объяснить кажущуюся (с точки зрения Крипке) случайность психофизических тождеств: конкретнее, он должен объяснить интуиции, что, например, есть миры (или возможны ситуации), в которых есть боль, но нет соответствующих процессов в мозгу, и что, напротив, есть миры, в которых есть соответствующие процессы в мозгу, не являющиеся, тем не менее, причиной боли. С точки зрения концепции Крипке, этого как раз и нельзя сделать⁹⁴. Если такие миры существуют, то феномены в первом из них, которые в нем имеют сенсорные характеристики, которые боль имеет в нашем мире, но не являющиеся таким-то процессом в мозгу, не должны быть, согласно этому подходу, болью, а феномены во втором из этих миров все равно должны быть болью, несмотря на то, что они не обладают теми сенсорными характеристиками, которые имеет боль в действительном мире. Но такой результат Крипке считает абсурдным, так как, в отличие от сенсорных характеристик, например, воды, которые не характеризуют ее существенным образом, такие ментальные феномены, как боль – и Крипке разделяет этот распространенный и также традиционный взгляд, – таковы, что их сенсорные характеристики являются их существенными характеристиками. «Боль = ощущение боли» или что-то подобное является с этой точки зрения необходимо истинным тождеством. Но важным основанием утверждать такое является, по-видимому, следующее: в нашем мире мы называем болью то, что ощущается как боль, и поэтому в любом мире, где «боль» – жесткий десигнатор, его референтом является то, существенным свойством чего является ощущаемость как боль. Если же есть мир, в котором бытие таким-то процессом в мозгу не характеризует то, что ощущается как боль и называется термином «боль», это будет только свидетельствовать о том, что отождествление боли с таким-то процессом в мозгу было ложным. Крипке полагает, что первого мира просто не может быть, так как все, что ощущается как боль, должно быть болью, т.е. должно быть таким-то процессом в мозгу; и второго мира также не может быть, поскольку все, что является болью, должно и ощущаться как боль. На основании таких рассуждений Крипке заключает, что, хотя стандартный материалистический ответ на эссенциалистское антиматериалистическое возражение работает, например, в случае тождества «Вода = Н₂О», оно не работает в случае тождеств, редуцирующих ментальные феномены к физическим. Аргументация здесь такова: «необходимо истинно» значит «истинно во всех возможных мирах»; если есть какой-то мир, относительно которого психофизическое тождество ложно, значит это утверждение не необходимо истинно относительно нашего мира; но если оно вообще истинно относительно нашего мира, как хотят, чтобы было материалисты, оно, по Крипке, должно быть необходимо истинно⁹⁵.

Но распространенная интуиция, что вода все же лишь случайным, а не необходимым образом состоит из водорода и кислорода, т.е. что возможны миры, где есть вода, но где она в силу других физических характеристик этих миров, например, вовсе не имеет молекулярной структуры, тем не менее, сохраняет свое правдоподобие; и подобные интуиции кажутся не менее правдоподобными в отношении ментальных свойств и их физических составляющих. Но защитник крипкеанского подхода может утверждать, что каждая такая интуиция представляет собой результат подстановки на место жесткого десигнатора определенной дескрипции, что дает действительно случайно истинное тождество; затем из конъюнкции этого предложения с ложным предположением, что соответствующая определенная дескрипция дает определение значению термина, на месте которого она стоит, выводится правдоподобное представление о том, что возможны миры, где существует субстанция, обладающая предписываемыми таким псевдоопределением свойствами, но не обладающая свойством, наличие которого утверждается тождеством. Ответ физикалиста может состоять в утверждении, что физикалистские расшифровки ментальных свойств тоже даны нам через определенные качественные характеристики, и в каком-то из миров боль, которую испытывают агенты в этом мире, феноменально неотличимая от нашей боли, может пройти наш тест на бытие таким-то процессом в мозгу, не будучи им: данность нам этой нейронной (как нам кажется) характеристики будет иметь такой же феноменальный характер, какой в нашем мире имеют для нас соответствующие процессы в мозгу, когда мы их фиксируем нашими средствами наблюдения⁹⁶.

Но более фундаментальным ответом на стандартное возражение и его модификацию в терминах апостериорной необходимости состоит все же в отказе признавать физикализм зависимым от редукционизма так, что отказ от последнего влечет за собой непременный отказ от первого. Если физикализм не предполагает редукционизм, то физикалист может просто отказаться от редукционистских претензий, сохранив свой главный тезис – психофизическое тождество.

2.3.2. Физикализм без редукционизма

2.3.2.1. Тождество типов или тождество токенов

Специфически этот подход призван показать, что понятый правильно материализм не предполагает тождеств такого вида, против которых направлена эссенциалистская критика. Физикалистское тождество можно понимать как отношение тождества между типами или свойствами – ментальным и физическим, соответственно; но можно его понимать и как тождество конкретных событий, описываемых в терминах соответствующих типов – токенов. В первым случае тождество больше обязывает к признанию синонимии или совпадения условий истинности, или какой-то подобной семантической связи между описаниями отождествляемого, чем во втором. Поэтому физикализм без редукционизма обычно реализуется через отказ от тождества типов с сохранением тождества токенов. С этой точки зрения каждое конкретное ментальное событие, будучи токеном определенного ментального типа, тождественно какому-то физическому событию, являющемуся, как таковое, токеном какого-то физического типа. Физикалист может разделять оба эти тезиса или какой-то один из них, не выводя другой в качестве его следствия⁹⁷.

Дональд Дэвидсон – один из тех, кто защищает физикализм, проводя разграничение между тождеством токенов и тождеством типов и отказываясь от второго как необходимого элемента адекватной психологии. Он считает равно истинными три следующих принципа, которые обычно признаются ведущими к противоречию. 1) По крайней мере, некоторые ментальные события взаимодействуют каузально с физическими событиями (принцип каузальной интеракции). 2) Каузальность предполагает наличие закона: события, относящиеся одно к другому как причина и следствие, подпадают под строгие детерминистские законы (пусть А причина, а В ее следствие, тогда должно быть истинно «(х)(хВ  хА)») (принцип номологичности каузального). 3) Нет таких строгих детерминистских законов, на основании которых могли бы предсказываться и объясняться ментальные события (принцип аномализма ментального). Третий принцип верен, поскольку единственный вид казуальных отношений, который действительно отвечает (хоть как-то) принципу номологичности и, соответственно, может считаться в полном смысле видом каузальных отношений – это каузальные отношения между физическими событиями, чей статус обеспечивается номологичностью физики. Претензии психологии на номологичность могут быть обоснованы в этом отношении лишь постольку, поскольку относительно нее уже доказано, что она сводима к физике; но это только предстоит сделать и, скорее всего, это не так. Таким образом, видимое противоречие (скорее всего, не имеющее, однако, строгого формального коррелята) вытекает из того, что первые два принципа, похоже, конфликтуют с третьим. Свою задачу Дэвидсон формулирует как устранение этого противоречия путем примирения всех трех принципов⁹⁸. Он выделяет четыре вида теорий отношения между физическими и ментальными событиями. Одни теории утверждают существование психофизических законов, другие отрицают их. С другой стороны, есть теории утверждающие тождество ментальных и физических событий и отрицающие его, соответственно. Первый вид теорий он называет номологическим монизмом: есть законы, устанавливающие корреляции между ментальными и физическими событиями, и так скоррелированные события представляют собой одно (например, физическое) событие. Номологический дуализм: ментальные события не тождественны физическим, но между ними существует законообразная корреляция, утверждающая их параллелизм, интеракционизм или эпифеноменализм того или иного вида. Аномальный дуализм: соединяет онтологический дуализм с отказом признавать существование законов, коррелирующих ментальное и физическое. Свою собственную позицию Дэвидсон называет аномальным монизмом: она сводится к признанию того, что все события суть физические, но не все события суть ментальные, сочетаемому с отказом признавать, что ментальные феномены могут быть объяснены в чисто физических терминах. Более того, Дэвидсон настаивает на том, что редукционизм не является существенным элементом материализма.

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

Дэвидсон убежден, что мы можем указать на каждое ментальное событие, используя исключительно физический словарь, но никакой чисто физический предикат, неважно, насколько сложный, не имеет номологически (т.е. благодаря закону) того же объема, как и ментальный предикат. Каузальность и тождественность суть отношения между индивидуальными событиями, неважно, как описанными, а не между описаниями этих событий. Законы же имеют лингвистический характер; поэтому события могут инстанциировать законы и соответственно предсказываться и объясняться в свете законов, только будучи описаны тем или иным определенным способом. Принцип каузальной зависимости поэтому, считает Дэвидсон, безразличен к дихотомии ментальное-физическое, так как он относится к событиям, чья принадлежность к объемам тех или иных предикатов определяется исключительно связями в языке. Таким образом, ментальными события являются только по описанию; онтологически же они не отличаются от других событий, имеющих только физическое описание. Принцип номологичности каузальности должен читаться осторожно – он утверждает лишь, что если события соотносятся как причина и следствие, то их дескрипции инстанциируют закон; этот принцип не утверждает, что любое истинное единичное утверждение каузальности инстанциирует закон¹⁰⁰.

Дэвидсон полагает, что нет убедительных оснований отрицать, что могут быть коэкстенсивные предикаты, ментальный и физический, соответственно. Но его тезис, скорее, такой: ментальное номологически нередуцируемо – могут быть истинные общие утверждения, соотносящие ментальное и физическое, имеющие логическую форму закона, но эти утверждения не будут зконоподобными в некоем строгом смысле. Законоподобность есть вопрос степени, хотя существуют и несомненные случаи. «Все изумруды зеленые» - законоподобное утверждение, поскольку его инстанциации подтверждают его; между тем «Все изумруды зелубые (grue)» – не законоподобное утверждение, хотя и имеет форму закона, поскольку «зелубой», по определению, означает «наблюдавшийся до момента времени t и зеленый, а иначе голубой»¹⁰¹. Но если все наблюдения, которые были проведены в поддержку такого утверждения, делались до указанного момента времени, то они скорее поддерживают утверждение, что все изумруды зеленые. Зеленость в этом смысле – преимущественное свойство изумрудов по отношению к зелубости относительно имеющегося опыта. Аномальный характер утверждения «все изумруды зелубые» показывает, по мнению Дэвидсона, что предикаты «изумруд» и «зелубой» не подходят друг к другу (или, по меньшей мере, меньше стыкуются друг с другом, чем «изумруд» и «зеленый»): зелубость не является индуктивным (т.е. подкрепляемым наблюдениями) свойством изумрудов. Ментальные и физические предикаты соотносятся друг с другом примерно так же, как «изумруд» и «зелубой», т.е. способом, предполагающим крайне невысокую степень законоподобия коррелирующих их утверждений. Это утверждение, однако, требует более тщательного подкрепления. Тот факт, что изумруды, наблюдавшиеся до указанного момента времени, являются зелубыми не только не является основанием полагать, что все изумруды зелубые, - говорит Дэвидсон, – он даже не является основанием полагать, что какие-либо не наблюдавшиеся изумруды зелубые. Но если событие некоего ментального вида обычно (до определенного момента времени) сопровождалось событием некоего физического вида, этот факт обычно принимается в качестве хорошего основания ожидать, что и другие случаи будут в общем соответствовать этому описанию вследствие наличия хорошего основания полагать, что этому подлежит определенная регулярность, которую можно четко и полностью сформулировать. Различие между формально законоподобными общими утверждениями, которые могут быть хорошими основаниями в указанном смысле, и теми, которые не могут, Дэвидсон формулирует следующим образом. С одной стороны, есть обобщения, позитивные инстанты которых дают нам основания полагать, что само это обобщение может быть (или могло бы быть) улучшено посредством добавления новых условий, сформулированных в терминах того же самого общего словаря, что и исходное обобщение. Такое обобщение, по его мнению, указывает на форму и словарь окончательно сформированного (finished) закона: его (обобщение) можно назвать омономным. С другой стороны, есть обобщения, инстанциации которых могут дать нам основания полагать, что имеет место точный работающий закон, поддерживающий истинность этого обобщения, но такой, что он может быть сформулирован только с использованием другого словаря, отличного от того, в терминах которого сформулировано исходное обобщение. Это, соответственно – гетерономные обобщения. Дэвидсон считает, что большая часть нашего практического знания и науки гетерономна. Омономные обобщения, т.е. такие, что если они подтверждаются опытными данными, то у нас есть основания полагать, что они могут быть улучшены сколь угодно с помощью физических понятий, мы находим в физике¹⁰².

Если общие утверждения, связывающие ментальное и физическое, имеют гетерономный характер, то не может быть и строгих психофизических законов. Дэвидсон говорит, что ментальная и физическая концептуальные схемы несут в себе неравные обязательства. Свойством физической реальности является то, что физическое изменение может быть объяснено законами, которые связывают его с другими изменениями и условиями, описанными физически же. Свойством психической реальности является то, что атрибуция ментального феномена должна быть ответственной относительно всего комплекса оснований, полаганий и интенций индивида. И если каждая из реальностей должна сохранить приверженность своему подлинному источнику очевидности, между ними не может быть тесной связи; отсюда – их номологическая несводимость. Принцип аномализма ментального, утверждающий, что нет строгих законов, на основании которых мы могли бы предсказывать и объяснять ментальные феномены, следует, согласно Дэвидсону, из гетерономности ментального в соединении с невозможностью строго психофизического закона; и три исходных принципа примиряются.

Тезис тождества приобретает в такой интерпретации следующий вид. Пусть м – ментальное событие, вызываемое физическим событием ф: тогда при определенном описании м и ф инстанциируют строгий закон. Этот закон может быть только физическим; но если м подпадает под физический закон, значит оно имеет физическое описание; а это значит то же самое, что сказать, что оно является физическим событием. Следовательно, всякое ментальное событие, каузально соотнесенное с физическим событием, является физическим событием. Однако возможно и даже типично знать об определенном единичном каузальном отношении, не зная закона, которому это отношение подчиняется, или релевантных дескрипций. Здесь нам доступны только гетерономные обобщения, которые достаточны для того, чтобы служить основаниями ожиданий, что другие частные случаи будут того же вида, но не являются законоподобными. Применяя эти соображения к психофизическим тождествам, получаем вслед за Дэвидсоном, что возможно знать, что некое ментальное событие тождественно некоему физическому событию, не зная, какому именно. Ментальные события как класс не могут быть объяснены физикой; между тем, частные ментальные события могут быть объяснены физикой, если мы знаем частные тождества.

2.3.2.2. Материализм и множественная физическая реализация

Между тем, тождество токенов без тождества типов – идея, вполне совместимая с концепцией многообразной физической реализуемости одних и тех же ментальных типов. Ее использование для защиты физикализма от критики может служить иллюстрацией того, как физикализм оказывается если не частным случаем другой идеи ментального – функционалистской по своему характеру, – то очень близкой к ней. В таком ключе рассуждает, в частности, Р. Бойд: он вводит понятие пластичности типа событий, процессов или состояний, т.е. его способности быть реализованным более чем одним способом. На пластичность типа указывает степень изменчивости конкретных событий – токенов, – которые могут его реализовать. Можно выделить, по меньшей мере, два типа пластичности: композициональную и конфигуративную. На первую указывают различия видов материала или каузальных факторов, конституирующих возможные реализации типа. На вторую указывают структурные различия в конфигурации или устройстве составляющих частей возможных реализаций типа. Важный класс состояний, имеющих, по мнению Бойда, неограниченную композиционную пластичность при сравнительно ограниченной конфигуративной пластичности представляют собой так называемые компьютационные состояния: такие, как, например, реализация вычисления функции е^х для х = 9. В любом возможном мире только каузальные законы, управляющие этим миром, ограничивают возможный состав реализаций таких компьютационных состояний: иными словами, эти состояния могут быть реализованы процессами или состояниями различного материального состава. Тезис Бойда: ментальные события, состояния и процессы подобны компьютационным состояниям тем, что являются исключительно конфигуративными, т.е. демонстрируют максимальную композициональную пластичность. Из этого следует, что, хотя в действительном мире ментальные события могут всегда реализовываться физическими, это не означает логической невозможности им быть не физически реализованными в каком-либо возможном мире¹⁰³. При таком подходе стратегия защиты физикализма состоит в использовании элементов функционального анализа и существенным образом ставит истинность психофизического тождества от истинности положений принципиально другого вида: их уместно обозначить как психофункциональные тождества типов. Два соображения указывают, по мнению Бойда, на возможность машинной реализации ментальных состояний. Первое: наиболее правдоподобное объяснение композиционной пластичности ментальных событий, состояний или процессов в действительном мире состоит в том, что они могут быть реализованы в различных анатомических структурах, поскольку существенна для них их роль в процессировании информации и их отношения к другим компьютационным или процессирующим информацию структурам в том же самом организме. Второе: такая версия материализма лучше всего, считает Бойд, поддерживается доступными свидетельствами опыта. Многие философы-материалисты придерживаются той точки зрения, что они защищают только логическую возможность того, что ученые, в конце концов, подтвердят материализм (в отношении ментального), но настаивают на том, что на данный момент нет доступных свидетельств в пользу его истинности. Бойд, однако, возражает, указывая, что такие свидетельства есть и в достаточном количестве, хотя они и «косвенные». Их он подразделяет на три вида: различные случаи, когда физические и химические изменения приводили к весьма специфичным изменениям на уровне ментального; успех современной биохимии в освещении химии наследственности и других клеточных процессов; и ограниченный успех программ «искусственного интеллекта» в симуляции определенных интеллектуальных процессов¹⁰⁴.

Некоторые философы склонны понимать тождество физических событий, процессов или состояний на множестве возможных миров так, что оно требует тождественности на микроскопическом уровне молекулярных реализаций. Они полагают, что если события в двух возможных мирах тождественны, то они должны иметь в точности одинаковые причины: в конце концов, молекулярное движение, являющееся частью физической реализации события, является одной из его причин, хотя возможно и мельчайшей из них. На это другие философы возражают, указывая, что ряд примеров показывают ошибочность позиции, утверждающей, что тождественность элементов на молекулярном и прочих микроскопических уровнях является частью критерия физической тождественности. Так автомобиль, если его карбюратор заменить на другой, явно отличный по молекулярному составу, останется, тем не менее, тем же самым автомобилем. Да и вообще весьма правдоподобно предположение, что всякая вещь в мире в каждый исчислимый момент своего существования испытывает изменения своего молекулярного состава: но это еще не делает ее каждый раз другой вещью¹⁰⁵. Идея трансмировой тождественности, тем не менее, не обязательно должна копировать идею внутримировой тождественности: если первая предполагает необходимое тождество, то это может подразумевать любой уровень микротождественности, в отличие от того, что предполагает вторая. Определенная боль может быть единственной и неповторимой в действительном мире и соответствовать единственному и неповторимому (учитывая микроуровень) физическому составу, но тождество двух физических токенов на трансмировом уровне, скорее, должно было бы означать, что они совершенно тождественны композиционально, и соответственно, что соответствующие ментальные токены тождественны в трансмировом смысле благодаря этой совершенной идентичности их составов. Бойд однако убежден, что существенным для трансмирового отождествления токенов ментальных событий, процессов и состояний являются те роли, которые они играют в совокупной истории феноменального опыта, поведения и когнитивных процессов субъекта. Токены, играющие одну и ту же роль в истории одного и того же субъекта, будут тождественными. Но такое определение делает тождественность токенов ментального зависимым от тождественности субъектов в разных возможных мирах: между тем, не исключено, что трансмировое отождествление субъектов само требует в качестве своего условия композиционального, а не только конфигуративного, тождества. Можно считать, что для установления этого тождества достаточно тождества индивидуальных феноменальных, поведенческих и когнитивных историй, но в этом случае в число существенных характеристик ментального опять попадают чувственные феноменальные качества. Но главная трудность при таком подходе, пожалуй, состоит в том, что кажется весьма правдоподобным предположение, что возможны два разных события с идентичными феноменальными, поведенческими и когнитивными историями (до момента их экспликации).

В основании антиматериалистической критики лежит, в частности, интуиция, что материализм просто невозможен, поскольку определенные характерные черты метальных и психологических состояний – такие, как рациональность, направленность на себя, целесообразность, изобретательность, самоорганизация, адаптивная способность – не могут быть реализованы чисто «механической» системой. Против этого физикалист, допускающий множественную физическую реализацию ментального, может возразить, что такое убеждение основано на непозволительно узком понятии диапазона возможных механических систем. Каждый раз, когда установлено, что физические системы могут реализовать какую-то из подобных черт, которая прежде полагалась необходимо нефизической, свидетельство в пользу того, что приведенная антиматериалистическая интуиция не верна, укрепляется. Так, Бойд считает, что организованные, самовоспроизводящие и адаптивные клеточные процессы, которые теперь объяснены химией, прямо относятся к тому виду процессов, относительно которых антиматериалистическая интуиция заставляла ученых и философов сомневаться в их физической реализуемости. Если так, то можно настаивать вместе с теми, кто рассуждает так же, как Бойд, на том, что ментальные состояния суть чисто конфигуративные состояния в том смысле, что их не реляционные существенные характеристики не ставят никаких логических ограничений вариации видов каузальных факторов, которые могут их реализовать¹⁰⁶. Физическая реализуемость посредством разного вида физических составляющих в нашем действительном мире играет, с этой точки зрения, роль указания на возможную реализуемость ментальных состояний также и нефизическими каузальными факторами на множестве возможных миров.


2.4. Функциональный анализ ментального

Функционализм – весьма влиятельная система идей, «завоевывавшая» во второй половине двадцатого века все более прочные позиции в разных сферах современной мысли и философии, в том числе и в философии сознания, психологии и философии психологии.

2.4.1. Функционализм и когнитивизм

2.4.1.1. Элементы функционализма в изучении сознания

Под функционализмом в различных областях знания называют разные программы, хотя, вероятно, имеющие нечто общее между собой. В философии сознания и психологии выделяют три наиболее влиятельных значения этого термина: функциональный анализ, компьютационно-репрезентативная модель и метафизический функционализм.

Под функциональным анализом понимается определенный вид объяснения и, соответственно, исследовательская программа, нацеленная на поиск такого объяснения. В этом смысле функционализм в философии психологии и философии познания, скорее всего, наиболее близок к функционализму в антропологии, социологии, литературной критике и др. областях. Функциональное объяснение предполагает, что объясняемое представляет собой систему или часть системы и, соответственно, может быть объяснено путем разложения этой системы на части, из которых она состоит. Предполагается, что частью системы является все, что функционально для этой системы, т.е. чьи свойства (или, иначе, потенциал) существенны для существования системы. Соответственно, работа системы объясняется с точки зрения (функциональных) свойств ее частей (компонентов) и тех способов, какими эти части интегрированы в системе (соединяются и взаимодействуют между собой): если нечто объясняется как часть системы, то объяснение дается в терминах функциональных относительно соответствующей системы характеристик объясняемого. В этом смысле функционализм считается частным случаем функционального объяснения, наиболее влиятельным в современной философии психологии и когнитивистской психологии. Наиболее общая идея этого объяснения состоит в том, чтобы описывать сознание по аналогии с компьютерной программой, а весь организм в целом – по аналогии с компьютером. Психические состояния и процессы рассматриваются при таком подходе как компьютационные (вычислительные) состояния, аналогичные состояниям работающей вычислительной машины (точнее, так называемой машины Тьюринга). Все множество компьютационных состояний, в свою очередь, предполагается конституируемым определенным конечным набором примитивных вычислительных операций (подобных примитивным арифметическим действиям, например), которые сами по себе не требуют привлечения языка психологии для своего описания, т.е. в собственном смысле не являются сами по себе интеллектуальными операциями; в них нет ничего разумного пока они не соединяются тем или иным образом в компьютационное состояние системы, и уже это состояние в целом может характеризоваться с помощью психологических терминов. Два ключевых понятия функционализма этого вида: репрезентация и компьютация (вычисление). Первое означает, что психологические состояния рассматриваются как систематически репрезентирующие окружающий мир, посредством так называемого языка мышления (понимаемого по аналогии с машинным кодом), на который «переводятся» данные, получаемые извне через органы чувств (в языке компьютерного функционализма такие данные обозначаются как данные входа (input)), и который оперирует примитивными (т.е. не интерпретируемыми) символами вычисления (аналогичными, скажем, числам в математике). Второе – «компьютация» – означает, как уже отмечалось, что сами психические процессы и вся ментальная жизнь понимаются как последовательности компьютаций, т.е. оперирований символами (языка мышления) по совершенно определенным (врожденным) правилам (собственно и составляющим примитивную «программу» человеческого «компьютера»)¹⁰⁷.

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

2.4.1.2. Когнитивистская психология

В психологии использование функционального анализа и ассоциированных с функционализмом доктрин (в той или иной пропорции) связано в первую очередь с направлением, получившим общее наименование «когнитивизм». Когнитивизм иногда называют новой эрой или революцией в психологии: революцией против бихевиоризма. Отсчет этой революции ведут с появления в 1967 году книги Ульрика Найссера «Когнитивная психология». Это направление испытало влияние с разных сторон: в нем соединились современные достижения и методы нейрофизиологии, философские представления и методологические принципы функционализма, результаты, полученные в рамках компьютерных наук и в структурной лингвистике (трансформационная грамматика Хомского), с собственно когнитивистским тезисом: основной предмет психологии – познание и мышление, понятые как информационные процессы, ее задача – объяснение того, как, организм, понятый как система, получает информацию в виде сигналов извне, хранит ее и обрабатывает, управляется ею. Сознание при таком подходе рассматривается как компонент или аспект обработки информации (information-processing). А объяснение сознания – как часть моделирования организма как системы обработки информации. Надо заметить, что первоначально, когнитивисты все же не видели особой нужды допускать понятие сознания в свои построения. Когнитивистские модели обучения, памяти, решения проблем и тому подобного сами по себе могут обходится и обходятся без презумпции сознания. Однако, постепенно многие из них пришли к убеждению, что объемлющую модель, скажем, памяти или мышления не построить без допущения сознания. Так, Джордж Мэндлер в своем когнитивистском манифесте «Сознание: респектабильное, полезное и вероятно необходимое» указывает на то, что сознание может быть отсутствующим центральным элементом в когнитивистском (концептуальном) каркасе, способным связать воедино различные направления когнитивных исследований – и в этом смысле оно, вероятно, необходимо. «Я надеюсь показать, - пишет он, - что сознание … вероятно необходимо, поскольку оно служит связующим звеном между многими разрозненными, но, очевидно, взаимосвязанными, ментальными понятиями, включая понятия внимания, формирование восприятия и ограниченной способности»¹⁰⁸. Существует даже такая точка зрения, что именно успехи когнитивистского моделирования способствовали использованию этого, в остальных вопросах признанного вполне эффективным, инструмента на все еще остающийся необъясненным феномен сознания¹⁰⁹. Общая предпосылка, направляющая когнитивистские исследования сознания может быть выражена следующим образом: «основополагающее феноменологическое понятие – сознание – может быть отображено (mapped) на понятие обработки информации»¹¹⁰. Базисные понятия, используемые в когнитивистском моделировании: «система», «информация», «компьютационное состояние», «входные данные/выходные данные» (‘inputs/outputs’). Память, восприятие, мышление и др. рассматриваются в этой парадигме как системы обработки, хранения и передачи информации, структурно представляющие собой своего рода «черные ящики»: их функции существенны для объяснения, но не их физический состав. Сознание в этом смысле – такой же «черный ящик» среди других, модуль, соединенный с другими модулями, так же точно определяемый в терминах его входных, выходных данных и переходов между функциональными или компьютационными состояниями¹¹¹. Информационные модели – не единственные, разрабатываемые в рамках этого направления, но – наиболее влиятельные.

2.4.1.3. Источник компьютерных аналогий

В основании компьютерных аналогии ментального, широко используемых в когнитивистских моделях, лежит понятие машины Тьюринга. В работе 1950 года «Умеет ли машина мыслить?» Алан Матисон Тьюринг поставил задачу формулировки условий, при которых машина может быть описана как мыслящая. А поскольку понятие «мышления» весьма темное, то он полагает, что, прояснив, что значит мыслить для машины, мы сможем понять, что значит мыслить вообще. Тьюринг исходит из предпосылки, что если поведение машины неотличимо от поведения человека, то это – достаточный критерий считать такую машину мыслящей. Он предложил абстрактную модель машины, успешно имитирующей всю совокупность человеческого поведения, которая впоследствии получила название машины Тьюринга. В основе этой идеи лежат результаты, полученные в 30-х годах 20-го века и легшие в основу так называемой теории автоматов и обобщенные в теории алгоритмов. Тьюринг исходит из представления о разумном поведении как деятельности, направленной на решение задач. Задача полагается решаемой, если может быть обнаружен алгоритм – набор специфицируемых вычислительных процедур – ее решения. Понятие алгоритма было интуитивно ясным, но не существовало общей формулы алгоритма вообще. Тьюринга сформулировал следующий тезис: для всякого алгоритма можно смоделировать машину, отвечающую определенным характеристикам, которая будет реализацией этого алгоритма¹¹². Тогда для всякой задачи (в широком, а не в узком, математическом, смысле), решаемой людьми, может найтись такая вычислительная машина, которая будет решать эту задачу так же хорошо. Машина Тьюринга – абстрактная универсальная вычислительная машина. Если такая машина может имитировать поведение любой другой машины, то она, в таком случае, сможет быть универсальным имитатором человеческого поведения. И, по мнению Тьюринга, нет никаких логических препятствий к допущению такой модели.

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

Не все, но многие версии машинного функционализма опираются на понятие машин Тьюринга, которые определяются по двум функциям: от входных данных и состояний к выходным данным и от входных данных и состояний к состояниям. В этой модели любое устройство, соответствующее понятию машины Тьюринга, можно описать с помощью так называемой машинной таблицы. Пример такой таблицы для примитивного автомата – выключатель:

	Состояние S1	Состояние S2
Вход: нажатие	Вкл. и переход в S2	Выкл. и переход в S1
Вход: нет нажатия	Выкл. и остается в S1	Вкл. и остается в S2