Слово „смыслообразование” неудачное. Оно наводит на ассоциации с образованием (министерством образования). Оно может восприниматься как процесс, и как термин что-то описывающий (например область, сферу).
Концепт - это иностранное (латинское) слово, означает „зародыш”. Зародыш мысли, зародыш смысла.
Понятие - имена (слова), о которых люди договариваются, определяя смысл чего-либо.
Можно дать нестандартное определение: концепт это смысл, взятый независимо от термина (термин - это понятие с одним значением).
Итак, мы будем заниматься описанием формирования концептов (то есть смыслов).
Смысл это очень широкое нечто, которое пытается в себя всё вобрать. Нам не наиболее конкретный смысл нужен, а только его зародыш (чтобы работать с ними, зародышами смысла, в методе восхождения от абстрактного к конкретному).
Контексты тут при том, что эти концепты (зародыши смысла) надо как-то именовать. Имена мы можем использовать в разных контекстах, и будут имена связываться с разными концептами (имена будут иметь разный смысл в зависимости от контекста). Постараемся убрать из контекста всё что можно, в меру понимания. Понимание фиксируется в понятиях, и тогда получается что один набор терминов образует один контекст, а если ввести новый термин (смысл с именем), то контекст преобразуется. Концепты станут переписаны с использованием нового термина. И в новом контексте имена возможно станут иметь другие смыслы.
Это противоречит Закону тождества, но нас такие мелочи не тревожат, мы же диалектики, и всё у нас течёт и меняется (а крыша движется, едет).
Если есть мышление, то (с методологической точки зрения) мышление нужно формализовать в виде концептно-контекстной логики.

Работы Джона Маккарти, где контекст — это не ограничение на квантор, а отдельная сущность, которая может содержать свои собственные правила вывода и аксиомы.
Джон Маккарти (1927–2011) — американский математик и информатик, один из основоположников ИИ. В контексте информатики и искусственного интеллекта под «логикой Маккарти» понимают его концепцию построения систем ИИ на основе математической логики, а также связанные с ней алгоритмы и парадигмы.
Был главным идеологом символического ИИ. В отличие от статистических методов или нейросетей, считал, что человеческий интеллект можно свести к формальным математическим правилам.