Визуальное мышление

Вы видите на схеме киберличности, что граница личности у нас проходит прямо по нашему телу-перформеру, а ещё по экзотелу. Экзотело – это просто какой-то инструмент. Мы ведь сливаемся с нашими инструментами, мы чувствуем границы тела по границам инструмента. Так, автогонщик чувствует границы машины как границы тела. Граница личности проходит и через экзокортекс, и он нам будет важен поскольку все это визуальное мышление идёт по линии рассуждений об экзокортексе. Эта граница личности и физического мира, проходящая через тело, экзотело, экзокортекс для меня важна – ровно по этой линии идёт обсуждение интернета вещей (со входящими в него людьми), нейронета[22 - Нейронет – нейро-лингвистическая сеть, 15 ноября 2018, https://ailev.livejournal.com/1227614.html (https://ailev.livejournal.com/1227614.html)] как сети, помогающей обмениваться несимвольными представлениями.

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

Я ещё забыл сказать, что отсылающая к компьютерному миру приставка «кибер» в киберличности тут не случайно. Попробуйте дома забыть телефон, попробуйте выключить вот этот вот проектор, и вы немедленно выясните, что ваша жизнь без этих компьютерных систем это уже не совсем полноценная жизнь, это уже от жизни одно название. Без «кибер» сегодня вообще уже нет никакого мышления, ракеты в космос уже без «кибер» не летают, без использования компьютеров ничего существенного, интересного для мышления не происходит. Мы по факту уже наполовину киборги, и наша человеческая деятельность уже объединяется из действий отдельных людей киборгчески. То есть киборги (cyborgs) оказались не cybernetic organisms с наполовину железным черепом и объективом вместо одного глаза, а cybernetic organization. Про киборгов, как и про людей нужно думать в нептолемеевской модели, не центрироваться на одиночном сферическом киборге в вакууме.

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

Спектр формальности мышления

Мышление от неформального животного до строго формально логического

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

Вот внутри меня сидит очень симпатичное животное:

Оно очень ласковое, и вы его очень полюбите, оно даже может классно танцевать. Единственное, что оно не может, так это читать доклады о визуальном мышлении, а всё остальное у него получается великолепно.

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

Далее вправо по спектру формальности мышления мы уже мыслим на материале схемоидов. Я предлагаю термин «схемоид», потому что хочу отстроиться тут от схем как представлений более-менее формальных описаний. По схемам возможны логические какие-то рассуждения, более-менее формальные, а «схемоид» как термин образовано так как гуманоид, который не человек, но на человека похож. И вот этот способ словообразования чуть более мягок, чем использование термина «псевдосхема» по типу компьютерного псевдокода, когда ты пишешь вроде бы структурированный текст, и человек говорит, который про уровень формализации ничего не понимает «о, это же ты программу написал!», но в компьютер эту якобы программу, а на самом деле очень неформальный псеводокод не заложишь. Нужно дополнительно очень сильно потрудиться, чтобы из псевдокода сделать программу. Я не говорю сейчас «псевдосхема», потому что это как бы принижение достоинства этой схемы, это у меня будет «схемоид».

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

За понимаемыми формально логическими схемами есть тоже некоторое пространство мышления, там абсолютно жёсткие грамматики, там дискретная математика, там истинность высказываний о мире бывает 100%, ложь означает 0% вероятности истинности, чего в Байесовской логике науки не бывает. Бывает только бесконечное приближение, но не крайнее значение. Дискретная математика с этим не считается, так работает калькулятор, так работает классический фон-неймановский компьютер и так работают карикатурные роботы прошлого поколения, «строго по формализму».

Современные роботы тут существенно отличаются, они моделирует интуицию, они сегодня начинают работать со схемоидами, а роботы старые работали более-менее со схемами, алгоритмами численной математики, а отнюдь не только с чистым логическим исчислением, чистым calculus.

Движение по спектру вправо и влево: моделирование и рендеринг

Я ввожу два направления мыслительных операций на спектре формальности мышления. Я думаю, что одно слово (моделирование) вы знаете, а второе слово (рендеринг) вам придётся запомнить.

Вот когда мы идём от животного хаоса каких-то обрывков мыслительных переживаний к жёстким представлениям формальной логики, мы о таких мыслительных шагах «моделирования» говорим разными словами.

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

Есть и обратные переходы, уменьшение степени формальности. Они в мышлении тоже требуются. Каждый раз, когда мы хотим от модели перейти к действительности, понять как она применима, делать распредмечивание, то мы делаем ходы рендеринга (rendering, обратная моделированию операция натуралистичного изображения конкретного объекта по какой-то модели этого объекта, например фотореалистичный рендеринг из информационной модели автомобиля в САПР, или музыкальный рендеринг, или даже рендеринг методов как сочинение реалистичных ситуаций применения метода[23 - Рендеринг методов, 27 июня 2010, https://ailev.livejournal.com/845850.html (https://ailev.livejournal.com/845850.html)]).

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

Например, двое человек говорят, что у них есть разные модели, они не совпадают. Они абсолютно теоретически не могут совпасть в зоне формальности калькулятора, они не совпадают в зоне мыслительных схем. В схемоиде мы можем уже предположить, поскольку значения не такие чёткие, что многомерном пространстве смыслов какие-то отдельные понятия этих моделей могут совпадать (ибо они попадают в близкие области пространства смыслов)[24 - Онтика онтологизации, 13 мая 2018, https://ailev.livejournal.com/1427265.html (https://ailev.livejournal.com/1427265.html)].

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

И вот мы смотрим на слайд, где с одной стороны «моделирования» у нас есть люди, работающие инженерно, а с другой стороны «рендеринга» приведена иллюстрация «балагана»[25 - Картинка «балагана» взята из http://www.svadba-inform.ru/cafe_restorani/page/restoran_balagan_city.stml (http://www.svadba-inform.ru/cafe_restorani/page/restoran_balagan_city.stml)].

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

Картинка на слайде показывает, что направление моделирования/схематизации/формализации связано с серьезной инженерной работой, которая всегда коллективна и требует совместного использования самых разных формальных моделей, в которых легко искать ошибки и с которыми легко выполнять безошибочно рутинные логические операции. Формализация нужна именно для этого: скорости в работе с безошибочностью.

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

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

Но чтобы совместить разные точки зрения (например, к вам в сложный проект пришёл менеджер, который в вашем предмете ровно ничего не понимает, но от которого зависит выделение ресурсов), вам потребуется начать изъясняться на пальцах, и вы автоматом получаете такой балаган, становитесь неформальным и не слишком логичным, не слишком точным и совсем небезошибочным. Этот балаган проявляется в речах, балаган появляется в визуальном пространстве. Вы видите, что картинки коллективной работы инженеров и «свободного обсуждения» в Балаган-сити отличаются.

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

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

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

Профили формальности мышления

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

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

Если вы посмотрите на моей диаграмме профиль формальности мышления гуманитария, то у гуманитария интуиции будет побольше, чем у дикаря, но очень развито схемоидное мышление. Гуманитария мёдом не корми, дай ему псевдокод – ибо ему нужен уровень структурирования реальности, уровень формальности побольше, чем у дикаря. Но тем не менее вся его мудрость сильно падает, когда мы доходим до схемы, потому что, к сожалению, те схемоиды, которые делает гуманитарий, не выдерживают никакой логической критики. У гуманитариев обычно концы с концами в сложных ситуациях не сходятся. Они говорят: «Ты основную мысль-то улови, одну». А то, что тебе надо 10 мыслей продумать и одновременно проверить эти мысли на непротиворечивость друг с другом – это их не волнует. Вот лес ситуации в целом за деревьями отдельных мыслей увидать-то мы увидим с гуманитарием, но мы должны тщательно выверить и каждую одну основную мысль, ибо она может быть ошибочной – или содержать ошибки в её сочетании с другими мыслями. Для этого нужна формализация! Представляете себе ракету, которая успешно летит, но в её чертежах была выражена только основная мысль, а не каждая мельчайшая деталь? Например, приведена картинка только корпуса ракеты, и никаких расчётов тяги двигателей, ибо эти расчёты уж точно в картинки не уложишь. Но тем не менее, гуманитарии так работают, и они не очень любят поэтому логику с формальными представлениями. И если в проекте каком потребуется буквально калькуляторное точное безошибочное мышление, то оно у них будет на нуле. Гуманитариям легко, они ракет не запускают, у их построений обычно простая проверка действием затруднена, ошибки мышления и недостаток/неполнота мышления поэтому остаются незамеченными.

Если смотреть профиль формальности мышления технаря-ботана, то там тоже можно найти проблемы. Мы столкнулись с огромными сложностями понимания наших схемоидов людьми, воспитанными в традиции «физиков», особенно выпускниками МФТИ 70—80х. Когда они сталкиваются с нашими схемоидами (типа того же разбираемого нами сейчас схемоида с профилями формальности мышления) на наших исследовательских семинарах и даже на наших курсах онтологики и системного мышления, они остаются недовольны именно тем, что мы предоставляем им не чёткие логические схемы (желательно в логике первого порядка), а именно схемоиды. Они остаются очень недовольны, когда мы говорим им, что схемоиды нужны, когда вам нужно совместить ваше мышление схемное с некоторыми не менее формальными схемами в мышлении других людей-технарей. Они недовольны, когда мы рекомендуем им сделать некоторые шаги по рендерингу/распредмечиванию/конкретизации, рекомендуем чуть-чуть отползти в менее формальные диаграммы, убрать особенности их предметных схемных языков (DSL, domain specific languages).

Мы встречаем полное непонимание технарей-ботанов, потому что эти люди не признают важность шага рендеринга в мышлении. Они искренне считают, что единственный способ совместиться по схемам – это подведение всех их схемных построений под ещё более высокоуровневые понятия. Но это неправильно, так договорится с использованием разных схематизаций будет нельзя. Принципы адекватности мышления, они же принципы 4D-экстенсионализма (разбираются подробней в курсах системного мышления и онтологики) говорят, что совмещать схемы, как и любые другие описания мира, можно только уменьшая уровень абстракции. Вы берёте вашу схему и начинаете разворачивать её (рендеринг!) на материале жизни, на материале физического мира, увеличивая число доступных деталей, чтобы другой человек смог как-то опознать тот кусок мира, который описывается вашей схемой. И другие люди делают со своими схемами то же самое, разворачивают эти схемы на материале физического мира. И как только вы договорились, что вы схемами описываете один и тот же кусочек мира, после этого вы можете договориться – совместить одинаковые понятия, даже если они названы по-разному. Или наоборот, сообразить, что одним и тем же именем названы разные концепты и прекратить все эти «споры о терминах».

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

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

Конечно, у технаря интуиция отлично развита, просто он её специально не развивает, специально с ней не работает просто потому, что у него нет ценности интуиции, для него это наименее формальный способ работы, он этот способ работы недостаточно уважает, он не развивает свои возможности работать со схемоидами. Когда он видит схемоиды, он тыкает в них пальцем и говорит, что так неправильно, «эти схемы недостаточно формальны». А вот мудрец работает хорошо и со схемоидами, и со схемами – он не чурается ни тех, ни других, ибо способен провести причинное рассуждение[26 - Подробнее о причинном выводе (causal inference), основывающемся на байесовских статистических вычислениях и льюисовской теории возможных миров в книге Judea Pearl, Dana Mackenzie, The Book of Why: The New Science of Cause and Effect, https://www.amazon.com/Book-Why-Science-Cause-Effect-ebook/dp/B075DCKP7V/ (https://www.amazon.com/Book-Why-Science-Cause-Effect-ebook/dp/B075DCKP7V/). Обратите внимание, что graphical в книге – это не графический-визуальный, диаграммный, а графовый из теории графов: графы причинности состоят из узлов и рёбер, они впрямь могут быть нарисованы диаграммой, но также выражены и матрицей, и списками узлов и связей.] (inference, рассуждение, умозаключение) и на схемоиде, и на схеме, хотя и с разной степенью уверенности в точности результата. На схемоиде – потому что даже плохая точность результата лучше, чем полное отсутствие результата!

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

Человеческое мышление: середина спектра формальности

Мы считаем, что человечество в целом живёт в средней части спектра формальности мышления. Человечество считает максимально развитой личностью такую, у которой максимально широка зона мышления – который может и неформально мыслить, и формально, и свободно менять этот свой режим мышления. И мы считаем, что компьютерная техника сегодня в 2018 году нам помогает уже и с неформальной стороны (вычисления нейронных сетей) и формальной стороны (классические логические вычисления).

Я могу ещё долго рассказывать про эту диаграмму спектра формальности мышления. Например, что эта диаграмма показывает места быстрого и медленного мышления по Канеману[27 - https://ru.wikipedia.org/wiki/Думай_медленно…_решай_быстро], мышления обезьянки и разумного человека по Тиму Урбану[28 - Why Procrastinators Procrastinate, 30 октября 2013, https://waitbutwhy.com/2013/10/why-procrastinators-procrastinate.html]. Слева у нас быстрое мышление обезьянки: мы принимаем много быстрых, но мало верных решений. А справа мышление медленное, трудозатратное, рассудочное, но ошибок в нём существенно меньше. Тренировка мозга позволяет переводить рассудочное мышление в автоматизмы, мышление становится быстрым, но вероятность ошибок в нём при этом растёт[29 - Как работает школа системного менеджмента, https://ailev.livejournal.com/1390318.html, «фундаментальное образование: системное развитие мышления», https://ailev.livejournal.com/1425003.html].

Вопрос:Когда ты говоришь «мы», ты говоришь «мы, дикари»?

Ответ: Мы люди, мы все уже давно вышли из чисто мифологического сознания и чисто интуитивного мышления. Мышлений у нас всё-таки два по Канеману, и у дикарей именно с медленным рассудочным мышлением плохо. Другое дело, что технари-ботаны в состоянии понять, что именно по уровню формальности мышления им надо, после этого тяжело вздохнуть и затем долго и нудно проводить медленное мышление. Их в технарском вузе на медленное мышление и формализацию тренировали, так что им трудно, но они всё-таки работают. «Обычные люди», если они и встречаются, с медленным мышлением, то ищут, что бы такого сделать, чтобы так больше не мучиться никогда! И тут приходят такие как вы товарищи, пропагандисты визуального мышления, и говорят: «Мы вам поможем». Я считаю, что для цивилизации это беда. Да, это беда – всяко поддерживать балаган, лёгкую часть, а не то, что происходит после балагана. То, что я видел, и с чем встречался во всех вариантах пропаганды «визуального мышления» или design thinking, это ровно оно. Сегодня есть тренд резко двигать в этот балаган, в зону неформального мышления всех подряд – и тех, кто может думать формально, и тех, кто не может. После этого в мышлении появляются ошибки, но это для картиночных технологий как будто неважно. До формализации мы не доходим, мышления не происходит, только коммуникация картинками. Хотя я ещё не дошёл до тезиса про коммуникацию.

Я считаю, что человеческое мышление потихоньку раздвигает свои границы в спектре формальности мышления. Чистое медленное мышление по Канеману очень трудозатратное, вы чисто логически с утра до вечера не сможете рассуждать. Вам всё равно нужно будет делать ходы в менее формальные представления. Но и в чисто визуальных представлениях быть нельзя, эту культуру нельзя в чистом виде поддерживать и поощрять, она ведь плодит ошибки без надежды их потом исправить!

Я могу много ещё рассказывать, как человечество борется за полноценное мышление в широком спектре формальности. Например, как устроен цикл развития знания[30 - Фундаментальное образование: системное развитие мышления, 3 мая 2018, https://ailev.livejournal.com/1425003.html (https://ailev.livejournal.com/1425003.html). Этот текст из цепочки постов в блоге «Фундаментальное образование», там сейчас около 200 страниц текста на темы развития мышления: https://ailev.livejournal.com/1427073.html (https://ailev.livejournal.com/1427073.html)].

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

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