1. ЭДЛ (Грачёв) это модальная логика второго порядка
2. Потенциально полезна для описания диалоговых систем
3. Взаимодействие ИИ скафандра (или разума корабля/танка) и пилота/водителя вполне себе диалоговое.

Придумывание (как альтернатива диалектике)

А что если "ду" в слове „думание” (слав. думати) несёт смысл дуальности?
Ну, как "ди" в слове „диалектика”?

Что такое могло бы быть "м"? Тут вариантов много, пусть будет "мысль". У мысли, умыслы, ум,
"дум" - два ума.

Некоторые пишут, что "дума" это устаревший синоним слову "мысль". Нифига!
Вы не намысливаете, а придумываете, так что слово не устаревшее!

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

1. Диалектика как методология полностью бесполезна. В ней нет ни одного метода.

2. Мы когда мыслим - используем знания для развития мысли.

3. Но знания мы используем для того, чтобы вообразить, сконструировать, запланировать или спроектировать что-либо из индивидуалов, а не из понятий.

4. Значит для описания мышления диалектика нам не нужна вообще никак.

5. Называется это должно "логика воображения".
"методология моделирования" - слишком у́зко.

Концептно-контекстная логика - это нотация, метод записи, и метод работы со смыслами (концептами) и контекстами

Теория категорий

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

Трансцендирование

Выпрыгивание, переход за границы контекста.

== Категориально-понятийный аппарат | Понятийно-категориальный аппарат ==

Это совершенно точно два разных аппарата.

Осталось только описать - чем именно.
 

Мысленное → мысль.
Мыслительное → мышление.

Если у нас есть разные виды мышления (диалектическое ? метафизическое ? системное? логическое?), то в их основе могли бы лежать разные мыслительные модели. 

Виды мышления определяют операции и методы обработки информации; мыслительные модели задают структуру и предпосылки, которыми эти операции оперируют.

«Этот концепт настолько универсален, что используется везде — от описания физических законов до анализа социальных процессов. Он помогает нам „видеть” невидимые связи и представлять сложные системы в интуитивно понятной форме. Поле не является базовой философской категорией, но активно используется в информатике и требует строгого описания. Вопрос в том, как формально описать понятие „поля” (в смысле компонента структуры данных, поля объекта, записи и т. д.) с точки зрения логики и математики.» (ц) Алиса

2011, Евгений Петрович Фролов, Философия речи
    ISBN 978-5-9502-0528-6, издательство «Вузовская книга», 432 страницы

Если есть философия речи, то со времён книгопечатания должна была появиться и философия текста, а уж когда компьютеры попёрли...

Не догоняют философы темпа прогресса.

2017, Кривоносов А.Т., Слово и мысль, ISBN 978-5-4465-1451-9
    https://search.rsl.ru/ru/record/01008859562