Анатолий Левенчук
Визуальное мышление
Движение по спектру вправо и влево: моделирование и рендеринг
Я ввожу два направления мыслительных операций на спектре формальности мышления. Я думаю, что одно слово (моделирование) вы знаете, а второе слово (рендеринг) вам придётся запомнить.
Вот когда мы идём от животного хаоса каких-то обрывков мыслительных переживаний к жёстким представлениям формальной логики, мы о таких мыслительных шагах «моделирования» говорим разными словами.
Один из распространённых способов – это говорить о схематизации. Сначала у нас в представлениях животный мир с его хаосом, затем на этом хаосе наводится интуиция – хаос становится более упорядоченный, интуиция направляет наше внимание на какую-то проявляющуюся в хаосе фигуру, а остальное мы начинаем считать фоном. Но если мы в дальнейшем движении формализации в мышлении идём в сторону схемоида, то это превращение каких-то островков внимания в хаосе в схемоиды и есть схематизация. И когда мы от схемоида переходим к схеме, то это часто называется ещё более жестким словом «моделирование», ибо моделирование уже подразумевает, что к результирующим схемам применимы какие-то более-менее непротиворечивые логические рассуждения, с «моделями» уже работает какая-то математика.
Есть и обратные переходы, уменьшение степени формальности. Они в мышлении тоже требуются. Каждый раз, когда мы хотим от модели перейти к действительности, понять как она применима, делать распредмечивание, то мы делаем ходы рендеринга (rendering, обратная моделированию операция натуралистичного изображения конкретного объекта по какой-то модели этого объекта, например фотореалистичный рендеринг из информационной модели автомобиля в САПР, или музыкальный рендеринг, или даже рендеринг методов как сочинение реалистичных ситуаций применения метода23).
Модель – это сжатая информация о бесконечно разнообразном мире (в ней же специально отобрано отражение только самого важного), а нам очень часто нужно эту сжатую информацию о мире наоборот, разжать для того, чтобы увидеть стоящий за ней изобилующий деталями конкретный мир.
Например, двое человек говорят, что у них есть разные модели, они не совпадают. Они абсолютно теоретически не могут совпасть в зоне формальности калькулятора, они не совпадают в зоне мыслительных схем. В схемоиде мы можем уже предположить, поскольку значения не такие чёткие, что многомерном пространстве смыслов какие-то отдельные понятия этих моделей могут совпадать (ибо они попадают в близкие области пространства смыслов)24.
А сами области пространства смыслов мы уточняем «триангуляцией», добавляя деталей в описание – чтобы по деталям можно было узнать, о чём идёт речь. Чтобы всё это совмещение несовместимых логически схем было возможно, в ходе мышления (особенно когда речь идёт о коллективном мышлении) нужно делать серьезные шаги по деформализации мышления. То есть в ходе мышления, задействующего несколько схем нам обязательно нужно делать серьезные шаги рендеринга, увеличивать количество не очень важной информации, уменьшать абстрактность и уменьшать чёткость определений.
И вот мы смотрим на слайд, где с одной стороны «моделирования» у нас есть люди, работающие инженерно, а с другой стороны «рендеринга» приведена иллюстрация «балагана»25.
Инженеры работают с какими-то схемами по жёстким правилам. Я специально взял картинку, на которой инженеры развернули что-то типа чертежа. В компьютере это необязательно будет графическая схема, там могут быть какие-то тексты на естественном языке, таблицы, тексты на языках программирования, то есть какие-то более формальные способы представления информации, нежели традиционные инженерные чертежи. Кстати, современные чертежи в отличие от информационных компьютерных моделей – это типичные псевдосхемы, несмотря на их графическую форму, это типичные схемоиды, они суть псевдокод. Вы можете дать инженеру-человеку современный чертеж, чтобы он построил какое-то здание. Но вы не можете дать этот чертёж роботу-строителю. Сначала нужно этот чертеж переложить на формальный язык робота, и только после этой дополнительной формализации робот сможет построить это задание. Конечно, сегодняшний робот начинает работать и с неформальной информацией чертежа, но вот условно пока говорим о классическом «логическом» роботе-компьютере, а не роботе на нейросетях с искусственным интеллектом, моделирующим интуицию.
Картинка на слайде показывает, что направление моделирования/схематизации/формализации связано с серьезной инженерной работой, которая всегда коллективна и требует совместного использования самых разных формальных моделей, в которых легко искать ошибки и с которыми легко выполнять безошибочно рутинные логические операции. Формализация нужна именно для этого: скорости в работе с безошибочностью.
А вот рендеринг/деформализация/конкретизация у нас связан с картинками, образами, метафорами и прочей неформальной художественностью, заведомо подразумевающей ошибки. Я специально показал картинку интерьера Балаган-сити, одного из ресторанных заведений. Вот именно так «балаганно» проходят все эти дизайн-сессии с «визуальным мышлением». Я подробней расскажу об этом чуть позже, но место этих сессий на спектре мышления я как раз сейчас и указываю: оно в сугубо неформальной, очень узкой и содержащей большое число ошибок мышления части спектра.
Для того чтобы мышление приблизилось к инженерному, надо чтобы балаган утих и появилась более-менее формальная логика, которая вычистит ошибки неформальной балаганности, и тогда мы станем способны работать довольно сносно со сложными объектами – сложность ведь требует меньшего числа ошибок в рассуждениях, а для этого нужна формальность, модельность, внимание на главном и правильность рассуждений, проведённых по правилам.
Но чтобы совместить разные точки зрения (например, к вам в сложный проект пришёл менеджер, который в вашем предмете ровно ничего не понимает, но от которого зависит выделение ресурсов), вам потребуется начать изъясняться на пальцах, и вы автоматом получаете такой балаган, становитесь неформальным и не слишком логичным, не слишком точным и совсем небезошибочным. Этот балаган проявляется в речах, балаган появляется в визуальном пространстве. Вы видите, что картинки коллективной работы инженеров и «свободного обсуждения» в Балаган-сити отличаются.
Я не могу себе представить сессии по визуальной коммуникации, которые проходят так же тихо и спокойно, как идёт инженерная работа по формальным представлениям. У инженеров случится более серьезный разговор, будут термины переспрашивать, существенно уточнять понятия, а если будут обсуждать схемы, то кроме более формальных объектов на схемах будут требовать и более формальных отношений между этими объектами.
При этом инженеры отлично работают и со схемоидами тоже, постепенно и планомерно превращая их в схемы по мере размышлений. Мышление тем самым добивается безошибочности, планомерно формализуя представления – в том числе переходя от «эскизов на салфетке» к выражению на формальных графических для небольших задач или текстовых формальных языках для больших задач.
Тем самым в ситуациях мышления мы работаем и со схемами, и со схемоидами, и в формальной части спектра мышления, и в неформальной части, свободно переходя из одной степени формальности в другую через моделирование/схематизацию/предметизацию/абстрагирование и рендеринг/распредмечивание/конкретизацию. Старый спор про формалистов-«физиков» и неформальных «лириков» из 60х годов прошлого века тем самым сейчас получает своё решение немного в другой терминологии, на других представлениях о мышлении. Этот спор оказывается пустым – но в нём есть важный момент указания на предпочитаемый уровень формальности мышления, если мы говорим о конкретных людях как чистых представителях класса «физиков» или «лириков». Для меня этот момент указания на само существование «физиков» и «лириков» важен.
Профили формальности мышления
Если мы имеем на показанной диаграмме спектра формальности мышления профиль формальности мышления человека-дикаря, то для него характерно как раз визуальное мышление по большей части, оно имеет акцент на неформальность. Это палка-копалка, которой пользуется дикарь. Ей можно копать, но неглубоко и непроизводительно. Если я прихожу в какую-то организацию чисто с визуальными инструментами, то все дикари этой организации меня будут любить, потому что я поддержу их «интуитивность», не обращая внимания на все возможные ошибки. Ошибки исправлять – это ж для яйцеголовых, а они люди творческие! Они будут любить мои иероглифы и картинки, мои допотопные визуальные средства выражения их мифа, которыми я изображаю их дикарские понятия. Они будут вполне счастливы, поскольку из мира животных помыслов и мычания своих переживаний их вывели, и даже привели на границу дикарства и цивилизованного человечества. Многое им было недоступно, но сейчас мы имеем какую-то картинку-миф, я дал им образы – и все счастливы. Эти картинки они дадут цивилизованным инженерам и расслабятся перед очередным балаганом.
Именно так «визуально», вызывая обезьянку с её животными размышлениями и учат делать презентации. Вот смотрите: у меня на этом слайде вроде есть диаграмма про спектр мышления, хоть это и чистый схемоид, а не схема. Но я вам ляпнул туда две метафорических картинки: одну приличных инженеров, другую Балагансити, и все вроде тут взбодрились и делают вид, что меня в этом месте понимают, и что эти картинки как-то нашу коммуникацию выстраивают.
Если вы посмотрите на моей диаграмме профиль формальности мышления гуманитария, то у гуманитария интуиции будет побольше, чем у дикаря, но очень развито схемоидное мышление. Гуманитария мёдом не корми, дай ему псевдокод – ибо ему нужен уровень структурирования реальности, уровень формальности побольше, чем у дикаря. Но тем не менее вся его мудрость сильно падает, когда мы доходим до схемы, потому что, к сожалению, те схемоиды, которые делает гуманитарий, не выдерживают никакой логической критики. У гуманитариев обычно концы с концами в сложных ситуациях не сходятся. Они говорят: «Ты основную мысль-то улови, одну». А то, что тебе надо 10 мыслей продумать и одновременно проверить эти мысли на непротиворечивость друг с другом – это их не волнует. Вот лес ситуации в целом за деревьями отдельных мыслей увидать-то мы увидим с гуманитарием, но мы должны тщательно выверить и каждую одну основную мысль, ибо она может быть ошибочной – или содержать ошибки в её сочетании с другими мыслями. Для этого нужна формализация! Представляете себе ракету, которая успешно летит, но в её чертежах была выражена только основная мысль, а не каждая мельчайшая деталь? Например, приведена картинка только корпуса ракеты, и никаких расчётов тяги двигателей, ибо эти расчёты уж точно в картинки не уложишь. Но тем не менее, гуманитарии так работают, и они не очень любят поэтому логику с формальными представлениями. И если в проекте каком потребуется буквально калькуляторное точное безошибочное мышление, то оно у них будет на нуле. Гуманитариям легко, они ракет не запускают, у их построений обычно простая проверка действием затруднена, ошибки мышления и недостаток/неполнота мышления поэтому остаются незамеченными.
Если смотреть профиль формальности мышления технаря-ботана, то там тоже можно найти проблемы. Мы столкнулись с огромными сложностями понимания наших схемоидов людьми, воспитанными в традиции «физиков», особенно выпускниками МФТИ 70—80х. Когда они сталкиваются с нашими схемоидами (типа того же разбираемого нами сейчас схемоида с профилями формальности мышления) на наших исследовательских семинарах и даже на наших курсах онтологики и системного мышления, они остаются недовольны именно тем, что мы предоставляем им не чёткие логические схемы (желательно в логике первого порядка), а именно схемоиды. Они остаются очень недовольны, когда мы говорим им, что схемоиды нужны, когда вам нужно совместить ваше мышление схемное с некоторыми не менее формальными схемами в мышлении других людей-технарей. Они недовольны, когда мы рекомендуем им сделать некоторые шаги по рендерингу/распредмечиванию/конкретизации, рекомендуем чуть-чуть отползти в менее формальные диаграммы, убрать особенности их предметных схемных языков (DSL, domain specific languages).
Мы встречаем полное непонимание технарей-ботанов, потому что эти люди не признают важность шага рендеринга в мышлении. Они искренне считают, что единственный способ совместиться по схемам – это подведение всех их схемных построений под ещё более высокоуровневые понятия. Но это неправильно, так договорится с использованием разных схематизаций будет нельзя. Принципы адекватности мышления, они же принципы 4D-экстенсионализма (разбираются подробней в курсах системного мышления и онтологики) говорят, что совмещать схемы, как и любые другие описания мира, можно только уменьшая уровень абстракции. Вы берёте вашу схему и начинаете разворачивать её (рендеринг!) на материале жизни, на материале физического мира, увеличивая число доступных деталей, чтобы другой человек смог как-то опознать тот кусок мира, который описывается вашей схемой. И другие люди делают со своими схемами то же самое, разворачивают эти схемы на материале физического мира. И как только вы договорились, что вы схемами описываете один и тот же кусочек мира, после этого вы можете договориться – совместить одинаковые понятия, даже если они названы по-разному. Или наоборот, сообразить, что одним и тем же именем названы разные концепты и прекратить все эти «споры о терминах».
Но ежели вы начинаете совмещать ваши схемы/диаграммы, переводя их в более абстрактные термины и формализуя тем самым ещё больше, то это гарантия того, что вы не договоритесь. Этот ход на деформализацию для коллективной организации мышления оказывается неожиданным и совершенно контринтуитивным. Технари крайне возражают этому способу, потому что они слабые онтологи, но с их точки зрения эта намеренная деформализация – это крушение всех основ безошибочного мышления.
Переходя к профилю мудреца, мы рисуем почти не существующий в природе идеальный тип человека. Мы считаем, что мудрец должен работать с интуицией на уровень выше, чем и гуманитарий, и технарь.
Конечно, у технаря интуиция отлично развита, просто он её специально не развивает, специально с ней не работает просто потому, что у него нет ценности интуиции, для него это наименее формальный способ работы, он этот способ работы недостаточно уважает, он не развивает свои возможности работать со схемоидами. Когда он видит схемоиды, он тыкает в них пальцем и говорит, что так неправильно, «эти схемы недостаточно формальны». А вот мудрец работает хорошо и со схемоидами, и со схемами – он не чурается ни тех, ни других, ибо способен провести причинное рассуждение26 (inference, рассуждение, умозаключение) и на схемоиде, и на схеме, хотя и с разной степенью уверенности в точности результата. На схемоиде – потому что даже плохая точность результата лучше, чем полное отсутствие результата!
Для получения более точного и безошибочного результата возможности калькулятора у мудреца ограничены, но он всё же может провести какое-то логическое рассуждение полностью (достижения цивилизации в области формализации ему не чужды!), хотя и старается спихнуть это на классический логический компьютер. Поэтому мудрец продолжает работать в человеческом участке спектра, он мыслит максимально широко по спектру мышления, но всё-таки немного времени проводит на краях этого спектра: на левом крае, потому как там всё очень неправдоподобно, и на правом крае, потому как там запредельно трудно совмещать результаты разных более-менее правдоподобных рассуждений и вообще трудно рассуждать долго и безошибочно строго формально-логически.
Человеческое мышление: середина спектра формальности
Мы считаем, что человечество в целом живёт в средней части спектра формальности мышления. Человечество считает максимально развитой личностью такую, у которой максимально широка зона мышления – который может и неформально мыслить, и формально, и свободно менять этот свой режим мышления. И мы считаем, что компьютерная техника сегодня в 2018 году нам помогает уже и с неформальной стороны (вычисления нейронных сетей) и формальной стороны (классические логические вычисления).
Я могу ещё долго рассказывать про эту диаграмму спектра формальности мышления. Например, что эта диаграмма показывает места быстрого и медленного мышления по Канеману27, мышления обезьянки и разумного человека по Тиму Урбану28. Слева у нас быстрое мышление обезьянки: мы принимаем много быстрых, но мало верных решений. А справа мышление медленное, трудозатратное, рассудочное, но ошибок в нём существенно меньше. Тренировка мозга позволяет переводить рассудочное мышление в автоматизмы, мышление становится быстрым, но вероятность ошибок в нём при этом растёт29.
Вопрос: Когда ты говоришь «мы», ты говоришь «мы, дикари»?
Ответ: Мы люди, мы все уже давно вышли из чисто мифологического сознания и чисто интуитивного мышления. Мышлений у нас всё-таки два по Канеману, и у дикарей именно с медленным рассудочным мышлением плохо. Другое дело, что технари-ботаны в состоянии понять, что именно по уровню формальности мышления им надо, после этого тяжело вздохнуть и затем долго и нудно проводить медленное мышление. Их в технарском вузе на медленное мышление и формализацию тренировали, так что им трудно, но они всё-таки работают. «Обычные люди», если они и встречаются, с медленным мышлением, то ищут, что бы такого сделать, чтобы так больше не мучиться никогда! И тут приходят такие как вы товарищи, пропагандисты визуального мышления, и говорят: «Мы вам поможем». Я считаю, что для цивилизации это беда. Да, это беда – всяко поддерживать балаган, лёгкую часть, а не то, что происходит после балагана. То, что я видел, и с чем встречался во всех вариантах пропаганды «визуального мышления» или design thinking, это ровно оно. Сегодня есть тренд резко двигать в этот балаган, в зону неформального мышления всех подряд – и тех, кто может думать формально, и тех, кто не может. После этого в мышлении появляются ошибки, но это для картиночных технологий как будто неважно. До формализации мы не доходим, мышления не происходит, только коммуникация картинками. Хотя я ещё не дошёл до тезиса про коммуникацию.
Я считаю, что человеческое мышление потихоньку раздвигает свои границы в спектре формальности мышления. Чистое медленное мышление по Канеману очень трудозатратное, вы чисто логически с утра до вечера не сможете рассуждать. Вам всё равно нужно будет делать ходы в менее формальные представления. Но и в чисто визуальных представлениях быть нельзя, эту культуру нельзя в чистом виде поддерживать и поощрять, она ведь плодит ошибки без надежды их потом исправить!
Я могу много ещё рассказывать, как человечество борется за полноценное мышление в широком спектре формальности. Например, как устроен цикл развития знания30.
В целом развитие знания выглядит так: вы берёте какую-то невнятно выражаемую интуицию, оформляете как её как схемоид, затем оформляете этот схемоид как ещё более формальную схему, выверяете на схеме ошибки, понимаете, что с учётом найденных ошибок всё не так, возвращаетесь к схемоиду или даже интуиции, чуть подкручиваете, возвращаетесь к схеме и находите её уже без ошибок. В конце концов у вас появляется новая предметная область (domain) и выражающий её понятия какой-то предметно-специфический язык (DSL).
Когда вы хотите, чтобы этим знанием воспользовались в своей деятельности другие люди, вы начинаете этому описанию предметной области учить людей. Описание оказывается учебной дисциплиной. Но поскольку размышлять по формальным схемам этой дисциплины оказывается очень энергозатратно, то вы заставляете людей работать со схемами этой дисциплины много-много раз. Это сдвигает размышления в область автоматизмов нейронной сетки мозга, хотя при этом и появляются возможные ошибки мышления, но оно становится быстрым. Так появляется в результате обучения математическая интуиция, физическая интуиция, интуиция в дисциплине какой-то другой предметный области. Но интуиция, как известно, врёт регулярно. Поэтому вы проводите эти вычисления быстро и интуитивно, а потом всё равно проводите медленную проверку и добиваетесь результатов. Вот этого шага на медленное мышление и не хватает во всех балаганных визуальных практиках якобы мышления.
Диаграмма спектра формальности мышления позволяет удобно обсуждать такие вот ходы по появлению новых дисциплин, по организации мышления своего и коллектива, по тому, что происходит в ходе обучения каким-то дисциплинам.
Дальше у меня идет разворачивание ранее представленных тезисов. А на уже рассказанную тему спектра формальности мышления у нас в Школе системного менеджмента есть отдельный курс «Основы онтологики»31, его ведёт Прапион Медведева. В этом курсе в том числе происходит некоторый тренинг по работе с диаграммой спектра формальности мышления.
