Язык схем СМД-методологии мне знаком с 1988 года, я побывал тогда на игре-5916, которую вел Георгий Петрович Щедровицкий, а с тех пор я регулярно в контакте с СМД-методологами и, в принципе, я эти схемы вполне читаю, хотя и очень мало пишу. Но когда-то на тамошнем схемном языке я довольно много писал, и поэтому можно и на эту тему поговорить, что я думаю об этих схемах.
Я переводил также на русский схемные иностранные языки, так перевод схемного ArchiMate 3.0 на русский я сделал в 2018 году, а до этого пару лет назад я перевел версию 2.117, так что в общем со схемными языками я тоже разбирался. Это я к тому, что у меня некоторый опыт работы с языками-схемами, языками графическими, языками формальными, этот опыт у меня «в пальцах», я не только об этих языках в книжках читал. Я к тому, что, собственно, личный опыт имею с самими языками и их употреблением, я тут не чистый теоретик.
Кроме этого я отслеживал языки DSL (domain specific language) движения18. Причём это был пик где-то в 2008—2011 годах, с тех пор за десяток лет это движение как попытка ввести в массовый оборот быстро порождаемые на «языковых верстаках» (language workbenches) графические языки моделирования сошло на нет. Этот тезис у меня будет раскрыт чуть подробнее, он важен.
Я также отслеживал работы по выявлению природы языков поддержки мышления графических и текстовых, а ещё работы по моделированию мышления в коннективистских архитектурах: Machine Learning в части Deep Learning, постепенно превращающееся в Differentiable Programming19, но за коннективистскими архитектурами я слежу только последние лет пять.
А ещё моей работе с формальными и псевдокодными языками и их нотациями посодействовали исследования по работе с полным спектром формальности мышления, которые у нас ведутся в школе системного менеджмента. Для меня это важно потому, что мы работаем с этими вопросами мышления и его нотационной (графической или текстовой) поддержки прямо сейчас. Поэтому я вам представляю тезисы по этому направлению работы, опирающиеся на представления о полном спектре формальности мышления.
Тезисы по визуальному мышлению
Тезисы я представил перед докладом в письменном виде20. Там может быть многое непонятно, но в каждом тезисе есть две-три ссылки на раскрывающие их суть материалы, вы их открываете – и там найдёте большие тексты, в которых тоже может быть много непонятного, но уже десяток ссылок на поясняющие материалы в каждом этом тексте второго уровня. В принципе, по одной ссылке тезисов, если их дальше разворачивать по упоминаемым там ссылкам, вы можете найти по теме нашего обсуждения примерно 200 страниц. Это материалы ровно на тему визуального мышления: про нотации, про введение, про классификацию, про схемы.
Тезисы я раскрыл в докладе, стараяcь формулировать их в самой жёсткой форме, желательно оскорбительной. План был – заставить людей задуматься над ними. Эта предельно жёсткая форма была выбрана не случайно, а по особой просьбе организаторов. Все эти «наезды» на визуальное мышление дальше – они абсолютно осознанны.
Но кроме этого замечу что, что нет истинной лжи в мире, и современная научная парадигма показывает, что нет твёрдых каких-то утверждений, но есть утверждения о вероятности каких-то будущих событий.
Тем не менее, нельзя сказать, что совсем нет лжи и истинности в мире, потому что это байесовская вероятность и вы всегда имеете некоторую уверенность, в ваших высказываниях – в некоторой серой зоне можно подвинуть вероятность в одну и в другую сторону, но чтобы как-то существенно сдвинуть оценку вероятности, на экстраординарные заявления вам потребуются потребуются экстраординарные доказательства. Поэтому какие-то отдельные примеры, которые в терминах дискретной математике выглядят убедительными и формально доказующими, в моей баейсовской картине мира приводят просто к небольшим сдвигам в моей оценке ситуации, а не абсолютным доказательствам. Да, при приведении примера, который противоречит моим тезисам, я не будут считать, что они опровергнуты, но буду просто чуть-чуть сдвигать мои оценки по поводу ситуации. Ибо этот пример может означать, что:
А) Я и впрямь некорректен;
Б) есть нюансы, которые не учитывает приводящий пример;
В) давайте посмотрим ещё примеры разных ситуаций, единственный пример может быть неприменим к той классификации явлений, которая мной использовалась.
Я хочу, чтобы вы отдельно учли такое отношение к работе с примерами и доказательствами. Сама наука в 21 веке с её отношением к работе с тезисами и их доказыванию существенно поменялась по отношению к науке 20 века, мы в Школе системного менеджмента с этим серьёзно работаем.
Поменялось в последнее время даже понимание причинности. Корреляция и каузация уже оказываются связаны – это одна из новостей в изменениях в научном мышлении. И логика науки оказывается байесовской логикой, байесовским рассуждением (inference). Поэтому все чисто логические утверждения в рассматриваемых нами вопросах оказались в Аристотелевой логике, и они оказались не очень применимы к нашим рассуждениям о визуальном мышлении.
Для удобства читателей доклада в книжной версии исходные тезисы с некоторой развёрткой материала по ссылкам первого уровня приведены в Приложении в конце книги.
Принципиальная схема киберличности
Кроме этого, я буду исходить из некоторых схем личности, опирающихся на какие-то представления о психике человека.
Вот принципиальная схема киберличности, хотя и без показанных связей между её элементами:
У меня недавно был доклад по системному развитию личности, на котором я использовал эту схему. Он шёл около трёх часов на рабочей встрече русского отделения INCOSE в Бекасово и в короткой 40-минутной версии на конференции школы системного менеджмента (есть его видеозапись и слайды21).
Нам потребуется кое-что из этой принципиальной схемы. Мы будем говорить что, кроме бессознательного в обработке всей этой как графики, так и символических вычислений, у нас в личности есть ещё воля/намерение. И что через волю/намерение проходит, то оно выходит из бессознательного в сознание. У нас ведь будет требование осознанности к мышлению. Далее у нас в личности есть актёр, который играет множество стейкхолдерских ролей. В стейкхолдерских ролях и появляется предметное мышление. Это рассмотрение стейкхолдерских ролей и предметного мышления нам важно потому, что кроме предметного мышления нам потребуются распредмечивание и опредмечивание для тех самых стейкхолдеров, которых тут много. Обычно стейкхолдеры в СМД-методологии называются позиционерами (с точностью до нюансов будем считать, что это эквивалент стейкхолдерских ролей, которые играет актёр, который сам является частью личности). А ещё актёр подозревает что у его личности есть бессознательное, но он не может знать, что в бессознательном.
Особенно важно для сегодняшнего доклада по визуальному мышлению то, что у нас в личности есть экзокортекс. Экзокортекс поддерживает мышление, вынесенное наружу за пределы коры головного мозга, неокортекса. Когда я рисую какую-нибудь картинку-загогулину и думаю про неё, «что-то тут неверно нарисовано», или я нарисовал загогулину (вынес её из неокортекса в экзокортекс) и дальше не думаю над ней только сам, но показал её кому-то.
Вы видите на схеме киберличности, что граница личности у нас проходит прямо по нашему телу-перформеру, а ещё по экзотелу. Экзотело – это просто какой-то инструмент. Мы ведь сливаемся с нашими инструментами, мы чувствуем границы тела по границам инструмента. Так, автогонщик чувствует границы машины как границы тела. Граница личности проходит и через экзокортекс, и он нам будет важен поскольку все это визуальное мышление идёт по линии рассуждений об экзокортексе. Эта граница личности и физического мира, проходящая через тело, экзотело, экзокортекс для меня важна – ровно по этой линии идёт обсуждение интернета вещей (со входящими в него людьми), нейронета22 как сети, помогающей обмениваться несимвольными представлениями.