Манифест метамоделирования
sergey shishkinМЕТАМОДЕЛИРОВАНИЕ — парадигма и дисциплина, интегрирующая интеллектуальные практики:
- Философии
- Лингвистики
- Математики
- Информатики
Идея объединения первых трех в рамках семиотики впервые продекларирована Ч. Моррисом в его “Основаниях теории знаков”.
История демонстрирует, что семиотика как самостоятельная дисциплина не может преодолеть доминирование лингвистики, в частности, когнитивного направления и, фактически, является её частью. Более того в ретроспективе сам термин семиотика - трансформация от семиологии, что, в свою очередь, та же, семантика, в основании которой тот же синтаксис и все это, попытки говорить о грамматике или логике в другой лексике, то есть, метамоделируя без явного применения этого термина.
Между тем, к практикам, с ярко выраженным характером символического моделирования, прибавилась информатика, включающая в себя программирование, кибернетику и процессы автоматизации, распространяющиеся на все сферы социума и даже на интеллектуальные операции его членов.
С другой стороны, перманентный рост информации, её неограниченное мультиплицирование, а так же развитие компьютерных технологий её генерации и трансформации, требуют оптимизации времени для образования и интеграции определенных практик, где каждой из них накоплен огромный опыт за всю историю их развития, а новая междисциплинарная концепция может дать дополнительный резонанс и быть эффективной.
Базовая или фундаментальная концепция метамоделирования — модель, но не в смысле заместителя оригинала, а как их пара, морфизм, коннекция, реляция, референция, ассоциация, компарация, бином, биформа … Такая концепция сформулирована А. Бурдуковым, что не противоречит определению модели в классической математической логике и коррелирует с семиотической концепцией символа А. Барулина и схемой моделирования В. Турчина.
А. Бурдукову принадлежит и идея выбора термина “метамоделирование” для новой дисциплины, акцентируя его символический характер, хотя сам термин уже активно используется в научном обороте, например, в контексте “метамодели”, в связи с чем стоит привести попытку концептуализации и “метамоделирования” группой авторов в википедии, которые включили термин и в свой словарь философствующего информатика. Тем не менее, авторы настоящего манифеста рекомендуют отталкиваться, в первую очередь, от “кибернетического манифеста” того же В. Турчина и работу, “ставшей классикой информатики” А. Берса “Исполненные смысла тексты”.
В отличии от когнитивистики в рамках метамоделирования не акцентируются антропология, психология и нейронауки, которые факультативно являются полезными, в равной степени, как любые специализированные практики, включая исследовательские, экспериментальные и инженерные. В принципе, любая практика, в конечном итоге абстрагируется и, именно, на самом процессе абстрагирования, практики абстрагирования, фокусируется метамоделирование, прежде всего, как символьное моделирование, кодирование, конструирование, планирование, программирование, реализация "дукций" и рекурсий. Модели - основной предмет метамоделирования, дефиниции, аксиомы, формулы, теоремы, леммы, теории, концепции, их аппликации, комбинации и их интерпретации, анализ и синтез, дизъюнкция и конъюнкция, дифференциация и интеграция, нотификация и кондиции ...
В отличие от теории категорий (алгебраических решеток), теории типов, объектной парадигмы, классификации ... параметры ... (имя и статус - равноправны) ... расширение ассоциативного массива ... персистентность ... прямой и обратный вывод (алгебризация в смысле обратимости операций и тотальный полиморфизм) ... игнорирование концепций истинности и теории множеств ... компьютеризация как эволюция ... генерация и трансформация динамических структур.
…