Роджер Пенроуз - Большое, малое и человеческий разум

Schrödinger, E. (1935) Probability relations between separated systems, Proc. Camb. Phil. Soc, 31, 555-63.

Searle, J.R. (1980) Minds, Brains and Programs, in The Behavioral and Brain Sciences, Vol. 3 (Cambridge University Press, Cambridge).

Seymore, J. and Norwood, D. (1993) A game for life, New Scientist, 139, No. 1889, 23-6.

Squires, E. (1990) On an alleged proof of the quantum probability law, Phys. Lett., A145, 67-8.

Turing, A. M. (1937) On computable numbers with an application to the Entscheidungsproblem, Proc. Lond. Math. Soc. (ser. 2), 42, 230-65; a correction, 43, 544-6.

Turing, A. M. (1939) Systems of logic based on ordinals, P. Lond. Math. Soc, 45, 161-228.

von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton).

Wigner, E. P. (1960) The unreasonable effectiveness of mathematics in the physical sciences, Commun. Pure Appl. Math., 13, 1—14 (имеется перевод: E. Вигнер. Этюды о симметрии. М.: — Мир, 1971; «Непостижимая эффективность математики в естественных науках», с. 182).

Zurek, W. Н. (1991) Decoherence and the transition from quantum to classical, Physics Today, 44 (No. 10), 36-44.

Я всегда восхищался общим настроением и духом исследований Роджера Пенроуза, в которых строгая наука сочетается со страстным желанием познать природу вещей. В своем творчестве он следует возвышенному призыву Гильберта: «Мы должны знать, и мы будем знать»[2]. Что касается постановки проблем, то я полностью согласен с автором в формулировке трех его основных тезисов: во-первых, проблема мышления может изучаться научными методами; во-вторых, квантовомеханические идеи каким-то образом соотносятся с классической философской проблемой связи души и тела; и, в-третьих, квантовомеханическая проблема актуализации возможностей действительно относится к чистой физике и требует для своего разрешения модификации существующего формализма квантовой механики. Однако мое согласие с автором ограничивается только этими формулировками. Я скептически отношусь к доводам, выдвигаемым Пенроузом в защиту указанных тезисов, и надеюсь, что моя критика будет учтена им в дальнейших исследованиях.

Приблизительно четверть объема трех первых глав этой книги и добрая половина предыдущей книги Пенроуза «Тени разума» (ниже я буду обозначать ее просто аббревиатурой TP) посвящены доказательствам неалгоритмической природы математических способностей человеческого мозга. В рецензии Хилари Патнам[3] на книгу TP уже подчеркивалось, что в доводах Пенроуза имеются явные пробелы. В частности, он не рассматривает возможность существования такой машины Тьюринга, которая может моделировать математические способности человека, но одновременно является настолько сложной, что человеческое сознание не может ее понять. Мне не показался убедительным ответ Пенроуза[4] на эту рецензию, хотя, должен сознаться, я не настолько знаком с так называемой теорией доказательств математической логики, чтобы судить о дискуссии с полной уверенностью. Однако мне кажется, что обсуждаемые доводы имеют прямое отношение к основной идее Роджера, так что, возможно, как говорят альпинисты, «он лезет не на ту вершину». Его основная идея состоит в том, что мысленные операции содержат нечто, недоступное для любого искусственного разума (т. е. любого компьютера, созданного человеком), но она оказывается несвязанной с предположением о неалгоритмическом характере математической деятельности человека. Интересно, что в TP Пенроуз не только подробно изложил доводы Гёделя, но и добавил две страницы (TP, с. 40-41 ) аргументов, почерпнутых из известной книги Джона Сирла Chinese room («Китайская комната»), доказывающих, что безупречная работа вычислительного автомата не «создает» понимания. Сущность доводов Сирла состоит в том, что человека подобно автомату вполне можно обучить повиноваться акустическим командам (подаваемым, например, на китайском языке, которым этот человек не владеет). Выполняя правильные вычисления по командам на незнакомом языке, человек может получить опыт работы в качестве автомата и сравнить его с нормальными ощущениями при вычислениях с пониманием их смысла. При этом не имеет никакого значения характер самих выполняемых математических действий (они могут быть, например, совершенно тривиальными) — разница между механическим вычислением и пониманием работы представляется очевидной.

Сирл доказывает (а Пенроуз подтверждает эту мысль), что математическое понимание применимо и к другим аспектам интеллектуального и психического опыта человека, например к сенсорному восприятию, чувству боли и удовольствия, ощущению желания и даже к интенциям (т. е. к направленности сознания, которая, в сущности, может быть сведена к переработанному опыту общения с реальными или воображаемыми объектами). В философском подходе, основанном на физическом описании мира (его обычно называют физикализмом), выработаны различные стратегии исследования таких явлений[5]. В так называемых двухаспектных теориях психический опыт связан со специфическими состояниями мозга, а в некоторых других теориях — с набором состояний мозга. При этом рассматриваемый класс состояний является настолько «хрупким», что его описание нельзя получить прямыми физическими экспериментами, вследствие чего необходима какая-то «редукция» психических и интеллектуальных понятий в физические. В теориях, основанных на функционализме, психические состояния идентифицируются с формальными программами, которые могут быть реализованы различными физическими системами, включая нейронные сети мозга (возможно, вследствие случайного стечения обстоятельств). Существующие физикалистские теории основаны главным образом на упомянутых двухаспектных подходах, характеризующихся тем, что в них некие сущности (обладающие одним набором свойств) считаются идентичными другим сущностям (обладающим совершенно другим набором свойств). Описание таких систем включает в себя разнообразные сенсорные модальности, а в некоторых случаях — одновременно сенсорные и микрофизические модальности. Обычно рассмотрение таких систем далее сводится к отождествлению ментальных состояний с конкретными состояниями мозга (либо с классом таких состояний или с определенной программой). Я думаю, что именно в этом переходе состоит серьезная ошибка всех указанных подходов. Идентифицируя один объект (характеризующийся некоторой сенсорной модальностью) с другим объектом (характеризующимся другой модальностью), мы «тайком» связываем две причинно-следственные цепочки. Мы имеем два соединения цепочек (одна пара на едином объекте, вторая — где-то в «театре сознания» воспринимающего субъекта), однако нельзя забывать, что они имеют совершенно разные причинно-следственные связи с окружением, а также с сенсорным и мыслительным аппаратом воспринимающего субъекта. Если состояния мозга и воспринимающего сознания действительно идентичны, то физикализм двухаспектного подхода вполне оправдан. В этом случае общий объект является завершением указанных цепочек, и состояние мозга получает необходимое онтологическое преимущество в физическом описании (что и является основным принципом физикализма). Однако при этом другой конец цепочки («театр сознания» воспринимающего субъекта) фактически отсутствует. Можно даже считать, что двухаспектная теория построена на всеобщей молчаливой «договоренности» или условности (аналогично тому, как действие в обычном театре построено на договоренности относительно наличия некой комбинации физических и духовных обстоятельств), однако такой «театр» не может быть введен независимым образом в теории, основанные на физикализме.

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