Сумма технологии

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

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

Мы вообще обошли бы этот вопрос, получив всестороннюю выгоду, если бы он не стоял на нашем пути – на пути моделирования мозговых процессов, – делая обход совершенно невозможным.

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

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

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

О значении значения написаны целые библиотеки. Но никто не знает, чем же оно является в том одном-единственном необходимом Конструктору смысле, который позволяет не только дать определение (определений таких – тьма), но и сконструировать систему, ведущую себя так, как существо, понимающее значение.

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

Где бы ни появилось значение, точная и строгая работа становится невозможной – за ним выползают кошмары бесконечности, зыбкости, неопределенности, а все квантованные, поэтапные, точные действия тонут в наплыве проклятого смыслового мрака. Поэтому было придумано неисчислимое количество способов помешать этому духу проникнуть туда, где прежде всего нужна строгость. Действовали по-разному. Пожалуй, лучше всего это удалось математикам, которые изгнали беса из своих владений и закрыли за ним врата на все засовы, декретировав, что все, чем они занимаются, вообще ничего не «значит» и является попросту некой забавой, игрой в расстановку значков на бумаге, значки же эти ни к чему, кроме друг друга, отношения не имеют. Нужно, однако же, заметить, что Гедель, один из самых блестящих умов нашего столетия, своей теоремой[60] показал, каким призрачным может быть это изгнание значения из математики – математика в целом наверняка никогда не может быть формализована. Стало быть, этот призрак бродит и по математике; правда, он разгуливает на самых ее границах и гонит сон от очей философов математики – метаматематиков. Тем временем представители одного из строго математических направлений, интуиционисты, предприняли попытки даже приручить дьявола, и хотя эти попытки делаются не очень открыто, а заклинатели ведут себя весьма осторожно, но конструктивисты вместе с формалистами тем не менее ставят интуиционистам в вину эти шашни с нечистой силой и тычут им в лицо всякий раз, как только подвернется удобный случай.[61]

Представители логического эмпиризма, физикалисты, наконец бихевиористы, также всячески изгоняли беса-значение, подвергали его пыткам, вздергивали на дыбу, отсекали у него всякие общепринятые атрибуты, полагая, что вследствие такого обращения бес падет духом и перестанет подтачивать стройность их концепций; затем они провозглашали, чем, с их точки зрения, является «значение», и беспощадно «гильотинировали» все, что выпирало за рамки их условных и во спасенье созданных определений. И действительно, им удалось соорудить множество стрельчатых зданий, в которых проблема значения полностью отсутствует. Они обходят ее таким же благопристойным молчанием, каким «в обществе» прикрывают некоторые пикантные темы. Разумеется, это нужно понимать правильно. Как известно, в учебниках логики и логической семантики фигурируют Иван и Петр, которые время от времени произносят фразы вроде «Лондон – столица Англии» или «Идет снег». Об истинности или ложности этих фраз можно что-либо сказать лишь потому, что в логической семантике значение приобретает совсем не тот смысл, который оно имеет в обиходе, а нескольким особо одаренным ученым во главе с Тарским удалось создать такие метаязыки, а также и другие великолепные построения, кои позволяют теперь уже совершенно безбоязненно утверждать, что фраза «Идет снег» верна тогда и только тогда, когда идет снег.

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

Роль циников, задающих такие в высшей степени непристойные вопросы, берут на себя критики формальных систем, вроде Таубе, которые требуют, чтобы Иван или Петр вместо предложения «Идет снег» высказывали какие-нибудь другие предложения, вроде «Бог есть», каковое предложение верно тогда и только тогда, когда Бог существует; однако при этом нет ни одного такого факта или ситуации, которые позволили бы установить отношение формальной эквивалентности между ними и данной фразой. И дальше Таубе говорит: «Если бы Тарский ответил на это, что формальная эквивалентность выдерживается не между предложением и фактом, а между предложением в одном языке и предложением в другом, с этим можно было бы согласиться. Но тогда становится трудно понять, почему эквивалентность между предложениями в одном и том же языке – это чисто формальный факт, не имеющий семантического значения, тогда как эквивалентность предложения в одном языке предложению в другом языке должна иметь такое содержание. Либо вывод Тарского чисто формален, то есть истинен по определению, – в этом случае он не имеет никакого семантического содержания; либо он должен относиться к экспериментально подтверждаемой связи между любым языком и совокупностью фактов – в этом случае существует поистине семантическое содержание, но такое, которое находится вне всякой формальной системы, даже если обратиться к бесконечной иерархии метаязыков».[62]

Наше сравнение светского разговора с данной ситуацией не является просто шуткой, потому что и