Далее вправо по спектру формальности мышления мы уже мыслим на материале схемоидов. Я предлагаю термин «схемоид», потому что хочу отстроиться тут от схем как представлений более-менее формальных описаний. По схемам возможны логические какие-то рассуждения, более-менее формальные, а «схемоид» как термин образовано так как гуманоид, который не человек, но на человека похож. И вот этот способ словообразования чуть более мягок, чем использование термина «псевдосхема» по типу компьютерного псевдокода, когда ты пишешь вроде бы структурированный текст, и человек говорит, который про уровень формализации ничего не понимает «о, это же ты программу написал!», но в компьютер эту якобы программу, а на самом деле очень неформальный псеводокод не заложишь. Нужно дополнительно очень сильно потрудиться, чтобы из псевдокода сделать программу. Я не говорю сейчас «псевдосхема», потому что это как бы принижение достоинства этой схемы, это у меня будет «схемоид».
Со схемоидами мы активно работаем в мышлении, это важная штука. И мы с ним работаем, и вы в вашей лаборатории визуального мышления. Но я считаю, что те якобы схемы, которые вы рисуете, это не схемы, а схемоиды, и чаще даже до схемоидов по уровню формальности не дотягивают, поэтому на имя схемы в «визуальном мышлении» даже претендовать не стоит.
За понимаемыми формально логическими схемами есть тоже некоторое пространство мышления, там абсолютно жёсткие грамматики, там дискретная математика, там истинность высказываний о мире бывает 100%, ложь означает 0% вероятности истинности, чего в Байесовской логике науки не бывает. Бывает только бесконечное приближение, но не крайнее значение. Дискретная математика с этим не считается, так работает калькулятор, так работает классический фон-неймановский компьютер и так работают карикатурные роботы прошлого поколения, «строго по формализму».
Современные роботы тут существенно отличаются, они моделирует интуицию, они сегодня начинают работать со схемоидами, а роботы старые работали более-менее со схемами, алгоритмами численной математики, а отнюдь не только с чистым логическим исчислением, чистым calculus.
Движение по спектру вправо и влево: моделирование и рендеринг
Я ввожу два направления мыслительных операций на спектре формальности мышления. Я думаю, что одно слово (моделирование) вы знаете, а второе слово (рендеринг) вам придётся запомнить.
Вот когда мы идём от животного хаоса каких-то обрывков мыслительных переживаний к жёстким представлениям формальной логики, мы о таких мыслительных шагах «моделирования» говорим разными словами.
Один из распространённых способов – это говорить о схематизации. Сначала у нас в представлениях животный мир с его хаосом, затем на этом хаосе наводится интуиция – хаос становится более упорядоченный, интуиция направляет наше внимание на какую-то проявляющуюся в хаосе фигуру, а остальное мы начинаем считать фоном. Но если мы в дальнейшем движении формализации в мышлении идём в сторону схемоида, то это превращение каких-то островков внимания в хаосе в схемоиды и есть схематизация. И когда мы от схемоида переходим к схеме, то это часто называется ещё более жестким словом «моделирование», ибо моделирование уже подразумевает, что к результирующим схемам применимы какие-то более-менее непротиворечивые логические рассуждения, с «моделями» уже работает какая-то математика.
