Чтобы сохранить семантическую эквивалентность МОДЕЛИ и КОНЦЕПЦИИ (ИДЕАЛИЗАЦИИ, ИДЕНТИФИКАЦИИ, ИДЕИ) можно, наконец, формализовать КОНТЕКСТ. То есть, КОНТЕКСТ как спецификация той же КОНЦЕПЦИИ или МОДЕЛИ и, собственно, как вычислительная система дефиниций...
Наряду с математическими структурами или отношениями между числами в ЛОГИКЕ и ГРАММАТИКЕ пытаются рассматривать лексические структуры ... В ИНФОРМАТИКЕ, КИБЕРНЕТИКЕ или ПРОГРАММИРОВАНИИ - это все обобщается под эгидой формальных систем. ФИЛОСОФИЯ, МЕТОДОЛОГИЯ, СИСТЕМНЫЙ АНАЛИЗ, а теперь, так называемый КОНЦЕПТУАЛЬНЫЙ АНАЛИЗ и КОНИТИВИСТИКА - попытки систематизировать накопленную инженерную, онтологическую и гносеологическую практику. По-существу, МЕТАМОДЕЛИРОВАНИЕ, МЕТАСЕМАНТИКА, КОДИФИКАЦИЯ - "оптимальная" формализация всех этих дисциплинарных подходов. CAP-грамматика и определения базовых структур - терминов, собственно дефиниций, тем и контекстов по аналогии с теорией моделей (термины, формулы, теории, интерпретации) - фундамент АНАЛИТИКИ как ДИСЦИПЛИНЫ! То есть в центре внимания МОДЕЛЬ, КОНЦЕПЦИЯ, КОГНИЦИЯ, ИДЕЯ и конструируется их АЛГЕБРА, ОБОЩЕННАЯ МАТЕМАТИКА "СМЫСЛОВ", где идея числа частный случай.
Термин, Дефиниция, Тема, Контекст, Концепция, Позиция, Грамматика, Логика
Комментариев нет:
Отправить комментарий