Без заголовка

Во-первых, есть продолжение текста: https://ailev.livejournal.com/1429330.html, и там добавлено довольно много существенного. Так что да, на вопросы за рамками текста потихоньку отвечаем. Во-вторых, про графическое/визуальное представление очень удачно написано: только что опубликовал почти трёхчасовое видео доклада на эту тему (хотя я много лет и касаюсь этого вопроса в своих текстах, тут я подтянул это к последней серии текстов, использующей понятие спектра формальности мышления в явном виде -- хотя я на всякие моделирования-рендеринги, распредмечивания-опредмечивания и формализации-деформализации всё время ссылался, но тут довёл свою точку зрения до упора: когда предметная область в детском состоянии и мышления нужно мало, то будут картинки. А когда мышления нужно реально много, и много людей им занимаются -- то неизбежен переход на тексты. Кстати, даже Архимейт не требует именно его визуальной нотации, хотя авторы спецификации и надеются, что она будет использована. Это прямо в спецификации языка указано! Вот доклад: https://ailev.livejournal.com/969337.html Что касается более-менее полной онтики (если такую можно создать, или осмысленно создавать "впрок") работы с концептуальным пространством, то подождём ещё годик: люди из deep learning и AI нам всё расскажут. Ну, и уже сейчас есть довольно много литературы (я приводил её в разных других текстах -- типа книги Geometry of Meaning, http://b-ok.org/book/2514718/f34e5e). Я не стал тут давать большого числа ссылок, всё-таки это тексты для подготовленных читателей.