Разумный глаз

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

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

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

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

Работа мозга

Мозг извлекает из окружающего нас мира смысл, предсказывая события. Мы вряд ли ошибемся, сравнив мозг с вычислительной машиной. Похож ли он в чем-нибудь на машины, сделанные человеком? Если да, то на какую именно? Электронные вычислительные машины делятся на два класса: аналоговые и цифровые (впрочем, иногда машина представляет собою нечто среднее между этими двумя типами, ее так и называют "гибрид-машина"). Так вот, если мы будем рассматривать мозг как своего рода вычислительную машину, стоит спросить: какая она - "аналоговая" или "цифровая"?

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

Иногда говорят: "Аналоговые машины работают в непрерывном режиме, а цифровые - дискретно" (отдельными шагами). Это - различие инженерного типа. Совершенно ясно, что такое различие нельзя принять в качестве определяющего. Возьмем, к примеру, логарифмическую линейку, представляющую собой подобие аналоговой машины. Движок линейки скользит вдоль набора параллельных шкал; ответ прочитывается на связке двух шкал, заданной определенным положением риски движка. Перемещения движка плавные; его риску можно поместить против любого места одной шкалы и прочесть ответ на другой. Но предположим, что мы делаем ряд пружинных "защелок" и выделяем таким образом некоторые "привилегированные" величины для каких-то специальных целей. Что же мы получили теперь? Цифровую машину? Это звучит в высшей степени нелепо. Обратим внимание на длину шагов на шкалах линейки (или любой другой вычислительной машины). Никакой механизм не работает совершенно гладко, тем не менее ясно, что малые нарушения ритма работы вряд ли превратят "аналоговую" систему в "цифровую". Дело состоит, конечно же, в том, что шаги цифровых машин соответствуют чему-то вполне определенному. Они соответствуют логическим операциям.

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