надо разрабатывать исчисление понятий, исчисление моделей, исчисление модельных/понятийных конструкций, исчисление определений
определения и понятия близки по смыслу, при конкретизации формализации будет видно надо ли разносить эти понятия или не надо
т.е.
надо смотреть какие типы определений бывают, составлять список/набор их и потом формализовывать
аналогично и с понятиями
в частности пройтись по Войшвилло
короче, надо составлять список определений, типизировать их, затем формализовывать и делать метасистемный переход
я имею ввиду, что по мере формализации/конструирования определений, понятий, моделей, как раз видимо и накопится нужный материал, необходимые операции, алгоритмы, приемы, шаблоны
в помощь нам
---
В. И. Маркин. "Учение Е.К. Войшвилло о понятии: значение и перспективы"
https://iphras.ru/uplfile/logic/log20/LI20_Markin.pdf
Войшвилло Е.К.. Книги онлайн https://www.koob.ru/voishvillo/
Кононюк А.Е. Понятология (Общая теория понятий) : [В 4 кн.]
http://ecat.diit.edu.ua/ft/index_ru.html
смотреть комменты
теория мышления и понятие понятия
https://deep-econom.livejournal.com/243211.html
+ поиск по моему жж
---
лисп и язык моделей - 2
https://deep-econom.livejournal.com/522649.html
лисп и язык моделей-1 https://deep-econom.livejournal.com/517661.html