Текст книги "Сумма технологии"

Автор книги: Станислав Лем

сообщить о нарушении

Текущая страница: 16 (всего у книги 47 страниц) [доступный отрывок для чтения: 17 страниц]

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

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

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

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

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

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

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

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

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

Итак, что же все-таки делать с различными «оценками» машин, которые должны были помочь человеку, собирающемуся разрешить спор локальных координаторов? Продолжать описанную процедуру без конца невозможно – это будет regressus ad infinitum [132]132
  Уход в бесконечность (лат.).


[Закрыть] :нужно что-то предпринять. Но что? Дело выглядит так: либо электронные координаторы не могут учитывать большего числа переменных, чем человек, – и тогда их незачем строить, либо могут – но тогда человек уже сам не может разобраться в результатах, то есть не может принять какое-либо решение независимо от машины, исходя из «собственной оценки ситуации». Координатор управляется со своим заданием, а вот человек-«контролер» в действительности ничего не контролирует, это ему лишь кажется. Разве это не ясно? Машина, к услугам которой обращается человек-контролер, является в определенном смысле дублером Координатора, а человеку в этой ситуации достается роль мальчика на побегушках, который переносит ленту с записью информации с места на место. Если же две машины дают неодинаковые результаты, то человеку ничего иного не остается, как только «бросать монету», чтобы осуществить выбор, – из «верховного контролера» он превращается в механизм случайного выбора! И вот снова, теперь уже при допущении только управляющих машин, мы получаем ситуацию, в которой машины оказываются «способнее» человека. Prima facie [133]133
  На первый взгляд (лат.).


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

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

Но разве она не будет идти «сама», как прежде? Не обязательно. Это, так сказать, отрицательная сторона прогресса в его гомеостатическом смысле. Амеба куда менее чувствительна к временной нехватке кислорода, чем мозг. Средневековый город нуждался только в воде и пище; современный – без электроэнергии превращается в ад, каким стал Манхеттен несколько лет назад, когда замерли лифты в небоскребах и поезда под землей. Гомеостаз двулик: это рост нечувствительности к возмущениям извне, вызванным «естественными» причинами; но вместе с тем это и рост чувствительности к возмущениям внутренним, вызванным разладкой внутри самой системы (организма). Чем искусственнее окружающая нас среда, тем сильнее мы зависим от технологии, от ее надежности – и от ее сбоев, если она их допускает. А она может допускать сбой. Сопротивляемость индивидуума возмущениям также можно рассматривать двояко: как сопротивляемость изолированного элемента и как сопротивляемость элемента общественной структуры. В «сопротивляемости» Робинзона Крузо проявилось его информационное «предпрограммирование» внутри цивилизации (до того как он стал «изолированным элементом» на необитаемом острове). Аналогично инъекция, которая дает новорожденному определенный иммунитет на всю жизнь, вызывает чисто индивидуальное увеличение его «сопротивляемости», «сопротивляемости» как изолированного элемента. Зато в тех случаях, когда такие вмешательства должны повторяться, общественные связи обязаны функционировать безупречно; если, например, больного с сердечной недостаточностью спасает от смерти вживленный под кожу аппарат, имитирующий нервные импульсы, то больной должен регулярно получать энергетическое питание (батарейки) для этого аппарата.

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


[Закрыть]. Но как раз «неживые» регуляторы будут справляться с этой задачей, по всей вероятности, лучше, чем люди, а значит, и здесь развитие технологии вносит большой вклад «в улучшение структуры». Кроме того, совершенно изменится психологическая ситуация: одно дело знать, что из отношений, в которые по необходимости вступают люди, рождаются динамико-статистические закономерности, бьющие иной раз по интересам отдельных лиц, групп или целых классов, и совсем другое – видеть, как наша судьба ускользает из наших рук, зримо отдаваемая «электронным опекунам». Ведь при этом возникает особое состояние, биологическим аналогом которого была бы ситуация, в которую поставлен человек, сознающий, что всеми жизненными процессами в его теле ведает не он, не его мозг, не внутренние закономерности системы, а какой-то внешний центр, который предписывает всем клеткам, ферментам, нервным волокнам, всем молекулам тела наиболее оптимальное поведение. И будь даже подобная регуляция совершеннее, чем та, которую естественно осуществляет «соматическая мудрость организма», обещай она в перспективе силы, здоровье, долголетие, все же каждый, наверное, согласится, что ощущал бы ее как нечто «противное естеству» в смысле нашего человеческого естества; и, наверное, то же самое можно сказать, вернувшись от этого образа к отношению «общество – его интеллектронные координаторы». Чем больше будет расти сложность внутренней структуры цивилизации, тем в большей степени и во все более многочисленных областях придется допускать для поддержания гомеостаза зоркий контроль и вмешательство таких регуляторов. Но субъективно такой процесс может выглядеть как проявление «алчности» этих машин, подчиняющих себе все новые и новые, прежде чисто человеческие области бытия. А ведь перед нами не «электронные боги» или какие-нибудь владыки, а всего лишь устройства, которые поначалу призваны были наблюдать за отдельными процессами особого значения или особой сложности, но постепенно, в процессе своеобразной эволюции, простирают свою опеку чуть ли не на всю динамику общества. И эти системы вовсе не будут пытаться «покорить человечество» в каком-либо антропоморфном смысле этого слова, потому что, не будучи людьми, они лишены какого-либо эгоизма или жажды власти – свойств, которые по смыслу этих понятий можно приписать только «индивидуумам». Разумеется, люди могли бы начать персонифицировать эти машины, приписывая им несвойственные машинам «намерения» и «ощущения», однако это была бы мифология, но только уже нового, интеллектронного века. Я вовсе не стремлюсь придать демонизм этим безличным регулирующим машинам; я попросту описываю поразительную ситуацию, когда к нам, как к Полифему в его пещере, подбирается Никто, однако на этот раз для нашего же блага. Право окончательного решения может навсегда остаться в руках человека; что ж из того, ведь попытки использовать подобную свободу тут же покажут, что решения машин, отличные – если только они действительно будут отличными – от решений человека, выгоднее, ибо машинные решения учитывают большее число факторов. После нескольких болезненных уроков человечество могло бы превратиться в послушного ребенка, который всегда следует добрым советам Никто.Регулятор в этом смысле гораздо слабее, чем в случае Властелина; ведь теперь он никогда и ничего не приказывает, он лишь советует. Но обретем ли мы силу в этой его слабости?

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

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

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

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

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

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

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

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


[Закрыть] .

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


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

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

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

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

Но тогда становится трудно понять, почему эквивалентность между предложениями в одном и том же языке – это чисто формальный факт, не имеющий семантического значения , тогда как эквивалентность предложения в одном языке предложению в другом языке должна иметь такое содержание [137]137
  Это легко понять, если мы примем, что эти языки заданы в различных пространствах, не связанных между собой отношениями эквивалентности. Тогда «переводя» предложение языка А на язык В, мы автоматически присоединяем к нему иной «языковой контекст». Теперь, если выполнить процедуру обратного перевода, мы получим на языке А новое предложение, которое в общем случае не будет эквивалентно исходному. (На одном из конгрессов переводчиков многократный перевод превратил рекламный слоган «С Пепси к новой жизни» в довольно жуткое заклинание: «Шипучая вода поднимет ваших предков из их могил»). Смотри также: С. Переслегин «Руководство по постройке мостов через бесконечность». – В кн.: «Миры братьев Стругацких. Переводы», СПб: Terra Fantastica, M.: ACT, 1999).


[Закрыть]. Либо вывод Тарского чисто формален, то есть истинен по определению, – в этом случае он не имеет никакого семантического содержания; либо он должен относиться к экспериментально подтверждаемой связи между любым языком и совокупностью фактов – в этом случае существует поистине семантическое содержание, но такое, которое находится вне всякой формальной системы, даже если обратиться к бесконечной иерархии метаязыков [138]138
  М. Таубе. «Вычислительные машины и здравый смысл. Миф о думающих машинах». – М.: Прогресс, 1964, стр. 111–112.


[Закрыть].

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